你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
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.460 Books

component-based software engineering: 8th international symposium, cbse 2005, st. louis, mo, usa, may 14-15, 2005

component-based software engineering: 8th international symposium, cbse 2005, st. louis, mo, usa, may 14-15, 2005

heineman, george t.
springer, 2005, New

NT$ 1,907
Formal Verification of Simulink

Formal Verification of Simulink

Zhan, Naijun ; Wang, Shuling ; Zhao, Hengjun
Springer, 2016, 1 edition, Hardcover, New

NT$ 3,915
caap '83: trees in algebra and programming. 8th colloquium l'aquila, march 9-11, 1983. proceedings

caap '83: trees in algebra and programming. 8th colloquium l'aquila, march 9-11, 1983. proceedings

ausiello, g.
springer, 1983, New

NT$ 1,924
parallel language and compiler research in japan

parallel language and compiler research in japan

bic, lubomir f.
springer, 1995, New

NT$ 6,572
Handbook of Electronics Manufacturing Engineering

Handbook of Electronics Manufacturing Engineering

Matisoff, Bernie
Springer, Paperback, New

NT$ 6,375
Computations with Markov Chains: Proceedings of the 2nd International Workshop on the Numerical Solution of Markov Chains

Computations with Markov Chains: Proceedings of the 2nd International Workshop on the Numerical Solution of Markov Chains

Stewart, William J.
Springer, Paperback, New

NT$ 5,008
correct hardware design and verification methods

correct hardware design and verification methods

Springer, New

NT$ 1,865
dependable computing: second latin-american symposium, ladc 2005, salvador, brazil, october 25-28, 2005, proceedings

dependable computing: second latin-american symposium, ladc 2005, salvador, brazil, october 25-28, 2005, proceedings

maziero, c. a.
springer, 2005, New

NT$ 1,865
Design Automation and Applications for Emerging Reconfigurable Nanotechnologies

Design Automation and Applications for Emerging Reconfigurable Nanotechnologies

Rai, Shubham ; Kumar, Akash
Springer, Hardcover, New

NT$ 3,642
Multi-Threaded Object-Oriented Mpi-Based Message Passing Interface: The Arch Library

Multi-Threaded Object-Oriented Mpi-Based Message Passing Interface: The Arch Library

Adamo, Jean-Marc
Springer, Paperback, New

NT$ 5,008
Algorithmic and Register-Transfer Level Synthesis: The System Architect's Workbench: The System Architect's Workbench

Algorithmic and Register-Transfer Level Synthesis: The System Architect's Workbench: The System Architect's Workbench

Thomas, Donald E. ; Lagnese, Elizabeth D. ; Walker, Robert A.
Springer, Paperback, New

NT$ 5,008
formal techniques in real-time and fault-tolerant systems

formal techniques in real-time and fault-tolerant systems

Springer, New

NT$ 3,368
computer aided verification

computer aided verification

Springer, New

NT$ 1,865
formal approaches to agent-based systems

formal approaches to agent-based systems

Springer, New

NT$ 1,865
programming languages and systems

programming languages and systems

Springer, New

NT$ 1,865
formal approaches to software testing: third international workshop on formal approaches to testing of software, fates 2003, montreal, quebec, canada,

formal approaches to software testing: third international workshop on formal approaches to testing of software, fates 2003, montreal, quebec, canada,

ulrich, andreas
springer, 2004, New

NT$ 1,865
an introduction to the pl/cv2 programming logic

an introduction to the pl/cv2 programming logic

eichenlaub,johnson,constable
Springer, New

NT$ 1,865
esop 86

esop 86

Springer, New

NT$ 1,865
replication techniques in distributed systems

replication techniques in distributed systems

helal,heddaya,bhargava
Springer, New

NT$ 6,375
semantics of digital circuits

semantics of digital circuits

delgado kloos
Springer, New

NT$ 962
reuse techniques for vlsi design

reuse techniques for vlsi design

Springer, New

NT$ 3,368
principles of verifiable rtl design: a functional coding style supporting verification processes in verilog

principles of verifiable rtl design: a functional coding style supporting verification processes in verilog

bening, lionel
springer, 2001, New

NT$ 5,089
reliability and safety assessment of dynamic process systems

reliability and safety assessment of dynamic process systems

Springer, New

NT$ 6,375
synchronization in real-time systems:

synchronization in real-time systems:

rajkumar
Springer, New

NT$ 3,368
image and text compression

image and text compression

storer, james a.
springer, 1992, New

NT$ 5,085
fault-tolerant parallel computation

fault-tolerant parallel computation

shvartsman,kanellakis
Springer, New

NT$ 3,368
languages and compilers for parallel computing

languages and compilers for parallel computing

Springer, New

NT$ 1,865
data types and persistence

data types and persistence

Springer, New

NT$ 3,368
building asips: the mescal methodology

building asips: the mescal methodology

gries, matthias
springer, 2005, New

NT$ 5,142
modeling and simulation of high speed vlsi interconnects

modeling and simulation of high speed vlsi interconnects

Springer, New

NT$ 3,368
napaw 92: proceedings of the first north american process algebra workshop, stony brook, new york, usa, 28 august 1992

napaw 92: proceedings of the first north american process algebra workshop, stony brook, new york, usa, 28 august 1992

Purushothaman, S. ; Zwarico, Amy
Springer, 1993, Paperback, New

NT$ 1,865
object-oriented technology.ecoop 2006 workshop reader: ecoop 2006 workshops, nantes, france, july 3-7, 2006, final reports

object-oriented technology.ecoop 2006 workshop reader: ecoop 2006 workshops, nantes, france, july 3-7, 2006, final reports

Südholt, Mario ; Consel, Charles
Springer, 2007, Paperback, New

NT$ 1,865
collegium logicum 2

collegium logicum 2

Kurt-Gödel-Gesellschaft
Springer, 2000, Paperback, New

NT$ 1,865
Multiprocessing: Trade-Offs in Computation and Communication

Multiprocessing: Trade-Offs in Computation and Communication

Naik, Vijay K.
Springer, Paperback, New

NT$ 3,368
Deadline Scheduling for Real-Time Systems: Edf and Related Algorithms

Deadline Scheduling for Real-Time Systems: Edf and Related Algorithms

Stankovic, John A. ; Spuri, Marco ; Ramamritham, Krithi
Springer, Paperback, New

NT$ 5,008
software language engineering

software language engineering

Malloy, Brian ; Staab, Steffen ; Van Den Brand, Mark
Springer, 2011, Paperback, New

NT$ 1,941
Closing the gap Between Asic & Custom: Tools and Techniques for High-Performance Asic Design

Closing the gap Between Asic & Custom: Tools and Techniques for High-Performance Asic Design

David Chinnery; Kurt Keutzer
Springer, 2002, Hardcover, New

NT$ 5,008
hybrid systems: computation and control

hybrid systems: computation and control

Springer, New

NT$ 3,368
Design of Fpga-Based Computing Systems With Opencl

Design of Fpga-Based Computing Systems With Opencl

Hasitha Muthumala Waidyasooriya; Masanori Hariyama; Kunio Uchiyama
Springer, 2017, 1 edition, Hardcover, New

NT$ 3,915
Microsoft Azure Fundamentals Certification and Beyond - Second Edition: A complete AZ-900 exam guide with online mock exams, flashcards, and hands-on

Microsoft Azure Fundamentals Certification and Beyond - Second Edition: A complete AZ-900 exam guide with online mock exams, flashcards, and hands-on

Miles, Steve
Packt Publishing, Paperback, New

NT$ 3,095
Functional Programming in Go: Apply functional techniques in Golang to improve the testability, readability, and security of your code

Functional Programming in Go: Apply functional techniques in Golang to improve the testability, readability, and security of your code

Meeus, Dylan
Packt Publishing, Paperback, New

NT$ 1,730
grid middleware and services: challenges and solutions

grid middleware and services: challenges and solutions

talia, domenico
springer, 2010, New

NT$ 5,075
knowledge and data management in grids

knowledge and data management in grids

talia, domenico
springer, 2010, New

NT$ 3,642
Developing Solutions for Microsoft Azure AZ-204 Exam Guide - Second Edition: A comprehensive guide to passing the AZ-204 exam

Developing Solutions for Microsoft Azure AZ-204 Exam Guide - Second Edition: A comprehensive guide to passing the AZ-204 exam

Ivey, Paul ; Ivanov, Alex
Packt Publishing, Paperback, New

NT$ 1,925
Konrad Zuse's Early Computers: The Quest for the Computer in Germany

Konrad Zuse's Early Computers: The Quest for the Computer in Germany

Rojas, Raúl
Springer, Hardcover, New

NT$ 1,358
Evolutionary Computation

Evolutionary Computation

Santos, Wellington
Intechopen, Hardcover, New

NT$ 6,149
Parallel Architectures, Algorithms and Programming: 10Th International Symposium, Paap 2019, Guangzhou, China, December 12-14, 2019, Revised Selected. In Computer and Information Science)

Parallel Architectures, Algorithms and Programming: 10Th International Symposium, Paap 2019, Guangzhou, China, December 12-14, 2019, Revised Selected. In Computer and Information Science)

Springer, 1163, 1 edition, Paperback, New

NT$ 1,865
Security Basics for Computer Architects

Security Basics for Computer Architects

Lee, Ruby B.
Springer, Paperback, New

NT$ 1,279
Design for Manufacturability with Advanced Lithography

Design for Manufacturability with Advanced Lithography

Yu, Bei ; Pan, David Z.
Springer, Paperback, New

NT$ 1,865
Energy-Aware Memory Management for Embedded Multimedia Systems: A Computer-Aided Design Approach

Energy-Aware Memory Management for Embedded Multimedia Systems: A Computer-Aided Design Approach

Balasa, Florin ; Pradhan, Dhiraj K.
CRC Press, Paperback, New

NT$ 3,822
49505152535455