Hasta 40% off y Envío a todo USA y PR por solo $2.99  Ver más

Enviar a
FL
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 3.464 Libros

Estado:TodosNuevosUsadosAnticuariosNuevo
implementation and application of functional languages,16th international workshop, ifl 2004, lbeck, germany, september 8-10, 2004, revised selected paper

implementation and application of functional languages,16th international workshop, ifl 2004, lbeck, germany, september 8-10, 2004, revised selected paper

clemens (edt) grelck
springer-verlag new york inc, Nuevo
6%
dcto.

$ 61.86

$ 58.22
Rápido
semantics of systems of concurrent processes (en Inglés)

semantics of systems of concurrent processes (en Inglés)

Springer, Nuevo
6%
dcto.

$ 61.86

$ 58.22
Rápido
computer science logic (en Inglés)

computer science logic (en Inglés)

Springer, Nuevo
6%
dcto.

$ 123.74

$ 116.46
Rápido
mathematical models for the semantics of parallelism (en Inglés)

mathematical models for the semantics of parallelism (en Inglés)

Springer, Nuevo
6%
dcto.

$ 61.86

$ 58.22
Rápido
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
6%
dcto.

$ 61.86

$ 58.22
Rápido
term rewriting and applications: 17th international conference, rta 2006 seattle, wa, usa, august 12-14, 2006 proceedings (en Inglés)

term rewriting and applications: 17th international conference, rta 2006 seattle, wa, usa, august 12-14, 2006 proceedings (en Inglés)

pfenning, frank
springer, 2006, Nuevo
6%
dcto.

$ 61.86

$ 58.22
Rápido
quality of software architectures: second international conference on quality of software architectures, qosa 2006, v steras, schweden, june 27-29, 20 (en Inglés)

quality of software architectures: second international conference on quality of software architectures, qosa 2006, v steras, schweden, june 27-29, 20 (en Inglés)

hofmeister, christine
springer, 2007, Nuevo
6%
dcto.

$ 61.86

$ 58.22
Rápido
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
6%
dcto.

$ 61.86

$ 58.22
Rápido
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
6%
dcto.

$ 61.86

$ 58.22
Rápido
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
6%
dcto.

$ 61.86

$ 58.22
Rápido
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
6%
dcto.

$ 67.49

$ 63.52
Rápido
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
6%
dcto.

$ 112.49

$ 105.87
Rápido
implementation of functional languages (en Inglés)

implementation of functional languages (en Inglés)

Springer, Nuevo
6%
dcto.

$ 61.86

$ 58.22
Rápido
logic-based program synthesis and transformation (en Inglés)

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

Springer, Nuevo
6%
dcto.

$ 61.86

$ 58.22
Rápido
logic-based program synthesis and transformation (en Inglés)

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

Springer, Nuevo
6%
dcto.

$ 61.86

$ 58.22
Rápido
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
6%
dcto.

$ 61.86

$ 58.22
Rápido
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
6%
dcto.

$ 61.86

$ 58.22
Rápido
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
6%
dcto.

$ 61.86

$ 58.22
Rápido
testing of software and communicating systems,20th ifip tc 6/wg 6.1 international conference, testcom 2008 8th international workshop, fates 2008,

testing of software and communicating systems,20th ifip tc 6/wg 6.1 international conference, testcom 2008 8th international workshop, fates 2008,

kenji (edt) suzuki
springer-verlag new york inc, Nuevo
6%
dcto.

$ 61.86

$ 58.22
Rápido
higher-order algebra, logic, and term rewriting (en Inglés)

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

Springer, Nuevo
6%
dcto.

$ 61.86

$ 58.22
Rápido
types for proofs and programs (en Inglés)

types for proofs and programs (en Inglés)

Springer, Nuevo
6%
dcto.

$ 61.86

$ 58.22
Rápido
static analysis (en Inglés)

static analysis (en Inglés)

Springer, Nuevo
6%
dcto.

$ 61.86

$ 58.22
Rápido
principles and practice of constraint programming - cp '95: first international conference, cp '95, cassis, france, september 19 - 22, 1995. proceedin (en Inglés)

principles and practice of constraint programming - cp '95: first international conference, cp '95, cassis, france, september 19 - 22, 1995. proceedin (en Inglés)

montanari
springer, 1995, Nuevo
6%
dcto.

$ 123.74

$ 116.46
Rápido
reconfigurable computing: architectures, tools and applications: third international workshop, arc 2007, mangaratiba, brazil, march 27-29, 2007, proce (en Inglés)

reconfigurable computing: architectures, tools and applications: third international workshop, arc 2007, mangaratiba, brazil, march 27-29, 2007, proce (en Inglés)

diniz, pedro c.
springer, 2007, Nuevo
6%
dcto.

$ 61.86

$ 58.22
Rápido
recent trends in algebraic development techniques: 18th international workshop, wadt 2006 la roche en ardenne, belgium, june 1-3, 2006 revised selecte (en Inglés)

recent trends in algebraic development techniques: 18th international workshop, wadt 2006 la roche en ardenne, belgium, june 1-3, 2006 revised selecte (en Inglés)

fiadeiro, jose luiz
springer, 2007, Nuevo
6%
dcto.

$ 61.86

$ 58.22
Rápido
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
6%
dcto.

$ 61.86

$ 58.22
Rápido
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
6%
dcto.

$ 123.74

$ 116.46
Rápido
sdl 2009: design for motes and mobiles (en Inglés)

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

Springer, Nuevo
6%
dcto.

$ 61.86

$ 58.22
Rápido
algebraic informatics (en Inglés)

algebraic informatics (en Inglés)

Springer, Nuevo
6%
dcto.

$ 61.86

$ 58.22
Rápido
Cellular Automata: Simplicity Behind Complexity (en Inglés)

Cellular Automata: Simplicity Behind Complexity (en Inglés)

Salcido, Alejandro
Intechopen, Tapa Dura, Nuevo
12%
dcto.

$ 205.00

$ 180.88
Rápido
Logic and Language Models for Computer Science (Fourth Edition) (en Inglés)

Logic and Language Models for Computer Science (Fourth Edition) (en Inglés)

Richards, Dana ; Hamburger, Henry
World Scientific Publishing Company, Tapa Dura, Nuevo
6%
dcto.

$ 132.75

$ 124.94
Rápido
Advanced Artificial Intelligence (Second Edition) (en Inglés)

Advanced Artificial Intelligence (Second Edition) (en Inglés)

Shi, Zhongzhi
World Scientific Publishing Company, Tapa Dura, Nuevo
6%
dcto.

$ 243.00

$ 228.71
Rápido
ultra-low energy domain-specific instruction-set processors

ultra-low energy domain-specific instruction-set processors

francky catthoor
springer verlag, 2010, Nuevo
6%
dcto.

$ 191.24

$ 179.99
Rápido
optimized asip synthesis from architecture description language models (en Inglés)

optimized asip synthesis from architecture description language models (en Inglés)

schliebusch, oliver
springer, 2010, Nuevo
6%
dcto.

$ 123.74

$ 116.46
Rápido
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
6%
dcto.

$ 123.74

$ 116.46
Rápido
Modern Formal Methods and Applications

Modern Formal Methods and Applications

Springer, Tapa Blanda, Nuevo
6%
dcto.

$ 133.88

$ 126.00
Rápido
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
6%
dcto.

$ 202.49

$ 190.58
Rápido
HTML Demystified: Crafting Web Content with Hypertext Markup Language (en Inglés)

HTML Demystified: Crafting Web Content with Hypertext Markup Language (en Inglés)

Hussain, Kameron ; Hussain, Frahaan
Sonar Publishing, Tapa Blanda, Nuevo
6%
dcto.

$ 24.99

$ 23.52
Rápido
digital image compression (en Inglés)

digital image compression (en Inglés)

weidong kou
Springer, Nuevo
15%
dcto.

$ 169.99

$ 144.49
field-programmable logic and applications. reconfigurable computing is going mainstream (en Inglés)

field-programmable logic and applications. reconfigurable computing is going mainstream (en Inglés)

Springer, Nuevo
15%
dcto.

$ 54.99

$ 46.74
formal methods and software engineering: 12th international conference on formal engineering methods, icfem 2010 shanghai, china, november 17-19, 2010 (en Inglés)

formal methods and software engineering: 12th international conference on formal engineering methods, icfem 2010 shanghai, china, november 17-19, 2010 (en Inglés)

Dong, Jin Song ; Zhu, Huibiao
Springer, 2010, Tapa Blanda, Nuevo
40%
dcto.

$ 251.96

$ 151.18
reachability problems: 4th international workshop, rp 2010, brno, czech republic, august 28-29, 2010, proceedings (en Inglés)

reachability problems: 4th international workshop, rp 2010, brno, czech republic, august 28-29, 2010, proceedings (en Inglés)

kucera, antonin
springer, 2010, Nuevo
40%
dcto.

$ 122.29

$ 73.37
Energy-Aware Memory Management for Embedded Multimedia Systems: A Computer-Aided Design Approach (en Inglés)

Energy-Aware Memory Management for Embedded Multimedia Systems: A Computer-Aided Design Approach (en Inglés)

Balasa, Florin ; Pradhan, Dhiraj K.
CRC Press, 2011, Tapa Dura, Nuevo
40%
dcto.

$ 520.32

$ 312.19
digital design,an embedded systems approach using vhdl

digital design,an embedded systems approach using vhdl

peter j. ashenden
elsevier science ltd, Nuevo
40%
dcto.

$ 192.59

$ 115.55
comprehensive functional verification,the complete industry cycle

comprehensive functional verification,the complete industry cycle

bruce wile
elsevier science ltd, Nuevo
40%
dcto.

$ 168.42

$ 101.05
three-dimensional integrated circuit design

three-dimensional integrated circuit design

vasilis f. pavlidis
elsevier science ltd, Nuevo
40%
dcto.

$ 172.82

$ 103.69
memory systems,cache, dram, disk

memory systems,cache, dram, disk

bruce jacob
elsevier science ltd, Nuevo
40%
dcto.

$ 232.14

$ 139.28
embedded systems and software vakidation

embedded systems and software vakidation

abhik roychoudhury
elsevier science ltd, Nuevo
40%
dcto.

$ 164.03

$ 98.42
Microsoft Virtualization: Master Microsoft Server, Desktop, Application, and Presentation Virtualization (en Inglés)

Microsoft Virtualization: Master Microsoft Server, Desktop, Application, and Presentation Virtualization (en Inglés)

Olzak, Thomas ; Sabovik, James ; Boomer, Jason
Syngress Publishing, Tapa Blanda, Nuevo
40%
dcto.

$ 100.32

$ 60.19
VLSI Physical Design Automation: Theory and Practice (en Inglés)

VLSI Physical Design Automation: Theory and Practice (en Inglés)

Sait, Sadiq M. ; Youssef, Habib
World Scientific Publishing Company, 1999, Tapa Dura, Nuevo
40%
dcto.

$ 364.86

$ 218.91
2345678