Science, Computer & Technology Machine Theory (2272)
-
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1993Libri in Inglese | MathematicsDisponibilità in 2 settimane67,60 € -
Future Tendencies in Computer Science, Control and Applied Mathematics: International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1992Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,80 € -
Algorithms and Computation: Third International Symposium, ISAAC '92, Nagoya, Japan, December 16-18, 1992. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1992Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,50 € -
Distributed Algorithms: 6th International Workshop, WDAG '92, Haifa, Israel, November 2-4, 1992. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1992Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,50 € -
Combinatorial Pattern Matching: Third Annual Symposium, Tucson, Arizona, USA, April 29 - May 1, 1992. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1992Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,40 € -
Hyperedge Replacement: Grammars and Languages
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1992Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,80 € -
Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1992Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,10 € -
Distributed Algorithms: 5th International Workshop, WDAG 91, Delphi, Greece, October 7-9, 1991. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1992Libri in Inglese | MathematicsDisponibilità in 2 settimane67,90 € -
Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1992Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,70 € -
A Resolution Principle for a Logic with Restricted Quantifiers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,40 € -
Computational Geometry - Methods, Algorithms and Applications: International Workshop on Computational Geometry CG '91 Bern, Switzerland, March 21-22, 1991. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,10 € -
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 9th International Symposium, AAECC-9, New Orleans, LA, USA, October 7-11, 1991. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991Libri in Inglese | MathematicsDisponibilità in 2 settimane66,70 € -
Instantiation Theory: On the Foundations of Automated Deduction
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,30 € -
EUROCODE '90: International Symposium on Coding Theory and Applications, Udine, Italy, November 5-9, 1990. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991Libri in Inglese | MathematicsDisponibilità in 2 settimane67,80 € -
Introduction to Shape Optimization: Shape Sensitivity Analysis
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1992Libri in Inglese | MathematicsDisponibilità in 2 settimane132,40 € -
On the Computational Geometry of Pocket Machining
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991Libri in Inglese | MathematicsDisponibilità in 2 settimane69,00 € -
Advances in Petri Nets 1990
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,00 € -
Mathematical Foundations of Computer Science 1990: Banska Bystrica, Czechoslovakia, August 27-31, 1990 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1990Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,90 € -
Computational Methods and Function Theory: Proceedings of a Conference held in Valparaiso, Chile, March 13-18, 1989
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1990Libri in Inglese | MathematicsDisponibilità in 2 settimane57,60 € -
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1990Libri in Inglese | MathematicsDisponibilità in 2 settimane68,10 € -
Categorical Methods in Computer Science: With Aspects from Topology
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1989Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,70 € -
Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1989Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,40 € -
Computer Science Logic: 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane135,10 € -
Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,20 € -
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,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.
