Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto - Inductive Logic Programming
Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto Inductive Logic Programming Inglese 12.06.2016 Tascabile Fr. 69.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. 69.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. 69.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. 69.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. 69.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. 69.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. 69.00 6-7 settimane
Dorel Lucanu - Rewriting Logic and Its Applications
Dorel Lucanu Rewriting Logic and Its Applications Inglese 18.08.2016 Tascabile Fr. 69.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. 69.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. 69.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. 69.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. 69.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. 58.50 6-7 settimane
Annie Foret, Glyn Morrill, Reinhard Musken, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla - Formal Grammar
Annie Foret, Glyn Morrill, Reinhard Musken, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla Formal Grammar Inglese 06.08.2016 Tascabile Fr. 69.00 6-7 settimane
Jasmin Christian Blanchette, Stephan Merz - Interactive Theorem Proving
Jasmin Christian Blanchette, Stephan Merz Interactive Theorem Proving Inglese 07.08.2016 Tascabile Fr. 69.00 6-7 settimane
Dieter Fiems, Marco Paolieri, Agapios Platis, Agapios N. Platis - Computer Performance Engineering
Dieter Fiems, Marco Paolieri, Agapios Platis, Agapios N. Platis Computer Performance Engineering Inglese 16.09.2016 Tascabile Fr. 69.00 6-7 settimane
Christiano Braga, Narciso Martí-Oliet - Formal Methods: Foundations and Applications
Christiano Braga, Narciso Martí-Oliet Formal Methods: Foundations and Applications Inglese 27.01.2015 Tascabile Fr. 55.90 6-7 settimane
Andy King, Oleg Kiselyov - Functional and Logic Programming
Andy King, Oleg Kiselyov Functional and Logic Programming Inglese 23.02.2016 Tascabile Fr. 67.00 6-7 settimane
Xinyu Feng, Sungwoo Park - Programming Languages and Systems
Xinyu Feng, Sungwoo Park Programming Languages and Systems Inglese 10.12.2015 Tascabile Fr. 69.00 6-7 settimane
Perdita Stevens, Andrzej W¿sowski, Andrzej Wasowski, Andrzej Wąsowski - Fundamental Approaches to Software Engineering
Perdita Stevens, Andrzej W¿sowski, Andrzej Wasowski, Andrzej Wąsowski Fundamental Approaches to Software Engineering Inglese 22.03.2016 Tascabile Fr. 69.00 6-7 settimane