Electronic Books

Total Books: 1 - 20 /476
978-3-540-69850-0
25 Years of Model Checking : History, Achievements, Perspectives

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...

Continue reading
978-1-4020-6182-0
3D Imaging for Safety and Security

This book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...

Continue reading
978-1-4020-6182-0
3D Imaging for Safety and Security

This book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention ...

Continue reading
978-3-540-71999-1
A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

Continue reading
978-3-540-71999-1
A High-Performance Logical Framework -- All About Maude

This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...

Continue reading
978-3-030-47487-4
A Journey of Embedded and Cyber-Physical Systems Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday

This book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical ...

Continue reading
978-0-387-26173-7
A Practical Guide for SystemVerilog Assertions

SystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide ...

Continue reading
978-0-387-36123-9
A Practical Introduction to PSL

Practical Introduction to PSL is primarily targeted to hardware designers and verification engineers who plan to use PSL. ...

Continue reading
978-1-4020-4758-9
A Roadmap for Formal Property Verification

This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...

Continue reading
978-1-84800-111-4
ARIS Design Platform

ARIS is ranked as the leading Business Process Modelling tool in the Gartner Quadrant for Business Process Analysis and Optimization. ...

Continue reading
978-3-540-87603-8
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...

Continue reading
978-0-387-34600-7
Abstraction Refinement for Large Scale Model Checking

This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...

Continue reading
978-1-4020-4639-1
Advanced Design Techniques for RF Power Amplifiers

Advanced Design Techniques for RF Power Amplifiers' main aim is to provide the reader with a deep analysis of theoretical ...

Continue reading
978-3-540-31840-8
Advanced Encryption Standard - AES

This volume comprises the proceedings of the 4th Conference on Advanced En-cryption Standard, ‘AES — State of the Crypto ...

Continue reading
978-0-387-34831-5
Advanced Software Engineering: Expanding the Frontiers of Software Technology

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication.  The ...

Continue reading
978-3-540-28638-7
Advanced Studies in Biometrics

This book originates from an international summer school on biometrics, held in Alghero, Italy, in June 2003. The seven revised ...

Continue reading
978-1-84628-982-8
Advances in Applied Self-organizing Systems

This book presents the state-of-the-practice in successfully engineered self-organizing systems, and examines ways to balance ...

Continue reading
978-3-540-31861-3
Advances in Bioinformatics and Computational Biology

This book constitutes the refereed proceedings of the Brazilian Symposium on Bioinformatics, BSB 2005, The 15 revised full ...

Continue reading
978-3-540-30548-4
Advances in Biometric Person Authentication

the 5th Chinese Conference on Biometrics Recognition (Sinobiometrics 2004) The conference this year was aimed at promoting ...

Continue reading
978-1-84628-921-7
Advances in Biometrics : Sensors, Algorithms and Systems

This book presents a comprehensive treatment of biometrics and offers coverage of the entire gamut of topics in the field, ...

Continue reading
Total Books: 1 - 20 /476