Languages
Subject
Format
Availabity
Authors

Search result

Thalheim, Thalheim, Bernhard Thalheim, Wol Zimmermann, Wolf Zimmermann - Abstract State Machines 2004. Advances in Theory and Practice
Thalheim, Thalheim, Bernhard Thalheim, Wol Zimmermann, Wolf Zimmermann Abstract State Machines 2004. Advances in Theory and Practice English 24.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Bar Demoen, Bart Demoen, Lifschitz, Lifschitz, Vladimir Lifschitz - Logic Programming
Bar Demoen, Bart Demoen, Lifschitz, Lifschitz, Vladimir Lifschitz Logic Programming English 25.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Philipp Gardner, Philippa Gardner, Yoshida, Yoshida, Nobuko Yoshida - CONCUR 2004 -- Concurrency Theory
Philipp Gardner, Philippa Gardner, Yoshida, Yoshida, Nobuko Yoshida CONCUR 2004 -- Concurrency Theory English 29.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Robert Giacobazzi, Roberto Giacobazzi - Static Analysis
Robert Giacobazzi, Roberto Giacobazzi Static Analysis English 17.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Holger Hermanns et al, Joost-Pieter Katoen, Boudewij R Haverkort... - Validation of Stochastic Systems
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Holger Hermanns et al, Joost-Pieter Katoen, Boudewij R Haverkort... Validation of Stochastic Systems English 08.10.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Davi de Frutos-Escrig, David de Frutos-Escrig, David de Frutos-Escrig, Nunez, Nunez, Manuel Nunez - Formal Techniques for Networked and Distributed Systems - FORTE 2004
Davi de Frutos-Escrig, David de Frutos-Escrig, David de Frutos-Escrig, Nunez, Nunez, Manuel Nunez Formal Techniques for Networked and Distributed Systems - FORTE 2004 English 29.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Maritta Heisel, Pete Liggesmeyer, Peter Liggesmeyer, Stefan Wittmann - Computer Safety, Reliability, and Security
Maritta Heisel, Pete Liggesmeyer, Peter Liggesmeyer, Stefan Wittmann Computer Safety, Reliability, and Security English 18.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Yassin Lakhnech, Yassine Lakhnech, Yovine, Yovine, Sergio Yovine - Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Yassin Lakhnech, Yassine Lakhnech, Yovine, Yovine, Sergio Yovine Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems English 21.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Jerzy Marcinkowski, Andrzej Tarlecki, Jerz Marcinkowski, Jerzy Marcinkowski, Andrzej Tarlecki - Computer Science Logic
Jerzy Marcinkowski, Andrzej Tarlecki, Jerz Marcinkowski, Jerzy Marcinkowski, Andrzej Tarlecki Computer Science Logic English 25.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Z. Maamar, Zakaari Maamar, Zakaaria Maamar, Manuel Nunez, Manuel Núnez, F. Pelayo... - Applying Formal Methods: Testing, Performance, and M/E-Commerce
Z. Maamar, Zakaari Maamar, Zakaaria Maamar, Manuel Nunez, Manuel Núnez, F. Pelayo... Applying Formal Methods: Testing, Performance, and M/E-Commerce English 23.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Mark Wallace - Principles and Practice of Constraint Programming - CP 2004
Mark Wallace Principles and Practice of Constraint Programming - CP 2004 English 29.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Davi Sands, David Sands - Programming Languages and Systems
Davi Sands, David Sands Programming Languages and Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Mokrane Bouzeghoub, Zoubid Kedad, Zoubida Kedad, Elisabeth Metais, Elisabeth Métais - Natural Language Processing and Information Systems
Mokrane Bouzeghoub, Zoubid Kedad, Zoubida Kedad, Elisabeth Metais, Elisabeth Métais Natural Language Processing and Information Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
R. Gore, Rajeev Gore, A. Leitsch, Alexande Leitsch, Alexander Leitsch, T. Nipkow... - Automated Reasoning
R. Gore, Rajeev Gore, A. Leitsch, Alexande Leitsch, Alexander Leitsch, T. Nipkow... Automated Reasoning English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Jorgen Lindskov Knudsen - ECOOP 2001 - Object-Oriented Programming
Jorgen Lindskov Knudsen ECOOP 2001 - Object-Oriented Programming English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Yokoo, Yokoo, Makoto Yokoo, Soe-Tsy Yuan, Soe-Tsyr Yuan - Intelligent Agents: Specification, Modeling, and Application
Yokoo, Yokoo, Makoto Yokoo, Soe-Tsy Yuan, Soe-Tsyr Yuan Intelligent Agents: Specification, Modeling, and Application English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Andrei P¿un, Paun, Paun, Andrei Paun, Shen Yu, Sheng Yu - Implementation and Application of Automata
Andrei P¿un, Paun, Paun, Andrei Paun, Shen Yu, Sheng Yu Implementation and Application of Automata English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Ki G Larsen, Kim G Larsen, Kim G. Larsen, Nielsen, Nielsen, Mogens Nielsen - CONCUR 2001 - Concurrency Theory
Ki G Larsen, Kim G Larsen, Kim G. Larsen, Nielsen, Nielsen, Mogens Nielsen CONCUR 2001 - Concurrency Theory English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Ramesh Hariharan, Madhava Mukund, Madhavan Mukund, V Vinay, V. Vinay - FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science
Ramesh Hariharan, Madhava Mukund, Madhavan Mukund, V Vinay, V. Vinay FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Rober Nieuwenhuis, Robert Nieuwenhuis, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Rober Nieuwenhuis, Robert Nieuwenhuis, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks