Back to School hasta 60% OFF en libros seleccionados  Ver más

Enviar a
Quito, Pichincha
0

Mi Cuenta

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

menú

Selecciona tu país

América

Europa

Resto del mundo

    Estás en:
  1. Inicio 
  2. Libros 
  3. 1 Computación y tecnología de la información  Ciencias de la computación  Arquitectura y diseño lógico de ordenadores

Libros de Arquitectura y diseño lógico de ordenadores

Encontramos 2.248 Libros para springer

Estado:TodosNuevosUsadosAnticuariosNuevo
rewriting logic and its applications: 8th international workshop, wrla 2010, held as a satellite event of etaps 2010, paphos, cyprus, march 20-21, 201 (en Inglés)

rewriting logic and its applications: 8th international workshop, wrla 2010, held as a satellite event of etaps 2010, paphos, cyprus, march 20-21, 201 (en Inglés)

olveczky, peter csaba
springer, 2010, Nuevo
45%
dcto.

$ 129.23

$ 71.08
Open Multithreaded Transactions: A Transaction Model for Concurrent Object-Oriented Programming (en Inglés)

Open Multithreaded Transactions: A Transaction Model for Concurrent Object-Oriented Programming (en Inglés)

Kienzle, Jörg
Springer, 2010, Tapa Blanda, Nuevo
45%
dcto.

$ 190.80

$ 104.94
Flight Systems and Control: A Practical Approach (en Inglés)

Flight Systems and Control: A Practical Approach (en Inglés)

Ng, Tian Seng
Springer, 1 edición, Tapa Blanda, Nuevo
45%
dcto.

$ 235.80

$ 129.69
Contactless VLSI Measurement and Testing Techniques (en Inglés)

Contactless VLSI Measurement and Testing Techniques (en Inglés)

Sayil, Selahattin
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 190.80

$ 104.94
Introduction to Systemverilog (en Inglés)

Introduction to Systemverilog (en Inglés)

Mehta, Ashok B.
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 190.80

$ 104.94
Embedded Microprocessor System Design Using FPGAs (en Inglés)

Embedded Microprocessor System Design Using FPGAs (en Inglés)

Meyer-Baese, Uwe
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 166.16

$ 83.08
on-line error detection and fast recover techniques for dependable embedded processors (en Inglés)

on-line error detection and fast recover techniques for dependable embedded processors (en Inglés)

pflanz
Springer, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores (en Inglés)

Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores (en Inglés)

Pagani, Santiago ; Chen, Jian-Jia ; Shafique, Muhammad
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 332.72

$ 166.36
Secure and Trustworthy Cyberphysical Microfluidic Biochips: A Practical Guide to Cutting-Edge Design Techniques for Implementing Secure and Trustworth (en Inglés)

Secure and Trustworthy Cyberphysical Microfluidic Biochips: A Practical Guide to Cutting-Edge Design Techniques for Implementing Secure and Trustworth (en Inglés)

Tang, Jack ; Ibrahim, Mohamed ; Chakrabarty, Krishnendu
Springer, Tapa Dura, Nuevo
45%
dcto.

$ 190.80

$ 104.94
Algorithms for Computational Biology: 6th International Conference, Alcob 2019, Berkeley, ca, Usa, may 28â â 30, 2019, Proceedings (Lecture Notes in Computer Science) [Soft Cover ] (en Inglés)

Algorithms for Computational Biology: 6th International Conference, Alcob 2019, Berkeley, ca, Usa, may 28â â 30, 2019, Proceedings (Lecture Notes in Computer Science) [Soft Cover ] (en Inglés)

Holmes, Ian ; Martín-Vide, Carlos ; Vega-Rodríguez, Miguel A.
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 123.30

$ 67.81
handbook of philosophical logic: volume 16 (en Inglés)

handbook of philosophical logic: volume 16 (en Inglés)

gabbay, dov m.
springer, 2010, Nuevo
45%
dcto.

$ 290.87

$ 159.98
implementation of functional languages (en Inglés)

implementation of functional languages (en Inglés)

Springer, Nuevo
45%
dcto.

$ 108.30

$ 59.56
sdl 2009: design for motes and mobiles (en Inglés)

sdl 2009: design for motes and mobiles (en Inglés)

Springer, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Systemc and Systemc-Ams in Practice: Systemc 2.3, 2.2 and Systemc-Ams 1.0 (en Inglés)

Systemc and Systemc-Ams in Practice: Systemc 2.3, 2.2 and Systemc-Ams 1.0 (en Inglés)

Banerjee, Amal ; Sur, Balmiki
Springer, 1 edición, Tapa Blanda, Nuevo
45%
dcto.

$ 220.80

$ 121.44
introduction to reconfigurable computing: architectures, algorithms, and applications (en Inglés)

introduction to reconfigurable computing: architectures, algorithms, and applications (en Inglés)

Bobda, Christophe
Springer, 2010, Tapa Blanda, Nuevo
45%
dcto.

$ 195.70

$ 107.64
Parallel and Distributed Computing, Applications and Technologies: Proceedings of Pdcat 2023 (en Inglés)

Parallel and Distributed Computing, Applications and Technologies: Proceedings of Pdcat 2023 (en Inglés)

Park, Ji Su ; Takizawa, Hiroyuki ; Shen, Hong
Springer, Tapa Dura, Nuevo
45%
dcto.

$ 295.80

$ 162.69
verification, model checking, and abstract interpretation (en Inglés)

verification, model checking, and abstract interpretation (en Inglés)

Springer, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Foundations of Hardware IP Protection (en Inglés)

Foundations of Hardware IP Protection (en Inglés)

Bossuet, Lilian ; Torres, Lionel
Springer, 1 edición, Tapa Blanda, Nuevo
45%
dcto.

$ 175.80

$ 96.69
Shared-Memory Synchronization (en Inglés)

Shared-Memory Synchronization (en Inglés)

Scott, Michael L.
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 100.80

$ 55.44
computer aided verification: 13th international conference, cav 2001, paris, france, july 18-22, 2001. proceedings (en Inglés)

computer aided verification: 13th international conference, cav 2001, paris, france, july 18-22, 2001. proceedings (en Inglés)

berry, g.
springer, 2001, Nuevo
45%
dcto.

$ 207.58

$ 114.17
automated technology for verification and analysis: 5th international symposium, atva 2007 tokyo, japan, october 22-25, 2007 proceedings (en Inglés)

automated technology for verification and analysis: 5th international symposium, atva 2007 tokyo, japan, october 22-25, 2007 proceedings (en Inglés)

namjoshi, kedar s.
springer, 2007, Nuevo
45%
dcto.

$ 132.83

$ 73.06
fundamentals of algebraic specification 2 (en Inglés)

fundamentals of algebraic specification 2 (en Inglés)

ehrig,mahr
Springer, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Ubiquitous Networking: 9th International Symposium, Unet 2023, Clermont-Ferrand, France, November 1-3, 2023, Revised Selected Papers (en Inglés)

Ubiquitous Networking: 9th International Symposium, Unet 2023, Clermont-Ferrand, France, November 1-3, 2023, Revised Selected Papers (en Inglés)

Habachi, Oussama ; Chalhoub, Gerard ; Elbiaze, Halima
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 205.80

$ 113.19
Technische Informatik 2: Grundlagen der Computertechnik (Springer-Lehrbuch) (German Edition)

Technische Informatik 2: Grundlagen der Computertechnik (Springer-Lehrbuch) (German Edition)

Wolfram Schiffmann
Springer, Tapa Blanda, Nuevo
50%
dcto.

$ 125.72

$ 62.86
history of computing: software issues: international conference on the history of computing, ichc 2000, april 5-7, 2000, heinz nixdorf museumsforum, p (en Inglés)

history of computing: software issues: international conference on the history of computing, ichc 2000, april 5-7, 2000, heinz nixdorf museumsforum, p (en Inglés)

hashagen, u.
springer, 2002, Nuevo
45%
dcto.

$ 114.24

$ 62.83
vdm '90. vdm and z - formal methods in software development: third international symposium of vdm europe, kiel, frg, april 17-21, 1990, proceedings (en Inglés)

vdm '90. vdm and z - formal methods in software development: third international symposium of vdm europe, kiel, frg, april 17-21, 1990, proceedings (en Inglés)

bjorner, dines
springer, 1990, Nuevo
45%
dcto.

$ 129.99

$ 71.49
logic based program synthesis and transformation: 15th international symposium, lopstr 2005, london, uk, september 7-9, 2005, revised selected papers (en Inglés)

logic based program synthesis and transformation: 15th international symposium, lopstr 2005, london, uk, september 7-9, 2005, revised selected papers (en Inglés)

hill, patricia m.
springer, 2006, Nuevo
45%
dcto.

$ 108.30

$ 59.56
system analysis and modeling: language profiles: 5th international workshop, sam 2006, kaiserslautern, germany, may 31 - june 2, 2006, revised selecte (en Inglés)

system analysis and modeling: language profiles: 5th international workshop, sam 2006, kaiserslautern, germany, may 31 - june 2, 2006, revised selecte (en Inglés)

gotzhein, reinhard
springer, 2007, Nuevo
45%
dcto.

$ 108.30

$ 59.56
FPGA Design: Best Practices for Team-based Reuse

FPGA Design: Best Practices for Team-based Reuse

Philip Andrew Simpson
Springer, Tapa Dura, Nuevo
45%
dcto.

$ 294.32

$ 161.88
logic-based program synthesis and transformation (en Inglés)

logic-based program synthesis and transformation (en Inglés)

Springer, Nuevo
45%
dcto.

$ 108.30

$ 59.56
static analysis (en Inglés)

static analysis (en Inglés)

Springer, Nuevo
45%
dcto.

$ 108.30

$ 59.56
advances in computer systems architecture (en Inglés)

advances in computer systems architecture (en Inglés)

Springer, Nuevo
45%
dcto.

$ 190.80

$ 104.94
formal modeling and analysis of timed systems: third international conference, formats 2005, uppsala, sweden, september 26-28, 2005, proceedings (en Inglés)

formal modeling and analysis of timed systems: third international conference, formats 2005, uppsala, sweden, september 26-28, 2005, proceedings (en Inglés)

pettersson, p.
springer, 2006, Nuevo
45%
dcto.

$ 108.30

$ 59.56
A Synergistic Framework for Hardware IP Privacy and Integrity Protection (en Inglés)

A Synergistic Framework for Hardware IP Privacy and Integrity Protection (en Inglés)

Li, Meng ; Pan, David Z.
Springer, Tapa Dura, Nuevo
45%
dcto.

$ 190.80

$ 104.94
Wireless Communication Electronics by Example (en Inglés)

Wireless Communication Electronics by Example (en Inglés)

Sobot, Robert
Springer, Tapa Dura, Nuevo
45%
dcto.

$ 175.80

$ 96.69
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

Kai Hu
Springer, Tapa Dura, Nuevo
45%
dcto.

$ 190.80

$ 104.94
Functional Programming, Glasgow 1991: Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 (Workshops in Computing) (en Inglés)

Functional Programming, Glasgow 1991: Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12-14 August 1991 (Workshops in Computing) (en Inglés)

Heldal, Rogardt
Springer, 1992, 1 edición, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
algebraic informatics (en Inglés)

algebraic informatics (en Inglés)

Springer, Nuevo
45%
dcto.

$ 108.30

$ 59.56
embedded software and systems: third international conference, icess 2007 daegu, korea, may 14-16, 2007 proceedings (en Inglés)

embedded software and systems: third international conference, icess 2007 daegu, korea, may 14-16, 2007 proceedings (en Inglés)

lee, yann-hang
springer, 2007, Nuevo
45%
dcto.

$ 232.63

$ 127.95
constrained control and estimation: an optimisation approach (en Inglés)

constrained control and estimation: an optimisation approach (en Inglés)

goodwin, graham
springer, 2010, Nuevo
45%
dcto.

$ 289.32

$ 159.13
Euro-Par 2022: Parallel Processing: 28th International Conference on Parallel and Distributed Computing, Glasgow, Uk, August 22-26, 2022, Proceedings (en Inglés)

Euro-Par 2022: Parallel Processing: 28th International Conference on Parallel and Distributed Computing, Glasgow, Uk, August 22-26, 2022, Proceedings (en Inglés)

Cano, José ; Trinder, Phil
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 145.80

$ 80.19
Modern Formal Methods and Applications

Modern Formal Methods and Applications

Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 204.32

$ 112.38
verification, model checking, and abstract interpretation (en Inglés)

verification, model checking, and abstract interpretation (en Inglés)

Springer, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Systemc and Systemc-Ams in Practice: Systemc 2.3, 2.2 and Systemc-Ams 1.0 (en Inglés)

Systemc and Systemc-Ams in Practice: Systemc 2.3, 2.2 and Systemc-Ams 1.0 (en Inglés)

Banerjee, Amal ; Sur, Balmiki
Springer, Tapa Dura, Nuevo
45%
dcto.

$ 190.80

$ 104.94
computer science logic (en Inglés)

computer science logic (en Inglés)

Springer, Nuevo
45%
dcto.

$ 190.80

$ 104.94
higher-order algebra, logic, and term rewriting (en Inglés)

higher-order algebra, logic, and term rewriting (en Inglés)

Springer, Nuevo
45%
dcto.

$ 108.30

$ 59.56
computing in object-oriented parallel environments: second international symposium, iscope 98, santa fe, nm, usa, december 8-11, 1998, proceedings (en Inglés)

computing in object-oriented parallel environments: second international symposium, iscope 98, santa fe, nm, usa, december 8-11, 1998, proceedings (en Inglés)

Caromel, Denis ; Oldehoeft, Rodney R. ; Tholburn, Marydell
Springer, 1998, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
formal methods for mobile computing: 5th international school on formal methods for the design of computer, communication, and software systems, sfm-m (en Inglés)

formal methods for mobile computing: 5th international school on formal methods for the design of computer, communication, and software systems, sfm-m (en Inglés)

bernardo, marco
springer, 2005, Nuevo
45%
dcto.

$ 108.30

$ 59.56
advances in computer systems architecture: 12th asia-pacific conference, acsac 2007 seoul, korea, august 23-25, 2007 proceedings (en Inglés)

advances in computer systems architecture: 12th asia-pacific conference, acsac 2007 seoul, korea, august 23-25, 2007 proceedings (en Inglés)

choi, lynn
springer, 2007, Nuevo
45%
dcto.

$ 117.34

$ 64.53
Ssa-Based Compiler Design (en Inglés)

Ssa-Based Compiler Design (en Inglés)

Rastello, Fabrice ; Bouchez Tichadou, Florent
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 175.80

$ 96.69
12345