Тема, жанр, tags: Logics and Meanings of Programs,Software Engineering,Mathematical Logic and Formal Languages,Program » Page 272 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Logics and Meanings of Programs,Software Engineering,Mathematical Logic and Formal Languages,Program » Page 272

book Reachability Problems: 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings

Reachability Problems: 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings

pdf

Author: Krishnendu Chatterjee (auth.) Giorgio Delzanno Igor Potapov (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

pdf

Author: Don Batory (auth.) Marko van Eekelen Herman Geuvers Julien Schmaltz Freek Wiedijk (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Technological Developments in Education and Automation

Technological Developments in Education and Automation

pdf

Author: Sangchan Kantabutra (auth.) Magued Iskander Vikram Kapila Mohammad A. Karim (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

pdf

Author: Behzad Akbarpour Lawrence C. Paulson (auth.) Rupak Majumdar Paulo Tabuada (eds.)
Language: English
Year: 2009

00

27.01.2024

4

0

book Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

pdf

Author: Wolfgang Thomas (auth.) Luca de Alfaro (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Categorical Methods in Computer Science With Aspects from Topology

Categorical Methods in Computer Science With Aspects from Topology

pdf

Author: Hartmut Ehrig (auth.) H. Ehrig H. Herrlich H. -J. Kreowski G. Preuß (eds.)
Language: English
Year: 1989

00

27.01.2024

0

0

book Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

pdf

Author: Gerwin Klein (auth.) Matt Kaufmann Lawrence C. Paulson (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

pdf

Author: Jens Palsberg (auth.) Jens Palsberg (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

pdf

Author: Roberto Ierusalimschy (auth.) Santiago Escobar (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings

Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings

pdf

Author: Markus Holzer Martin Kutrib (auth.) Antonín Kučera Igor Potapov (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0