Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

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
Yuhua Luo - Cooperative Design, Visualization, and Engineering
Yuhua Luo Cooperative Design, Visualization, and Engineering Inglese 30.01.2013 Tascabile Fr. 73.00 6-7 settimane
Silvia Abrahao, Tao Jiang, Tai-hoo Kim, Tai-hoon Kim, Akingbehin Kiumi, Akingbehin Kiumi et al... - Advances in Software Engineering
Silvia Abrahao, Tao Jiang, Tai-hoo Kim, Tai-hoon Kim, Akingbehin Kiumi, Akingbehin Kiumi et al... Advances in Software Engineering Inglese 12.11.2009 Tascabile Fr. 70.00 6-7 settimane
Oeg de Moor, Oege De Moor, I Schwartzbach, I Schwartzbach, Oege De Moor, Michael Schwartzbach... - Compiler Construction
Oeg de Moor, Oege De Moor, I Schwartzbach, I Schwartzbach, Oege De Moor, Michael Schwartzbach... Compiler Construction Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Arnd Poetzsch-Heffter - Konzepte objektorientierter Programmierung
Arnd Poetzsch-Heffter Konzepte objektorientierter Programmierung Tedesco 01.01.2009 Tascabile Fr. 59.50 6-7 settimane
Rafael H. Bordini, Mehd Dastani, Mehdi Dastani, Jurgen Dix, Jürgen Dix, Jürgen Dix et al... - Multi-Agent Programming:
Rafael H. Bordini, Mehd Dastani, Mehdi Dastani, Jurgen Dix, Jürgen Dix, Jürgen Dix et al... Multi-Agent Programming: Inglese 13.07.2009 Copertina rigida Fr. 193.00 6-7 settimane
Martin Pollakowski - Grundkurs Socketprogrammierung mit C unter Linux
Martin Pollakowski Grundkurs Socketprogrammierung mit C unter Linux Tedesco 01.01.2009 Tascabile Fr. 50.90 6-7 settimane
YiXiang Chen, Guo-Qiang Zhang, Guo-Qiang Zhang, Klaus Keimel, Ying Ming Liu et al, Ying Ming Liu... - Domains and Processes
YiXiang Chen, Guo-Qiang Zhang, Guo-Qiang Zhang, Klaus Keimel, Ying Ming Liu et al, Ying Ming Liu... Domains and Processes Inglese 17.10.2013 Tascabile Fr. 169.00 6-7 settimane
Helmut Seidl, Reinhar Wilhelm, Reinhard Wilhelm - Compiler Design
Helmut Seidl, Reinhar Wilhelm, Reinhard Wilhelm Compiler Design Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Luca Paolini, Simona Ronchi Della Rocca, Simon Ronchi Della Rocca, Simona Ronchi Della Rocca - The Parametric Lambda Calculus
Luca Paolini, Simona Ronchi Della Rocca, Simon Ronchi Della Rocca, Simona Ronchi Della Rocca The Parametric Lambda Calculus Inglese 11.10.2010 Tascabile Fr. 70.00 6-7 settimane
Michael Hansen, Michael R Hansen, Michael R. Hansen, Chaoche Zhou, Chaochen Zhou - Duration Calculus
Michael Hansen, Michael R Hansen, Michael R. Hansen, Chaoche Zhou, Chaochen Zhou Duration Calculus Inglese 13.10.2010 Tascabile Fr. 135.00 6-7 settimane
Claudio Agostin Ardagna, Claudio Agostino Ardagna, Ernest Damiani, Ernesto Damiani, El Ioin, Nabil El Ioini... - Open Source Systems Security Certification
Claudio Agostin Ardagna, Claudio Agostino Ardagna, Ernest Damiani, Ernesto Damiani, El Ioin, Nabil El Ioini... Open Source Systems Security Certification Inglese 20.12.2010 Tascabile Fr. 158.00 6-7 settimane
Masselos, Masselos, Konstantinos Masselos, Nikolao Voros, Nikolaos Voros - System Level Design of Reconfigurable Systems-on-Chip
Masselos, Masselos, Konstantinos Masselos, Nikolao Voros, Nikolaos Voros System Level Design of Reconfigurable Systems-on-Chip Inglese 21.10.2010 Tascabile Fr. 189.00 6-7 settimane
Mar Boulé, Marc Boulé, Zeljko Zilic - Generating Hardware Assertion Checkers
Mar Boulé, Marc Boulé, Zeljko Zilic Generating Hardware Assertion Checkers Inglese 20.10.2010 Tascabile Fr. 169.00 6-7 settimane
Werner Kluge - Abstract Computing Machines
Werner Kluge Abstract Computing Machines Inglese 11.10.2010 Tascabile Fr. 135.00 6-7 settimane
Joaquim Filipe, Markus Helfert, Bori Shishkov, Boris Shishkov - Software and Data Technologies
Joaquim Filipe, Markus Helfert, Bori Shishkov, Boris Shishkov Software and Data Technologies Inglese 29.01.2013 Tascabile Fr. 135.00 6-7 settimane