Languages
Subject
Format
Availabity
Authors

Search result

Ryszard Kowalczyk, Jacek Mercik, Ngoc Thanh Nguyen - Transactions on Computational Collective Intelligence XXVII
Ryszard Kowalczyk, Jacek Mercik, Ngoc Thanh Nguyen Transactions on Computational Collective Intelligence XXVII English 26.11.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
Shane Torbert - Applied Computer Science
Shane Torbert Applied Computer Science English 30.05.2018 Paperback / Softback Fr. 77.00 6-7 weeks
Enrique Cabello, Jorge Cardoso, André Ludwig, Leszek A. Maciaszek, Marten van Sinderen, Marten van Sinderen - Software Technologies
Enrique Cabello, Jorge Cardoso, André Ludwig, Leszek A. Maciaszek, Marten van Sinderen, Marten van Sinderen Software Technologies English 12.07.2017 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
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
Alessandro Abate, David Safranek - Hybrid Systems Biology
Alessandro Abate, David Safranek Hybrid Systems Biology English 10.01.2016 Paperback / Softback Fr. 68.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
Nargoz Danaev, Nargozy Danaev, Murat Orunkhanov, Murat Orunkhanov et al, Michael Resch, Michael M. Resch... - Advances in High Performance Computing and Computational Sciences
Nargoz Danaev, Nargozy Danaev, Murat Orunkhanov, Murat Orunkhanov et al, Michael Resch, Michael M. Resch... Advances in High Performance Computing and Computational Sciences English 01.07.2009 Hardback Fr. 239.00 6-7 weeks
Bjoern Andres, Bodo Rosenhahn - Pattern Recognition
Bjoern Andres, Bodo Rosenhahn Pattern Recognition English 27.08.2016 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
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
Michel Daydé, Osni Marques, Kengo Nakajima - High Performance Computing for Computational Science -- VECPAR 2014
Michel Daydé, Osni Marques, Kengo Nakajima High Performance Computing for Computational Science -- VECPAR 2014 English 04.05.2015 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
Zhiming Liu, Zili Zhang - Engineering Trustworthy Software Systems
Zhiming Liu, Zili Zhang Engineering Trustworthy Software Systems English 01.03.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Shu-Heng Chen, Koichi Kurumatani, Azuma Ohuchi - Multi-Agent for Mass User Support
Shu-Heng Chen, Koichi Kurumatani, Azuma Ohuchi Multi-Agent for Mass User Support English 26.04.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Mehmet Aksit, Awais Rashid - Transactions on Aspect-Oriented Software Development II
Mehmet Aksit, Awais Rashid Transactions on Aspect-Oriented Software Development II English 03.11.2006 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
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