Search result - Books - CeDe.ch

Your contact at CeDe

Any questions, tips, praise or criticism? Your feedback helps us to make CeDe.ch even better. That's why we are pleased to receive every message and answer all our emails quickly, competently and willingly. Thank you!

This site uses cookies. Read our privacy policy to learn more about how we use cookies and how you can change your preferences. OK

Top service and free shipping since 1997

Search result

Maur Cerioli, Maura Cerioli - Fundamental Approaches to Software Engineering

Maur Cerioli, Maura Cerioli Fundamental Approaches to Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Eduardo Alonso, Dimita Kazakov, Dimitar Kazakov, Daniel Kudenko - Adaptive Agents and Multi-Agent Systems II. Vol.2

Eduardo Alonso, Dimita Kazakov, Dimitar Kazakov, Daniel Kudenko Adaptive Agents and Multi-Agent Systems II. Vol.2 English 22.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks

Ivica Crnkovic, George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau - Component-Based Software Engineering

Ivica Crnkovic, George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau Component-Based Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Elisabeth Métais, Andrés Montoyo, Rafae Munoz, Rafael Munoz - Natural Language Processing and Information Systems

Elisabeth Métais, Andrés Montoyo, Rafae Munoz, Rafael Munoz Natural Language Processing and Information Systems English 05.11.2012 Paperback / Softback Fr. 70.00 6-7 weeks

Jürgen Giesl - Term Rewriting and Applications

Jürgen Giesl Term Rewriting and Applications English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Nicolas Halbwachs, Lenore Zuck - Tools and Algorithms for the Construction and Analysis of Systems

Nicolas Halbwachs, Lenore Zuck Tools and Algorithms for the Construction and Analysis of Systems English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Hubert Baumeister, Mike Holcombe, Michele Marchesi - Extreme Programming and Agile Processes in Software Engineering

Hubert Baumeister, Mike Holcombe, Michele Marchesi Extreme Programming and Agile Processes in Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Frank Dignum, Rogier M. van Eijk, Marc-Philippe Huget, Rogier M. van Eijk - Agent Communication

Frank Dignum, Rogier M. van Eijk, Marc-Philippe Huget, Rogier M. van Eijk Agent Communication English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Pawe Urzyczyn, Pawel Urzyczyn - Typed Lambda Calculi and Applications

Pawe Urzyczyn, Pawel Urzyczyn Typed Lambda Calculi and Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Jo Hurd, Joe Hurd, Melham, Melham, Tom Melham - Theorem Proving in Higher Order Logics

Jo Hurd, Joe Hurd, Melham, Melham, Tom Melham Theorem Proving in Higher Order Logics English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Araki, Araki, Keijiro Araki, Zhimin Liu, Zhiming Liu - Theoretical Aspects of Computing - ICTAC 2004

Araki, Araki, Keijiro Araki, Zhimin Liu, Zhiming Liu Theoretical Aspects of Computing - ICTAC 2004 English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Martin Henson, Martin Henson et al, Stev King, Steve King, Steve Schneider, Helen Treharne - ZB 2005: Formal Specification and Development in Z and B

Martin Henson, Martin Henson et al, Stev King, Steve King, Steve Schneider, Helen Treharne ZB 2005: Formal Specification and Development in Z and B English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Radhi Cousot, Radhia Cousot - Verification, Model Checking, and Abstract Interpretation

Radhi Cousot, Radhia Cousot Verification, Model Checking, and Abstract Interpretation English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Martin Abadi, Martín Abadi, Luca De Alfaro, Luca De Alfaro - CONCUR 2005 - Concurrency Theory

Martin Abadi, Martín Abadi, Luca De Alfaro, Luca De Alfaro CONCUR 2005 - Concurrency Theory English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Fran¿s Fages, François Fages, François Fages et al, Boi Faltings, Adria Petcu, Adrian Petcu... - Recent Advances in Constraints

Fran¿s Fages, François Fages, François Fages et al, Boi Faltings, Adria Petcu, Adrian Petcu... Recent Advances in Constraints English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Vladimiro Sassone - Foundations of Software Science and Computational Structures

Vladimiro Sassone Foundations of Software Science and Computational Structures English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Kama Lodaya, Kamal Lodaya, Mahajan, Mahajan, Meena Mahajan - FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

Kama Lodaya, Kamal Lodaya, Mahajan, Mahajan, Meena Mahajan FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science English 07.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks

W. Damm, Werne Damm, Werner Damm, Jörg Desel, Jörg Desel et al, H. Ehrig... - Integration of Software Specification Techniques for Applications in Engineering

W. Damm, Werne Damm, Werner Damm, Jörg Desel, Jörg Desel et al, H. Ehrig... Integration of Software Specification Techniques for Applications in Engineering English 20.12.2004 Paperback / Softback Fr. 70.00 6-7 weeks

Michael Wayne Barley, Kasabov, Kasabov, Nik Kasabov, Michae Wayne Barley, Michael Wayne Barley - Intelligent Agents and Multi-Agent Systems

Michael Wayne Barley, Kasabov, Kasabov, Nik Kasabov, Michae Wayne Barley, Michael Wayne Barley Intelligent Agents and Multi-Agent Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Fran Baader, Franz Baader, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning

Fran Baader, Franz Baader, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 30.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks

1
...
6
7
8
...
38