Languages
Subject
Format
Availabity
Authors

Search result

Masam Hagiya, Masami Hagiya, Wadler, Wadler, Philip Wadler - Functional and Logic Programming
Masam Hagiya, Masami Hagiya, Wadler, Wadler, Philip Wadler Functional and Logic Programming English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Dov Dori - Object-Process Methodology
Dov Dori Object-Process Methodology English 03.10.2013 Paperback / Softback Fr. 84.00 6-7 weeks
Georg Lausen, Dan Suciu - Database Programming Languages
Georg Lausen, Dan Suciu Database Programming Languages English 26.01.2004 Paperback / Softback Fr. 70.00 6-7 weeks
M. Bidoit, Michel Bidoit, P. D. Mosses, Peter D. Mosses - CASL User Manual
M. Bidoit, Michel Bidoit, P. D. Mosses, Peter D. Mosses CASL User Manual English 29.01.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Christian Bliek, Christophe Jermann, Arnold Neumaier - Global Optimization and Constraint Satisfaction
Christian Bliek, Christophe Jermann, Arnold Neumaier Global Optimization and Constraint Satisfaction English 05.11.2003 Paperback / Softback Fr. 70.00 6-7 weeks
B. K. Aichernig, Bernhard K. Aichernig, T. Maibaum, Tom Maibaum - Formal Methods at the Crossroads. From Panacea to Foundational Support
B. K. Aichernig, Bernhard K. Aichernig, T. Maibaum, Tom Maibaum Formal Methods at the Crossroads. From Panacea to Foundational Support English 18.11.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Rajeev Alur, Insup Lee - Embedded Software
Rajeev Alur, Insup Lee Embedded Software English 29.09.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Atsushi Ohori - Programming Languages and Systems
Atsushi Ohori Programming Languages and Systems English 12.11.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Corrado Priami - Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
Corrado Priami Global Computing. Programming Environments, Languages, Security, and Analysis of Systems English 24.11.2003 Paperback / Softback Fr. 70.00 6-7 weeks
R. Focardi, Riccardo Focardi, Roberto Gorrieri - Foundations of Security Analysis and Design II
R. Focardi, Riccardo Focardi, Roberto Gorrieri Foundations of Security Analysis and Design II English 28.01.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Evelyn Duesterwald - Compiler Construction
Evelyn Duesterwald Compiler Construction English 18.03.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Susanne Graf, Laurent Mounier - Model Checking Software
Susanne Graf, Laurent Mounier Model Checking Software English 18.03.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Frank Mueller - High-Level Parallel Programming Models and Supportive Environments
Frank Mueller High-Level Parallel Programming Models and Supportive Environments English 04.04.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Matthew Dwyer - Model Checking Software
Matthew Dwyer Model Checking Software English 02.05.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack - Types for Proofs and Programs
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack Types for Proofs and Programs English 20.02.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Yukiyoshi Kameyama, Peter J. Stuckey - Functional and Logic Programming
Yukiyoshi Kameyama, Peter J. Stuckey Functional and Logic Programming English 24.03.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Stein Krogdahl, Tom Lyche, Olaf Owe - From Object-Orientation to Formal Methods
Stein Krogdahl, Tom Lyche, Olaf Owe From Object-Orientation to Formal Methods English 31.03.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Bharat Jayaraman - Practical Aspects of Declarative Languages
Bharat Jayaraman Practical Aspects of Declarative Languages English 14.06.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Hubert Baumeister, Jutta Eckstein - Extreme Programming and Agile Processes in Software Engineering
Hubert Baumeister, Jutta Eckstein Extreme Programming and Agile Processes in Software Engineering English 01.06.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Wolfgang Emmerich, Alexander L. Wolf - Component Deployment
Wolfgang Emmerich, Alexander L. Wolf Component Deployment English 11.05.2004 Paperback / Softback Fr. 73.00 6-7 weeks