Science, Computer & Technology Logic Design (903)
-
Modeling and Optimization for Mobile Social Networks
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane133,20 € -
Rohit Parikh on Logic, Language and Society
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane144,20 € -
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane155,80 € -
Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane66,90 € -
High Performance Computing: ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papers
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane65,30 € -
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,60 € -
Green IT Engineering: Concepts, Models, Complex Systems Architectures
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane130,40 € -
The Incomputable: Journeys Beyond the Turing Barrier
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane155,60 € -
Architectural Design: Conception and Specification of Interactive Systems
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane60,00 € -
New Data Structures and Algorithms for Logic Synthesis and Verification
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane63,20 € -
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,90 € -
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane137,50 € -
Design of Experiments for Reinforcement Learning
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane136,50 € -
Polynomial Theory of Error Correcting Codes
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane209,40 € -
Trace-Based Post-Silicon Validation for VLSI Circuits
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane137,10 € -
Reversible Logic Synthesis Methodologies with Application to Quantum Computing
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane137,60 € -
Numbers and Computers
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane136,00 € -
High-Performance Computing on the Intel® Xeon Phi™: How to Fully Exploit MIC Architectures
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,70 € -
Analog Integrated Circuit Design Automation: Placement, Routing and Parasitic Extraction Techniques
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane130,90 € -
Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,40 € -
Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane62,80 € -
The Dark Side of Silicon: Energy Efficient Computing in the Dark Silicon Era
Venditore: FeltrinelliSpringer International Publishing AG, 2017Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane130,00 € -
Carbon Nanotubes for Interconnects: Process, Design and Applications
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane130,10 € -
Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology – ISAT 2015 – Part IV
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane135,70 € -
Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology – ISAT 2015 – Part III
Venditore: FeltrinelliSpringer International Publishing AG, 2016Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane136,20 €
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.
