Ricerca Veloce:

Ricerca Avanzata

Reparti Libri Inglesi

Logic Design

Analog Design for CMOS VLSI Systems
di F. Maloberti, Franco Maloberti - Springer
€ 248.55
"Analog Design for CMOS VLSI Systems" is a comprehensivetext that offers a detailed study of the background principles and theanalog design...
Designing Sorting Networks: A New Paradigm
di Sherenaz W. Al-Haj Baddar, Kenneth E. Batcher - Springer
€ 86.11

Digital Design with CPLD Applications and VHDL [With CD-ROM]
di Robert K. Dueck - Delmar Thomson Learning
€ 212.74
This Second Edition continues to use programmable logic as the primary vehicle for teaching digital design principles, and maintains its...
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Pa
Springer
€ 62.83
This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and...

Logic, Language, Information, and Computation
Springer
€ 73.26
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings
Springer
€ 93.91
This book constitutes the refereed proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, held in Pasadena, CA,...

Logic for Programming, Artificial Intelligence, and Reasoning
Springer
€ 93.74
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming,...
Verification, Model Checking, and Abstract Interpretation: 12th International Conference, Vmcai 2011, Austin, TX, USA, January 23-25, 2011 Proceedings
Springer
€ 83.21
This book constitutes the refereed proceedings of the 12th InternationalConference on Verification, Model Checking, and Abstract...

System-On-Chip Methodologies & Design Languages
Springer
€ 224.64
System-on-Chip Methodologies & Design Languages brings together a selection of the best papers from three international electronic design...
On Optimal Interconnections for VLSI
di Andrew B. Kahng, Gabriel Robins - Springer
€ 219.99

Modern Placement Techniques
di Majid Sarrafzadeh, Maogang Wang, Xianjian Yang - Springer
€ 125.43
Modern Placement Techniques explains physical design and VLSI/CAD placement to the professional engineer and engineering student. Along with...
Designing Evolutionary Algorithms for Dynamic Environments
di Ronald W. Morrison - Springer
€ 98.39
Details robustness, stability, and performance of Evolutionary Algorithms in dynamic environments

Sio2 in Si Microdevices
di Manabu Itsumi - Springer
€ 116.94
Electronic systems and digital computers are indispensable elements of modern multimedia technologies and the Internet society. But their...
Many-Valued Logics 2: Automated Reasoning and Practical Applications
di Leonard Bolc, Piotr Borowik - Springer
€ 72.86

Petri Net Algebra
di Eike Best, Raymond Devillers, Maciej Koutny - Springer
€ 126.11
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings
Springer
€ 62.83
This book constitutes the proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2010,...

Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010, Proceedings
Springer
€ 62.60
Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 201
Springer
€ 62.85
This book constitutes the refereed proceedings of the 8th International Workshop on Rewriting Logic and its Applications, WRLA 2010, held as...

Unifying Theories of Programming: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
Springer
€ 72.33
This book constitutes the refereed proceedings of the Third International Symposium on Unifying Theories of Programming, UTP 2010, held in...
Language-Driven Exploration and Implementation of Partially Re-Configurable Asips
di Anupam Chattopadhyay, Rainer Leupers, Heinrich Meyr - Springer
€ 143.42
Modern Electronic System Level (ESL) techniques enable designers to effectively increase productivity. This book covers a key segment of ESL...

Adapting Proofs-As-Programs: The Curry--Howard Protocol
di Iman Poernomo, John N. Crossley, Martin Wirsing - Springer
€ 86.50
This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of...
Assertion-Based Design
di Harry D. Foster, Adam C. Krolnik, David J. Lacey - Springer
€ 153.18

Unfoldings: A Partial-Order Approach to Model Checking
di Javier Esparza, Keijo Heljanko - Springer
€ 77.87

Top Libri Inglesi

Practical English Usage

1.

ladder

Practical English Usage

€ 36.19 € 34.38

The Official Guide to the TOEFL Test [With CDROM]

2.

ladder

The Official Guide to the TOEFL Test

€ 30.42 € 25.86

English Grammar in Use: A Self-Study Reference and Practice Book for Intermediate Students of English with Answers [With CDROM]

3.

ladder

English Grammar in Use: A Self-Study

€ 34.93 € 29.69

Shabby Chic Inspirations: And Beautiful Spaces

4.

ladder

Shabby Chic Inspirations: And

€ 31.10 € 26.43

Business Objectives: Fully Updated for the International Marketplace [With CDROM]

5.

ladder

Business Objectives: Fully Updated for

€ 19.20

A Practical English Grammar

6.

ladder

A Practical English Grammar

€ 21.74

English Grammar in Use Supplementary Exercises: With Answers

7.

ladder

English Grammar in Use Supplementary

€ 13.31 € 11.98

The Art of Polymer Clay Millefiori Techniques: Projects and Inspiration for Creative Canework

8.

ladder

The Art of Polymer Clay Millefiori

€ 18.60 € 15.81

Elder Scrolls V: Skyrim: Prima Official Game Guide

9.

ladder

Elder Scrolls V: Skyrim: Prima

€ 22.00 € 18.70

A Practical English Grammar: Exercises 1

10.

ladder

A Practical English Grammar: Exercises

€ 10.93 € 9.29

Classifica completa

123456789101112131415161718Avanti >

Ultimi prodotti visti

Il libro del bebè
EL
€ 21.90 € 18.61
Dalì
Skira
€ 5.90
Weber
UTET
€ 63.00
Dada
Skira
€ 5.90
Il piccolo libro dei colori
di Michel Pastoureau, Dominique Simonnet - Ponte alle Grazie
€ 10.00
Teoria della società
di Niklas Luhmann, Raffaele De Giorgi - Franco Angeli
€ 32.00