Тема, жанр, tags: Software Engineering,Computation by Abstract Devices,Logics and Meanings of Programs » Page 9 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Software Engineering,Computation by Abstract Devices,Logics and Meanings of Programs » Page 9

book Transactions on Petri Nets and Other Models of Concurrency VII

Transactions on Petri Nets and Other Models of Concurrency VII

pdf

Author: Wolfgang Reisig Grzegorz Rozenberg P. S. Thiagarajan (auth.) Kurt Jensen Wil M. P. van der Aalst Gianfranco Balbo Maciej Koutny Karsten Wolf (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Declarative Agent Languages and Technologies X: 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

Declarative Agent Languages and Technologies X: 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers

pdf

Author: Duangtida Athakravi Domenico Corapi Alessandra Russo Marina De Vos Julian Padget (auth.) Matteo Baldoni Louise Dennis Viviana Mascardi Wamberto Vasconcelos (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

pdf

Author: Giorgio Bacci Giovanni Bacci Kim G. Larsen Radu Mardare (auth.) Nir Piterman Scott A. Smolka (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

pdf

Author: Larry Wos (auth.) Maria Paola Bonacina Mark E. Stickel (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Deontic Logic in Computer Science: 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings

Deontic Logic in Computer Science: 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings

pdf

Author: Robert Demolombe (auth.) Thomas Ågotnes Jan Broersen Dag Elgesem (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Logical Aspects of Computational Linguistics: 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings

Logical Aspects of Computational Linguistics: 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings

pdf

Author: Alexander Clark (auth.) Denis Béchet Alexander Dikovsky (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book 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

pdf

Author: Tony Hoare (auth.) Serge Haddad Lucia Pomello (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

pdf

Author: Gilles Barthe Benjamin Grégoire Santiago Zanella Béguelin (auth.) Jeremy Gibbons Pablo Nogueira (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book The Multivariate Algorithmic Revolution and Beyond: Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday

The Multivariate Algorithmic Revolution and Beyond: Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday

pdf

Author: Michael A. Langston (auth.) Hans L. Bodlaender Rod Downey Fedor V. Fomin Dániel Marx (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings

Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings

pdf

Author: Boon Thau Loo Harjot Gill Changbin Liu (auth.) Claudio Russo Neng-Fa Zhou (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0