Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Wolfgang Rautenberg - Einführung in die Mathematische Logik
Wolfgang Rautenberg Einführung in die Mathematische Logik Tedesco 01.01.2008 Tascabile Fr. 53.50 4-7 giorni lavorativi
Wil M P van der Aalst, Wil M. P. van der Aalst, Wil M P Van Der Aalst, Wil M. P. van der Aalst - Process Mining
Wil M P van der Aalst, Wil M. P. van der Aalst, Wil M P Van Der Aalst, Wil M. P. van der Aalst Process Mining Inglese, Tedesco 01.01.2018 Tascabile Fr. 70.00 4-7 giorni lavorativi
M. Bidoit, Michel Bidoit, P. D. Mosses, Peter D. Mosses - CASL User Manual
M. Bidoit, Michel Bidoit, P. D. Mosses, Peter D. Mosses CASL User Manual Inglese 29.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)
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)
Michael Schroeder, Gerd Wagner - Rules and Rule Markup Languages for the Semantic Web
Michael Schroeder, Gerd Wagner Rules and Rule Markup Languages for the Semantic Web Inglese 09.10.2003 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
R. Focardi, Riccardo Focardi, Roberto Gorrieri - Foundations of Security Analysis and Design II
R. Focardi, Riccardo Focardi, Roberto Gorrieri Foundations of Security Analysis and Design II Inglese 28.01.2004 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)
Susanne Graf, Laurent Mounier - Model Checking Software
Susanne Graf, Laurent Mounier Model Checking Software Inglese 18.03.2004 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Frank Mueller - High-Level Parallel Programming Models and Supportive Environments
Frank Mueller High-Level Parallel Programming Models and Supportive Environments Inglese 04.04.2001 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Matthew Dwyer - Model Checking Software
Matthew Dwyer Model Checking Software Inglese 02.05.2001 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)
Yukiyoshi Kameyama, Peter J. Stuckey - Functional and Logic Programming
Yukiyoshi Kameyama, Peter J. Stuckey Functional and Logic Programming Inglese 24.03.2004 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)
Bharat Jayaraman - Practical Aspects of Declarative Languages
Bharat Jayaraman Practical Aspects of Declarative Languages Inglese 14.06.2004 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)
Hubert Baumeister, Jutta Eckstein - Extreme Programming and Agile Processes in Software Engineering
Hubert Baumeister, Jutta Eckstein Extreme Programming and Agile Processes in Software Engineering Inglese 01.06.2004 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Wolfgang Emmerich, Alexander L. Wolf - Component Deployment
Wolfgang Emmerich, Alexander L. Wolf Component Deployment Inglese 11.05.2004 Tascabile Fr. 72.00 1-2 settimane (il titolo viene stampato sull'ordine)