-
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1990Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,50 € -
Three Decades of Mathematical System Theory: A Collection of Surveys at the Occasion of the 50th Birthday of Jan C. Willems
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1989Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,80 € -
Supercomputer ’89: Anwendungen, Architekturen, Trends Seminar, Mannheim, 8.–10. Juni 1989 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1989Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane75,80 € -
Stochastic Differential Systems: Proceedings of the 4th Bad Honnef Conference, June, 20–24, 1988
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1989Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,40 € -
High Performance Transaction Systems: 2nd International Workshop, Asilomar Conference Center, Pacific Grove, CA, USA, September 28-30, 1987. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1989Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,10 € -
System Analysis: Theory and Applications
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane268,60 € -
Rigorous Development of Complex Fault-Tolerant Systems
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,70 € -
Requirements Management: The Interface Between Requirements Development and All Other Systems Engineering Processes
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane63,50 € -
Variations on Constants: Flow Analysis of Sequential and Parallel Programs
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,00 € -
High Performance Computing: History, Concepts, and Implementation
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009Libri in Inglese | Science, Computer & TechnologyAttualmente non disponibile75,02 € -
Performance Evaluation of Complex Systems: Techniques and Tools: Performance 2002. Tutorial Lectures
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,70 € -
Conceptual Modeling for New Information Systems Technologies: ER 2001 Workshops, HUMACS, DASWIS, ECOMO, and DAMA, Yokohama Japan, November 27-30, 2001. Revised Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,60 € -
Digitale Geschäftsagenten: Softwareagenten im Einsatz
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,40 € -
Avatare: Digitale Sprecher Fur Business Und Marketing
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane82,00 € -
Process Algebra with Timing
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane63,00 € -
Foundations of Software Science and Computation Structures: 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane64,40 € -
Extraction and Exploitation of Intensional Knowledge from Heterogeneous Information Sources: Semi-Automatic Approaches and Tools
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,80 € -
Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation - SAMOS
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,80 € -
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,80 € -
Algorithm Engineering: 4th International Workshop, WAE 2000 Saarbrücken, Germany, September 5-8, 2000 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,70 € -
Algorithms - ESA 2001: 9th Annual European Symposium, Aarhus, Denmark, August 28-31, 2001, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,90 € -
OpenMP Shared Memory Parallel Programming: International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,00 € -
DNA Computing: 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001Libri in Inglese | MathematicsDisponibilità in 2 settimane68,50 € -
Systems and Software Verification: Model-Checking Techniques and Tools
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane195,20 € -
Architecting Dependable Systems
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,20 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.