-
Formal Methods in Systems Engineering
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1993Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,70 € -
Specifications of Database Systems: International Workshop on Specifications of Database Systems, Glasgow, 3–5 July 1991
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1992Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,90 € -
IV Higher Order Workshop, Banff 1990: Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,70 € -
4th Refinement Workshop: Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9–11 January 1991, Cambridge
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane135,70 € -
mural: A Formal Development Support System
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,40 € -
Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23–27 July 1989, Halifax, Canada
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1990Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,20 € -
Variational and Hamiltonian Control Systems
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1987Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,70 € -
System Development and Ada: CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1987Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,30 € -
Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1987Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane74,80 € -
Automata, Languages and Programming: 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1987Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane135,50 € -
Systems Analysis by Graphs and Matroids: Structural Solvability and Controllability
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1987Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane134,80 € -
Time Series and Linear Systems
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1986Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,90 € -
Offene Multifunktionale Büroarbeitsplätze und Bildschirmtext: Berlin, 25.–29. Juni 1984 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1985Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane74,70 € -
Zuverlässigkeit elektrotechnischer Anlagen: Einführung in die Methodik, die Verfahren und ihre Anwendung
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1984Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane74,40 € -
CONLAN Report
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1983Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,80 € -
Pascal für Mikrocomputer
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1982Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane85,90 € -
Fachtagung Prozessrechner 1974: GFK-GI-GMR. Karlsruhe, 10.-11. Juni 1974
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1974Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane31,40 € -
Foundations of Software Science and Computational Structures: 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,40 € -
Abstract State Machines: A Method for High-Level System Design and Analysis
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane62,10 € -
Abstract State Machines 2003: Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,50 € -
Managing Software Engineering Knowledge
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane131,20 € -
SOFSEM 2002: Theory and Practice of Informatics: 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,40 € -
Grid Computing - GRID 2002: Third International Workshop, Baltimore, MD, USA, November 18, 2002, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,50 € -
Distributed Computing: 16th International Conference, DISC 2002. Toulouse, France, October 28-30, 2002, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane65,90 € -
Dependable Computing EDCC-4: 4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,40 €
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.