Тема, жанр, tags: Programming Languages Compilers Interpreters » Page 9 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Programming Languages Compilers Interpreters » Page 9

book Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

pdf

Author: Dines Bjørner (auth.) Paul Boca Jonathan P. Bowen Jawed Siddiqi (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Drawing Programs: The Theory and Practice of Schematic Functional Programming

Drawing Programs: The Theory and Practice of Schematic Functional Programming

pdf

Author: Tom Addis Jan Addis (auth.)
Language: English
Year: 2010

00

06.02.2024

0

0

book The Fortran 2003 Handbook: The Complete Syntax, Features and Procedures

The Fortran 2003 Handbook: The Complete Syntax, Features and Procedures

pdf

Author: Jeanne C. Adams Walter S. Brainerd Richard A. Hendrickson Richard E. Maine Jeanne T. Martin Brian T. Smith (auth.)
Language: English
Year: 2009

00

06.02.2024

0

0

book Methods, Models and Tools for Fault Tolerance

Methods, Models and Tools for Fault Tolerance

pdf

Author: A. Fehnker M. Fruth A. K. McIver (auth.) Michael Butler Cliff Jones Alexander Romanovsky Elena Troubitsyna (eds.)
Language: English
Year: 2009

00

06.02.2024

0

0

book Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

Foundations of Software Science and Computational Structures: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

pdf

Author: Colin Stirling (auth.) Luke Ong (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems

Automata for Branching and Layered Temporal Structures: An Investigation into Regularities of Infinite Transition Systems

pdf

Author: Gabriele Puppis (auth.)
Language: English
Year: 2010

00

06.02.2024

0

0

book High Performance Embedded Architectures and Compilers: 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings

High Performance Embedded Architectures and Compilers: 5th International Conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010. Proceedings

pdf

Author: Bob Iannucci (auth.) Yale N. Patt Pierfrancesco Foglia Evelyn Duesterwald Paolo Faraboschi Xavier Martorell (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers

pdf

Author: Samson Abramsky (auth.) Amir Pnueli Irina Virbitskaite Andrei Voronkov (eds.)
Language: English
Year: 2010

00

06.02.2024

2

0

book Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

pdf

Author: Noureddine Adjir Pierre De Saqui-Sannes Kamel Mustapha Rahmouni (auth.) Manuel Núñez Paul Baker Mercedes G. Merayo (eds.)
Language: English
Year: 2009

00

06.02.2024

0

0

book Conceptual Modeling - ER 2009: 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings

Conceptual Modeling - ER 2009: 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings

pdf

Author: Peter P. Chen (auth.) Alberto H. F. Laender Silvana Castano Umeshwar Dayal Fabio Casati José Palazzo M. de Oliveira (eds.)
Language: English
Year: 2009

00

06.02.2024

0

0