Languages
Subject
Format
Availabity
Authors

Search result

David Schmidt - Programming Languages and Systems
David Schmidt Programming Languages and Systems English 25.08.2005 Paperback / Softback Fr. 169.00 6-7 weeks
R. Sharp, Richard Sharp - Higher-Level Hardware Synthesis
R. Sharp, Richard Sharp Higher-Level Hardware Synthesis English 22.04.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Tiziana Margaria-Steffen, Michel Wermelinger - Fundamental Approaches to Software Engineering
Tiziana Margaria-Steffen, Michel Wermelinger Fundamental Approaches to Software Engineering English 17.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Simonetta Balsamo, Alexande Knapp, Alexander Knapp, Martin Wirsing - Radical Innovations of Software and Systems Engineering in the Future, RISSEF 2002
Simonetta Balsamo, Alexande Knapp, Alexander Knapp, Martin Wirsing Radical Innovations of Software and Systems Engineering in the Future, RISSEF 2002 English 18.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Dexte Kozen, Dexter Kozen, Dexter C. Kozen, Shankland, Shankland, Carron Shankland - Mathematics of Program Construction
Dexte Kozen, Dexter Kozen, Dexter C. Kozen, Shankland, Shankland, Carron Shankland Mathematics of Program Construction English 17.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt Wallnau - Component-Based Software Engineering
Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt Wallnau Component-Based Software Engineering English 18.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
M. Dastani, Mehdi Dastani, Juergen Dix, Jürgen Dix, Amal El Fallah-Seghrouchni, A. El-Fallah-Seghrouchni... - Programming Multi-Agent Systems
M. Dastani, Mehdi Dastani, Juergen Dix, Jürgen Dix, Amal El Fallah-Seghrouchni, A. El-Fallah-Seghrouchni... Programming Multi-Agent Systems English 20.07.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Joao Leite, João Leite, Andre Omicini, Andrea Omicini, Leon Sterling, Leon Sterling et al... - Declarative Agent Languages and Technologies
Joao Leite, João Leite, Andre Omicini, Andrea Omicini, Leon Sterling, Leon Sterling et al... Declarative Agent Languages and Technologies English 24.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Alber Llamosi, Albert Llamosi, Strohmeier, Strohmeier, Alfred Strohmeier - Reliable Software Technologies - Ada-Europe 2004
Alber Llamosi, Albert Llamosi, Strohmeier, Strohmeier, Alfred Strohmeier Reliable Software Technologies - Ada-Europe 2004 English 25.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Vincent van Oostrom, Vincen van Oostrom, Vincent van Oostrom - Rewriting Techniques and Applications
Vincent van Oostrom, Vincen van Oostrom, Vincent van Oostrom Rewriting Techniques and Applications English 16.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
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
Robert Giacobazzi, Roberto Giacobazzi - Static Analysis
Robert Giacobazzi, Roberto Giacobazzi Static Analysis English 17.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Jack Dongarra, Peter Kacsuk, Dieter Kranzlmüller - Recent Advances in Parallel Virtual Machine and Message Passing Interface
Jack Dongarra, Peter Kacsuk, Dieter Kranzlmüller Recent Advances in Parallel Virtual Machine and Message Passing Interface 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
Reinhar Gotzhein, Reinhard Gotzhein, REED, Reed, Rick Reed - System Analysis and Modeling: Language Profiles
Reinhar Gotzhein, Reinhard Gotzhein, REED, Reed, Rick Reed System Analysis and Modeling: Language Profiles English 15.03.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Chris George, Huaikou Miao - Formal Methods and Software Engineering
Chris George, Huaikou Miao Formal Methods and Software Engineering English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Riccard Focardi, Riccardo Focardi, Gorrieri, Gorrieri, Robero Gorrieri, Roberto Gorrieri - Foundations of Security Analysis and Design
Riccard Focardi, Riccardo Focardi, Gorrieri, Gorrieri, Robero Gorrieri, Roberto Gorrieri Foundations of Security Analysis and Design English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Egon Börger, Angel Gargantini, Angelo Gargantini, Elvinia Riccobene - Abstract State Machines 2003: Advances in Theory and Practice
Egon Börger, Angel Gargantini, Angelo Gargantini, Elvinia Riccobene Abstract State Machines 2003: Advances in Theory and Practice English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Peter Müller - Modular Specification and Verification of Object-Oriented Programs
Peter Müller Modular Specification and Verification of Object-Oriented Programs English 27.02.2002 Paperback / Softback Fr. 70.00 6-7 weeks