Search Results for Logic.

13.

Cover image for Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings

Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013, Proceedings

Colom, Jose-Manuel. editor.

https://doi.org/10.1007/978-3-642-38697-8

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

14.

Cover image for CONCUR 2013 -- Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

CONCUR 2013 -- Concurrency Theory 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

D'Argenio, Pedro R. editor.

https://doi.org/10.1007/978-3-642-40184-8

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

15.

Cover image for Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings

Braberman, Víctor. editor.

https://doi.org/10.1007/978-3-642-40229-6

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

16.

Cover image for Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

Joshi, Kaustubh. editor.

https://doi.org/10.1007/978-3-642-40196-1

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

17.

Cover image for Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings

Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings

Haddad, Serge. editor.

https://doi.org/10.1007/978-3-642-31131-4

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

18.

Cover image for Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers

Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers

Pattinson, Dirk. editor. (orcid)0000-0002-5832-6666

https://doi.org/10.1007/978-3-642-32784-1

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

19.

Cover image for Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

Al-Begain, Khalid. editor.

https://doi.org/10.1007/978-3-540-68982-9

Format:

Excerpt:

Computer Science Logic and Foundations of Programming.

20.

Nonlinear Dimensionality Reduction

Lee, John A. author.

https://doi.org/10.1007/978-0-387-39351-3

Format:

Excerpt:

Mathematical Logic and Foundations.

21.

Decision Theory and Multi-Agent Planning

Della Riccia, Giacomo. editor.

https://doi.org/10.1007/3-211-38167-8

Format:

Excerpt:

Mathematical Logic and Foundations.

	{displayName}	{count}
{error}