Electronic Books

Total Books: 1 - 20 /421
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 ...

Weiterlesen
A Platform-Centric Approach to System-on-Chip (SOC) Design

The book proposes a new methodology for realizing platform-centric design of complex systems, and presents a detailed plan ...

Weiterlesen
A Practical Introduction to PSL

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

Weiterlesen
Accelerator Programming Using Directives

This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...

Weiterlesen
Adaptive Multi-Standard RF Front-Ends

Adaptive Multi-Standard RF Front-Ends investigates solutions, benefits, limitations and costs related to multi-standard operation ...

Weiterlesen
Advanced Concepts for Intelligent Vision Systems

This volume collects the papers accepted for presentation at the Ninth International Conference on “Advanced Concepts for ...

Weiterlesen
Advanced Concepts for Intelligent Vision Systems (vol. # 4179)

This book constitutes the refereed proceedings of the 8th International Conference on Advanced Concepts for Intelligent Vision ...

Weiterlesen
Advanced Encryption Standard - AES

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

Weiterlesen
Advanced Parallel Processing Technologies

APPT was upgraded to the International Symposium on Advanced Parallel Processing Technologies. However, it kept its traditional ...

Weiterlesen
Advanced Parallel Processing Technologies

APPT was upgraded to the International Symposium on Advanced Parallel Processing Technologies. However, it kept its traditional ...

Weiterlesen
Advanced Parallel Processing Technologies

APPT was upgraded to the International Symposium on Advanced Parallel Processing Technologies. However, it kept its traditional ...

Weiterlesen
Advances in Building Information Modeling : First Eurasian BIM Forum, EBF 2019, Istanbul, Turkey, May 31, 2019, Revised Selected Papers

This book constitutes the refereed proceedings of the First Eurasian BIM Forum, EBF 2019, held in Istanbul, Turkey, in May ...

Weiterlesen
Advances in Computer Systems Architecture

This book Covering hardware and software techniques for state-of-the-art multicore and multithreaded architectures.

Weiterlesen
Advances in Computer Systems Architecture

This book Covering hardware and software techniques for state-of-the-art multicore and multithreaded architectures.

Weiterlesen
Advances in Databases and Information Systems : 25th European Conference, ADBIS 2021, Tartu, Estonia, August 24–26, 2021, Proceedings

This book constitutes the proceedings of the 25th European Conference on Advances in Databases and Information Systems, ADBIS ...

Weiterlesen
Advances in Electronic Testing

The book is a comprehensive elaboration on important topics which capture major research and development efforts today. The ...

Weiterlesen
Advances in Evolutionary Computing for System Design

Evolutionary computing paradigms offer robust and powerful adaptive search mechanisms for system design. This book includes ...

Weiterlesen
Advances in Image and Video Technology

The aim of the symposium was to promote and disseminate ongoing research on multi- dia hardware and image sensor technologies, ...

Weiterlesen
Advances in Image and Video Technology

The aim of the symposium was to promote and disseminate ongoing research on multi- dia hardware and image sensor technologies, ...

Weiterlesen
Advances in Informatics

This volume contains a subset of the papers presented at the 10th Panhellenic Conference in Informatics (PCI 2005), which ...

Weiterlesen
Total Books: 1 - 20 /421