Languages
Subject
Format
Availabity
Authors

Search result

Andre Black, Andrew Black - ECOOP 2005 - Object-Oriented Programming
Andre Black, Andrew Black ECOOP 2005 - Object-Oriented Programming English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Rudolf Eigenmann, Zhiyua Li, Zhiyuan Li, Samuel P. Midkiff, Samuel P Midkiff - Languages and Compilers for High Performance Computing
Rudolf Eigenmann, Zhiyua Li, Zhiyuan Li, Samuel P. Midkiff, Samuel P Midkiff Languages and Compilers for High Performance Computing English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
BANACH, Banach, Richard Banach, Kung-Ki Lau, Kung-Kiu Lau - Formal Methods and Software Engineering
BANACH, Banach, Richard Banach, Kung-Ki Lau, Kung-Kiu Lau Formal Methods and Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Zoltan Esik, Zoltán Ésik, Carlos Martin-Vide, Victor Mitrana - Recent Advances in Formal Languages and Applications
Zoltan Esik, Zoltán Ésik, Carlos Martin-Vide, Victor Mitrana Recent Advances in Formal Languages and Applications English 12.07.2006 Hardback Fr. 189.00 6-7 weeks
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