Filter by
Reversible Computation: Extending Horizons of Computing: Selected Results of …
This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards…
- Edition
- 1
- ISBN/ISSN
- 9783030473617
- Collation
- XIV, 237
- Series Title
- -
- Call Number
- -
Counterfeit Integrated Circuits: Detection and Avoidance
This timely and exhaustive study offers a much-needed examination of the scope and consequences of the electronic counterfeit trade. The authors describe a variety of shortcomings and vulnerabilities in the electronic component supply chain, which can result in counterfeit integrated circuits (ICs). Not only does this book provide an assessment of the current counterfeiting problems facing both…
- Edition
- 1
- ISBN/ISSN
- 9783319118246
- Collation
- XX, 269
- Series Title
- -
- Call Number
- 621.395
Digital Logic Design Using Verilog Coding and RTL Synthesis
This second edition focuses on the thought process of digital design and implementation in the context of VLSI and system design. It covers the Verilog 2001 and Verilog 2005 RTL design styles, constructs and the optimization at the RTL and synthesis level. The book also covers the logic synthesis, low power, multiple clock domain design concepts and design performance improvement techniques. Th…
- Edition
- -
- ISBN/ISSN
- 9789811631993
- Collation
- -
- Series Title
- -
- Call Number
- 621.395
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsis…
This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17912-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Grid Computing in High Energy Physics Experiments
Grid Computing in High Energy Physics Experiments
- Edition
- -
- ISBN/ISSN
- 9789535106043
- Collation
- -
- Series Title
- -
- Call Number
- -
Evolutionary Computation Applications in Current Bioinformatics
Evolutionary Computation Applications in Current Bioinformatics
- Edition
- -
- ISBN/ISSN
- 9789533070537
- Collation
- -
- Series Title
- -
- Call Number
- -
Evolutionary Computation in Constraint Satisfaction
Evolutionary Computation in Constraint Satisfaction
- Edition
- -
- ISBN/ISSN
- 9789533070537
- Collation
- -
- Series Title
- -
- Call Number
- -
Evolutionary Computation in Coded Communications
Evolutionary Computation in Coded Communications: an Implementation of Viterbi Algorithm
- Edition
- -
- ISBN/ISSN
- 9789533070087
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography