Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

R. Sharp, Richard Sharp - Higher-Level Hardware Synthesis
R. Sharp, Richard Sharp Higher-Level Hardware Synthesis Inglese 22.04.2004 Tascabile Fr. 70.00 6-7 settimane
Tiziana Margaria-Steffen, Michel Wermelinger - Fundamental Approaches to Software Engineering
Tiziana Margaria-Steffen, Michel Wermelinger Fundamental Approaches to Software Engineering Inglese 17.08.2005 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 18.08.2005 Tascabile Fr. 70.00 6-7 settimane
George Almási, Gheorghe Almási, Cali Cascaval, Calin Cascaval, Calvin Cascaval, Peng Wu - Languages and Compilers for Parallel Computing
George Almási, Gheorghe Almási, Cali Cascaval, Calin Cascaval, Calvin Cascaval, Peng Wu Languages and Compilers for Parallel Computing Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Alan F. Blackwell, Ala F Blackwell, Alan F Blackwell - Thinking with Diagrams
Alan F. Blackwell, Ala F Blackwell, Alan F Blackwell Thinking with Diagrams Inglese 29.06.2009 Copertina rigida Fr. 153.00 6-7 settimane
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 Inglese 17.08.2005 Tascabile Fr. 70.00 6-7 settimane
Michael Trott - The Mathematica GuideBook for Programming
Michael Trott The Mathematica GuideBook for Programming Inglese 01.01.2004 Copertina rigida Fr. 110.00 6-7 settimane
Stefano Berardi, Mario Coppo, Ferruccio Damiani - Types for Proofs and Programs
Stefano Berardi, Mario Coppo, Ferruccio Damiani Types for Proofs and Programs Inglese 24.08.2005 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 18.08.2005 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 20.07.2004 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 24.08.2005 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 25.08.2005 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 16.08.2005 Tascabile Fr. 70.00 6-7 settimane
Igor Walukiewicz - Foundations of Software Science and Computation Structures
Igor Walukiewicz Foundations of Software Science and Computation Structures Inglese 25.08.2005 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 24.08.2005 Tascabile Fr. 70.00 6-7 settimane
Bar Demoen, Bart Demoen, Lifschitz, Lifschitz, Vladimir Lifschitz - Logic Programming
Bar Demoen, Bart Demoen, Lifschitz, Lifschitz, Vladimir Lifschitz Logic Programming Inglese 25.08.2005 Tascabile Fr. 70.00 6-7 settimane
Philipp Gardner, Philippa Gardner, Yoshida, Yoshida, Nobuko Yoshida - CONCUR 2004 -- Concurrency Theory
Philipp Gardner, Philippa Gardner, Yoshida, Yoshida, Nobuko Yoshida CONCUR 2004 -- Concurrency Theory Inglese 29.08.2005 Tascabile Fr. 70.00 6-7 settimane
Robert Giacobazzi, Roberto Giacobazzi - Static Analysis
Robert Giacobazzi, Roberto Giacobazzi Static Analysis Inglese 17.08.2005 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 23.06.2005 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 21.06.2005 Tascabile Fr. 70.00 6-7 settimane