Languages
Subject
Format
Availabity
Authors

Search result

José Luiz Fiadeiro, Peter Mosses, Fernando Orejas - Recent Trends in Algebraic Development Techniques
José Luiz Fiadeiro, Peter Mosses, Fernando Orejas Recent Trends in Algebraic Development Techniques English 23.03.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Furio Honsell, Marino Miculan, Ivan Scagnetto - Types for Proofs and Programs
Furio Honsell, Marino Miculan, Ivan Scagnetto Types for Proofs and Programs English 26.05.2008 Paperback / Softback Fr. 70.00 6-7 weeks
Tamas Horváth, Akihiro Yamamoto - Inductive Logic Programming
Tamas Horváth, Akihiro Yamamoto Inductive Logic Programming English 24.09.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Andreas Krall - Software and Compilers for Embedded Systems
Andreas Krall Software and Compilers for Embedded Systems English 16.09.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Michael Luck, Vladimir Marik, Olga Stepankova, Robert Trappl - Multi-Agent Systems and Applications
Michael Luck, Vladimir Marik, Olga Stepankova, Robert Trappl Multi-Agent Systems and Applications English 20.06.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Irene Eusgeld, Felix Freiling, Ralf Reussner, Ralf H. Reussner - Dependability Metrics
Irene Eusgeld, Felix Freiling, Ralf Reussner, Ralf H. Reussner Dependability Metrics English 30.05.2008 Paperback / Softback Fr. 60.90 6-7 weeks
Yuhua Luo - Cooperative Design, Visualization, and Engineering
Yuhua Luo Cooperative Design, Visualization, and Engineering English 06.09.2005 Paperback / Softback Fr. 73.00 6-7 weeks
Henk Obbink, Klaus Pohl - Software Product Lines
Henk Obbink, Klaus Pohl Software Product Lines English 15.09.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Cristina Gacek, Rogério de Lemos, Alexander Romanovsky - Architecting Dependable Systems III
Cristina Gacek, Rogério de Lemos, Alexander Romanovsky Architecting Dependable Systems III English 15.09.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Yvo G. Desmedt, Yongqing Li, Yi Mu, Huaxiong Wang - Cryptology and Network Security
Yvo G. Desmedt, Yongqing Li, Yi Mu, Huaxiong Wang Cryptology and Network Security English 30.11.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Dror Feitelson, Eitan Frachtenberg, Larry Rudolph, Uwe Schwiegelshohn - Job Scheduling Strategies for Parallel Processing
Dror Feitelson, Eitan Frachtenberg, Larry Rudolph, Uwe Schwiegelshohn Job Scheduling Strategies for Parallel Processing English 14.12.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Arnaud Carayol, Cyril Nicaud - Implementation and Application of Automata
Arnaud Carayol, Cyril Nicaud Implementation and Application of Automata English 28.05.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Cezar Câmpeanu, Giovanni Pighizzini - Descriptional Complexity of Formal Systems
Cezar Câmpeanu, Giovanni Pighizzini Descriptional Complexity of Formal Systems English 03.06.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Michael Schumacher - Objective Coordination in Multi-Agent System Engineering
Michael Schumacher Objective Coordination in Multi-Agent System Engineering English 25.04.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar - Verification and Evaluation of Computer and Communication Systems
Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar Verification and Evaluation of Computer and Communication Systems English 15.08.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Serge Gaspers, Toby Walsh - Theory and Applications of Satisfiability Testing - SAT 2017
Serge Gaspers, Toby Walsh Theory and Applications of Satisfiability Testing - SAT 2017 English 09.08.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Tim Menzies, Justyna Petke - Search Based Software Engineering
Tim Menzies, Justyna Petke Search Based Software Engineering English 17.08.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Michel Barbeau, Evangelos Kranakis, Samuel Pierre - Ad-Hoc, Mobile, and Wireless Networks
Michel Barbeau, Evangelos Kranakis, Samuel Pierre Ad-Hoc, Mobile, and Wireless Networks English 29.09.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Daniel J. Veit - Matchmaking in Electronic Markets
Daniel J. Veit Matchmaking in Electronic Markets English 03.12.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Fabrice Kordon, Janos Sztipanovits - Reliable Systems on Unreliable Networked Platforms
Fabrice Kordon, Janos Sztipanovits Reliable Systems on Unreliable Networked Platforms English 28.02.2007 Paperback / Softback Fr. 70.00 6-7 weeks