Тема, жанр, tags: Programming Techniques,Logics and Meanings of Programs,Programming Languages Compilers Interpreters » Page 4 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Programming Techniques,Logics and Meanings of Programs,Programming Languages Compilers Interpreters » Page 4

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 Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

pdf

Author: Rocco De Nicola Pierpaolo Degano José Meseguer (auth.) Pierpaolo Degano Rocco De Nicola José Meseguer (eds.)
Language: English
Year: 2008

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 Distributed Computing and Internet Technology: 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings

Distributed Computing and Internet Technology: 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings

pdf

Author: Maurice Herlihy (auth.) Tomasz Janowski Hrushikesha Mohanty (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

0

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 Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

pdf

Author: Dino Distefano (auth.) María Alpuente Byron Cook Christophe Joubert (eds.)
Language: English
Year: 2009

00

06.02.2024

0

0

book Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

pdf

Author: Armin Biere (auth.) Esra Erdem Fangzhen Lin Torsten Schaub (eds.)
Language: English
Year: 2009

00

06.02.2024

0

0

book Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings

Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings

pdf

Author: Alessandro Armando (auth.) Silvio Ghilardi Roberto Sebastiani (eds.)
Language: English
Year: 2009

00

06.02.2024

0

0