Electronic Books

Total Books: 121 - 140 /267
Engineering Multi-Agent Systems : 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Engineering ...

Weiterlesen
Euro-Par 2007 Workshops: Parallel Processing : HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers

Parallel and distributed processing , although within the focus of computer science research for along time ,is gainingmore ...

Weiterlesen
NoIMG
Euro-Par 2019: Parallel Processing Workshops

Euro-Par is an annual, international conference in Europe, covering all aspects of parallel and distributed processing. These ...

Weiterlesen
Event-Based Programming

This book teaches you how to develop software based on parts that interact primarily through an event mechanism. You'll ...

Weiterlesen
Evolvable Hardware

The contributions in this book provide the basics of reconfigurable devices so that readers will be fully prepared to understand ...

Weiterlesen
Evolvable Systems: From Biology to Hardware

The 41 revised full papers collected in this volume are organized in topical sections on digital hardware evolution, analog ...

Weiterlesen
Evolvable Systems: From Biology to Hardware

The 41 revised full papers collected in this volume are organized in topical sections on digital hardware evolution, analog ...

Weiterlesen
Evolvable Systems: From Biology to Hardware

The flying machines proposed by Leonardo da Vinci in the fifteenth century, the se- reproducing automata theory proposed ...

Weiterlesen
NoIMG
Exploring C for Microcontrollers

The market is flooded with numbers of good books on Embedded Systems designed especially with the most popular MCS51 family. ...

Weiterlesen
Extreme NXT : Extending the LEGO MINDSTORMS NXT to the Next Level

Extreme NXT: Extending the LEGO MIDSTORMS NXT to the Next Level is for intermediate-level users of NXT who would like to ...

Weiterlesen
Fine- and Coarse-Grain Reconfigurable Computing

The FPGA technology is defined, which includes architecture, logic block structure, interconnect, and configuration methods ...

Weiterlesen
Formal Methods for Components and Objects (vol. # 4111)

This book presents 19 revised invited keynote lectures and revised tutorial lectures given by top-researchers at the 4th ...

Weiterlesen
Formal Models of Operating System Kernels

The purpose of this book is to show that the formal specification of kernels is not only possible but also necessary if operating ...

Weiterlesen
Foundations of Security Analysis and Design III

The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested ...

Weiterlesen
Foundations of Security Analysis and Design IV

This book presents thoroughly revised versions of eight tutorial lectures given by leading researchers during two International ...

Weiterlesen
Functional Verification Coverage Measurement and Analysis

Functional Verification Coverage Measurement and Analysis addresses a means of quantitatively assessing functional verification ...

Weiterlesen
Fuzzy Systems and Knowledge Discovery (vol. # 3613)

This book and its sister volume, LNAI 3613 and 3614, constitute the proce- ings of the Second International Conference on ...

Weiterlesen
Fuzzy Systems and Knowledge Discovery (vol. # 3614)

This book and its sister volume, LNAI 3613 and 3614, constitute the proce- ings of the Second International Conference on ...

Weiterlesen
NoIMG
GPU-Based Interactive Visualization Techniques

This book focuses on efficient visualization techniques, which are the prerequisite for the interactive exploration of complex ...

Weiterlesen
Generating Hardware Assertion Checkers : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

This is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides ...

Weiterlesen
Total Books: 121 - 140 /267