Electronic Books

Total Books: 2641 - 2660 /2706

This book comes as a result of the research work developed in the framework of two international projects: the European Science ...

This will be an invaluable reference for the development of new theories and computer-based modeling techniques for solving ...

A new wave of enthusiasm for smart cities, urban data, and the Internet of Things has created the impression that computation ...

This textbook seeks to determine the current state-of-the-art of reconstructive urethral surgery and to identify new trends ...

Urethral reconstructive surgery can often be complex, time consuming and demanding. Enlightening urologists in a practical ...

Laparoscopy has allowed surgeons to perform major surgical procedures through small incisions. The introduction of laparoscopy ...

This book constitutes the refereed proceedings of the 11th International Conference on User Modeling, UM 2007, held in Corfu, ...

Using Discrete Choice Experiments to Value Health and Health Care takes a fresh and contemporay look at the growing interest ...

Each of the 18 lessons introduces new programming objects, concepts or techniques that can be presented in a whole-group ...

Valuation is the single best guide of its kind, helping financial professionals worldwide excel at measuring, managing, and ...

The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...

This book presents very recent results involving an extensive use of analytical tools in the study of geometrical and topological ...

The book presents variational methods combined with boundary integral equation techniques in application to a model of dynamic ...

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

The production and consumption of vegetables has expanded dramatically in the last years, with a global growth in the production ...

The production and consumption of vegetables has expanded dramatically in the last years, with a global growth in the production ...

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

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

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

The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...

Total Books: 2641 - 2660 /2706