Languages
Subject
Format
Availabity
Authors

Search result

Shuai Han, Weixiao Meng, Liang Ye - Artificial Intelligence for Communications and Networks
Shuai Han, Weixiao Meng, Liang Ye Artificial Intelligence for Communications and Networks English 05.07.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
Luigi Cocchiarella - The Visual Language of Technique
Luigi Cocchiarella The Visual Language of Technique English 06.10.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Luigi Cocchiarella - The Visual Language of Technique
Luigi Cocchiarella The Visual Language of Technique English 06.10.2016 Paperback / Softback Fr. 70.00 6-7 weeks
John Hallam, Jørgen Christian Larsen, Poramate Manoonpong, Jochen Triesch, Xiaofeng Xiong - From Animals to Animats 15
John Hallam, Jørgen Christian Larsen, Poramate Manoonpong, Jochen Triesch, Xiaofeng Xiong From Animals to Animats 15 English 26.07.2018 Paperback / Softback Fr. 70.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
Kim Guldstrand Larsen, Tim Willemse - Formal Methods for Industrial Critical Systems
Kim Guldstrand Larsen, Tim Willemse Formal Methods for Industrial Critical Systems English 25.07.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
Matthew Forshaw, Nigel Thomas - Analytical and Stochastic Modelling Techniques and Applications
Matthew Forshaw, Nigel Thomas Analytical and Stochastic Modelling Techniques and Applications English 09.06.2017 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
Hasnaâ Aniss, Marion Berbineau, Hervé Bonneville, Bertrand Ducourthial, Christophe Guerber, Jaizki Mendizabal... - Communication Technologies for Vehicles
Hasnaâ Aniss, Marion Berbineau, Hervé Bonneville, Bertrand Ducourthial, Christophe Guerber, Jaizki Mendizabal... Communication Technologies for Vehicles English 05.04.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Alexandra Bac, Jean-Luc Mari - Computational Topology in Image Context
Alexandra Bac, Jean-Luc Mari Computational Topology in Image Context English 02.06.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Vladimir V. Rykov, Nozer D. Singpurwalla, Andrey M. Zubkov - Analytical and Computational Methods in Probability Theory
Vladimir V. Rykov, Nozer D. Singpurwalla, Andrey M. Zubkov Analytical and Computational Methods in Probability Theory English 21.12.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Marc Christie, Tsai-Yen Li - Smart Graphics
Marc Christie, Tsai-Yen Li Smart Graphics English 22.09.2014 Paperback / Softback Fr. 56.90 6-7 weeks
Chrystopher Nehaniv, Yuuya Sugita, Elio Tuci, Paul Vogt - Symbol Grounding and Beyond
Chrystopher Nehaniv, Yuuya Sugita, Elio Tuci, Paul Vogt Symbol Grounding and Beyond English 21.09.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Stephen Gilmore, Mirco Tribastone - Computer Performance Engineering
Stephen Gilmore, Mirco Tribastone Computer Performance Engineering English 03.02.2013 Paperback / Softback Fr. 66.00 6-7 weeks
Jose A. Ceroni Díaz, Rosa G. González-Ramírez, Frederik Schulte, Stefan Voß - Computational Logistics
Jose A. Ceroni Díaz, Rosa G. González-Ramírez, Frederik Schulte, Stefan Voß Computational Logistics English 22.09.2014 Paperback / Softback Fr. 56.90 6-7 weeks
Gennady Agre, Allan Ramsay - Artificial Intelligence: Methodology, Systems, and Applications
Gennady Agre, Allan Ramsay Artificial Intelligence: Methodology, Systems, and Applications English 03.08.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Mark van den Brand, Dragan Gasevic, Jeff Gray, Mark van den Brand - Software Language Engineering
Mark van den Brand, Dragan Gasevic, Jeff Gray, Mark van den Brand Software Language Engineering English 25.03.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Javier Bajo, Yves Demazeau, Maria José Escalona, Takayuki Ito - Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection
Javier Bajo, Yves Demazeau, Maria José Escalona, Takayuki Ito Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection English 11.05.2016 Paperback / Softback Fr. 70.00 6-7 weeks