Languages
Subject
Format
Availabity
Authors

Search result

Maria Marinaro, Roberto Tagliaferri - Neural Nets
Maria Marinaro, Roberto Tagliaferri Neural Nets English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Stephen Cook, Heinrich Hussman, Jean-Marc Jezequel - UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools
Stephen Cook, Heinrich Hussman, Jean-Marc Jezequel UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Uwe Egly, Christian G. Fernmüller - Automated Reasoning with Analytic Tableaux and Related Methods
Uwe Egly, Christian G. Fernmüller Automated Reasoning with Analytic Tableaux and Related Methods English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Stephane Bressan, Stéphane Bressan, Akmal B. Chaudhri, Zoé Lacroix, Mong Li Lee, Jeffrey Xu Yu - Efficiency and Effectiveness of XML Tools and Techniques and Data Integration over the Web
Stephane Bressan, Stéphane Bressan, Akmal B. Chaudhri, Zoé Lacroix, Mong Li Lee, Jeffrey Xu Yu Efficiency and Effectiveness of XML Tools and Techniques and Data Integration over the Web English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Pierpaolo Degano - Programming Languages and Systems
Pierpaolo Degano Programming Languages and Systems English 19.02.2009 Paperback / Softback Fr. 73.00 6-7 weeks
Paolo Ciancarini, M. J. Wooldridge, Michael Wooldridge - Agent-Oriented Software Engineering
Paolo Ciancarini, M. J. Wooldridge, Michael Wooldridge Agent-Oriented Software Engineering English 01.03.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Moshe Vardi, Moshe Y. Vardi, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Moshe Vardi, Moshe Y. Vardi, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Jack Dongarra, Peter Kacsuk, Dieter Kranzlmüller, Jens Volkert - Recent Advances in Parallel Virtual Machine and Message Passing Interface
Jack Dongarra, Peter Kacsuk, Dieter Kranzlmüller, Jens Volkert Recent Advances in Parallel Virtual Machine and Message Passing Interface English 19.02.2009 Paperback / Softback Fr. 73.00 6-7 weeks
Stephan Diehl - Software Visualization
Stephan Diehl Software Visualization English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Sergio Flesca, Ianni, Giovambattista Ianni - Logics in Artificial Intelligence
Sergio Flesca, Ianni, Giovambattista Ianni Logics in Artificial Intelligence English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Manuel Hermenegildo, German Puebla - Static Analysis
Manuel Hermenegildo, German Puebla Static Analysis English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Peter J. Stuckey - Logic Programming
Peter J. Stuckey Logic Programming English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Jean-Marie Alain, A. Jean-Marie - Advances in Computing Science - ASIAN 2002: Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing
Jean-Marie Alain, A. Jean-Marie Advances in Computing Science - ASIAN 2002: Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Veronica Dahl, Philip Wadler - Practical Aspects of Declarative Languages
Veronica Dahl, Philip Wadler Practical Aspects of Declarative Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Lars-Henrik Eriksson, Peter A. Lindsay - FME 2002: Formal Methods - Getting IT Right
Lars-Henrik Eriksson, Peter A. Lindsay FME 2002: Formal Methods - Getting IT Right English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Pau Hudak, Paul Hudak, S Warren, S Warren, David S. Warren - Practical Aspects of Declarative Languages
Pau Hudak, Paul Hudak, S Warren, S Warren, David S. Warren Practical Aspects of Declarative Languages English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Farhad Arbab, Carolyn Talcott - Coordination Models and Languages
Farhad Arbab, Carolyn Talcott Coordination Models and Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Cristin Gacek, Cristina Gacek - Software Reuse: Methods, Techniques, and Tools
Cristin Gacek, Cristina Gacek Software Reuse: Methods, Techniques, and Tools English 29.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Luí Caires, Luis Caires, Luís Caires, T Vasconcelos, T Vasconcelos, Vasco T. Vasconcelos - CONCUR 2007 - Concurrency Theory
Luí Caires, Luis Caires, Luís Caires, T Vasconcelos, T Vasconcelos, Vasco T. Vasconcelos CONCUR 2007 - Concurrency Theory English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Paol Ciancarini, Paolo Ciancarini, Wiklicky, Wiklicky, Herbert Wiklicky - Coordination Models and Languages
Paol Ciancarini, Paolo Ciancarini, Wiklicky, Wiklicky, Herbert Wiklicky Coordination Models and Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks