Languages
Subject
Format
Availabity
Authors

Search result

Klaus Schneider - Verification of Reactive Systems
Klaus Schneider Verification of Reactive Systems English 11.10.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Flum, J Flum, J. Flum, M Grohe, M. Grohe - Parameterized Complexity Theory
Flum, J Flum, J. Flum, M Grohe, M. Grohe Parameterized Complexity Theory English 12.10.2010 Paperback / Softback Fr. 110.00 6-7 weeks
Cristian S Calude, Cristian S. Calude - Information and Randomness
Cristian S Calude, Cristian S. Calude Information and Randomness English 12.10.2010 Paperback / Softback Fr. 79.00 6-7 weeks
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 English 14.10.2010 Paperback / Softback Fr. 79.00 6-7 weeks
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 English 29.01.2013 Paperback / Softback Fr. 110.00 6-7 weeks
Dines Bjørner - Software Engineering 1
Dines Bjørner Software Engineering 1 English 11.10.2010 Paperback / Softback Fr. 117.00 6-7 weeks
R Kurki-Suonio, R. Kurki-Suonio - A Practical Theory of Reactive Systems
R Kurki-Suonio, R. Kurki-Suonio A Practical Theory of Reactive Systems English 11.10.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Jörg Rothe - Complexity Theory and Cryptology
Jörg Rothe Complexity Theory and Cryptology English 13.10.2010 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2016 Paperback / Softback Fr. 84.00 6-7 weeks
Robert Gorrieri, Roberto Gorrieri, Cristian Versari - Introduction to Concurrency Theory
Robert Gorrieri, Roberto Gorrieri, Cristian Versari Introduction to Concurrency Theory English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Juraj Hromkovic, Juraj Hromkovič - Algorithmics for Hard Problems
Juraj Hromkovic, Juraj Hromkovič Algorithmics for Hard Problems English 11.10.2010 Paperback / Softback Fr. 90.00 6-7 weeks
Juraj Hromkovi, Juraj Hromkovi¿, Juraj Hromkovic, Juraj Hromkovič - Theoretical Computer Science
Juraj Hromkovi, Juraj Hromkovi¿, Juraj Hromkovic, Juraj Hromkovič Theoretical Computer Science English 01.07.2011 Paperback / Softback Fr. 135.00 6-7 weeks
Stasys Jukna - Extremal Combinatorics
Stasys Jukna Extremal Combinatorics English 20.03.2014 Paperback / Softback Fr. 90.00 6-7 weeks
Frank Drewes - Grammatical Picture Generation
Frank Drewes Grammatical Picture Generation English 01.01.2014 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2015 Hardback Fr. 84.00 6-7 weeks
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 English 14.02.2006 Hardback Fr. 147.00 6-7 weeks
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 English 01.01.2014 Hardback Fr. 70.00 6-7 weeks
Subir Bandyopadhyay - Dissemination of Information in Optical Networks:
Subir Bandyopadhyay Dissemination of Information in Optical Networks: English 14.11.2007 Hardback Fr. 70.00 6-7 weeks
S. Jukna, Stasys Jukna - Extremal Combinatorics
S. Jukna, Stasys Jukna Extremal Combinatorics German 16.01.2004 Hardback Sold out
Juraj Hromkovic, Juraj Hromkovič - Algorithmics for Hard Problems
Juraj Hromkovic, Juraj Hromkovič Algorithmics for Hard Problems 01.01.2004 Hardback Sold out