Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

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 Inglese 27.09.2012 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.12.2012 Copertina rigida Fr. 297.00 6-7 settimane
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 Inglese 04.10.2012 Tascabile Fr. 179.00 6-7 settimane
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 Inglese 15.11.2012 Tascabile Fr. 179.00 6-7 settimane
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 Inglese 09.11.2012 Tascabile Fr. 70.00 6-7 settimane
Fred Kröger, Stephan Merz - Temporal Logic and State Systems
Fred Kröger, Stephan Merz Temporal Logic and State Systems Inglese 25.11.2010 Tascabile Fr. 104.00 6-7 settimane
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 Inglese 12.07.2006 Copertina rigida Fr. 189.00 6-7 settimane
Masam Hagiya, Masami Hagiya, Wadler, Wadler, Philip Wadler - Functional and Logic Programming
Masam Hagiya, Masami Hagiya, Wadler, Wadler, Philip Wadler Functional and Logic Programming Inglese 14.04.2009 Tascabile Fr. 70.00 6-7 settimane
Dov Dori - Object-Process Methodology
Dov Dori Object-Process Methodology Inglese 03.10.2013 Tascabile Fr. 84.00 6-7 settimane
Slim Abdennadher, Thom Frühwirth - Essentials of Constraint Programming
Slim Abdennadher, Thom Frühwirth Essentials of Constraint Programming Inglese 27.02.2003 Copertina rigida Fr. 70.00 6-7 settimane
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 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Paol Ciancarini, Paolo Ciancarini, Wiklicky, Wiklicky, Herbert Wiklicky - Coordination Models and Languages
Paol Ciancarini, Paolo Ciancarini, Wiklicky, Wiklicky, Herbert Wiklicky Coordination Models and Languages Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2005 Copertina rigida Fr. 193.00 6-7 settimane
D. Björner, Dines Bjørner - Software Engineering 2. Vol.2
D. Björner, Dines Bjørner Software Engineering 2. Vol.2 Inglese 01.03.2006 Copertina rigida Fr. 70.00 6-7 settimane
William Clocksin, William F Clocksin, William F. Clocksin, Christopher S Mellish, Christopher S. Mellish - Programming in Prolog
William Clocksin, William F Clocksin, William F. Clocksin, Christopher S Mellish, Christopher S. Mellish Programming in Prolog Inglese 01.01.2003 Tascabile Fr. 97.00 6-7 settimane
A. J. Herbert, Andrew Herbert, Andrew James Herbert, Karen Spärck Jones, Karen I.B. Spaerck Jones, Karen Spaerck-Jones... - Computer Systems
A. J. Herbert, Andrew Herbert, Andrew James Herbert, Karen Spärck Jones, Karen I.B. Spaerck Jones, Karen Spaerck-Jones... Computer Systems Inglese 01.01.2004 Copertina rigida Fr. 110.00 6-7 settimane
Eric Wong, W Eric Wong, W. Eric Wong - Mutation Testing for the New Century
Eric Wong, W Eric Wong, W. Eric Wong Mutation Testing for the New Century Inglese 01.01.2007 Copertina rigida Fr. 207.00 6-7 settimane
Axel Facius, Ulrich Kulisch, Rudol Lohner, Rudolf Lohner - Perspectives on Enclosure Methods
Axel Facius, Ulrich Kulisch, Rudol Lohner, Rudolf Lohner Perspectives on Enclosure Methods Inglese 26.07.2001 Tascabile Fr. 120.00 6-7 settimane