Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Christian Silberbauer - Einstieg in Java und OOP
Christian Silberbauer Einstieg in Java und OOP Tedesco 01.09.2020 Tascabile Fr. 47.90 6-7 settimane
Cyrille Artho, Axe Legay, Axel Legay, Doron Peled - Automated Technology for Verification and Analysis
Cyrille Artho, Axe Legay, Axel Legay, Doron Peled Automated Technology for Verification and Analysis Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Luca Aceto, Giorgi Bacci, Giorgio Bacci, Giovanni Bacci, Giovanni Bacci et al, Anna Ingólfsdóttir... - Models, Algorithms, Logics and Tools
Luca Aceto, Giorgi Bacci, Giorgio Bacci, Giovanni Bacci, Giovanni Bacci et al, Anna Ingólfsdóttir... Models, Algorithms, Logics and Tools Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Silvia Abrahao, Juergen Dingel, Emilio Insfran, Isidro Ramos, Isidro Ramos et al, Wolfra Schulte... - Model-Driven Engineering Languages and Systems
Silvia Abrahao, Juergen Dingel, Emilio Insfran, Isidro Ramos, Isidro Ramos et al, Wolfra Schulte... Model-Driven Engineering Languages and Systems Inglese 01.01.2014 Tascabile Fr. 70.00 6-7 settimane
Jen Grabowski, Jens Grabowski, Herbold, Herbold, Steffen Herbold, Grabowski Jens - System Analysis and Modeling. Technology-Specific Aspects of Models
Jen Grabowski, Jens Grabowski, Herbold, Herbold, Steffen Herbold, Grabowski Jens System Analysis and Modeling. Technology-Specific Aspects of Models Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
August Sampaio, Augusto Sampaio, Wang, Wang, Farn Wang - Theoretical Aspects of Computing - ICTAC 2016
August Sampaio, Augusto Sampaio, Wang, Wang, Farn Wang Theoretical Aspects of Computing - ICTAC 2016 Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Marti Davis, Martin Davis, SCHONBERG, Schonberg, Edmond Schonberg - From Linear Operators to Computational Biology
Marti Davis, Martin Davis, SCHONBERG, Schonberg, Edmond Schonberg From Linear Operators to Computational Biology Inglese 01.01.2014 Tascabile Fr. 158.00 6-7 settimane
Shaun Forth, Pau Hovland, Paul Hovland, Eric Phipps, Eric Phipps et al, Jean Utke... - Recent Advances in Algorithmic Differentiation
Shaun Forth, Pau Hovland, Paul Hovland, Eric Phipps, Eric Phipps et al, Jean Utke... Recent Advances in Algorithmic Differentiation Inglese 01.01.2014 Tascabile Fr. 135.00 6-7 settimane
Michae Ihringer, Michael Ihringer, Wolfgan Kirsten, Wolfgang Kirsten, Bernha Röhrig, Bernhard Röhrig... - Object-Oriented Application Development Using the Caché Postrelational Database
Michae Ihringer, Michael Ihringer, Wolfgan Kirsten, Wolfgang Kirsten, Bernha Röhrig, Bernhard Röhrig... Object-Oriented Application Development Using the Caché Postrelational Database Inglese 19.11.2012 Tascabile Fr. 70.00 6-7 settimane
Mercede G Merayo, Mercedes G Merayo, Mercedes G. Merayo, Montes de Oca, Montes de Oca, Edgardo Montes de Oca - Testing Software and Systems
Mercede G Merayo, Mercedes G Merayo, Mercedes G. Merayo, Montes de Oca, Montes de Oca, Edgardo Montes de Oca Testing Software and Systems Inglese 01.01.2014 Tascabile Fr. 70.00 6-7 settimane
Luc Bougé, Yong Dou, Dora Heras, Haixian Lin, Haixiang Lin, Guangyu Sun... - Advanced Parallel Processing Technologies
Luc Bougé, Yong Dou, Dora Heras, Haixian Lin, Haixiang Lin, Guangyu Sun... Advanced Parallel Processing Technologies Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Xavie Rival, Xavier Rival - Static Analysis
Xavie Rival, Xavier Rival Static Analysis Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Dragos Chirila, Dragos B Chirila, Dragos B. Chirila, Gerrit Lohmann - Introduction to Modern Fortran for the Earth System Sciences
Dragos Chirila, Dragos B Chirila, Dragos B. Chirila, Gerrit Lohmann Introduction to Modern Fortran for the Earth System Sciences Inglese 01.01.2016 Tascabile Fr. 135.00 6-7 settimane
Jör Altmann, Jörn Altmann, José Ángel Bañares, José Ángel Bañares, Congduc Pham - Economics of Grids, Clouds, Systems, and Services
Jör Altmann, Jörn Altmann, José Ángel Bañares, José Ángel Bañares, Congduc Pham Economics of Grids, Clouds, Systems, and Services Inglese 01.01.2017 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.10.2010 Tascabile Fr. 184.00 6-7 settimane
Shuvend Lahiri, Shuvendu Lahiri, REGER, Reger, Giles Reger - Runtime Verification
Shuvend Lahiri, Shuvendu Lahiri, REGER, Reger, Giles Reger Runtime Verification Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Ana Rosa Cavalli, An Rosa Cavalli, Ana Rosa Cavalli, Hüsnü Yenigün, Nina Yevtushenko - Testing Software and Systems
Ana Rosa Cavalli, An Rosa Cavalli, Ana Rosa Cavalli, Hüsnü Yenigün, Nina Yevtushenko Testing Software and Systems Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Julian M. Kunkel, John Shalf, Michela Taufer, Michela Taufer et al, Ri Yokota, Rio Yokota - High Performance Computing
Julian M. Kunkel, John Shalf, Michela Taufer, Michela Taufer et al, Ri Yokota, Rio Yokota High Performance Computing Inglese 01.01.2017 Tascabile Fr. 70.00 6-7 settimane
Friedemann Bitsch, Jérémi Guiochet, Jérémie Guiochet, Amund Skavhaug - Computer Safety, Reliability, and Security
Friedemann Bitsch, Jérémi Guiochet, Jérémie Guiochet, Amund Skavhaug Computer Safety, Reliability, and Security Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Fernand Castor, Fernando Castor, David Liu, David Liu, Yu David Liu - Programming Languages
Fernand Castor, Fernando Castor, David Liu, David Liu, Yu David Liu Programming Languages Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane