Science, Computer & Technology Machine Theory (2176)
-
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 € -
EUROCAL '87: European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1989Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,10 € -
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 € -
Geometric Methods in Bio-Medical Image Processing
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | MedicalDisponibilità in 2 settimane131,70 € -
Computers and Games: Second International Conference, CG 2001, Hamamatsu, Japan, October 26-28, 2000 Revised Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | GamesDisponibilità in 2 settimane67,40 € -
Local Search for Planning and Scheduling: ECAI 2000 Workshop, Berlin, Germany, August 21, 2000. Revised Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane112,60 € -
Adaptive Modelling, Estimation and Fusion from Data: A Neurofuzzy Approach
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane131,60 € -
Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001Libri in Inglese | MathematicsDisponibilità in 2 settimane68,50 € -
Mathematical Foundations of Computer Science 2001: 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane134,00 € -
Fundamentals of Computation Theory: 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,80 € -
Advances in Learning Classifier Systems: Third International Workshop, IWLCS 2000, Paris, France, September 15-16, 2000. Revised Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,20 € -
Algorithms and Data Structures: 7th International Workshop, WADS 2001 Providence, RI, USA, August 8-10, 2001 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,80 € -
Graph Drawing: 8th International Symposium, GD 2000, Colonial Williamsburg, VA, USA, September 20-23, 2000, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001Libri in Inglese | MathematicsDisponibilità in 2 settimane67,60 € -
Graph-Theoretic Concepts in Computer Science: 26th International Workshop, WG 2000 Konstanz, Germany, June 15-17, 2000 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2000Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane65,90 € -
The Computational Complexity of Equivalence and Isomorphism Problems
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2000Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,10 € -
Parameterized and Exact Computation: Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,10 € -
Deontic Logic and Artificial Normative Systems: 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane106,00 € -
Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane134,70 € -
Algorithmic Information Theory: Mathematics of Digital Information Processing
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006Libri in Inglese | MathematicsDisponibilità in 2 settimane243,70 € -
CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,10 € -
Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,20 € -
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,80 € -
Differential Evolution: A Practical Approach to Global Optimization
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane123,10 € -
On the Refinement Calculus
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,90 € -
Code Generation — Concepts, Tools, Techniques: Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20–24 May 1991
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1992Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane137,60 €
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.
