Science, Computer & Technology Machine Theory (2012)
-
Advances in Cryptology – EUROCRYPT '90: Workshop on the Theory and Application of Cryptographic Techniques, Aarhus, Denmark, May 21-24, 1990. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,70 € -
Preconditioned Conjugate Gradient Methods: Proceedings of a Conference held in Nijmegen, The Netherlands, June 19-21, 1989
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1990Libri in Inglese | MathematicsDisponibilità in 2 settimane50,20 € -
Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23–27, 1990 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1990Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,90 € -
Algebraic and Logic Programming: Second International Conference, Nancy, France, October 1-3, 1990. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1990Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,50 € -
A Collection of Test Problems for Constrained Global Optimization Algorithms
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1990Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,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 € -
SWAT '90: 2nd Scandinavian Workshop on Algorithm Theory. Bergen, Norway, July 11-14, 1990. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1990Libri in Inglese | MathematicsDisponibilità in 2 settimane67,60 € -
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1990Libri in Inglese | MathematicsDisponibilità in 2 settimane56,20 € -
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 € -
Logic and Computer Science: Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1990Libri in Inglese | MathematicsDisponibilità in 2 settimane50,10 € -
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 € -
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 € -
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 € -
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 € -
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 € -
Symbolic and Algebraic Computation: International Symposium ISSAC' 88, Rome, Italy, July 4-8, 1988. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1989Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,80 € -
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 € -
Computer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane134,60 € -
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 € -
Developments in Language Theory: 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane65,70 € -
Process Algebra with Timing
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane63,00 € -
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 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,80 € -
LATIN 2002: Theoretical Informatics: 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane134,50 € -
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Politics & PhilosophyDisponibilità in 2 settimane75,00 €
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.
