Languages
Subject
Format
Availabity
Authors

Search result

Anita Schöbel - Optimization in Public Transportation
Anita Schöbel Optimization in Public Transportation English 12.04.2011 Hardback Fr. 158.00 6-7 weeks
Shlom Dolev, Shlomi Dolev - Distributed Computing
Shlom Dolev, Shlomi Dolev Distributed Computing English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Zoltá Ésik, Zoltán Ésik - Computer Science Logic
Zoltá Ésik, Zoltán Ésik Computer Science Logic English 26.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Helder Coelho, Solange Oliveira Rezende, Jaime Simao Sichman, Jaime Simão Sichman - Advances in Artificial Intelligence - IBERAMIA-SBIA 2006
Helder Coelho, Solange Oliveira Rezende, Jaime Simao Sichman, Jaime Simão Sichman Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Janus Górski, Janusz Górski, Janusz Gòrski - Computer Safety, Reliability, and Security
Janus Górski, Janusz Górski, Janusz Gòrski Computer Safety, Reliability, and Security English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Manfred Broy, Ingolf Krüger, Michael Meisinger - Automotive Software-Connected Services in Mobile Networks
Manfred Broy, Ingolf Krüger, Michael Meisinger Automotive Software-Connected Services in Mobile Networks English 05.11.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Susanne Graf, Wenhui Zhang - Automated Technology for Verification and Analysis
Susanne Graf, Wenhui Zhang Automated Technology for Verification and Analysis English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Jifeng He, Zhiming Liu - Formal Methods and Software Engineering
Jifeng He, Zhiming Liu Formal Methods and Software Engineering English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Mik Hermann, Miki Hermann, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Mik Hermann, Miki Hermann, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
V. Feoktistov, Vitaliy Feoktistov - Differential Evolution
V. Feoktistov, Vitaliy Feoktistov Differential Evolution English 24.01.2007 Hardback Fr. 110.00 6-7 weeks
Ivic Crnkovic, Ivica Crnkovic, Ralf H Reussner, Christine Hofmeister, Ralf Reussner, Ralf H. Reussner - Quality of Software Architectures
Ivic Crnkovic, Ivica Crnkovic, Ralf H Reussner, Christine Hofmeister, Ralf Reussner, Ralf H. Reussner Quality of Software Architectures English 15.03.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Klaus Havelund, Manue Núnez, Manuel Núnez, Grigore Rosu, Grigore Rosu et al, Burkhart Wolff - Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund, Manue Núnez, Manuel Núnez, Grigore Rosu, Grigore Rosu et al, Burkhart Wolff Formal Approaches to Software Testing and Runtime Verification English 15.03.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Alexander A. Shvartsman - Principles of Distributed Systems
Alexander A. Shvartsman Principles of Distributed Systems English 01.07.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Soma Chaudhuri, Samir R. Das, Himadri S. Paul, Srikanta Tirthapura - Distributed Computing and Networking
Soma Chaudhuri, Samir R. Das, Himadri S. Paul, Srikanta Tirthapura Distributed Computing and Networking English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Kajal Claypool, Manoj Madhava Gore, Rajgopal Kannan, Sanjay K. Madria, Prem Uppuluri - Distributed Computing and Internet Technology
Kajal Claypool, Manoj Madhava Gore, Rajgopal Kannan, Sanjay K. Madria, Prem Uppuluri Distributed Computing and Internet Technology English 30.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata, Masanobu Umeda, Armin Wolf - Declarative Programming for Knowledge Management
Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata, Masanobu Umeda, Armin Wolf Declarative Programming for Knowledge Management English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Rober A Duff, Robert A Duff, Randall L. Brukardt, Robert A. Duff, Randall L Brukardt et al, Pascal Leroy... - Ada 2005 Reference Manual. Language and Standard Libraries
Rober A Duff, Robert A Duff, Randall L. Brukardt, Robert A. Duff, Randall L Brukardt et al, Pascal Leroy... Ada 2005 Reference Manual. Language and Standard Libraries English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Eduard Ayguadé, Eduard Ayguadè, Geral Baumgartner, Gerald Baumgartner, J. Ramanujam, J Ramanujam et al... - Languages and Compilers for Parallel Computing
Eduard Ayguadé, Eduard Ayguadè, Geral Baumgartner, Gerald Baumgartner, J. Ramanujam, J Ramanujam et al... Languages and Compilers for Parallel Computing English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Bernhard Beckert, Peter H Schmitt, Reine Hähnle, Reiner Hähnle, Peter H. Schmitt - Verification of Object-Oriented Software. The KeY Approach
Bernhard Beckert, Peter H Schmitt, Reine Hähnle, Reiner Hähnle, Peter H. Schmitt Verification of Object-Oriented Software. The KeY Approach English 14.04.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Byro Cook, Byron Cook, Podelski, Podelski, Andreas Podelski - Verification, Model Checking, and Abstract Interpretation
Byro Cook, Byron Cook, Podelski, Podelski, Andreas Podelski Verification, Model Checking, and Abstract Interpretation English 05.08.2009 Paperback / Softback Fr. 70.00 6-7 weeks