Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Louis-Marti Rousseau, Louis-Martin Rousseau, Stergiou, Stergiou, Kostas Stergiou - Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Louis-Marti Rousseau, Louis-Martin Rousseau, Stergiou, Stergiou, Kostas Stergiou Integration of Constraint Programming, Artificial Intelligence, and Operations Research Inglese 01.01.2019 Tascabile Fr. 70.00 6-7 settimane
Francesco Calimeri, Nicol Leone, Nicola Leone, Marco Manna - Logics in Artificial Intelligence
Francesco Calimeri, Nicol Leone, Nicola Leone, Marco Manna Logics in Artificial Intelligence Inglese 01.01.2019 Tascabile Fr. 133.00 6-7 settimane
Fabiano Dalpiaz, Jennife Horkoff, Jennifer Horkoff, Erik Kamsties - Requirements Engineering: Foundation for Software Quality
Fabiano Dalpiaz, Jennife Horkoff, Jennifer Horkoff, Erik Kamsties Requirements Engineering: Foundation for Software Quality Inglese 01.01.2018 Tascabile Fr. 70.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.2018 Copertina rigida Fr. 189.00 6-7 settimane
Hieke, Hieke, A. Hieke, Alexander Hieke, Morscher, E Morscher... - New Essays in Free Logic
Hieke, Hieke, A. Hieke, Alexander Hieke, Morscher, E Morscher... New Essays in Free Logic Inglese 01.07.2009 Copertina rigida Fr. 169.00 6-7 settimane
Ivica Crnkovic, George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau - Component-Based Software Engineering
Ivica Crnkovic, George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau Component-Based Software Engineering Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
S Ganesh, S. G. Ganesh, SG Ganesh, Hari Kiran, Hari Kira Kumar, Hari Kiran Kumar... - Oracle Certified Professional Java SE 8 Programmer Exam 1Z0-809
S Ganesh, S. G. Ganesh, SG Ganesh, Hari Kiran, Hari Kira Kumar, Hari Kiran Kumar... Oracle Certified Professional Java SE 8 Programmer Exam 1Z0-809 Inglese 22.05.2016 Tascabile Fr. 53.90 6-7 settimane
Cyrill Artho, Cyrille Artho, Csaba Ölveczky, Csaba Ölveczky, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems
Cyrill Artho, Cyrille Artho, Csaba Ölveczky, Csaba Ölveczky, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Tom Conte, Wen-mei W. Hwu, Nach Navarro, Nacho Navarro, Theo Ungerer, Mateo Valero... - High Performance Embedded Architectures and Compilers
Tom Conte, Wen-mei W. Hwu, Nach Navarro, Nacho Navarro, Theo Ungerer, Mateo Valero... High Performance Embedded Architectures and Compilers Inglese 01.01.2005 Tascabile Fr. 70.00 6-7 settimane
Manjunath Gorentla Venkata, Neena Imam, Neena Imam et al, M. Graham Lopez, Gorentla Venkata Manjunath, Pave Shamis... - Open SHMEM and Related Technologies
Manjunath Gorentla Venkata, Neena Imam, Neena Imam et al, M. Graham Lopez, Gorentla Venkata Manjunath, Pave Shamis... Open SHMEM and Related Technologies Inglese 01.01.2015 Tascabile Fr. 56.90 6-7 settimane
Pete Thiemann, Peter Thiemann - Programming Languages and Systems
Pete Thiemann, Peter Thiemann Programming Languages and Systems Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Bar Jacobs, Bart Jacobs, Löding, Löding, Christof Löding - Foundations of Software Science and Computation Structures
Bar Jacobs, Bart Jacobs, Löding, Löding, Christof Löding Foundations of Software Science and Computation Structures Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Marsh Chechik, Marsha Chechik, Raskin, Raskin, Jean-François Raskin - Tools and Algorithms for the Construction and Analysis of Systems
Marsh Chechik, Marsha Chechik, Raskin, Raskin, Jean-François Raskin Tools and Algorithms for the Construction and Analysis of Systems Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Dragan Bo¿na¿ki, Draga Bosnacki, Dragan Bosnacki, Dragan Bošnački, Wijs, Wijs... - Model Checking Software
Dragan Bo¿na¿ki, Draga Bosnacki, Dragan Bosnacki, Dragan Bošnački, Wijs, Wijs... Model Checking Software Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman - Integrated Formal Methods
Erik Ábrahám, Erika Ábrahám, Huisman, Huisman, Marieke Huisman Integrated Formal Methods Inglese 01.01.2016 Tascabile Fr. 110.00 6-7 settimane
Daoqi Yang - C++ and Object-Oriented Numeric Computing for Scientists and Engineers
Daoqi Yang C++ and Object-Oriented Numeric Computing for Scientists and Engineers Inglese 01.01.2001 Copertina rigida Fr. 117.00 6-7 settimane
Jürgen Giesl - Term Rewriting and Applications
Jürgen Giesl Term Rewriting and Applications Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Lee Spector - Automatic Quantum Computer Programming
Lee Spector Automatic Quantum Computer Programming Inglese 01.01.2004 Copertina rigida Fr. 169.00 6-7 settimane
P. B. Levy, P.B. Levy, Paul Blain Levy - Call-By-Push-Value
P. B. Levy, P.B. Levy, Paul Blain Levy Call-By-Push-Value Inglese 14.04.2009 Copertina rigida Fr. 199.00 6-7 settimane
Alexandre Petrenko, Andreas Ulrich - Formal Approaches to Software Testing
Alexandre Petrenko, Andreas Ulrich Formal Approaches to Software Testing Inglese 16.08.2005 Tascabile Fr. 70.00 6-7 settimane