Languages
Subject
Format
Availabity
Authors

Search result

Bo An, An Bazzan, Ana Bazzan, João Leite, João Leite et al, Leendert Van Der Torre... - PRIMA 2017: Principles and Practice of Multi-Agent Systems
Bo An, An Bazzan, Ana Bazzan, João Leite, João Leite et al, Leendert Van Der Torre... PRIMA 2017: Principles and Practice of Multi-Agent Systems English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Behzad Bordbar, Behzad Bordbar et al, Robert France, Robert B. France, Jochen M. Kuester, Jochen M Kuester... - Modelling -- Foundation and Applications
Behzad Bordbar, Behzad Bordbar et al, Robert France, Robert B. France, Jochen M. Kuester, Jochen M Kuester... Modelling -- Foundation and Applications English 28.04.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Lesze A Maciaszek, Leszek A Maciaszek, Loucopoulos, Loucopoulos, Pericles Loucopoulos, Leszek A. Maciaszek - Evaluation of Novel Approaches to Software Engineering
Lesze A Maciaszek, Leszek A Maciaszek, Loucopoulos, Loucopoulos, Pericles Loucopoulos, Leszek A. Maciaszek Evaluation of Novel Approaches to Software Engineering English 26.07.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Silvia Abrahao, Juergen Dingel, Emilio Insfran, Isidro Ramos, Isidro Ramos et al, Wolfra Schulte... - Model-Driven Engineering Languages and Systems
Silvia Abrahao, Juergen Dingel, Emilio Insfran, Isidro Ramos, Isidro Ramos et al, Wolfra Schulte... Model-Driven Engineering Languages and Systems English 01.01.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Johan Van Benthem, Sujat Ghosh, Sujata Ghosh, Sujata Gosh, Johan van Benthem, Rineke Verbrugge - Models of Strategic Reasoning
Johan Van Benthem, Sujat Ghosh, Sujata Ghosh, Sujata Gosh, Johan van Benthem, Rineke Verbrugge Models of Strategic Reasoning English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Cyrille Artho, Axe Legay, Axel Legay, Doron Peled - Automated Technology for Verification and Analysis
Cyrille Artho, Axe Legay, Axel Legay, Doron Peled Automated Technology for Verification and Analysis English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Dal Lago, Dal Lago, Ugo Dal Lago, Marko Van Eekelen, Mark van Eekelen, Marko van Eekelen - Foundational and Practical Aspects of Resource Analysis
Dal Lago, Dal Lago, Ugo Dal Lago, Marko Van Eekelen, Mark van Eekelen, Marko van Eekelen Foundational and Practical Aspects of Resource Analysis English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Jen Grabowski, Jens Grabowski, Herbold, Herbold, Steffen Herbold, Grabowski Jens - System Analysis and Modeling. Technology-Specific Aspects of Models
Jen Grabowski, Jens Grabowski, Herbold, Herbold, Steffen Herbold, Grabowski Jens System Analysis and Modeling. Technology-Specific Aspects of Models English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
August Sampaio, Augusto Sampaio, Wang, Wang, Farn Wang - Theoretical Aspects of Computing - ICTAC 2016
August Sampaio, Augusto Sampaio, Wang, Wang, Farn Wang Theoretical Aspects of Computing - ICTAC 2016 English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Mercede G Merayo, Mercedes G Merayo, Mercedes G. Merayo, Montes de Oca, Montes de Oca, Edgardo Montes de Oca - Testing Software and Systems
Mercede G Merayo, Mercedes G Merayo, Mercedes G. Merayo, Montes de Oca, Montes de Oca, Edgardo Montes de Oca Testing Software and Systems English 01.01.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Jett Kleijn, Jetty Kleijn, Maciej Koutny, Wojciech Penczek, Wojciech Penczek et al, Mingmin Zhang - Transactions on Petri Nets and Other Models of Concurrency XII
Jett Kleijn, Jetty Kleijn, Maciej Koutny, Wojciech Penczek, Wojciech Penczek et al, Mingmin Zhang Transactions on Petri Nets and Other Models of Concurrency XII English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Bruno Berstel-Da Silva - Verification of Business Rules Programs
Bruno Berstel-Da Silva Verification of Business Rules Programs English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Xavie Rival, Xavier Rival - Static Analysis
Xavie Rival, Xavier Rival Static Analysis English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Jör Desel, Jörg Desel, Jetty Kleijn, Maciej Koutny - Transactions on Petri Nets and Other Models of Concurrency XI
Jör Desel, Jörg Desel, Jetty Kleijn, Maciej Koutny Transactions on Petri Nets and Other Models of Concurrency XI English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Kim Guldstrand Larsen, Kim Gulstrand Larsen, Igo Potapov, Igor Potapov, Ji¿í Srba, Jirí Srba... - Reachability Problems
Kim Guldstrand Larsen, Kim Gulstrand Larsen, Igo Potapov, Igor Potapov, Ji¿í Srba, Jirí Srba... Reachability Problems English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Parosh Aziz Abdulla, Paros Aziz Abdulla, Parosh Aziz Abdulla, Carole Delporte, Delporte-Gallet, Delporte-Gallet... - Networked Systems
Parosh Aziz Abdulla, Paros Aziz Abdulla, Parosh Aziz Abdulla, Carole Delporte, Delporte-Gallet, Delporte-Gallet... Networked Systems English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Rober Trypuz, Robert Trypuz - Krister Segerberg on Logic of Actions
Rober Trypuz, Robert Trypuz Krister Segerberg on Logic of Actions English 01.01.2016 Paperback / Softback Fr. 147.00 6-7 weeks
Axel Simon - Value-Range Analysis of C Programs
Axel Simon Value-Range Analysis of C Programs English 26.10.2010 Paperback / Softback Fr. 184.00 6-7 weeks
Ana Rosa Cavalli, An Rosa Cavalli, Ana Rosa Cavalli, Hüsnü Yenigün, Nina Yevtushenko - Testing Software and Systems
Ana Rosa Cavalli, An Rosa Cavalli, Ana Rosa Cavalli, Hüsnü Yenigün, Nina Yevtushenko Testing Software and Systems English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Nicolás Marín, Serafin Moral, Serafín Moral, Olivie Pivert, Olivier Pivert, Daniel Sánchez... - Scalable Uncertainty Management
Nicolás Marín, Serafin Moral, Serafín Moral, Olivie Pivert, Olivier Pivert, Daniel Sánchez... Scalable Uncertainty Management English 01.01.2017 Paperback / Softback Fr. 70.00 6-7 weeks