Science, Computer & Technology Logic Design (886)
-
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1995Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,70 € -
Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1995Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,70 € -
Field-Programmable Logic: Architectures, Synthesis and Applications: 4th International Workshop on Field-Programmable Logic and Applications, FPL'94, Prague, Czech Republic, September 7 - 9, 1994. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,50 € -
Turing Machines with Sublogarithmic Space
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | MathematicsDisponibilità in 2 settimane69,20 € -
Isabelle: A Generic Theorem Prover
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,80 € -
Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane135,10 € -
Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,00 € -
FM8501: A Verified Microprocessor
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,70 € -
Logic, Language and Computation: Festschrift in Honor of Satoru Takasu
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,20 € -
Programming Languages and System Architectures: International Conference, Zurich, Switzerland, March 2 - 4, 1994. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,00 € -
Hardware and Software Architectures for Fault Tolerance: Experiences and Perspectives
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,20 € -
Software Process Technology: Third European Workshop, EWSPT '94, Villard de Lans, France, February 7-9, 1994. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,40 € -
Programmverifikation: Sequentielle, parallele und verteilte Programme
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane49,70 € -
Field-Programmable Gate Arrays: Architectures and Tools for Rapid Prototyping: Second International Workshop on Field-Programmable Logic and Applications, Vienna, Austria, August 31 - September 2, 1992. Selected Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1993Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,50 € -
Funktionaler Entwurf digitaler Schaltungen: Methoden und CAD-Techniken
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1993Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane86,90 € -
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1993Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,50 € -
Advances in Petri Nets 1993
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1993Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,30 € -
Rechnerarchitektur
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1993Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane85,90 € -
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1992Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,90 € -
Testfreundliche Synthese hochintegrierter Schaltungen
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1992Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane87,60 € -
Advances in Petri Nets 1992
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1992Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,30 € -
Delta-4: A Generic Architecture for Dependable Distributed Computing
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,20 € -
Text Understanding in LILOG: Integrating Computational Linguistics and Artificial Intelligence. Final Report on the IBM Germany LILOG-Project
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane65,60 € -
Functional Programming Languages and Computer Architecture: 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane134,90 € -
Advances in Computer Technology and Applications in Japan
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane138,10 €
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.
