Languages
Subject
Format
Availabity
Authors

Search result

Jean Pierre Banatre, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer, Martin Wirsing - Software-Intensive Systems and New Computing Paradigms
Jean Pierre Banatre, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer, Martin Wirsing Software-Intensive Systems and New Computing Paradigms English 06.11.2008 Paperback / Softback Fr. 69.00 6-7 weeks
Matteo Baldoni, Birna van Riemsdijk, Tran Cao Son, Birna van Riemsdijk, Michael Winikoff - Declarative Agent Languages and Technologies VI
Matteo Baldoni, Birna van Riemsdijk, Tran Cao Son, Birna van Riemsdijk, Michael Winikoff Declarative Agent Languages and Technologies VI English 12.01.2009 Paperback / Softback Fr. 69.00 6-7 weeks
Ivica Crnkovic, George T. Heineman, Heinz G. Schmidt, Judith A. Stafford - Component-Based Software Engineering
Ivica Crnkovic, George T. Heineman, Heinz G. Schmidt, Judith A. Stafford Component-Based Software Engineering English 29.06.2007 Paperback / Softback Fr. 69.00 6-7 weeks
Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza - Recent Advances in Constraints
Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza Recent Advances in Constraints English 07.04.2004 Paperback / Softback Fr. 69.00 6-7 weeks
Jim Davies, Jeremy Gibbons - Integrated Formal Methods
Jim Davies, Jeremy Gibbons Integrated Formal Methods English 29.01.2013 Paperback / Softback Fr. 134.00 6-7 weeks
J. Mermet, Jea Mermet, Jean Mermet - Electronic Chips & Systems Design Languages
J. Mermet, Jea Mermet, Jean Mermet Electronic Chips & Systems Design Languages English 01.07.2009 Hardback Fr. 260.00 6-7 weeks
Peter J. Ashenden, J. Mermet, Jea Mermet, Jean Mermet, Ralf Seepold - System-on-Chip Methodologies & Design Languages
Peter J. Ashenden, J. Mermet, Jea Mermet, Jean Mermet, Ralf Seepold System-on-Chip Methodologies & Design Languages English 14.04.2009 Hardback Fr. 226.00 6-7 weeks
Alan F. Blackwell, Ala F Blackwell, Alan F Blackwell - Thinking with Diagrams
Alan F. Blackwell, Ala F Blackwell, Alan F Blackwell Thinking with Diagrams English 29.06.2009 Hardback Fr. 153.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
Michael Trott - The Mathematica GuideBook for Programming
Michael Trott The Mathematica GuideBook for Programming English 01.01.2004 Hardback Fr. 110.00 6-7 weeks
Avram Joel Spolsky, Joel Spolsky - Joel on Software
Avram Joel Spolsky, Joel Spolsky Joel on Software English 01.11.2004 Paperback / Softback Fr. 37.50 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
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
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
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