Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Haller, Haller, Philipp Haller, Alessandr Ricci, Alessandro Ricci - Programming with Actors
Haller, Haller, Philipp Haller, Alessandr Ricci, Alessandro Ricci Programming with Actors Inglese 30.11.2018 Tascabile Fr. 70.00 6-7 settimane
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi - Scalable Uncertainty Management
Davide Ciucci, Gabriell Pasi, Gabriella Pasi, Barbara Vantaggi Scalable Uncertainty Management Inglese 30.11.2018 Tascabile Fr. 70.00 6-7 settimane
Patrici Derler, Patricia Derler, Marten Lohstroh, Marjan Sirjani - Principles of Modeling
Patrici Derler, Patricia Derler, Marten Lohstroh, Marjan Sirjani Principles of Modeling Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Eric de Vink, Erik de Vink, Klaus Havelund, Ja Peleska, Jan Peleska, Bill Roscoe... - Formal Methods
Eric de Vink, Erik de Vink, Klaus Havelund, Ja Peleska, Jan Peleska, Bill Roscoe... Formal Methods Inglese 01.01.2018 Tascabile Fr. 124.00 6-7 settimane
Thomas Haslwanter - An Introduction to Statistics with Python
Thomas Haslwanter An Introduction to Statistics with Python Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Elizabeth Black, Sanja Modgil, Sanjay Modgil, Nir Oren - Theory and Applications of Formal Argumentation
Elizabeth Black, Sanja Modgil, Sanjay Modgil, Nir Oren Theory and Applications of Formal Argumentation Inglese 01.01.2018 Tascabile Fr. 70.00 6-7 settimane
Tiag Massoni, Tiago Massoni, Mohammad Reza Mousavi, Reza Mousavi, Reza Mousavi - Formal Methods: Foundations and Applications
Tiag Massoni, Tiago Massoni, Mohammad Reza Mousavi, Reza Mousavi, Reza Mousavi Formal Methods: Foundations and Applications Inglese 31.12.2018 Tascabile Fr. 82.00 6-7 settimane
Oskar Bartenstein, Ulrich Geske, Michael Hanus, Dietmar Seipel - Applications of Declarative Programming and Knowledge Management
Oskar Bartenstein, Ulrich Geske, Michael Hanus, Dietmar Seipel Applications of Declarative Programming and Knowledge Management Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Eduardo Alonso, Dimita Kazakov, Dimitar Kazakov, Daniel Kudenko - Adaptive Agents and Multi-Agent Systems II. Vol.2
Eduardo Alonso, Dimita Kazakov, Dimitar Kazakov, Daniel Kudenko Adaptive Agents and Multi-Agent Systems II. Vol.2 Inglese 22.06.2005 Tascabile Fr. 70.00 6-7 settimane
García Rodríguez de Guzmán, Ignacio García Rodríguez de Guzmán, Ricardo Pérez-Castillo, Mario Piattini, Paul Rupino da Cunha, Paulo Rupino da Cunha - Quality of Information and Communications Technology
García Rodríguez de Guzmán, Ignacio García Rodríguez de Guzmán, Ricardo Pérez-Castillo, Mario Piattini, Paul Rupino da Cunha, Paulo Rupino da Cunha Quality of Information and Communications Technology Inglese 31.10.2019 Tascabile Fr. 105.00 6-7 settimane
Maur Cerioli, Maura Cerioli - Fundamental Approaches to Software Engineering
Maur Cerioli, Maura Cerioli Fundamental Approaches to Software Engineering Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Vinay Trivedi - How to Speak Tech
Vinay Trivedi How to Speak Tech Inglese 12.05.2019 Tascabile Fr. 37.50 6-7 settimane
Pete Müller, Peter Müller, Schaefer, Schaefer, Ina Schaefer - Principled Software Development
Pete Müller, Peter Müller, Schaefer, Schaefer, Ina Schaefer Principled Software Development Inglese 01.01.2018 Copertina rigida Fr. 135.00 6-7 settimane
Vasan Subramanian - Pro MERN Stack
Vasan Subramanian Pro MERN Stack Inglese 11.06.2019 Tascabile Fr. 50.50 6-7 settimane
Julia M. Badger, Juli M Badger, Julia M Badger, Kristin Yvonne Rozier, Yvonne Rozier, Yvonne Rozier - NASA Formal Methods
Julia M. Badger, Juli M Badger, Julia M Badger, Kristin Yvonne Rozier, Yvonne Rozier, Yvonne Rozier NASA Formal Methods Inglese 01.01.2019 Tascabile Fr. 92.00 6-7 settimane
Nicola Brunie, Nicolas Brunie, F de Dinechin, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes... - Handbook of Floating-Point Arithmetic
Nicola Brunie, Nicolas Brunie, F de Dinechin, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes... Handbook of Floating-Point Arithmetic Inglese 01.01.2019 Tascabile Fr. 189.00 6-7 settimane
Jorg A Pérez, Jorge A Pérez, Jorge A. Pérez, Yoshida, Yoshida, Nobuko Yoshida - Formal Techniques for Distributed Objects, Components, and Systems
Jorg A Pérez, Jorge A Pérez, Jorge A. Pérez, Yoshida, Yoshida, Nobuko Yoshida Formal Techniques for Distributed Objects, Components, and Systems Inglese 01.01.2019 Tascabile Fr. 89.00 6-7 settimane
Leszek A Maciaszek, Ernesto Damiani, Leszek A. Maciaszek, Georg Spanoudakis, George Spanoudakis - Evaluation of Novel Approaches to Software Engineering
Leszek A Maciaszek, Ernesto Damiani, Leszek A. Maciaszek, Georg Spanoudakis, George Spanoudakis Evaluation of Novel Approaches to Software Engineering Inglese 01.01.2019 Tascabile Fr. 105.00 6-7 settimane
Sunita Chandrasekaran, Guid Juckeland, Guido Juckeland, Sandra Wienke - Accelerator Programming Using Directives
Sunita Chandrasekaran, Guid Juckeland, Guido Juckeland, Sandra Wienke Accelerator Programming Using Directives Inglese 01.01.2019 Tascabile Fr. 70.00 6-7 settimane
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... - String Analysis for Software Verification and Security
Muath Alkhalaf, Muath et al Alkhalaf, Abdulbaki Aydin, Tevfi Bultan, Tevfik Bultan, Fan Yu... String Analysis for Software Verification and Security Inglese 01.01.2019 Tascabile Fr. 90.00 6-7 settimane