Ship to
FL
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.384 Books

Making Futures Work: Integrating Futures Thinking for Design, Innovation, and Strategy

Making Futures Work: Integrating Futures Thinking for Design, Innovation, and Strategy

Balagtas, Phil
O'Reilly Media, Paperback, New
50%
Off

$ 105.30

$ 52.66
programming f# 3.0

programming f# 3.0

Smith, Chris
O'Reilly Media, Paperback, New
50%
Off

$ 97.53

$ 48.77
Becoming a Better Programmer: A Handbook for People who Care About Code

Becoming a Better Programmer: A Handbook for People who Care About Code

Goodliffe, Pete
O'Reilly Media, 2014, 1 edition, Paperback, New
50%
Off

$ 78.12

$ 39.06
the information system consultant's handbook: systems analysis and design

the information system consultant's handbook: systems analysis and design

davis, william s.
crc press, 1998, New
50%
Off

$ 794.75

$ 397.37
OpenACC for Programmers: Concepts and Strategies

OpenACC for Programmers: Concepts and Strategies

Sunita Chandrasekaran
Addison-Wesley Professional, Paperback, New
50%
Off

$ 103.25

$ 51.62
Universal Design: The Humbles Method for User-Centred Business

Universal Design: The Humbles Method for User-Centred Business

Aragall, Francesc ; Montana, Jordi
Routledge, 2009, 1 edition, Hardcover, New
50%
Off

$ 436.30

$ 218.16
low-power cmos circuits: technology, logic design and cad tools

low-power cmos circuits: technology, logic design and cad tools

piguet, christian
crc press, 2005, New
50%
Off

$ 597.32

$ 298.67
a roadmap for formal property verification

a roadmap for formal property verification

dasgupta, pallab
springer, 2006, New
50%
Off

$ 221.41

$ 110.71
Machine Learning for Model Order Reduction

Machine Learning for Model Order Reduction

Khaled Salah Mohamed
Springer, Hardcover, New
50%
Off

$ 248.17

$ 124.09
parallel numerical algorithms

parallel numerical algorithms

venkatakrishnan, v.
springer, 1997, New
50%
Off

$ 419.29

$ 209.65
Embedded Microprocessor System Design Using FPGAs

Embedded Microprocessor System Design Using FPGAs

Meyer-Baese, Uwe
Springer, Paperback, New
50%
Off

$ 189.49

$ 94.74
Memory Dump Analysis Anthology, Volume 8b

Memory Dump Analysis Anthology, Volume 8b

Vostokov, Dmitry ; Software Diagnostics Institute
Opentask, Paperback, New
50%
Off

$ 114.91

$ 57.46
microprocessor architectures: from vliw to tta

microprocessor architectures: from vliw to tta

corporaal, henk
john wiley & sons, 1997, New
50%
Off

$ 623.87

$ 311.94
verification, model checking, and abstract interpretation

verification, model checking, and abstract interpretation

Springer, New
50%
Off

$ 117.55

$ 58.78
hot-carrier reliability of mos vlsi circuits

hot-carrier reliability of mos vlsi circuits

leblebici, yusuf
springer, 1993, New
50%
Off

$ 407.51

$ 203.76
HTML Demystified: Crafting Web Content with Hypertext Markup Language

HTML Demystified: Crafting Web Content with Hypertext Markup Language

Hussain, Kameron ; Hussain, Frahaan
Independently Published, Paperback, New
50%
Off

$ 52.90

$ 26.45
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, New
50%
Off

$ 117.55

$ 58.78
Euro-Par 2022: Parallel Processing: 28th International Conference on Parallel and Distributed Computing, Glasgow, Uk, August 22-26, 2022, Proceedings

Euro-Par 2022: Parallel Processing: 28th International Conference on Parallel and Distributed Computing, Glasgow, Uk, August 22-26, 2022, Proceedings

Cano, José ; Trinder, Phil
Springer, Paperback, New
50%
Off

$ 161.10

$ 80.55
verification, model checking, and abstract interpretation

verification, model checking, and abstract interpretation

Springer, New
50%
Off

$ 117.55

$ 58.78
mathematical models for the semantics of parallelism

mathematical models for the semantics of parallelism

Springer, New
50%
Off

$ 117.55

$ 58.78
logic-based program synthesis and transformation

logic-based program synthesis and transformation

Springer, New
50%
Off

$ 117.55

$ 58.78
high performance computing systems and applications

high performance computing systems and applications

pollard, andrew
springer, 2000, New
50%
Off

$ 346.17

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

FPGA Design: Best Practices for Team-based Reuse

Philip Andrew Simpson
Springer, Hardcover, New
50%
Off

$ 333.53

$ 166.77
architecting dependable systems

architecting dependable systems

Springer, New
50%
Off

$ 117.55

$ 58.78
static analysis

static analysis

Springer, New
50%
Off

$ 117.55

$ 58.78
term rewriting and applications: 17th international conference, rta 2006 seattle, wa, usa, august 12-14, 2006 proceedings

term rewriting and applications: 17th international conference, rta 2006 seattle, wa, usa, august 12-14, 2006 proceedings

pfenning, frank
springer, 2006, New
50%
Off

$ 126.06

$ 63.03
reconfigurable computing: architectures, tools and applications: third international workshop, arc 2007, mangaratiba, brazil, march 27-29, 2007, proce

reconfigurable computing: architectures, tools and applications: third international workshop, arc 2007, mangaratiba, brazil, march 27-29, 2007, proce

diniz, pedro c.
springer, 2007, New
50%
Off

$ 124.75

$ 62.38
multiple-valued logic design

multiple-valued logic design

epstein, g.
taylor & francis group, 1993, New
50%
Off

$ 1,077.76

$ 538.88
software performability: from concepts to applications

software performability: from concepts to applications

tai, ann t.
springer, 1995, New
50%
Off

$ 317.83

$ 158.92
Parallel Optimization

Parallel Optimization

Yair Censor; Stavros A. Zenios
Oxford University Press, 1998, 1 edition, Hardcover, New
50%
Off

$ 612.63

$ 306.32
handbook of philosophical logic: volume 16

handbook of philosophical logic: volume 16

gabbay, dov m.
springer, 2010, New
50%
Off

$ 326.34

$ 163.17
principles and practice of constraint programming - cp '95: first international conference, cp '95, cassis, france, september 19 - 22, 1995. proceedin

principles and practice of constraint programming - cp '95: first international conference, cp '95, cassis, france, september 19 - 22, 1995. proceedin

montanari
springer, 1995, New
50%
Off

$ 236.45

$ 118.23
Wireless Communication Electronics by Example

Wireless Communication Electronics by Example

Sobot, Robert
Springer, Hardcover, New
50%
Off

$ 195.92

$ 97.97
history of computing: software issues: international conference on the history of computing, ichc 2000, april 5-7, 2000, heinz nixdorf museumsforum, p

history of computing: software issues: international conference on the history of computing, ichc 2000, april 5-7, 2000, heinz nixdorf museumsforum, p

hashagen, u.
springer, 2002, New
50%
Off

$ 122.57

$ 61.29
implementation of functional languages

implementation of functional languages

Springer, New
50%
Off

$ 117.55

$ 58.78
advances in computer systems architecture

advances in computer systems architecture

Springer, New
50%
Off

$ 213.34

$ 106.68
Self-Timed Control of Concurrent Processes: The Design of Aperiodic Logical Circuits in Computers and Discrete Systems

Self-Timed Control of Concurrent Processes: The Design of Aperiodic Logical Circuits in Computers and Discrete Systems

Varshavsky, Victor I.
Springer, Paperback, New
50%
Off

$ 213.34

$ 106.68
Parallel and Distributed Computing, Applications and Technologies: Proceedings of Pdcat 2023

Parallel and Distributed Computing, Applications and Technologies: Proceedings of Pdcat 2023

Park, Ji Su ; Takizawa, Hiroyuki ; Shen, Hong
Springer, Hardcover, New
50%
Off

$ 335.24

$ 167.62
process algebra and probabilistic methods. performance modelling and verification

process algebra and probabilistic methods. performance modelling and verification

Springer, New
50%
Off

$ 117.55

$ 58.78
introduction to iddq testing

introduction to iddq testing

thadikaran,chakravarty
Springer, New
50%
Off

$ 213.34

$ 106.68
vdm '90. vdm and z - formal methods in software development: third international symposium of vdm europe, kiel, frg, april 17-21, 1990, proceedings

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

bjorner, dines
springer, 1990, New
50%
Off

$ 135.88

$ 67.95
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, Hardcover, New
50%
Off

$ 213.34

$ 106.68
hardware/software architectures for low-power embedded multimedia systems

hardware/software architectures for low-power embedded multimedia systems

muhammad shafique
springer verlag, 2011, New
50%
Off

$ 213.34

$ 106.68
formal modeling and analysis of timed systems: third international conference, formats 2005, uppsala, sweden, september 26-28, 2005, proceedings

formal modeling and analysis of timed systems: third international conference, formats 2005, uppsala, sweden, september 26-28, 2005, proceedings

pettersson, p.
springer, 2006, New
50%
Off

$ 117.55

$ 58.78
computer aided verification: 13th international conference, cav 2001, paris, france, july 18-22, 2001. proceedings

computer aided verification: 13th international conference, cav 2001, paris, france, july 18-22, 2001. proceedings

berry, g.
springer, 2001, New
50%
Off

$ 227.51

$ 113.75
on-line error detection and fast recover techniques for dependable embedded processors

on-line error detection and fast recover techniques for dependable embedded processors

pflanz
Springer, New
50%
Off

$ 117.55

$ 58.78
foundations of dependable computing

foundations of dependable computing

Springer, New
50%
Off

$ 317.83

$ 158.92
interfacing with c++

interfacing with c++

jayantha katupitiya,kim bentley
springer-verlag gmbh, New
50%
Off

$ 117.55

$ 58.78
types for proofs and programs

types for proofs and programs

Springer, New
50%
Off

$ 117.55

$ 58.78
classical recursion theory: the theory of functions and sets of natural numbers

classical recursion theory: the theory of functions and sets of natural numbers

odifreddi, p.
north-holland, 1992, New
50%
Off

$ 278.59

$ 139.30
2345678