Science, Computer & Technology Machine Theory (2260)
-
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,70 € -
Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1995Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane137,30 € -
Functional Programming, Glasgow 1993: Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, 5–7 July 1993
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,40 € -
First Steps in Maple
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,40 € -
Algebraic Methodology and Software Technology (AMAST’93): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1993Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,20 € -
Designing Correct Circuits: Workshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, Oxford
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,70 € -
Mathematical Foundations of Programming Language Semantics: 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8–10, 1987 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1988Libri in Inglese | MathematicsDisponibilità in 2 settimane66,20 € -
Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1986Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,70 € -
Algorithmic Language and Program Development
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1982Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane62,10 € -
Solitons: Mathematical Methods for Physicists
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1981Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane137,70 € -
Graph-Theoretic Concepts in Computer Science: 28th International Workshop, WG 2002, Cesky Krumlov, Czech Republic, June 13-15, 2002, Revised Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane65,40 € -
The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,20 € -
Non-Convex Multi-Objective Optimization
Venditore: FeltrinelliSpringer International Publishing AG, 2018Libri in Inglese | MathematicsDisponibilità in 2 settimane124,00 € -
Developments and Advances in Intelligent Systems and Applications
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane205,10 € -
Distributed, Ambient and Pervasive Interactions: 5th International Conference, DAPI 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9–14, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane65,80 € -
Applications of Computer Algebra: Kalamata, Greece, July 20–23 2015
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | MathematicsDisponibilità in 2 settimane202,30 € -
Theory and Applications of Models of Computation: 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane65,80 € -
Codes, Cryptology and Information Security: Second International Conference, C2SI 2017, Rabat, Morocco, April 10–12, 2017, Proceedings - In Honor of Claude Carlet
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,50 € -
Extended Cognition and the Dynamics of Algorithmic Skills
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | MathematicsDisponibilità in 2 settimane64,30 € -
Approximation and Online Algorithms: 14th International Workshop, WAOA 2016, Aarhus, Denmark, August 25–26, 2016, Revised Selected Papers
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | MathematicsDisponibilità in 2 settimane68,60 € -
Algorithms for Data Science
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane116,50 € -
Cohort Intelligence: A Socio-inspired Optimization Method
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | MathematicsDisponibilità in 2 settimane132,80 € -
IsoGeometric Analysis: A New Paradigm in the Numerical Approximation of PDEs: Cetraro, Italy 2012
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | MathematicsDisponibilità in 2 settimane61,50 € -
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,40 € -
Graph Transformation: 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,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.
