Introduction to the Formal Design of Real-Time Systems (Applied Computing)

By Gray, David F.

Introduction to the Formal Design of Real-Time Systems (Applied Computing)

By Gray, David F.

£46.23

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008, Revised Selected Papers (Theoretical Computer Science and General Issues) ( ..)

By Lars Svensson, Jose Monteiro

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008, Revised Selected Papers (Theoretical Computer Science and General Issues) ( ..)

By Lars Svensson, Jose Monteiro

£46.26

Advances in the Design of Symbolic Computation Systems (Texts and Monographs in Symbolic Computation)

By Alfonso Miola, Marco Temperini

Advances in the Design of Symbolic Computation Systems (Texts and Monographs in Symbolic Computation)

By Alfonso Miola, Marco Temperini

£91.16

Correct System Design (Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings: 2015 (Lecture Notes in Computer Science))

By Roland Meyer, Andre Platzer, Heike Wehrheim

Correct System Design (Symposium in Honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings: 2015 (Lecture Notes in Computer Science))

By Roland Meyer, Andre Platzer, Heike Wehrheim

£42.83

Integrated Circuit and System Design (Power and Timing Modeling, Optimization and Simulation: 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers (Theoretical Computer Science and General Issu ..)

By Jose Monteiro, Rene van Leuken

Integrated Circuit and System Design (Power and Timing Modeling, Optimization and Simulation: 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers (Theoretical Computer Science and General Issu ..)

By Jose Monteiro, Rene van Leuken

£51.87

Human Benefit through the Diffusion of Information Systems Design Science Research (IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 - April 1, 2010, Proceedings (IFIP Advances in Information and Communication Technology))

By Jan Pries-Heje, John J. Venable, Deborah Bunker, Nancy L. Russo

Human Benefit through the Diffusion of Information Systems Design Science Research (IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 - April 1, 2010, Proceedings (IFIP Advances in Information and Communication Technology))

By Jan Pries-Heje, John J. Venable, Deborah Bunker, Nancy L. Russo

£96.52

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretic ..)

By José L. Ayala, Delong Shang, Alex Yakovlev

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (Theoretic ..)

By José L. Ayala, Delong Shang, Alex Yakovlev

£41.16

Analysis and Design of Hybrid Systems 2006 (A Proceedings Volume from the 2nd IFAC Conference, Alghero, Italy, 7-9 June 2006: 2006 (IPV-IFAC Proceedings Volume))

By Alessandro Giua, Christos Cassandras, Carla Seatzu, Janan Zaytoon

Analysis and Design of Hybrid Systems 2006 (A Proceedings Volume from the 2nd IFAC Conference, Alghero, Italy, 7-9 June 2006: 2006 (IPV-IFAC Proceedings Volume))

By Alessandro Giua, Christos Cassandras, Carla Seatzu, Janan Zaytoon

£134 Elsewhere ~~£160.00~~ Save £26.00 (16%)

Algorithm Design for Networked Information Technology Systems

By C. V. Ramamoorthy, Sumit Ghosh, C. V. Ramamoorthy

Algorithm Design for Networked Information Technology Systems

By C. V. Ramamoorthy, Sumit Ghosh, C. V. Ramamoorthy

£91.07

Principles of VLSI System Planning (A Framework for Conceptual Design: Framework for Conceptual Design (The Springer International Series in Engineering and Computer Science))

By Dewey, Allen M., Director, Stephen W.

Principles of VLSI System Planning (A Framework for Conceptual Design: Framework for Conceptual Design (The Springer International Series in Engineering and Computer Science))

By Dewey, Allen M., Director, Stephen W.

£131

Recent Advances in Design and Decision Support Systems In Architecture and Urban Planning (Studies in German Idealism)

By Jos P. van Leeuwen, Harry J.P. Timmermans

Recent Advances in Design and Decision Support Systems In Architecture and Urban Planning (Studies in German Idealism)

By Jos P. van Leeuwen, Harry J.P. Timmermans

£119 Elsewhere ~~£129.99~~ Save £10.99 (8%)

Design and Performance of Biometric System

By John T. Elsworth

Design and Performance of Biometric System

By John T. Elsworth

£85.95 Elsewhere ~~£123.99~~ Save £38.04 (31%)

Design and Implementation of Computer-Based Information Systems (Information Systems)

By N. Szyperski, E. Grochia

Design and Implementation of Computer-Based Information Systems (Information Systems)

By N. Szyperski, E. Grochia

£46.26

High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip (Computer Architecture and Design Methodologies)

By Chattopadhyay, Anupam, Wang, Zheng

High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip (Computer Architecture and Design Methodologies)

By Chattopadhyay, Anupam, Wang, Zheng

£92.71

High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip (Computer Architecture and Design Methodologies)

By Chattopadhyay, Anupam, Wang, Zheng

High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip (Computer Architecture and Design Methodologies)

By Chattopadhyay, Anupam, Wang, Zheng

£84.08 Elsewhere ~~£89.99~~ Save £5.91 (7%)

Edge Cloud Operations (A Systems Approach)

By Peterson, Larry L, Baker, Scott, Bruce Davie

Edge Cloud Operations (A Systems Approach)

By Peterson, Larry L, Baker, Scott, Bruce Davie

£21.60

Open Distributed Systems [German] (On Concepts, Methods and Design from a Logical Point of View (Vieweg advances studies in computer science))

By Gotzhein, Reinhard (Computer Science Department, University of H

Open Distributed Systems [German] (On Concepts, Methods and Design from a Logical Point of View (Vieweg advances studies in computer science))

By Gotzhein, Reinhard (Computer Science Department, University of H

£47.24

The Embedded Processor Design Challenges (Systems, Architectures, Modeling, and Simulation - Samos: v. 2268 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Ed F. Deprettere, Stamatis Vassiliadis, Stamatis Vassiliadis

The Embedded Processor Design Challenges (Systems, Architectures, Modeling, and Simulation - Samos: v. 2268 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Ed F. Deprettere, Stamatis Vassiliadis, Stamatis Vassiliadis

£46.21

The Disappearing Computer (Interaction Design, System Infrastructures and Applications for Smart Environments (Information Systems and Applications, incl. Internet/Web, and HCI))

By N. A. Streitz, Achilles Kameas, Irene Mavrommati

The Disappearing Computer (Interaction Design, System Infrastructures and Applications for Smart Environments (Information Systems and Applications, incl. Internet/Web, and HCI))

By N. A. Streitz, Achilles Kameas, Irene Mavrommati

£46.22

SDL 2007 - Design for Dependable Systems (13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications))

By Emmanuel Gaudin, Elie Najm, Rick Reed

SDL 2007 - Design for Dependable Systems (13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications))

By Emmanuel Gaudin, Elie Najm, Rick Reed

£46.20

The Challenge of Anticipation (A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Giovanni Pezzulo, Martin V. Butz, Cristiano Castelfranchi, Rino Falcone

The Challenge of Anticipation (A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))

By Giovanni Pezzulo, Martin V. Butz, Cristiano Castelfranchi, Rino Falcone

£46.20

Design for Debugging and Validation of Embedded Systems

By Roychoudhury, Abhik

Design for Debugging and Validation of Embedded Systems

By Roychoudhury, Abhik

£54.31 Elsewhere ~~£63.99~~ Save £9.68 (15%)

Systems Engineering with SysML/UML (Modeling, Analysis, Design (The MK/OMG Press))

By Weilkiens, Tim (member of the executive board, consultant and tr

Systems Engineering with SysML/UML (Modeling, Analysis, Design (The MK/OMG Press))

By Weilkiens, Tim (member of the executive board, consultant and tr

£38.27 Elsewhere ~~£44.99~~ Save £6.72 (15%)

1

Electronic Design Automation (Synthesis, Verification, and Test (Systems on Silicon))

By Laung-Terng Wang, Yao-Wen Chang, Kwang-Ting Cheng

Electronic Design Automation (Synthesis, Verification, and Test (Systems on Silicon))

By Laung-Terng Wang, Yao-Wen Chang, Kwang-Ting Cheng

£68.34 Elsewhere ~~£79.99~~ Save £11.65 (15%)

View:
Safe Search(?):