Categories
 
 
 
 
 
 
Authors
A B C D
E F G H
I J K L
M N O P
Q R S T
U V W X
Y Z
 
 
 
 
 
 
About

Browse All
 
 
 
 
 
 

Software Design, Testing & Engineering

Categories

Coding Theory

Object-Oriented Design

Software Development

Software Reuse

UML
All Items
Introduction to Scheduling

Introduction to Scheduling


Yves Robert, Frederic Vivien



About the Author Yves Robert is a professor in the computer science laboratory at the École Normale Supérieure de...
Reanalysis of Structures: A Unified Approach for Linear, Nonlinear, Static and Dynamic Systems

Reanalysis of Structures: A Unified Approach for Linear, Nonlinear, Static and Dynamic Systems


Uri Kirsch



Review From the reviews: "The author treats the reanalysis of structures as multiple repeated analyses. … T...
Design of Low-Power Coarse-Grained Reconfigurable Architectures

Design of Low-Power Coarse-Grained Reconfigurable Architectures


Rabi N. Mahapatra, Yoonjin Kim



About the Author Yoonjin Kim is an assistant professor in the Department of Computer Science at Sookmyung Women’s Un...
High Performance Computational Science and Engineering: IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World ... in Information and Communication Technology)

High Performance Computational Science and Engineering: IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World ... in Information and Communication Technology)


Laurence T. Yang, Andrei Doncescu, Michael K. Ng, Tau Leng



From the Back Cover International Federation for Information Processing The IFIP series publishes state-of-the-art results ...
DNA Computing and Molecular Programming - DNA 16

DNA Computing and Molecular Programming - DNA 16


Yasubumi Sakakibara, Yongli Mi



From the Back Cover This book constitutes the thoroughly refereed post-conference proceedings of the 16th International ...
Languages and Compilers for Parallel Computing - LCPC 2010

Languages and Compilers for Parallel Computing - LCPC 2010




From the Back Cover This book constitutes the thoroughly refereed post-proceedings of the 23rd International Workshop on ...
Towards a Design Flow for Reversible Logic

Towards a Design Flow for Reversible Logic


Rolf Drechsler, Robert Wille



From the Back Cover The development of computing machines found great success in the last decades. But the ongoing miniat...
Regular Nanofabrics in Emerging Technologies: Design and Fabrication Methods for Nanoscale Digital Circuits

Regular Nanofabrics in Emerging Technologies: Design and Fabrication Methods for Nanoscale Digital Circuits


M. Haykel Ben Jamaa



From the Back Cover Regular Nanofabrics in Emerging Technologies gives a deep insight into both fabrication and design as...
Effective Logic Computation

Effective Logic Computation


Klaus Truemper



From the Publisher This book covers the emerging area of logic computation--the use of advanced mathematical methods to s...
Combinatorial Algorithms (21st International Workshop - IWOCA 2010 - London, UK)

Combinatorial Algorithms (21st International Workshop - IWOCA 2010 - London, UK)


Costas S. Iliopoulos, William F. Smyth



Combinatorial Algorithms (21st International Workshop - IWOCA 2010 - London, UK)...
Technische Informatik, Band 2: Entwurf digitaler Schaltungen (eXamen.Press)

Technische Informatik, Band 2: Entwurf digitaler Schaltungen (eXamen.Press)


Guenter Kemnitz



Review Aus den Rezensionen:  “In der Reihe eXamen-press des Springer-Verlags wird Theorie und Praxis aus all...
Spatial Databases: A Tour

Spatial Databases: A Tour


Sanjay Chawla, Shashi Shekhar



Review "It is more up-to-date and provides a single reference for the topic, which otherwise gets dispersed in other books ...
Vlsi and Computer Architecture (V L S I Electronics) (v. 20)

Vlsi and Computer Architecture (V L S I Electronics) (v. 20)


Eduardo B. Fernandez, Ravi Shankar



Vlsi and Computer Architecture (V L S I Electronics) (v. 20)...
Database Systems: Design, Implementation, and Management (The Wadsworth Series in Management Information Systems)

Database Systems: Design, Implementation, and Management (The Wadsworth Series in Management Information Systems)


Carlos Coronel, Peter Rob



Review "This book is appealing because of its comprehensiveness and state-of-the-art coverage of database topics. The exa...
Database Systems: Design, Implementation, and Management

Database Systems: Design, Implementation, and Management


Coronel C., Rob P.



Database Systems: Design, Implementation, and Management...
Database Systems: Design, Implementation, and Management

Database Systems: Design, Implementation, and Management


Coronel C., Rob P.



Review "This book is appealing because of its comprehensiveness and state-of-the-art coverage of database topics. The exa...
Database Programming with JDBC and Java

Database Programming with JDBC and Java


George Reese



Amazon.com Review O'Reilly & Associates has made its name publishing gritty documentation of Unix innards, especially ap...
Vlsi Algorithms and Architectures: Fundamentals

Vlsi Algorithms and Architectures: Fundamentals


N. Ranganathan



Vlsi Algorithms and Architectures: Fundamentals...
Database Management Systems

Database Management Systems


Raghu Ramakrishnan



Database Management Systems...
Advanced Research in VLSI: Proceedings of the 1991 University of California - Santa Cruz Conference (M I T Conference on Advanced Research in V L S I Advanced Research in V L S I)

Advanced Research in VLSI: Proceedings of the 1991 University of California - Santa Cruz Conference (M I T Conference on Advanced Research in V L S I Advanced Research in V L S I)


Carlo H. Séquin



Advanced Research in VLSI: Proceedings of the 1991 University of California - Santa Cruz Conference (M I T Conference on Advanced Research in V L S I Advanced Research in V L S I)...
Algorithmic Aspects of VlLSI Layout (Lecture Notes Series on Computing)

Algorithmic Aspects of VlLSI Layout (Lecture Notes Series on Computing)


Majid Sarrafzadeh



Algorithmic Aspects of VlLSI Layout (Lecture Notes Series on Computing)...
VLSI Physical Design Automation: Theory and Practice

VLSI Physical Design Automation: Theory and Practice


Habib Youssef, Sadiq M. Sait



VLSI Physical Design Automation: Theory and Practice...
VLSI Physical Design Automation: Theory and Practice

VLSI Physical Design Automation: Theory and Practice


Habib Youssef, Sadiq M. Sait



VLSI Physical Design Automation: Theory and Practice...
Low Power CMOS VLSI: Circuit Design

Low Power CMOS VLSI: Circuit Design


Kaushik Roy, Sharat Prasad



Review "This is a highly recommended book for all academic engineering libraries." (E-Streams, Vol. 4, No. 8, August 2001...
Fundamentals of Logic Design

Fundamentals of Logic Design


Charles H. Roth



Fundamentals of Logic Design...
Parallel Methods for VLSI Layout Design: (Computer Engineering and Computer Science)

Parallel Methods for VLSI Layout Design: (Computer Engineering and Computer Science)


C. P. Ravikumar



Parallel Methods for VLSI Layout Design: (Computer Engineering and Computer Science)...
VLSI Design of Neural Networks

VLSI Design of Neural Networks


Ulrich Ramacher, Ulrich Rückert



VLSI Design of Neural Networks...
Introduction to VLSI Process Engineering

Introduction to VLSI Process Engineering


C. Mcgreavy, K. Sugawara, Y. Naka



Review ...an extremely good text... - Microelectronics Journal Language Notes Text: English (translation) Origin...
Trace Theory and VLSI Design

Trace Theory and VLSI Design


Van De Snepscheut J.L.



Trace Theory and VLSI Design...
Quaternions for computer graphics

Quaternions for computer graphics


Vince J.



From the Back Cover Sir William Rowan Hamilton was a genius, and will be remembered for his significant contributions to ...
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions


Snyers, Thayse.



From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions...
Algorithms

Algorithms


Sedgewick R., Wayne K.



About the Author Robert Sedgewick has been a Professor of Computer Science at Princeton University since 1985, where he was...
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics


Platzer A.



Review "This book offers a truly unique approach to hybrid systems verification with logic and theorem proving." (Edmund ...
The Design of Dynamic Data Structures

The Design of Dynamic Data Structures


Overmars M.



The Design of Dynamic Data Structures...
Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis

Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis


Brayton R.K., Lam W.K.



Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis...
Temporal Logic of Programs

Temporal Logic of Programs


Kroeger F.



Temporal Logic of Programs...
Semantics of Digital Circuits

Semantics of Digital Circuits


Kloos C.G.



Semantics of Digital Circuits...
Integer Programming and Combinatorial Optimization, 15 conf.

Integer Programming and Combinatorial Optimization, 15 conf.




From the Back Cover This book constitutes the proceedings of the 15th International Conference on Integer Programming and...
Logic Synthesis and Verification

Logic Synthesis and Verification


Hassoun S., Sasao T.



Logic Synthesis and Verification...
Verifying Concurrent Processes Using Temporal Logic

Verifying Concurrent Processes Using Temporal Logic


Hailpern B.T.



Verifying Concurrent Processes Using Temporal Logic...
Algebraic Semantics

Algebraic Semantics


Guessarian I.



Algebraic Semantics...
A Logical Approach to Discrete Math

A Logical Approach to Discrete Math


Gries D., Schneider F.B.



Review "This is a rather extraordinary book, and deserves to be read by everyone involved in computer science and - perha...
Handbook of combinatorial designs

Handbook of combinatorial designs


Colbourn C.J., Dinitz J.



Review "this Handbook is so useful (because) it contains the best current information on a very wide range of subjects." ...
Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments: 5th International Conference, UAHCI 2009, Held as ... Applications, incl. Internet Web, and HCI)

Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments: 5th International Conference, UAHCI 2009, Held as ... Applications, incl. Internet Web, and HCI)


Constantine Stephanidis



Universal Access in Human-Computer Interaction. Intelligent and Ubiquitous Interaction Environments: 5th International Conference, UAHCI 2009, Held as ... Applications, incl. Internet Web, and HCI)...
Visual Informatics: Bridging Research and Practice: First International Visual Informatics Conference, IVIC 2009 Kuala Lumpur, Malaysia, November ... Vision, Pattern Recognition, and Graphics)

Visual Informatics: Bridging Research and Practice: First International Visual Informatics Conference, IVIC 2009 Kuala Lumpur, Malaysia, November ... Vision, Pattern Recognition, and Graphics)


Halimah Badioze Zaman, Maria Petrou, Patrick Olivier, Peter Robinson, Timothy Shih, Heiko Schröder



From the Back Cover This book constitutes the refereed proceedings of the First International Visual Informatics Conferen...
Advances in Computer Science, Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, ... Computer Science and General Issues)

Advances in Computer Science, Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, ... Computer Science and General Issues)


Anupam Datta



From the Back Cover This book constitutes the refereed proceedings of the 13th Asian Computing Science Conference, ASIAN ...
Approximation and Online Algorithms: 7th International Workshop, WAOA 2009, Copenhagen, Denmark, September 10-11, 2009 Revised Papers (Lecture Notes ... Computer Science and General Issues)

Approximation and Online Algorithms: 7th International Workshop, WAOA 2009, Copenhagen, Denmark, September 10-11, 2009 Revised Papers (Lecture Notes ... Computer Science and General Issues)


Evripidis Bampis, Klaus Jansen



Approximation and Online Algorithms: 7th International Workshop, WAOA 2009, Copenhagen, Denmark, September 10-11, 2009 Revised Papers (Lecture Notes ... Computer Science and General Issues)...
Languages and Compilers for Parallel Computing: 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers ... Computer Science and General Issues)

Languages and Compilers for Parallel Computing: 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers ... Computer Science and General Issues)


Guang R. Gao, John Cavazos, Lori Pollock, Xiaoming Li



Languages and Compilers for Parallel Computing: 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers ... Computer Science and General Issues)...