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

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

book Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday

pdf

Author: Thomas Reps Mooly Sagiv Jörg Bauer (auth.) Thomas Reps Mooly Sagiv Jörg Bauer (eds.)
Language: English
Year: 2007

00

06.02.2024

0

0

book Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Reliable Systems on Unreliable Networked Platforms: 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

pdf

Author: Edward A. Lee Yang Zhao (auth.) Fabrice Kordon Janos Sztipanovits (eds.)
Language: English
Year: 2007

00

06.02.2024

0

0

book Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

Practical Aspects of Declarative Languages: 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

pdf

Author: John Hughes (auth.) Michael Hanus (eds.)
Language: English
Year: 2007

00

06.02.2024

0

0

book Time for Verification: Essays in Memory of Amir Pnueli

Time for Verification: Essays in Memory of Amir Pnueli

pdf

Author: Howard Barringer Dov M. Gabbay (auth.) Zohar Manna Doron A. Peled (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Language and Automata Theory and Applications: 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings

Language and Automata Theory and Applications: 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings

pdf

Author: Janusz Brzozowski (auth.) Adrian-Horia Dediu Henning Fernau Carlos Martín-Vide (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Computational Logic in Multi-Agent Systems: 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings

Computational Logic in Multi-Agent Systems: 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings

pdf

Author: Toby Walsh (auth.) Jürgen Dix João Leite Guido Governatori Wojtek Jamroga (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book New Modeling Concepts for Today’s Software Processes: International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

New Modeling Concepts for Today’s Software Processes: International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

pdf

Author: Barry W. Boehm (auth.) Jürgen Münch Ye Yang Wilhelm Schäfer (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP

A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP

pdf

Author: Gianfranco Rossi (auth.) Agostino Dovier Enrico Pontelli (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

pdf

Author: Anders Schack-Nielsen Carsten Schürmann (auth.) Jürgen Giesl Reiner Hähnle (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0

book Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

pdf

Author: Yehuda Naveh (auth.) Ofer Strichman Stefan Szeider (eds.)
Language: English
Year: 2010

00

06.02.2024

0

0