Science, Computer & Technology Programming / General (4095)
-
Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1992Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,60 € -
Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1992Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,80 € -
Mathematical Foundations of Programming Semantics: 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1992Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,00 € -
First-Order Programming Theories
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane131,80 € -
On the Shape of Mathematical Arguments
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1990Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,80 € -
CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1990Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,50 € -
Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems: Automatisierungssysteme, Methoden, Anwendungen / Automation Systems, Methods, Applications 4. Internationale GI/ITG/GMA-Fachtagung 4th International GI/ITG/GMA Conference Baden-Baden, 20.–22. September 1989, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1989Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane136,90 € -
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1989Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane134,00 € -
Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,20 € -
Logic Programming: 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane64,00 € -
Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,50 € -
Information and Randomness: An Algorithmic Perspective
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane105,60 € -
Programming Languages and Systems: 11th European Symposium on Programming, ESOP 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 settimane66,30 € -
On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,30 € -
Logic Programming: 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,60 € -
Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,30 € -
Field-Programmable Logic and Applications: 11th International Conference, FPL 2001, Belfast, Northern Ireland, UK, August 27-29, 2001 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane134,80 € -
Non-Standard Inferences in Description Logics: From Foundations and Definitions to Algorithms and Analysis
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,40 € -
Relational Data Mining
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane131,50 € -
Genetic Programming: 4th European Conference, EuroGP 2001 Lake Como, Italy, April 18–20, 2001 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane65,20 € -
High Performance Computing: Third International Symposium, ISHPC 2000 Tokyo, Japan, October 16-18, 2000 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2000Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane134,80 € -
Generic Programming: International Seminar on Generic Programming Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2000Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,50 € -
Duration Calculus: A Formal Approach to Real-Time Systems
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane132,40 € -
Semantic Integration of Heterogeneous Software Specifications
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane206,60 € -
Advanced Topics in Exception Handling Techniques
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,10 €
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.
