你好! 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

software language engineering

software language engineering

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

NT$ 1,941
Research Infrastructures for Hardware Accelerators

Research Infrastructures for Hardware Accelerators

Shao, Yakun Sophia ; Brooks, David
Springer, 1 edition, Paperback, New

NT$ 1,160
Security Basics for Computer Architects

Security Basics for Computer Architects

Lee, Ruby B.
Springer, Paperback, New

NT$ 1,279
Optimization and Mathematical Modeling in Computer Architecture

Optimization and Mathematical Modeling in Computer Architecture

Sankaralingam, Karthikeyan ; Ferris, Michael ; Nowatzki, Tony
Springer, Paperback, New

NT$ 1,279
Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis: A Transfer Function Approach

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis: A Transfer Function Approach

Izadian, Afshin
Springer, Paperback, New

NT$ 2,275
Logic Functions and Equations: Fundamentals and Applications Using the Xboole-Monitor

Logic Functions and Equations: Fundamentals and Applications Using the Xboole-Monitor

Steinbach, Bernd ; Posthoff, Christian
Springer, Hardcover, New

NT$ 3,368
foundations of synergetics i: distributed active systems

foundations of synergetics i: distributed active systems

Mikhailov, Alexander S.
Springer, 2011, Paperback, New

NT$ 1,865
computer architectures for spatially distributed data

computer architectures for spatially distributed data

Freeman, Herbert ; Pieroni, G. G.
Springer, 2011, Paperback, New

NT$ 3,447
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
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
Pipelined Multiprocessor System-On-Chip for Multimedia

Pipelined Multiprocessor System-On-Chip for Multimedia

Javaid, Haris ; Parameswaran, Sri
Springer, Hardcover, New

NT$ 3,368
collegium logicum 2

collegium logicum 2

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

NT$ 1,865
Trace-Based Post-Silicon Validation for VLSI Circuits

Trace-Based Post-Silicon Validation for VLSI Circuits

Liu, Xiao ; Xu, Qiang
Springer, Paperback, New

NT$ 3,368
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

Seiter, Julia ; Wille, Robert ; Drechsler, Rolf
Springer, Paperback, New

NT$ 1,865
Analysis and Design of Networks-On-Chip Under High Process Variation

Analysis and Design of Networks-On-Chip Under High Process Variation

Ezz-Eldin, Rabab ; El-Moursy, Magdy Ali ; Hamed, Hesham F. a.
Springer, Hardcover, New

NT$ 3,368
Design for Manufacturability with Advanced Lithography

Design for Manufacturability with Advanced Lithography

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

NT$ 1,865
Exact Design of Digital Microfluidic Biochips

Exact Design of Digital Microfluidic Biochips

Keszocze,Wille,Drechsler
Springer, 2018, Hardcover, 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
Formal Verification of Simulink

Formal Verification of Simulink

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

NT$ 3,915
Hybrid Adcs, Smart Sensors for the Iot, and Sub-1v & Advanced Node Analog Circuit Design: Advances in Analog Circuit Design 2017

Hybrid Adcs, Smart Sensors for the Iot, and Sub-1v & Advanced Node Analog Circuit Design: Advances in Analog Circuit Design 2017

Harpe, Pieter ; Makinwa, Kofi A. a. ; Baschirotto, Andrea
Springer, Hardcover, New

NT$ 5,282
Digital Logic for Computing

Digital Logic for Computing

Seiffertt, John
Springer, 1 edition, Paperback, New

NT$ 1,865
languages and compilers for parallel computing

languages and compilers for parallel computing

Springer, New

NT$ 1,865
esop 86

esop 86

Springer, New

NT$ 1,865
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
model checking software: 11th international spin workshop, barcelona, spain, april 1-3, 2004 proceedings

model checking software: 11th international spin workshop, barcelona, spain, april 1-3, 2004 proceedings

graf, susanne
springer, 2004, New

NT$ 1,884
Combinatorial Algorithms for Integrated Circuit Layout

Combinatorial Algorithms for Integrated Circuit Layout

Lengauer, Thomas
Vieweg+teubner Verlag, Paperback, New

NT$ 1,865
programming languages and systems

programming languages and systems

Springer, New

NT$ 1,865
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
an introduction to the pl/cv2 programming logic

an introduction to the pl/cv2 programming logic

eichenlaub,johnson,constable
Springer, New

NT$ 1,865
semantics of digital circuits

semantics of digital circuits

delgado kloos
Springer, New

NT$ 962
data types and persistence

data types and persistence

Springer, New

NT$ 3,368
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
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
computer aided verification

computer aided verification

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
reliability and safety assessment of dynamic process systems

reliability and safety assessment of dynamic process systems

Springer, New

NT$ 6,375
formal approaches to agent-based systems

formal approaches to agent-based systems

Springer, New

NT$ 1,865
quality of software architectures and software quality: first international conference on the quality of software architectures, qosa 2005 and second

quality of software architectures and software quality: first international conference on the quality of software architectures, qosa 2005 and second

reussner, ralf
springer, 2005, New

NT$ 1,869
hybrid systems: computation and control

hybrid systems: computation and control

Springer, New

NT$ 3,368
correct hardware design and verification methods

correct hardware design and verification methods

Springer, New

NT$ 1,865
formal techniques in real-time and fault-tolerant systems

formal techniques in real-time and fault-tolerant systems

Springer, New

NT$ 3,368
automated deduction in classical and non-classical logics

automated deduction in classical and non-classical logics

Caferra, Ricardo ; Salzer, Gernot
Springer, Paperback, New

NT$ 1,865
foundation of software science and computation structures

foundation of software science and computation structures

Springer, New

NT$ 1,865
deontic logic, agency and normative systems: ?eon 96: third international workshop on deontic logic in computer science, sesimbra, portugal, 11 13 jan

deontic logic, agency and normative systems: ?eon 96: third international workshop on deontic logic in computer science, sesimbra, portugal, 11 13 jan

brown, mark a.
springer, 1995, New

NT$ 3,368
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
algebraic informatics: second international conference, cai 2007, thessaloniki, greece, may 21-25, 2007, revised selected and invited papers

algebraic informatics: second international conference, cai 2007, thessaloniki, greece, may 21-25, 2007, revised selected and invited papers

rahonis, george
springer, 2008, New

NT$ 1,865
agile processes in software engineering and extreme programming: 8th international conference, xp 2007, como, italy, june 18-22, 2007, proceedings

agile processes in software engineering and extreme programming: 8th international conference, xp 2007, como, italy, june 18-22, 2007, proceedings

concas, giulio
springer, 2007, New

NT$ 1,865
practical aspects of declarative languages: 9th international symposium, padl 2007, nice, france, january 14-15, 2007, proceedings

practical aspects of declarative languages: 9th international symposium, padl 2007, nice, france, january 14-15, 2007, proceedings

hanus, michael
springer, 2007, New

NT$ 1,882
Advances in Intelligent Systems: Reviews, Vol. 2

Advances in Intelligent Systems: Reviews, Vol. 2

Yurish, Sergey
Ifsa Publishing, S.L., Hardcover, New

NT$ 3,711
Applications of Machine Learning in Big-Data Analytics and Cloud Computing (River Publishers Series in Information Science and Technology)

Applications of Machine Learning in Big-Data Analytics and Cloud Computing (River Publishers Series in Information Science and Technology)

River Publishers, 2021, Hardcover, New

NT$ 4,544
50515253545556