Tracked shipping to Belgium for just €4. Prices include 6% BTW. 

Ship to
Belgium
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

    You are in:
  1. Home 
  2. Books 
  3. 1 Computing and information technology  Computer science  Computer architecture and logical design

Computer architecture and logical design Books

We found 3.464 Books

Approximate Circuits: Methodologies and cad

Approximate Circuits: Methodologies and cad

Springer, 2018, Hardcover, New

53,44 €
Internet-Of-Things (Iot) Systems: Architectures, Algorithms, Methodologies

Internet-Of-Things (Iot) Systems: Architectures, Algorithms, Methodologies

Dimitrios Serpanos; Marilyn Wolf
Springer, 2017, 1 edition, Hardcover, New

89,28 €
Introduction to Digital Systems Design

Introduction to Digital Systems Design

Giuliano Donzellini; Luca Oneto; Domenico Ponta
Springer, 2018, 1 edition, Hardcover, New

89,41 €
Model-Implementation Fidelity in Cyber Physical System Design

Model-Implementation Fidelity in Cyber Physical System Design

Springer, 2018, Paperback, New

97,40 €
Techniques for Building Timing-Predictable Embedded Systems

Techniques for Building Timing-Predictable Embedded Systems

Guan, Nan
Springer, Paperback, New

53,44 €
Beyond-CMOS Technologies for Next Generation Computer Design

Beyond-CMOS Technologies for Next Generation Computer Design

Topaloglu, Rasit O. ; Wong, H. -S Philip
Springer, 1 edition, Hardcover, New

113,38 €
Fog Computing in the Internet of Things: Intelligence at the Edge

Fog Computing in the Internet of Things: Intelligence at the Edge

Rahmani, Amir M. ; Liljeberg, Pasi ; Preden, Jürgo-Sören
Springer, 1 edition, Paperback, New

105,39 €
Digital Systems: From Logic Gates to Processors

Digital Systems: From Logic Gates to Processors

DesChamps, Jean-Pierre ; Valderrama, Elena ; Terés, Lluís
Springer, 1 edition, Paperback, New

61,43 €
Computing Platforms for Software-Defined Radio

Computing Platforms for Software-Defined Radio

Hussain, Waqar ; Nurmi, Jari ; Isoaho, Jouni
Springer, 1 edition, Paperback, New

113,38 €
New Data Structures and Algorithms for Logic Synthesis and Verification

New Data Structures and Algorithms for Logic Synthesis and Verification

Amaru, Luca Gaetano
Springer, Paperback, New

53,44 €
Neuro-Inspired Computing Using Resistive Synaptic Devices

Neuro-Inspired Computing Using Resistive Synaptic Devices

Yu, Shimeng
Springer, Paperback, New

137,36 €
Computer-Aided Design of Microfluidic Very Large Scale Integration (Mvlsi) Biochips: Design Automation, Testing, and Design-For-Testability

Computer-Aided Design of Microfluidic Very Large Scale Integration (Mvlsi) Biochips: Design Automation, Testing, and Design-For-Testability

Hu, Kai ; Chakrabarty, Krishnendu ; Ho, Tsung-Yi
Springer, Paperback, New

97,40 €
Robotic Grasping and Manipulation: First Robotic Grasping and Manipulation Challenge, Rgmc 2016, Held in Conjunction with Iros 2016, Daejeon, South Ko

Robotic Grasping and Manipulation: First Robotic Grasping and Manipulation Challenge, Rgmc 2016, Held in Conjunction with Iros 2016, Daejeon, South Ko

Sun, Yu ; Falco, Joe
Springer, Paperback, New

53,44 €
foundations of software science and computational structures

foundations of software science and computational structures

Springer, New

53,44 €
logic synthesis of asynchronous controllers and interfaces

logic synthesis of asynchronous controllers and interfaces

cortadella,kishinevsky,kondratyev,lavagno,yakovlev
Springer, New

153,35 €
fme 2003: formal methods

fme 2003: formal methods

Springer, New

97,40 €
functional programming languages and computer architecture

functional programming languages and computer architecture

Springer, New

53,44 €
advances in petri nets 1989

advances in petri nets 1989

Springer, New

53,44 €
logics of programs

logics of programs

Springer, New

52,75 €
types for proofs and programs

types for proofs and programs

Springer, New

53,44 €
mathematics of program construction

mathematics of program construction

Springer, New

53,44 €
database machines

database machines

Springer, New

53,44 €
csl'88: 2nd workshop on computer science logic, duisburg, frg, october 3-7, 1988. proceedings

csl'88: 2nd workshop on computer science logic, duisburg, frg, october 3-7, 1988. proceedings

bvrger, egon
springer, 1989, New

55,00 €
integrated formal methods: 5th international conference, ifm 2005, eindhoven, the netherlands, november 29 - december 2, 2005. proceedings

integrated formal methods: 5th international conference, ifm 2005, eindhoven, the netherlands, november 29 - december 2, 2005. proceedings

romijn, j. m.
springer, 2006, New

55,03 €
tapsoft '89. proceedings of the international joint conference on theory and practice of software development, barcelona, spain, march 13-17, 1989: vo

tapsoft '89. proceedings of the international joint conference on theory and practice of software development, barcelona, spain, march 13-17, 1989: vo

diaz, josep
springer, 1989, New

54,89 €
fme '93: industrial-strength formal methods: first international symposium of formal methods europe, odense, denmark, april 19-23, 1993. proceedings

fme '93: industrial-strength formal methods: first international symposium of formal methods europe, odense, denmark, april 19-23, 1993. proceedings

woodcock, james c. p.
springer, 1993, New

104,13 €
7th uk computer and telecommunications performance engineering workshop: edinburgh, 22-23 july 1991

7th uk computer and telecommunications performance engineering workshop: edinburgh, 22-23 july 1991

Hillston, Jane E. ; King, Peter J. B. ; Pooley, Robert J.
Springer, 1992, Paperback, New

53,44 €
field-programmable logic and applications. the roadmap to reconfigurable computing

field-programmable logic and applications. the roadmap to reconfigurable computing

Springer, New

97,40 €
programming languages: implementations, logics, and programs

programming languages: implementations, logics, and programs

Springer, New

53,44 €
euro-par 2009 - parallel processing

euro-par 2009 - parallel processing

Springer, New

145,36 €
formal systems specification

formal systems specification

Springer, New

53,44 €
logics of programs

logics of programs

Springer, New

37,91 €
developments in language theory

developments in language theory

Ito, Masami ; Toyama, Masafumi
Springer, Paperback, New

53,44 €
formal methods in computer-aided design

formal methods in computer-aided design

Springer, New

53,44 €
generic programming

generic programming

Springer, New

53,44 €
programming language implementation and logic programming

programming language implementation and logic programming

Springer, New

53,44 €
primality testing and abelian varieties over finite fields

primality testing and abelian varieties over finite fields

adleman,huang
Springer, New

29,92 €
logics in ai

logics in ai

Springer, New

97,40 €
types for proofs and programs

types for proofs and programs

Springer, New

53,44 €
theorem proving in higher order logics

theorem proving in higher order logics

Springer, New

53,44 €
application and theory of petri nets 1993

application and theory of petri nets 1993

Springer, New

97,40 €
zb 2005: formal specification and development in z and b: 4th international conference of b and z users, guildford, uk, april 13-15, 2005, proceedings

zb 2005: formal specification and development in z and b: 4th international conference of b and z users, guildford, uk, april 13-15, 2005, proceedings

treharne, helen
springer, 2005, New

100,71 €
transactions on high-performance embedded architectures and compilers ii

transactions on high-performance embedded architectures and compilers ii

Springer, New

53,44 €
types for proofs and programs

types for proofs and programs

Springer, New

53,44 €
b'98: recent advances in the development and use of the b method: second international b conference, montpellier, france, april 22-24, 1998, proceedin

b'98: recent advances in the development and use of the b method: second international b conference, montpellier, france, april 22-24, 1998, proceedin

didier, bert
springer, 1998, New

53,44 €
ecoop '98 - object-oriented programming: 12th european conference, brussels, belgium, july 20-24, 1998, proceedings

ecoop '98 - object-oriented programming: 12th european conference, brussels, belgium, july 20-24, 1998, proceedings

Jul, Eric
Springer, 1998, Paperback, New

103,26 €
sdl 2007: design for dependable systems: 13th international sdl forum, paris, france, september 18-21, 2007, proceedings

sdl 2007: design for dependable systems: 13th international sdl forum, paris, france, september 18-21, 2007, proceedings

gaudin, emmanuel
springer, 2007, New

53,44 €
universal access in human-computer interaction: context diversity: 6th international conference, uahci 2011 held as part of hci international 2011 orl

universal access in human-computer interaction: context diversity: 6th international conference, uahci 2011 held as part of hci international 2011 orl

stephanidis, constantine
springer, 2011, New

55,03 €
computer aided verification: 19th international conference, cav 2007, berlin, germany, july 3-7, 2007, proceedings

computer aided verification: 19th international conference, cav 2007, berlin, germany, july 3-7, 2007, proceedings

damm, werner
springer, 2007, New

55,03 €
perspectives of systems informatics: 6th international andrei ershov memorial conference, psi 2006 novosibirsk, russia, june 27-30, 2006 revised paper

perspectives of systems informatics: 6th international andrei ershov memorial conference, psi 2006 novosibirsk, russia, june 27-30, 2006 revised paper

virbitskaite, irina
springer, 2007, New

55,03 €
45678910