Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Andreas Herzig, Andrei Popescu - Frontiers of Combining Systems
Andreas Herzig, Andrei Popescu Frontiers of Combining Systems Inglese 14.08.2019 Tascabile Fr. 91.00 6-7 settimane
Joost-Pieter Katoen, Rom Langerak, Arend Rensink - ModelEd, TestEd, TrustEd
Joost-Pieter Katoen, Rom Langerak, Arend Rensink ModelEd, TestEd, TrustEd Inglese 29.09.2017 Tascabile Fr. 70.00 6-7 settimane
David ¿Afránek, Milan ¿E¿Ka, Milan Ceska, Milan Češka, David Safránek, David Šafránek - Computational Methods in Systems Biology
David ¿Afránek, Milan ¿E¿Ka, Milan Ceska, Milan Češka, David Safránek, David Šafránek Computational Methods in Systems Biology Inglese 05.09.2018 Tascabile Fr. 84.00 6-7 settimane
Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov - Computer Algebra in Scientific Computing
Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov Computer Algebra in Scientific Computing Inglese 24.08.2018 Tascabile Fr. 91.00 6-7 settimane
Andreas Podelski - Static Analysis
Andreas Podelski Static Analysis Inglese 29.08.2018 Tascabile Fr. 70.00 6-7 settimane
Vlad Rusu - Rewriting Logic and Its Applications
Vlad Rusu Rewriting Logic and Its Applications Inglese 08.09.2018 Tascabile Fr. 70.00 6-7 settimane
Robert Hierons, Inmaculada Medina-Bulo, Mercedes G. Merayo - Testing Software and Systems
Robert Hierons, Inmaculada Medina-Bulo, Mercedes G. Merayo Testing Software and Systems Inglese 07.09.2018 Tascabile Fr. 70.00 6-7 settimane
David N. Jansen, Pavithra Prabhakar - Formal Modeling and Analysis of Timed Systems
David N. Jansen, Pavithra Prabhakar Formal Modeling and Analysis of Timed Systems Inglese 26.08.2018 Tascabile Fr. 70.00 6-7 settimane
Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez - Verification and Evaluation of Computer and Communication Systems
Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez Verification and Evaluation of Computer and Communication Systems Inglese 31.08.2018 Tascabile Fr. 70.00 6-7 settimane
Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu - On Sets and Graphs
Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu On Sets and Graphs Inglese 09.09.2018 Tascabile Fr. 79.00 6-7 settimane
Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazi¿, Ranko Lazic, Ranko Lazić - Concurrency, Security, and Puzzles
Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazi¿, Ranko Lazic, Ranko Lazić Concurrency, Security, and Puzzles Inglese 18.12.2016 Tascabile Fr. 70.00 6-7 settimane
René van Bevern, Gregory Kucherov, René van Bevern - Computer Science - Theory and Applications
René van Bevern, Gregory Kucherov, René van Bevern Computer Science - Theory and Applications Inglese 16.05.2019 Tascabile Fr. 70.00 6-7 settimane
Marija Slavkovik - Multi-Agent Systems
Marija Slavkovik Multi-Agent Systems Inglese 15.02.2019 Tascabile Fr. 70.00 6-7 settimane
Salvador Abreu, Michael Hanus, Dietmar Seipel - Declarative Programming and Knowledge Management
Salvador Abreu, Michael Hanus, Dietmar Seipel Declarative Programming and Knowledge Management Inglese 27.09.2018 Tascabile Fr. 70.00 6-7 settimane
Catherine Dubois, Burkhart Wolff - Tests and Proofs
Catherine Dubois, Burkhart Wolff Tests and Proofs Inglese 03.06.2018 Tascabile Fr. 70.00 6-7 settimane
Yan Liu, Chris Thachuk - DNA Computing and Molecular Programming
Yan Liu, Chris Thachuk DNA Computing and Molecular Programming Inglese 24.07.2019 Tascabile Fr. 82.00 6-7 settimane
Fabio Fioravanti, John P. Gallagher - Logic-Based Program Synthesis and Transformation
Fabio Fioravanti, John P. Gallagher Logic-Based Program Synthesis and Transformation Inglese 10.07.2018 Tascabile Fr. 70.00 6-7 settimane
Cezar Câmpeanu - Implementation and Application of Automata
Cezar Câmpeanu Implementation and Application of Automata Inglese 30.06.2018 Tascabile Fr. 70.00 6-7 settimane
Hana Chockler, Georg Weissenbacher - Computer Aided Verification
Hana Chockler, Georg Weissenbacher Computer Aided Verification Inglese 22.07.2018 Tascabile Fr. 70.00 6-7 settimane
Hana Chockler, Georg Weissenbacher - Computer Aided Verification
Hana Chockler, Georg Weissenbacher Computer Aided Verification Inglese 22.07.2018 Tascabile Fr. 70.00 6-7 settimane