Lingue
Categoria
Format
Resettare 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
Isabelle Bichindaritz, Christian Guttmann, Pau Herrero, Fernando Koch, Andrew Koster, Richard Lenz... - Artificial Intelligence in Health
Isabelle Bichindaritz, Christian Guttmann, Pau Herrero, Fernando Koch, Andrew Koster, Richard Lenz... Artificial Intelligence in Health Inglese 21.02.2019 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Fred Mesnard, Peter J. Stuckey - Logic-Based Program Synthesis and Transformation
Fred Mesnard, Peter J. Stuckey Logic-Based Program Synthesis and Transformation Inglese 23.02.2019 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Josep Silva - Functional and Constraint Logic Programming
Josep Silva Functional and Constraint Logic Programming Inglese 16.03.2019 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Nicolas Lachiche, Christel Vrain - Inductive Logic Programming
Nicolas Lachiche, Christel Vrain Inductive Logic Programming Inglese 15.03.2018 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Jeremy Gibbons, Perdita Stevens - Bidirectional Transformations
Jeremy Gibbons, Perdita Stevens Bidirectional Transformations Inglese 29.03.2018 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Jing Sun, Meng Sun - Formal Methods and Software Engineering
Jing Sun, Meng Sun Formal Methods and Software Engineering Inglese 11.10.2018 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Dirk Beyer, Marieke Huisman - Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman Tools and Algorithms for the Construction and Analysis of Systems Inglese 12.04.2018 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Christel Baier, Ugo Dal Lago - Foundations of Software Science and Computation Structures
Christel Baier, Ugo Dal Lago Foundations of Software Science and Computation Structures Inglese 14.04.2018 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Victor Khomenko, Olivier H. Roux - Application and Theory of Petri Nets and Concurrency
Victor Khomenko, Olivier H. Roux Application and Theory of Petri Nets and Concurrency Inglese 08.05.2018 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl - Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl Abstract State Machines, Alloy, B, TLA, VDM, and Z Inglese 08.05.2018 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero - Computing with Foresight and Industry
Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero Computing with Foresight and Industry Inglese 19.06.2019 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Ionu¿ ¿U¿U, José Luiz Fiadeiro, Ionu uu - Recent Trends in Algebraic Development Techniques
Ionu¿ ¿U¿U, José Luiz Fiadeiro, Ionu uu Recent Trends in Algebraic Development Techniques Inglese 26.06.2019 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang - Tools and Algorithms for the Construction and Analysis of Systems
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang Tools and Algorithms for the Construction and Analysis of Systems Inglese 04.04.2019 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang - Tools and Algorithms for the Construction and Analysis of Systems
Tomá¿ Vojnar, Tomás Vojnar, Tomáš Vojnar, Lijun Zhang Tools and Algorithms for the Construction and Analysis of Systems Inglese 04.04.2019 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Jonathan P. Bowen, Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems
Jonathan P. Bowen, Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems Inglese 14.04.2019 Tascabile Fr. 81.00 1-2 settimane (il titolo viene stampato sull'ordine)
Roger Chamberlain, Walid Taha, Martin Törngren - Cyber Physical Systems. Design, Modeling, and Evaluation
Roger Chamberlain, Walid Taha, Martin Törngren Cyber Physical Systems. Design, Modeling, and Evaluation Inglese 13.04.2019 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Michal Hospodár, Galina Jirásková - Implementation and Application of Automata
Michal Hospodár, Galina Jirásková Implementation and Application of Automata Inglese 27.06.2019 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Susan Stepney, Sergey Verlan - Unconventional Computation and Natural Computation
Susan Stepney, Sergey Verlan Unconventional Computation and Natural Computation Inglese 31.05.2018 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)