Тема, жанр, tags: Special Purpose and Application-Based Systems,Processor Architectures,Logics and Meanings of Program » Page 274 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Special Purpose and Application-Based Systems,Processor Architectures,Logics and Meanings of Program » Page 274

book Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

pdf

Author: Shankar Sastry (auth.) Alberto Bemporad Antonio Bicchi Giorgio Buttazzo (eds.)
Language: English
Year: 2007

00

26.01.2024

2

0

book Categorical Methods in Computer Science With Aspects from Topology

Categorical Methods in Computer Science With Aspects from Topology

djvu

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

00

26.01.2024

0

0

book Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

pdf

Author: Rajeev Alur (auth.) José Meseguer Grigore Roşu (eds.)
Language: English
Year: 2008

00

26.01.2024

1

0

book Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

pdf

Author: Wolfram Büttner (auth.) Egon Börger Michael Butler Jonathan P. Bowen Paul Boca (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings

Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings

pdf

Author: Yuri Gurevich (auth.) Wolf Zimmermann Bernhard Thalheim (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings

Category Theory and Computer Science: 6th International Conference, CTCS '95 Cambridge, United Kingdom, August 7–11, 1995 Proceedings

djvu

Author: Robin Milner (auth.) David Pitt David E. Rydeheard Peter Johnstone (eds.)
Language: English
Year: 1995

00

26.01.2024

3

0

book C++ mit dem Borland C++Builder 2006: Einführung in den ISO-Standard und die objektorientierte Windows-Programmierung

C++ mit dem Borland C++Builder 2006: Einführung in den ISO-Standard und die objektorientierte Windows-Programmierung

pdf

Author: Richard Kaiser
Language: German
Year: 1999

00

26.01.2024

0

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

26.01.2024

0

0