Languages
Subject
Format
Availabity
Authors

Search result

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
J. Reed, Jeanne Reed, R. Reed, Rick Reed - SDL 2003: System Design
J. Reed, Jeanne Reed, R. Reed, Rick Reed SDL 2003: System Design English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Pascal Van Hentenryck, Pascal Van Hentenryck - Principles and Practice of Constraint Programming - CP 2002
Pascal Van Hentenryck, Pascal Van Hentenryck Principles and Practice of Constraint Programming - CP 2002 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
Giorgia Ghelli, Gosta Grahne - Database Programming Languages
Giorgia Ghelli, Gosta Grahne Database Programming Languages 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
Laurent Fribourg - Computer Science Logic
Laurent Fribourg Computer Science Logic English 19.02.2009 Paperback / Softback Fr. 135.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
Tobia Nipkow, Tobias Nipkow, Lawrence Paulson, Lawrence C Paulson, Lawrence C. Paulson, Markus Wenzel - Isabelle/HOL
Tobia Nipkow, Tobias Nipkow, Lawrence Paulson, Lawrence C Paulson, Lawrence C. Paulson, Markus Wenzel Isabelle/HOL English 25.04.2002 Paperback / Softback Fr. 77.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
Johan Jeuring, Simon Peyton Jones - Advanced Functional Programming
Johan Jeuring, Simon Peyton Jones Advanced Functional Programming English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Nigel R. Horspool, R. N. Horspool, R. Niegel Horspool - Compiler Construction
Nigel R. Horspool, R. N. Horspool, R. Niegel Horspool Compiler Construction English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Furio Honsell, Marino Miculan - Foundations of Software Science and Computation Structures
Furio Honsell, Marino Miculan Foundations of Software Science and Computation Structures English 19.02.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
Martin Braschler, Julio Gonzalo, Michael Kluck, Carol Peters - Evaluation of Cross-Language Information Retrieval Systems
Martin Braschler, Julio Gonzalo, Michael Kluck, Carol Peters Evaluation of Cross-Language Information Retrieval Systems English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
R. Nieuwenhuis, Robert Nieuwenhuis - Rewriting Techniques and Applications
R. Nieuwenhuis, Robert Nieuwenhuis Rewriting Techniques and Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Andrei Voronkov - Automated Deduction - CADE-18
Andrei Voronkov Automated Deduction - CADE-18 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
B. Falsafi, T. N. Vijaykumar, T.N. Vijaykumar - Power-Aware Computer Systems
B. Falsafi, T. N. Vijaykumar, T.N. Vijaykumar Power-Aware Computer Systems 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