Science, Computer & Technology Logic Design (881)
-
Switching Theory: Insight through Predicate Logic
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane135,90 € -
Function Algebras on Finite Sets: Basic Course on Many-Valued Logic and Clone Theory
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane184,80 € -
Mikrocontroller und Mikroprozessoren
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane48,60 € -
Digitale Hardware/Software-Systeme: Spezifikation und Verifikation
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane47,30 € -
Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,10 € -
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane134,50 € -
Event-Driven Architecture: Softwarearchitektur für ereignisgesteuerte Geschäftsprozesse
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,60 € -
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,40 € -
Reconfigurable Computing: Architectures, Tools and Applications: 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,80 € -
High Performance Embedded Architectures and Compilers: Fourth International Conference, HiPEAC 2009
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,60 € -
Reliable Implementation of Real Number Algorithms: Theory and Practice: International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,40 € -
Reconfigurable Computing: Architectures, Tools, and Applications: 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,70 € -
Intelligent Techniques and Tools for Novel System Architectures
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane267,70 € -
High Performance Embedded Architectures and Compilers: Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,70 € -
Embedded and Ubiquitous Computing: IFIP International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane134,10 € -
Control Using Logic-Based Switching
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,20 € -
Business Object Design and Implementation: OOPSLA ’95 Workshop Proceedings 16 October 1995, Austin, Texas
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1997Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane137,90 € -
Deontic Logic, Agency and Normative Systems: ?EON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1995Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane137,20 € -
Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,70 € -
Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops: ISPA 2007 International Workshops, SSDSN, UPWN, WISH, SGC, ParDMCom, HiPCoMB, and IST-AWSN, Niagara Falls, Canada, August, 28-September 1, 2007, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane135,10 € -
Evolvable Systems: From Biology to Hardware: 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,00 € -
Advances in Computer Systems Architecture: 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,30 € -
The Calculus of Computation: Decision Procedures with Applications to Verification
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane94,20 € -
Architecting Dependable Systems IV
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,50 € -
Model Driven Architecture - Foundations and Applications: Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007Libri 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.
