Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Pieter Adriaans, Henning Fernau, Menno van Zaanen - Grammatical Inference: Algorithms and Applications
Pieter Adriaans, Henning Fernau, Menno van Zaanen Grammatical Inference: Algorithms and Applications Inglese 11.09.2002 Tascabile Fr. 70.00 6-7 settimane
Giovanna Di Marzo Serugendo, Michele Loreti - Coordination Models and Languages
Giovanna Di Marzo Serugendo, Michele Loreti Coordination Models and Languages Inglese 30.05.2018 Tascabile Fr. 70.00 6-7 settimane
Nadia Polikarpova, Steve Schneider - Integrated Formal Methods
Nadia Polikarpova, Steve Schneider Integrated Formal Methods Inglese 27.08.2017 Tascabile Fr. 70.00 6-7 settimane
Tarlecki Andrzej, Joh Fitzgerald, John Fitzgerald, Ian J. Hayes, J Hayes, J Hayes... - FM 2005: Formal Methods
Tarlecki Andrzej, Joh Fitzgerald, John Fitzgerald, Ian J. Hayes, J Hayes, J Hayes... FM 2005: Formal Methods Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Andre Black, Andrew Black - ECOOP 2005 - Object-Oriented Programming
Andre Black, Andrew Black ECOOP 2005 - Object-Oriented Programming Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Rudolf Eigenmann, Zhiyua Li, Zhiyuan Li, Samuel P. Midkiff, Samuel P Midkiff - Languages and Compilers for High Performance Computing
Rudolf Eigenmann, Zhiyua Li, Zhiyuan Li, Samuel P. Midkiff, Samuel P Midkiff Languages and Compilers for High Performance Computing Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Dietrich Baumgarten - Kompakt im Doppelpack, HTML und JavaScript Webdesign für Einsteiger
Dietrich Baumgarten Kompakt im Doppelpack, HTML und JavaScript Webdesign für Einsteiger Tedesco 01.01.2002 Tascabile Fr. 41.90 6-7 settimane
Joaquim Filipe, Markus Helfert, Markus Helfert et al, Leszek Maciaszek, Leszek A. Maciaszek, Bori Shishkov... - Software and Data Technologies
Joaquim Filipe, Markus Helfert, Markus Helfert et al, Leszek Maciaszek, Leszek A. Maciaszek, Bori Shishkov... Software and Data Technologies Inglese 29.01.2013 Tascabile Fr. 135.00 6-7 settimane
Egon Börger, Antonio Cisternino - Advances in Software Engineering
Egon Börger, Antonio Cisternino Advances in Software Engineering Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Martell, Martell, Craig Martell, Barbar Paech, Barbara Paech - Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Martell, Martell, Craig Martell, Barbar Paech, Barbara Paech Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs Inglese 28.04.2011 Tascabile Fr. 70.00 6-7 settimane
Mauric Bruynooghe, Maurice Bruynooghe, Lau, Lau, Kung-Kiu Lau, Lau Kung-Kiu - Program Development in Computational Logic
Mauric Bruynooghe, Maurice Bruynooghe, Lau, Lau, Kung-Kiu Lau, Lau Kung-Kiu Program Development in Computational Logic Inglese 17.08.2004 Tascabile Fr. 70.00 6-7 settimane
Olivier Danvy, Frit Henglein, Fritz Henglein, Harry Mairson, Harry Mairson et al, Alberto Pettorossi - Automatic Program Development
Olivier Danvy, Frit Henglein, Fritz Henglein, Harry Mairson, Harry Mairson et al, Alberto Pettorossi Automatic Program Development Inglese 25.06.2009 Copertina rigida Fr. 169.00 6-7 settimane
Jeanne Adams, Jeanne C Adams, Jeanne C. Adams, Walter Brainerd, Walter S Brainerd, Walter S. Brainerd... - The FORTRAN 2003 Handbook : The Complete Syntax, Features and
Jeanne Adams, Jeanne C Adams, Jeanne C. Adams, Walter Brainerd, Walter S Brainerd, Walter S. Brainerd... The FORTRAN 2003 Handbook : The Complete Syntax, Features and Inglese 31.10.2008 Copertina rigida Fr. 216.00 6-7 settimane
Roberto Amadio - Foundations of Software Science and Computational Structures
Roberto Amadio Foundations of Software Science and Computational Structures Inglese 29.01.2013 Tascabile Fr. 70.00 6-7 settimane
John Barnes - Ada 2005 Rationale
John Barnes Ada 2005 Rationale Inglese 01.01.2008 Tascabile Fr. 70.00 6-7 settimane
Bertran Meyer, Bertrand Meyer, Woodcock, Woodcock, James Woodcock, Jim Woodcock - Verified Software: Theories, Tools, Experiments
Bertran Meyer, Bertrand Meyer, Woodcock, Woodcock, James Woodcock, Jim Woodcock Verified Software: Theories, Tools, Experiments Inglese 29.01.2013 Tascabile Fr. 135.00 6-7 settimane
Keijiro Araki, Shaoying Liu, Tom Maibaum - Formal Methods and Software Engineering
Keijiro Araki, Shaoying Liu, Tom Maibaum Formal Methods and Software Engineering Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Axel Simon - Value-Range Analysis of C Programs
Axel Simon Value-Range Analysis of C Programs Inglese 26.06.2009 Copertina rigida Fr. 184.00 6-7 settimane
Joachim L Zuckarelli, Joachim L. Zuckarelli - Programmieren lernen mit Python und JavaScript, m. 1 Buch, m. 1 E-Book
Joachim L Zuckarelli, Joachim L. Zuckarelli Programmieren lernen mit Python und JavaScript, m. 1 Buch, m. 1 E-Book Tedesco 06.07.2021 Prodotto multimediale Fr. 66.00 6-7 settimane
Oliver Alt - Car Multimedia Systeme Modell-basiert testen mit SysML
Oliver Alt Car Multimedia Systeme Modell-basiert testen mit SysML Tedesco 27.03.2009 Tascabile Fr. 91.00 6-7 settimane