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

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

book Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

pdf

Author: Stephen Brookes (auth.) Ali E. Abdallah Cliff B. Jones Jeff W. Sanders (eds.)
Language: English
Year: 2005

00

26.01.2024

0

0

book Compiler Construction: 4th International Conference, CC '92 Paderborn, FRG, October 5–7, 1992 Proceedings

Compiler Construction: 4th International Conference, CC '92 Paderborn, FRG, October 5–7, 1992 Proceedings

djvu

Author: Josef Grosch (auth.) Uwe Kastens Peter Pfahler (eds.)
Language: English
Year: 1992

00

26.01.2024

2

0

book Compiling Natural Semantics

Compiling Natural Semantics

pdf

Author: Mikael Pettersson (auth.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Component-Based Software Engineering: 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

Component-Based Software Engineering: 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

pdf

Author: Rafael Tolosana-Calasanz Omer F. Rana José A. Bañares (auth.) Michel R. V. Chaudron Clemens Szyperski Ralf Reussner (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Component Deployment: Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004. Proceedings

Component Deployment: Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004. Proceedings

pdf

Author: Marija Mikic-Rakic Sam Malek Nels Beckman Nenad Medvidovic (auth.) Wolfgang Emmerich Alexander L. Wolf (eds.)
Language: English
Year: 2004

00

26.01.2024

0

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 Central European Functional Programming School: Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures

Central European Functional Programming School: Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures

pdf

Author: Rinus Plasmeijer Peter Achten (auth.) Zoltán Horváth Rinus Plasmeijer Anna Soós Viktória Zsók (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

pdf

Author: Nathan Whitehead Jordan Johnson Martín Abadi (auth.) Kedar S. Namjoshi Tomohiro Yoneda Teruo Higashino Yoshio Okamura (eds.)
Language: English
Year: 2007

00

26.01.2024

0

0

book Autonomous Dynamic Reconfiguration in Multi-Agent Systems: Improving the Quality and Efficiency of Collaborative Problem Solving

Autonomous Dynamic Reconfiguration in Multi-Agent Systems: Improving the Quality and Efficiency of Collaborative Problem Solving

pdf

Author: Markus Hannebauer (eds.)
Language: English
Year: 2002

00

26.01.2024

0

0

book All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic

All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic

pdf

Author: Manuel Clavel Francisco Durán Steven Eker Patrick Lincoln Narciso Martí-Oliet José Meseguer Carolyn Talcott (auth.)
Language: English
Year: 2007

00

26.01.2024

0

0