Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

Ship to
Netherlands
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.466 Books

Machine Learning for Indoor Localization and Navigation

Machine Learning for Indoor Localization and Navigation

Tiku, Saideep ; Pasricha, Sudeep
Springer, Hardcover, New

€ 115,48
Internet of Things, Smart Spaces, and Next Generation Networks and Systems: 23rd International Conference, New2an 2023, and 16th Conference, Rusmart 2

Internet of Things, Smart Spaces, and Next Generation Networks and Systems: 23rd International Conference, New2an 2023, and 16th Conference, Rusmart 2

Koucheryavy, Yevgeni ; Aziz, Ahmed
Springer, Paperback, New

€ 139,94
Engineering Design: A Survival Guide to Senior Capstone

Engineering Design: A Survival Guide to Senior Capstone

Mettler, Cory J.
Springer, Hardcover, New

€ 66,57
Design of Experiments for Reinforcement Learning

Design of Experiments for Reinforcement Learning

Gatti, Christopher
Springer, Hardcover, New

€ 99,18
Hardware Protection Through Obfuscation

Hardware Protection Through Obfuscation

Forte, Domenic ; Bhunia, Swarup ; Tehranipoor, Mark M.
Springer, 1 edition, Hardcover, New

€ 148,09
Near Threshold Computing: Technology, Methods and Applications

Near Threshold Computing: Technology, Methods and Applications

Hübner, Michael ; Silvano, Cristina
Springer, Paperback, New

€ 54,34
verifying concurrent processes using temporal logic

verifying concurrent processes using temporal logic

hailpern
Springer, New

€ 54,34
object-oriented technology. ecoop 2002 workshop reader

object-oriented technology. ecoop 2002 workshop reader

Hernández, Juan ; Moreira, Ana
Springer, Paperback, New

€ 54,34
algebraic semantics

algebraic semantics

guessarian
Springer, New

€ 25,06
from logic design to logic programming

from logic design to logic programming

thayse,snyers
Springer, New

€ 54,34
stacs 88

stacs 88

Springer, New

€ 54,34
parle parallel architectures and languages europe

parle parallel architectures and languages europe

Springer, New

€ 54,59
alternating sequential-parallel processing

alternating sequential-parallel processing

wallach
Springer, New

€ 54,34
object-oriented technology: ecoop 2000 workshop reader

object-oriented technology: ecoop 2000 workshop reader

Malenfant, Jacques ; Moisan, Sabine ; Moreira, Ana
Springer, Paperback, New

€ 54,34
formal methods for components and objects

formal methods for components and objects

De Boer, Frank S. ; Bonsangue, Marcello M. ; Graf, Susanne
Springer, Paperback, New

€ 54,34
principles and practice of constraint programming - cp 2002

principles and practice of constraint programming - cp 2002

Springer, New

€ 99,18
fm 2005: formal methods

fm 2005: formal methods

Springer, New

€ 54,34
job scheduling strategies for parallel processing

job scheduling strategies for parallel processing

Springer, New

€ 54,34
computer aided verification

computer aided verification

Springer, New

€ 54,34
formal program development

formal program development

Springer, New

€ 54,34
linear time, branching time and partial order in logics and models for concurrency

linear time, branching time and partial order in logics and models for concurrency

Springer, New

€ 99,18
programming languages and systems

programming languages and systems

Springer, New

€ 54,34
programming languages and system architectures

programming languages and system architectures

Springer, New

€ 54,34
loglan '88 - report on the programming language

loglan '88 - report on the programming language

kreczmar, antoni
springer, 1990, New

€ 54,34
alpuk 91: proceedings of the 3rd uk annual conference on logic programming, edinburgh, 10-12 april 1991

alpuk 91: proceedings of the 3rd uk annual conference on logic programming, edinburgh, 10-12 april 1991

Wiggins, Geraint A. ; Mellish, Chris ; Duncan, Tim
Springer, 1992, Paperback, New

€ 54,34
visual structures and integrated functions

visual structures and integrated functions

Arbib, Michael A. ; Ewert, Jörg-Peter
Springer, 1991, Paperback, New

€ 99,18
model checking software

model checking software

Springer, New

€ 54,34
formal techniques for computer systems and business processes: european performance engineering workshop, epew 2005 and international workshop on web

formal techniques for computer systems and business processes: european performance engineering workshop, epew 2005 and international workshop on web

bravetti, m.
springer, 2005, New

€ 55,08
programming languages: implementations, logics, and programs

programming languages: implementations, logics, and programs

Springer, New

€ 54,34
algebraic methodology and software technology

algebraic methodology and software technology

Springer, New

€ 54,34
model checking software: 8th international spin workshop, toronto, canada, may 19-20, 2001 proceedings

model checking software: 8th international spin workshop, toronto, canada, may 19-20, 2001 proceedings

dwyer, matthew
springer, 2001, New

€ 54,51
formal approaches to software testing and runtime verification: first combined international workshops fates 2006 and rv 2006, seattle, wa, usa, augus

formal approaches to software testing and runtime verification: first combined international workshops fates 2006 and rv 2006, seattle, wa, usa, augus

havelund, klaus
springer, 2007, New

€ 54,34
advanced database systems

advanced database systems

Springer, New

€ 54,34
hybrid systems ii

hybrid systems ii

Springer, New

€ 54,34
typed lambda calculi and applications

typed lambda calculi and applications

Springer, New

€ 54,34
application and theory of petri nets 1999

application and theory of petri nets 1999

Springer, New

€ 54,34
computer aided verification

computer aided verification

Springer, New

€ 54,34
programming language implementation and logic programming

programming language implementation and logic programming

Springer, New

€ 54,34
casl user manual: introduction to using the common algebraic specification language

casl user manual: introduction to using the common algebraic specification language

bidoit, m.
springer, 2004, New

€ 54,34
designing correct circuits: workshop jointly organised by the universities of oxford and glasgow, 26-28 september 1990, oxford

designing correct circuits: workshop jointly organised by the universities of oxford and glasgow, 26-28 september 1990, oxford

Jones, Geraint ; Sheeran, Mary
Springer, 1991, Paperback, New

€ 54,34
embedded computer systems: architectures, modeling, and simulation

embedded computer systems: architectures, modeling, and simulation

Springer, New

€ 54,34
reconfigurable computing: architectures, tools and applications

reconfigurable computing: architectures, tools and applications

Springer, New

€ 54,34
semantics and algebraic specification

semantics and algebraic specification

Springer, New

€ 54,34
evolving openmp in an age of extreme parallelism

evolving openmp in an age of extreme parallelism

Springer, New

€ 54,34
agent-oriented software engineering ix

agent-oriented software engineering ix

Springer, New

€ 54,34
universal access in human-computer interaction. intelligent and ubiquitous interaction environments

universal access in human-computer interaction. intelligent and ubiquitous interaction environments

Springer, New

€ 99,18
C# for Beginners: A Complete C# Programming Guide to Getting You Started Right Away! (2022 Crash Course for All)

C# for Beginners: A Complete C# Programming Guide to Getting You Started Right Away! (2022 Crash Course for All)

Gregory, Cary
Cary Gregory, Paperback, New

€ 30,71
Tron Project 1988: Open-Architecture Computer Systems

Tron Project 1988: Open-Architecture Computer Systems

Sakamura, Ken
Springer, Paperback, New

€ 54,34
logic, algebra, and computation: international summer school

logic, algebra, and computation: international summer school

bauer, friedrich l.
springer, 2012, New

€ 99,18
temporal logic of programs

temporal logic of programs

kr ger, fred
springer, 2011, New

€ 54,34
17181920212223