Electronic Books

Total Books: 4081 - 4100 /4224

The scope of the book includes: foundations of computer science; software theory and practice; education; computer applications ...

This monograph presents a complete computational system for visual attention and object detection: VOCUS (Visual Object detection ...

Tthis volume are organized in topical sections on data acquisition and modelling, visualization methods / audio, sensors ...

A classical queueing model consists of three parts - arrival process, service process, and queue discipline. However, a vacation ...

Validationofmeasurementmethodshasbeenusedforavery ciated measurement uncertainty? The answer must be: no. longtimeinchemistry. ...

Tracing the shift from liberal to neoliberal education from the nineteenth century to the present day, this open access book ...

In this book, the theory of valuations as well as of Henselizations is developed. The presentation is based on the knowledge ...

The aim of this book is to provide an easily accessible, practical yet scholarly source of information about the international ...

This engaging book discusses how a values and valuing perspective can facilitate a more effective mathematics pedagogical ...

Most data compression methods that are based on variable-length codes employ the Huffman or Golomb codes. However, there ...

This book presents theoretical framework and sample applications of variant construction. The first part includes the components ...

This monograph, a revised version of the author's habilitation thesis, focusses on optimal flow analysis of sequential and ...

The book having nine chapters reviews fundamental physical and mathematical problems of the Vavilov-Cherenkov effect of media. ...

Verification Methodology Manual for SystemVerilog is a blueprint for verification success, guiding SoC teams in building ...

features of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...

This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...

This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...

This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...

The book feature current research from the communities of verification, program certification, model checking, debugging ...

Total Books: 4081 - 4100 /4224