Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Ichiro Hasuo - Coalgebraic Methods in Computer Science
Ichiro Hasuo Coalgebraic Methods in Computer Science Inglese 04.06.2016 Tascabile Fr. 70.00 6-7 settimane
Elvira Albert, Ivan Lanese - Formal Techniques for Distributed Objects, Components, and Systems
Elvira Albert, Ivan Lanese Formal Techniques for Distributed Objects, Components, and Systems Inglese 27.06.2016 Tascabile Fr. 70.00 6-7 settimane
Sandrine Blazy, Marsha Chechik - Verified Software. Theories, Tools, and Experiments
Sandrine Blazy, Marsha Chechik Verified Software. Theories, Tools, and Experiments Inglese 08.11.2016 Tascabile Fr. 70.00 6-7 settimane
Paolo Baldan, University of Roma "La Sapienza" - CONCUR 2014 - Concurrency Theory
Paolo Baldan, University of Roma "La Sapienza" CONCUR 2014 - Concurrency Theory Inglese 06.08.2014 Tascabile Fr. 70.00 6-7 settimane
Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich, Jan Martijn van der Werf - Web Services, Formal Methods, and Behavioral Types
Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich, Jan Martijn van der Werf Web Services, Formal Methods, and Behavioral Types Inglese 20.04.2016 Tascabile Fr. 59.50 6-7 settimane
Miklos Biro, Michael Butler, Atif Mashkoor, Klaus-Dieter Schewe - Abstract State Machines, Alloy, B, TLA, VDM, and Z
Miklos Biro, Michael Butler, Atif Mashkoor, Klaus-Dieter Schewe Abstract State Machines, Alloy, B, TLA, VDM, and Z Inglese 11.05.2016 Tascabile Fr. 70.00 6-7 settimane
Yuliya Lierler, Walid Taha - Practical Aspects of Declarative Languages
Yuliya Lierler, Walid Taha Practical Aspects of Declarative Languages Inglese 17.12.2016 Tascabile Fr. 70.00 6-7 settimane
Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto - Inductive Logic Programming
Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto Inductive Logic Programming Inglese 12.06.2016 Tascabile Fr. 70.00 6-7 settimane
Anna-Lena Lamprecht - Leveraging Applications of Formal Methods, Verification, and Validation
Anna-Lena Lamprecht Leveraging Applications of Formal Methods, Verification, and Validation Inglese 22.12.2016 Tascabile Fr. 70.00 6-7 settimane
Ivica Crnkovic, Elena Troubitsyna - Software Engineering for Resilient Systems
Ivica Crnkovic, Elena Troubitsyna Software Engineering for Resilient Systems Inglese 26.08.2016 Tascabile Fr. 70.00 6-7 settimane
Sre¿ko Brlek, Srecko Brlek, Srečko Brlek, Christophe Reutenauer - Developments in Language Theory
Sre¿ko Brlek, Srecko Brlek, Srečko Brlek, Christophe Reutenauer Developments in Language Theory Inglese 21.07.2016 Tascabile Fr. 70.00 6-7 settimane
Cyrille Artho, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems Inglese 23.04.2015 Tascabile Fr. 70.00 6-7 settimane
Martyn Amos, Anne Condon - Unconventional Computation and Natural Computation
Martyn Amos, Anne Condon Unconventional Computation and Natural Computation Inglese 15.06.2016 Tascabile Fr. 70.00 6-7 settimane
Matteo Baldoni, Amit K. Chopra, Katsutoshi Hirayama, Tran Cao Son, Paolo Torroni - PRIMA 2016: Principles and Practice of Multi-Agent Systems
Matteo Baldoni, Amit K. Chopra, Katsutoshi Hirayama, Tran Cao Son, Paolo Torroni PRIMA 2016: Principles and Practice of Multi-Agent Systems Inglese 10.08.2016 Tascabile Fr. 70.00 6-7 settimane
Dorel Lucanu - Rewriting Logic and Its Applications
Dorel Lucanu Rewriting Logic and Its Applications Inglese 18.08.2016 Tascabile Fr. 70.00 6-7 settimane
Martin Fränzle, Nicolas Markey - Formal Modeling and Analysis of Timed Systems
Martin Fränzle, Nicolas Markey Formal Modeling and Analysis of Timed Systems Inglese 17.08.2016 Tascabile Fr. 70.00 6-7 settimane
Paul Grünbacher, Anna Perini - Requirements Engineering: Foundation for Software Quality
Paul Grünbacher, Anna Perini Requirements Engineering: Foundation for Software Quality Inglese 21.02.2017 Tascabile Fr. 70.00 6-7 settimane
Cyrille Artho, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems Inglese 16.02.2017 Tascabile Fr. 70.00 6-7 settimane
eva Kühn, Rosario Pugliese - Coordination Models and Languages
eva Kühn, Rosario Pugliese Coordination Models and Languages Inglese 24.07.2014 Tascabile Fr. 70.00 6-7 settimane
Leonardo de Moura, Moa Johansson, Michael Kohlhase, Bruce Miller, Frank Toma, Frank Tompa - Intelligent Computer Mathematics
Leonardo de Moura, Moa Johansson, Michael Kohlhase, Bruce Miller, Frank Toma, Frank Tompa Intelligent Computer Mathematics Inglese 12.07.2016 Tascabile Fr. 59.50 6-7 settimane