Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Vladimir Itsykson, Andre Scedrov, Victor Zakharov - Tools and Methods of Program Analysis
Vladimir Itsykson, Andre Scedrov, Victor Zakharov Tools and Methods of Program Analysis Inglese 30.12.2017 Tascabile Fr. 70.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
Avram Joel Spolsky, Joel Spolsky - Joel on Software
Avram Joel Spolsky, Joel Spolsky Joel on Software Inglese 01.11.2004 Tascabile Fr. 37.50 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
Iain Craig, Iain D. Craig, Ian Craig - The Interpretation of Object-Oriented Programming Languages
Iain Craig, Iain D. Craig, Ian Craig The Interpretation of Object-Oriented Programming Languages Inglese 09.11.2001 Tascabile Fr. 124.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
Jerzy Marcinkowski, Andrzej Tarlecki, Jerz Marcinkowski, Jerzy Marcinkowski, Andrzej Tarlecki - Computer Science Logic
Jerzy Marcinkowski, Andrzej Tarlecki, Jerz Marcinkowski, Jerzy Marcinkowski, Andrzej Tarlecki Computer Science Logic Inglese 25.08.2005 Tascabile Fr. 70.00 6-7 settimane
Mark Wallace - Principles and Practice of Constraint Programming - CP 2004
Mark Wallace Principles and Practice of Constraint Programming - CP 2004 Inglese 29.08.2005 Tascabile Fr. 135.00 6-7 settimane
S. D. Gilmore, M. D. Ryan, Stephe Gilmore, Stephen Gilmore, Ryan, Ryan... - Language Constructs for Describing Features
S. D. Gilmore, M. D. Ryan, Stephe Gilmore, Stephen Gilmore, Ryan, Ryan... Language Constructs for Describing Features Inglese 02.12.2013 Tascabile Fr. 120.00 6-7 settimane