Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Jacopo Mauro - Constraints Meet Concurrency
Jacopo Mauro Constraints Meet Concurrency Inglese 17.01.2014 Copertina rigida Fr. 69.00 2-3 settimane (il titolo viene stampato sull'ordine)
André Schulz - Grundlagen der Theoretischen Informatik
André Schulz Grundlagen der Theoretischen Informatik Tedesco 20.01.2026 Tascabile Fr. 52.50 min. 4 settimane (il titolo viene procurato in modo speciale)
Dirk W Hoffmann, Dirk W (Prof. Dr.) Hoffmann, Dirk W. Hoffmann - Grenzen der Mathematik
Dirk W Hoffmann, Dirk W (Prof. Dr.) Hoffmann, Dirk W. Hoffmann Grenzen der Mathematik Tedesco 26.05.2018 Tascabile Fr. 53.50 4-7 giorni lavorativi
Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa - Membrane Computing
Carlos Martín-Vide, Giancarlo Mauri, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa Membrane Computing Inglese 28.01.2004 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
B. K. Aichernig, Bernhard K. Aichernig, T. Maibaum, Tom Maibaum - Formal Methods at the Crossroads. From Panacea to Foundational Support
B. K. Aichernig, Bernhard K. Aichernig, T. Maibaum, Tom Maibaum Formal Methods at the Crossroads. From Panacea to Foundational Support Inglese 18.11.2003 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Francois Bry, Nicola Henze, Jan Maluszynski - Principles and Practice of Semantic Web Reasoning
Francois Bry, Nicola Henze, Jan Maluszynski Principles and Practice of Semantic Web Reasoning Inglese 25.11.2003 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Atsushi Ohori - Programming Languages and Systems
Atsushi Ohori Programming Languages and Systems Inglese 12.11.2003 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Evelyn Duesterwald - Compiler Construction
Evelyn Duesterwald Compiler Construction Inglese 18.03.2004 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack - Types for Proofs and Programs
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack Types for Proofs and Programs Inglese 20.02.2002 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Stein Krogdahl, Tom Lyche, Olaf Owe - From Object-Orientation to Formal Methods
Stein Krogdahl, Tom Lyche, Olaf Owe From Object-Orientation to Formal Methods Inglese 31.03.2004 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Andrzej Lingas, Bengt J. Nilsson - Fundamentals of Computation Theory
Andrzej Lingas, Bengt J. Nilsson Fundamentals of Computation Theory Inglese 29.07.2003 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
R. Berghammer, Bernhard Möller, Georg Struth - Relational and Kleene-Algebraic Methods in Computer Science
R. Berghammer, Bernhard Möller, Georg Struth Relational and Kleene-Algebraic Methods in Computer Science Inglese 01.06.2004 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Maurice Bruynooghe - Logic Based Program Synthesis and Transformation
Maurice Bruynooghe Logic Based Program Synthesis and Transformation Inglese 24.06.2004 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Bruce Watson, Derick Wood - Implementation and Application of Automata
Bruce Watson, Derick Wood Implementation and Application of Automata Inglese 16.01.2003 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Hans J. Ohlbach, Sebastian Schaffert - Principles and Practice of Semantic Web Reasoning
Hans J. Ohlbach, Sebastian Schaffert Principles and Practice of Semantic Web Reasoning Inglese 02.09.2004 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Annette Bunker, Ganesh C. Gopalakrishnan, Konrad Slind - Theorem Proving in Higher Order Logics
Annette Bunker, Ganesh C. Gopalakrishnan, Konrad Slind Theorem Proving in Higher Order Logics Inglese 01.09.2004 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Walid Taha - Semantics, Applications, and Implementation of Program Generation
Walid Taha Semantics, Applications, and Implementation of Program Generation Inglese 23.08.2001 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Jordi Cortadella, Grzegorz Rozenberg, Alex Yakovlev - Concurrency and Hardware Design
Jordi Cortadella, Grzegorz Rozenberg, Alex Yakovlev Concurrency and Hardware Design Inglese 26.11.2002 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Samson Abramsky - Typed Lambda Calculi and Applications
Samson Abramsky Typed Lambda Calculi and Applications Inglese 20.04.2001 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Aart Middeldorp - Rewriting Techniques and Applications
Aart Middeldorp Rewriting Techniques and Applications Inglese 09.05.2001 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)