Languages
Subject
Format
Availabity
Authors

Search result

R. W. Morrison, Ronald W Morrison, Ronald W. Morrison - Designing Evolutionary Algorithms for Dynamic Environments
R. W. Morrison, Ronald W Morrison, Ronald W. Morrison Designing Evolutionary Algorithms for Dynamic Environments English 23.06.2004 Hardback Fr. 70.00 6-7 weeks
Pete D Mosses, Peter D Mosses, P. D. Mosses, Peter D. Mosses - CASL Reference Manual
Pete D Mosses, Peter D Mosses, P. D. Mosses, Peter D. Mosses CASL Reference Manual English 22.04.2004 Paperback / Softback Fr. 135.00 6-7 weeks
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
Rastisla Královic, Rastislav Královic, Urzyczyn, Urzyczyn, Pawel Urzyczyn - Mathematical Foundations of Computer Science 2006
Rastisla Královic, Rastislav Královic, Urzyczyn, Urzyczyn, Pawel Urzyczyn Mathematical Foundations of Computer Science 2006 English 14.04.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Mario Bravetti, Manuel Nunez, Manuel Núñez, Gianluigi Zavattaro - Web Services and Formal Methods
Mario Bravetti, Manuel Nunez, Manuel Núñez, Gianluigi Zavattaro Web Services and Formal Methods English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
A Peled, A Peled, Rajee Alur, Rajeev Alur, Doron Peled, Doron A. Peled - Computer Aided Verification
A Peled, A Peled, Rajee Alur, Rajeev Alur, Doron Peled, Doron A. Peled Computer Aided Verification English 23.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks
David Basin, Michael Rusinowitch - Automated Reasoning
David Basin, Michael Rusinowitch Automated Reasoning English 24.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Jorg Desel, Jörg Desel, Wolfgan Reisig, Wolfgang Reisig, Grzegorz Rozenberg - Lectures on Concurrency and Petri Nets
Jorg Desel, Jörg Desel, Wolfgan Reisig, Wolfgang Reisig, Grzegorz Rozenberg Lectures on Concurrency and Petri Nets English 18.08.2004 Paperback / Softback Fr. 135.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
Maharaj, Maharaj, Savitri Maharaj, Charle Rattray, Charles Rattray - Algebraic Methodology and Software Technology
Maharaj, Maharaj, Savitri Maharaj, Charle Rattray, Charles Rattray Algebraic Methodology and Software Technology English 25.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
C. Stirling, Colin Stirling - Modal and Temporal Properties of Processes
C. Stirling, Colin Stirling Modal and Temporal Properties of Processes English 09.08.2001 Hardback Fr. 117.00 6-7 weeks
Stefano Berardi, Mario Coppo, Ferruccio Damiani - Types for Proofs and Programs
Stefano Berardi, Mario Coppo, Ferruccio Damiani Types for Proofs and Programs English 24.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
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
Boris Böhlen, Manfre Nagl, Manfred Nagl, John L. Pfaltz - Applications of Graph Transformations with Industrial Relevance
Boris Böhlen, Manfre Nagl, Manfred Nagl, John L. Pfaltz Applications of Graph Transformations with Industrial Relevance English 25.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Igor Walukiewicz - Foundations of Software Science and Computation Structures
Igor Walukiewicz Foundations of Software Science and Computation Structures English 25.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks