Languages
Subject
Format
Availabity
Authors

Search result

M. Chiara Leva, Luca Longo - Human Mental Workload: Models and Applications
M. Chiara Leva, Luca Longo Human Mental Workload: Models and Applications English 23.02.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Bo Li, Zhongjiang Yan, Mao Yang, Hui Yuan - IoT as a Service
Bo Li, Zhongjiang Yan, Mao Yang, Hui Yuan IoT as a Service English 07.03.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification English 24.04.2019 Paperback / Softback Fr. 82.00 6-7 weeks
Zhenhua Duan, Shaoying Liu, Fumiko Nagoya, Cong Tian - Structured Object-Oriented Formal Language and Method
Zhenhua Duan, Shaoying Liu, Fumiko Nagoya, Cong Tian Structured Object-Oriented Formal Language and Method English 09.02.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Hana Chockler, Georg Weissenbacher - Computer Aided Verification
Hana Chockler, Georg Weissenbacher Computer Aided Verification English 22.07.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Hana Chockler, Georg Weissenbacher - Computer Aided Verification
Hana Chockler, Georg Weissenbacher Computer Aided Verification English 22.07.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Aaron Dutle, César Muñoz, Anthony Narkawicz - NASA Formal Methods
Aaron Dutle, César Muñoz, Anthony Narkawicz NASA Formal Methods English 11.03.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Eduard Babkin, Russell Lock, Martin Molhanec, Robert Pergl - Enterprise and Organizational Modeling and Simulation
Eduard Babkin, Russell Lock, Martin Molhanec, Robert Pergl Enterprise and Organizational Modeling and Simulation English 28.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia - Computer Aided Systems Theory - EUROCAST 2007, 2 Vols.
Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia Computer Aided Systems Theory - EUROCAST 2007, 2 Vols. English 26.02.2010 Paperback / Softback Fr. 189.00 6-7 weeks
Barnat, Barnat, Ji¿í Barnat, Jiri Barnat, Jirí Barnat, Jiří Barnat... - Formal Methods for Industrial Critical Systems
Barnat, Barnat, Ji¿í Barnat, Jiri Barnat, Jirí Barnat, Jiří Barnat... Formal Methods for Industrial Critical Systems English 31.10.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Matt Heiliö, Matti Heiliö, Tim Lähivaara, Timo Lähivaara, Erkki Laitinen, Erkki et a Laitinen... - Mathematical Modelling
Matt Heiliö, Matti Heiliö, Tim Lähivaara, Timo Lähivaara, Erkki Laitinen, Erkki et a Laitinen... Mathematical Modelling English 01.01.2018 Paperback / Softback Fr. 84.00 6-7 weeks
Alessandro Caiani, Mauro Gallegati, Antonio Palestrini, Antonio Palestrini et al, Albert Russo, Alberto Russo - Economics with Heterogeneous Interacting Agents
Alessandro Caiani, Mauro Gallegati, Antonio Palestrini, Antonio Palestrini et al, Albert Russo, Alberto Russo Economics with Heterogeneous Interacting Agents English 01.01.2018 Paperback / Softback Fr. 159.00 6-7 weeks
Jua A Barceló, Juan A Barceló, Juan A. Barceló, DEL CASTILLO, Del Castillo, Florencia Del Castillo - Simulating Prehistoric and Ancient Worlds
Jua A Barceló, Juan A Barceló, Juan A. Barceló, DEL CASTILLO, Del Castillo, Florencia Del Castillo Simulating Prehistoric and Ancient Worlds English 01.01.2018 Paperback / Softback Fr. 135.00 6-7 weeks
Ia A Frigaard, Ian A Frigaard, Jacques Bélair, Ian A. Frigaard, Herb Kunze, Herb Kunze et al... - Mathematical and Computational Approaches in Advancing Modern Science and Engineering
Ia A Frigaard, Ian A Frigaard, Jacques Bélair, Ian A. Frigaard, Herb Kunze, Herb Kunze et al... Mathematical and Computational Approaches in Advancing Modern Science and Engineering English 01.01.2018 Paperback / Softback Fr. 239.00 6-7 weeks
Alessandro Abate, Gilles Geeraerts - Formal Modeling and Analysis of Timed Systems
Alessandro Abate, Gilles Geeraerts Formal Modeling and Analysis of Timed Systems English 03.08.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Vittorio Bilò, Michele Flammini - Algorithmic Game Theory
Vittorio Bilò, Michele Flammini Algorithmic Game Theory English 19.08.2017 Paperback / Softback Fr. 70.00 6-7 weeks
David N. Jansen, Pavithra Prabhakar - Formal Modeling and Analysis of Timed Systems
David N. Jansen, Pavithra Prabhakar Formal Modeling and Analysis of Timed Systems English 26.08.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Cristina Conati, Kathlee McCoy, Kathleen McCoy, Georgios Paliouras - User Modeling 2007
Cristina Conati, Kathlee McCoy, Kathleen McCoy, Georgios Paliouras User Modeling 2007 English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Christine Parent, Klaus-Dieter Schewe, Veda C. Storey, Bernhard Thalheim - Conceptual Modeling - ER 2007
Christine Parent, Klaus-Dieter Schewe, Veda C. Storey, Bernhard Thalheim Conceptual Modeling - ER 2007 English 13.09.2012 Paperback / Softback Fr. 135.00 6-7 weeks
Andreas Brandstadt, Andreas Brandstädt, Dieter Kratsch, Haiko Müller - Graph-Theoretic Concepts in Computer Science
Andreas Brandstadt, Andreas Brandstädt, Dieter Kratsch, Haiko Müller Graph-Theoretic Concepts in Computer Science English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks