Languages
Subject
Format
Availabity
Authors

Search result

S. D. Gilmore, M. D. Ryan, Stephe Gilmore, Stephen Gilmore, Ryan, Ryan... - Language Constructs for Describing Features
S. D. Gilmore, M. D. Ryan, Stephe Gilmore, Stephen Gilmore, Ryan, Ryan... Language Constructs for Describing Features English 02.12.2013 Paperback / Softback Fr. 120.00 6-7 weeks
Fabric Kordon, Fabrice Kordon, Vardanega, Vardanega, Tullio Vardanega - Reliable Software Technologies - Ada-Europe 2008
Fabric Kordon, Fabrice Kordon, Vardanega, Vardanega, Tullio Vardanega Reliable Software Technologies - Ada-Europe 2008 English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Marcel Arenas, Marcelo Arenas, I Schwartzbach, I Schwartzbach, Michael I. Schwartzbach - Database Programming Languages
Marcel Arenas, Marcelo Arenas, I Schwartzbach, I Schwartzbach, Michael I. Schwartzbach Database Programming Languages English 13.09.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Stefa Leue, Stefan Leue, Merino, Merino, Pedro Merino - Formal Methods for Industrial Critical Systems
Stefa Leue, Stefan Leue, Merino, Merino, Pedro Merino Formal Methods for Industrial Critical Systems English 27.09.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Michae Cebulla, Michael Cebulla - Object-Oriented Technology. ECOOP 2007 Workshop Reader
Michae Cebulla, Michael Cebulla Object-Oriented Technology. ECOOP 2007 Workshop Reader English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Steffen Becker, Ralf H Reussner, Frantise Plasil, Frantisek Plasil, Ralf H. Reussner - Quality of Software Architectures Models and Architectures
Steffen Becker, Ralf H Reussner, Frantise Plasil, Frantisek Plasil, Ralf H. Reussner Quality of Software Architectures Models and Architectures English 27.09.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Youn-Hee Han, Weijia Jia, Weijia Jia et al, Doo-Soo Park, Doo-Soon Park, Sang-Soo Yeo - Ubiquitous Information Technologies and Applications
Youn-Hee Han, Weijia Jia, Weijia Jia et al, Doo-Soo Park, Doo-Soon Park, Sang-Soo Yeo Ubiquitous Information Technologies and Applications English 01.12.2012 Hardback Fr. 297.00 6-7 weeks
Dominiqu Borrione, Dominique Borrione - Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's
Dominiqu Borrione, Dominique Borrione Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's English 04.10.2012 Paperback / Softback Fr. 179.00 6-7 weeks
Pau Lokuciejewski, Paul Lokuciejewski, Peter Marwedel - Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems
Pau Lokuciejewski, Paul Lokuciejewski, Peter Marwedel Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems English 15.11.2012 Paperback / Softback Fr. 179.00 6-7 weeks
Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Kurt Jensen, Jetty Kleijn, Lars M. Kristensen... - Transactions on Petri Nets and Other Models of Concurrency VI
Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Kurt Jensen, Jetty Kleijn, Lars M. Kristensen... Transactions on Petri Nets and Other Models of Concurrency VI English 09.11.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Fred Kröger, Stephan Merz - Temporal Logic and State Systems
Fred Kröger, Stephan Merz Temporal Logic and State Systems English 25.11.2010 Paperback / Softback Fr. 104.00 6-7 weeks
Zoltan Esik, Zoltán Ésik, Carlos Martin-Vide, Victor Mitrana - Recent Advances in Formal Languages and Applications
Zoltan Esik, Zoltán Ésik, Carlos Martin-Vide, Victor Mitrana Recent Advances in Formal Languages and Applications English 12.07.2006 Hardback Fr. 189.00 6-7 weeks
Masam Hagiya, Masami Hagiya, Wadler, Wadler, Philip Wadler - Functional and Logic Programming
Masam Hagiya, Masami Hagiya, Wadler, Wadler, Philip Wadler Functional and Logic Programming English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Dov Dori - Object-Process Methodology
Dov Dori Object-Process Methodology English 03.10.2013 Paperback / Softback Fr. 84.00 6-7 weeks
Slim Abdennadher, Thom Frühwirth - Essentials of Constraint Programming
Slim Abdennadher, Thom Frühwirth Essentials of Constraint Programming English 27.02.2003 Hardback Fr. 70.00 6-7 weeks
González Harbour, González Harbour, Michael González Harbour, Luí Miguel Pinho, Luís Miguel Pinho, Luis Miguel Pinho... - Reliable Software Technologies -- Ada-Europe 2006
González Harbour, González Harbour, Michael González Harbour, Luí Miguel Pinho, Luís Miguel Pinho, Luis Miguel Pinho... Reliable Software Technologies -- Ada-Europe 2006 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Mats Carlsson, Francois Fages, Francois Fages et al, Brahim Hnich, Francesca Rossi - Recent Advances in Constraints
Mats Carlsson, Francois Fages, Francois Fages et al, Brahim Hnich, Francesca Rossi Recent Advances in Constraints English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
BANACH, Banach, Richard Banach, Kung-Ki Lau, Kung-Kiu Lau - Formal Methods and Software Engineering
BANACH, Banach, Richard Banach, Kung-Ki Lau, Kung-Kiu Lau Formal Methods and Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Paol Ciancarini, Paolo Ciancarini, Wiklicky, Wiklicky, Herbert Wiklicky - Coordination Models and Languages
Paol Ciancarini, Paolo Ciancarini, Wiklicky, Wiklicky, Herbert Wiklicky Coordination Models and Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Silvia Acuna, Silvia T Acuna, Silvia T. Acuna, Natali Juristo, Natalia Juristo, Alicia Mon... - A Software Process Model Handbook for Incorporating People's Capabilities
Silvia Acuna, Silvia T Acuna, Silvia T. Acuna, Natali Juristo, Natalia Juristo, Alicia Mon... A Software Process Model Handbook for Incorporating People's Capabilities English 01.01.2005 Hardback Fr. 193.00 6-7 weeks