Languages
Subject
Format
Availabity
Authors

Search result

Leopoldo Bertossi, Anthony Hunter, Torsten Schaub, Leopoldo Bertossi, Anthony Hunter, Torsten Schaub - Inconsistency Tolerance
Leopoldo Bertossi, Anthony Hunter, Torsten Schaub, Leopoldo Bertossi, Anthony Hunter, Torsten Schaub Inconsistency Tolerance English 27.01.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert - Reasoning Web
Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert Reasoning Web English 25.08.2008 Paperback / Softback Fr. 70.00 6-7 weeks
Paolo Giorgini, Jörg Müller, Jörg P. Müller, James Odell - Agent-Oriented Software Engineering V
Paolo Giorgini, Jörg Müller, Jörg P. Müller, James Odell Agent-Oriented Software Engineering V English 24.01.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Oleg Sokolsky, Serdar Tasiran - Runtime Verification
Oleg Sokolsky, Serdar Tasiran Runtime Verification English 12.12.2007 Paperback / Softback Fr. 70.00 6-7 weeks
Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean - Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean Construction and Analysis of Safe, Secure, and Interoperable Smart Devices English 21.01.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Marc-Philippe Huget, Marc-Phillipe Huget - Communication in Multiagent Systems
Marc-Philippe Huget, Marc-Phillipe Huget Communication in Multiagent Systems English 25.06.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Bernhard Beckert, Reiner Hähnle - Tests and Proofs
Bernhard Beckert, Reiner Hähnle Tests and Proofs English 31.03.2008 Paperback / Softback Fr. 70.00 6-7 weeks
András Horváth, Miklós Telek - Formal Methods and Stochastic Models for Performance Evaluation
András Horváth, Miklós Telek Formal Methods and Stochastic Models for Performance Evaluation English 12.06.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski - Architecting Systems with Trustworthy Components
Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski Architecting Systems with Trustworthy Components English 30.06.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Elena Marchiori, Jason H. Moore - Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
Elena Marchiori, Jason H. Moore Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics English 14.03.2008 Paperback / Softback Fr. 70.00 6-7 weeks
Luca de Alfaro, Stephen Gilmore - Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Luca de Alfaro, Stephen Gilmore Process Algebra and Probabilistic Methods. Performance Modelling and Verification English 29.08.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Marlon Dumas, Reiko Heckel - Web Services and Formal Methods
Marlon Dumas, Reiko Heckel Web Services and Formal Methods English 11.04.2008 Paperback / Softback Fr. 70.00 6-7 weeks
Michael Luck, Lin Padgham - Agent-Oriented Software Engineering VIII
Michael Luck, Lin Padgham Agent-Oriented Software Engineering VIII English 29.04.2008 Paperback / Softback Fr. 70.00 6-7 weeks
Rick Riolo, Terenc Soule, Terence Soule, Bill Worzel - Genetic Programming Theory and Practice IV
Rick Riolo, Terenc Soule, Terence Soule, Bill Worzel Genetic Programming Theory and Practice IV English 11.04.2007 Hardback Fr. 203.00 6-7 weeks
Christophe Dony, J. L. Knudsen, Jorgen Lindskov Knudsen, Jorge Lindskov Knudsen, Jorgen Lindskov Knudsen, Alexander Romanovsky... - Advanced Topics in Exception Handling Techniques
Christophe Dony, J. L. Knudsen, Jorgen Lindskov Knudsen, Jorge Lindskov Knudsen, Jorgen Lindskov Knudsen, Alexander Romanovsky... Advanced Topics in Exception Handling Techniques English 20.10.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Ulric Furbach, Ulrich Furbach, Shankar, Shankar, Natarajan Shankar - Automated Reasoning
Ulric Furbach, Ulrich Furbach, Shankar, Shankar, Natarajan Shankar Automated Reasoning English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Philip Barker - Java Methods for Finance and Investment
Philip Barker Java Methods for Finance and Investment English 01.01.2006 Hardback Fr. 117.00 6-7 weeks
Andrea Corradini, Hartmu Ehrig, Hartmut Ehrig, Ugo Montanari, Ugo Montanari et al, Leila Ribeiro... - Graph Transformations
Andrea Corradini, Hartmu Ehrig, Hartmut Ehrig, Ugo Montanari, Ugo Montanari et al, Leila Ribeiro... Graph Transformations English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Davi Lightfoot, David Lightfoot, Szyperski, Szyperski, Clemens Szyperski - Modular Programming Languages
Davi Lightfoot, David Lightfoot, Szyperski, Szyperski, Clemens Szyperski Modular Programming Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Michael Fisher, Wiebe Van Der Hoek, Boris Konev, Boris Konev et al, Alexei Lisitsa, Wieb van der Hoek... - Logics in Artificial Intelligence
Michael Fisher, Wiebe Van Der Hoek, Boris Konev, Boris Konev et al, Alexei Lisitsa, Wieb van der Hoek... Logics in Artificial Intelligence English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks