Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Dines Bjørner - Software Engineering 2
Dines Bjørner Software Engineering 2 Inglese 11.10.2010 Tascabile Fr. 70.00 6-7 settimane
Flum, J Flum, J. Flum, M Grohe, M. Grohe - Parameterized Complexity Theory
Flum, J Flum, J. Flum, M Grohe, M. Grohe Parameterized Complexity Theory Inglese 12.10.2010 Tascabile Fr. 110.00 6-7 settimane
Cristian S Calude, Cristian S. Calude - Information and Randomness
Cristian S Calude, Cristian S. Calude Information and Randomness Inglese 12.10.2010 Tascabile Fr. 79.00 6-7 settimane
Lane Hemaspaandra, Lane A Hemaspaandra, Lane A. Hemaspaandra, Mitsunori Ogihara - The Complexity Theory Companion
Lane Hemaspaandra, Lane A Hemaspaandra, Lane A. Hemaspaandra, Mitsunori Ogihara The Complexity Theory Companion Inglese 14.10.2010 Tascabile Fr. 79.00 6-7 settimane
Yve Bertot, Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring - Interactive Theorem Proving and Program Development
Yve Bertot, Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring Interactive Theorem Proving and Program Development Inglese 29.01.2013 Tascabile Fr. 110.00 6-7 settimane
R Kurki-Suonio, R. Kurki-Suonio - A Practical Theory of Reactive Systems
R Kurki-Suonio, R. Kurki-Suonio A Practical Theory of Reactive Systems Inglese 11.10.2010 Tascabile Fr. 70.00 6-7 settimane
Dines Bjørner - Software Engineering 1
Dines Bjørner Software Engineering 1 Inglese 11.10.2010 Tascabile Fr. 117.00 6-7 settimane
Jörg Rothe - Complexity Theory and Cryptology
Jörg Rothe Complexity Theory and Cryptology Inglese 13.10.2010 Tascabile Fr. 70.00 6-7 settimane
Eri BADOUEL, Eric BADOUEL, Luc Bernardinello, Luca Bernardinello, Phili Darondeau, Philippe Darondeau - Petri Net Synthesis
Eri BADOUEL, Eric BADOUEL, Luc Bernardinello, Luca Bernardinello, Phili Darondeau, Philippe Darondeau Petri Net Synthesis Inglese 01.01.2016 Tascabile Fr. 84.00 6-7 settimane
Robert Gorrieri, Roberto Gorrieri, Cristian Versari - Introduction to Concurrency Theory
Robert Gorrieri, Roberto Gorrieri, Cristian Versari Introduction to Concurrency Theory Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Juraj Hromkovi, Juraj Hromkovi¿, Juraj Hromkovic, Juraj Hromkovič - Theoretical Computer Science
Juraj Hromkovi, Juraj Hromkovi¿, Juraj Hromkovic, Juraj Hromkovič Theoretical Computer Science Inglese 01.07.2011 Tascabile Fr. 135.00 6-7 settimane
Juraj Hromkovic, Juraj Hromkovič - Algorithmics for Hard Problems
Juraj Hromkovic, Juraj Hromkovič Algorithmics for Hard Problems Inglese 11.10.2010 Tascabile Fr. 90.00 6-7 settimane
Stasys Jukna - Extremal Combinatorics
Stasys Jukna Extremal Combinatorics Inglese 20.03.2014 Tascabile Fr. 90.00 6-7 settimane
Frank Drewes - Grammatical Picture Generation
Frank Drewes Grammatical Picture Generation Inglese 01.01.2014 Tascabile Fr. 70.00 6-7 settimane
Eri BADOUEL, Eric BADOUEL, Luc Bernardinello, Luca Bernardinello, Phili Darondeau, Philippe Darondeau - Petri Net Synthesis
Eri BADOUEL, Eric BADOUEL, Luc Bernardinello, Luca Bernardinello, Phili Darondeau, Philippe Darondeau Petri Net Synthesis Inglese 01.01.2015 Copertina rigida Fr. 84.00 6-7 settimane
Flum, J Flum, J. Flum, Jörg Flum, M Grohe, M. Grohe... - Parameterized Complexity Theory
Flum, J Flum, J. Flum, Jörg Flum, M Grohe, M. Grohe... Parameterized Complexity Theory Inglese 14.02.2006 Copertina rigida Fr. 147.00 6-7 settimane
R Kurki-Suonio, R. Kurki-Suonio, Reino Kurki-Suonio - A Practical Theory of Reactive Systems
R Kurki-Suonio, R. Kurki-Suonio, Reino Kurki-Suonio A Practical Theory of Reactive Systems Inglese 01.01.2014 Copertina rigida Fr. 70.00 6-7 settimane
Subir Bandyopadhyay - Dissemination of Information in Optical Networks:
Subir Bandyopadhyay Dissemination of Information in Optical Networks: Inglese 14.11.2007 Copertina rigida Fr. 70.00 6-7 settimane
Max Garzon - Models of Massive Parallelism
Max Garzon Models of Massive Parallelism Inglese 01.01.1995 Copertina rigida Esaurito
Alexander Leitsch - The Resolution Calculus
Alexander Leitsch The Resolution Calculus Inglese 01.01.1997 Copertina rigida Esaurito