Mathematics Logic (2088)
-
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 € -
Axiom of Choice
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006Libri in Inglese | MathematicsDisponibilità in 2 settimane74,90 € -
Parameterized Complexity Theory
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006Libri in Inglese | MathematicsDisponibilità in 2 settimane143,40 € -
Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005Libri in Inglese | MathematicsDisponibilità in 2 settimane66,70 € -
DNA Computing: 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005Libri in Inglese | MathematicsDisponibilità in 2 settimane67,30 € -
Developments in Language Theory: 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004Libri in Inglese | MathematicsDisponibilità in 2 settimane67,50 € -
Theory of Sets
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004Libri in Inglese | Politics & PhilosophyDisponibilità in 2 settimane111,40 € -
Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004Libri in Inglese | MathematicsDisponibilità in 2 settimane135,40 € -
Elements of Finite Model Theory
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004Libri in Inglese | MathematicsDisponibilità in 2 settimane119,40 € -
Concept Lattices: Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004Libri in Inglese | MathematicsDisponibilità in 2 settimane67,60 € -
DNA Computing: 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004Libri in Inglese | MathematicsDisponibilità in 2 settimane68,50 € -
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004Libri in Inglese | MathematicsDisponibilità in 2 settimane143,00 € -
Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004Libri in Inglese | MathematicsDisponibilità in 2 settimane63,60 € -
The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003Libri in Inglese | MathematicsDisponibilità in 2 settimane67,60 € -
Petri Net Technology for Communication-Based Systems: Advances in Petri Nets
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2003Libri in Inglese | MathematicsDisponibilità in 2 settimane67,30 € -
The Parametric Lambda Calculus: A Metamodel for Computation
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004Libri in Inglese | MathematicsDisponibilità in 2 settimane63,30 € -
9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1988Libri in Inglese | MathematicsDisponibilità in 2 settimane133,60 € -
Classification Theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic Held in Chicago, Dec. 15-19, 1985
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1988Libri in Inglese | MathematicsDisponibilità in 2 settimane72,10 € -
Attributierte Grammatiken und Attributierungsalgorithmen
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1987Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane87,80 € -
Category Theory and Computer Science: Edinburgh, UK, September 7-9, 1987. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1987Libri in Inglese | MathematicsDisponibilità in 2 settimane68,30 € -
Mathematical Models for the Semantics of Parallelism: Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1987Libri in Inglese | MathematicsDisponibilità in 2 settimane68,70 € -
Injective Choice Functions
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1987Libri in Inglese | MathematicsDisponibilità in 2 settimane50,20 € -
8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1986Libri in Inglese | MathematicsDisponibilità in 2 settimane65,30 € -
The Enumerative Theory of Conics after Halphen
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1986Libri in Inglese | MathematicsDisponibilità in 2 settimane50,40 € -
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1985Libri in Inglese | MathematicsDisponibilità in 2 settimane85,90 €
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.
