Electronic Books

Total Books: 1401 - 1420 /3723

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

Generative Programming and Component Engineering (GPCE) is a leading - searchconferenceonautomaticprogrammingandcomponentengineering.These ...

Synthesizing high-quality images from text descriptions is a challenging problem in computer vision and has many practical ...

This tutorial book presents an augmented selection of the material presented at the International Summer School on Generative ...

The objective of the book is to supply state-of-the-art contributions about all aspects of respiratory control genetics, ...

Introduction Cortical development is a complex, tightly regulated process that eventually leads to the six-layered adult ...

GENETIC DEMOCRACY involves an in-depth analysis of the ethical, social and philosophical issues related to modern genetic ...

This book is devoted to reporting innovative and significant progress about the contribution of genetic programming in systems ...

The purpose of this book is to investigate and develop alternate methodological approaches to understand urban environments ...

This paper reports a simple case study of extracting the two types of such hierarchies from formal texts of traffic code. ...

This book describes how the numerous arrivals of asylum seekers since 2015 shaped reception and integration processes in ...

لإhis book contains drug addiction contributes to better understanding the etiology of addiction, its diffusion, its interaction ...

Here is the new edition of the first attempt to summarize the geology of Africa by presenting it in an atlas and to synthesize ...

T is atlas is intended primarily for anybody who is in-some background for the arrangement of how the terested in basic geology ...

This book has resulted from a workshop at the International Space Science Institute (ISSI) in Bern, Switzerland (5-9 September ...

This book summarizes the results of the collaborative project “GeomInt: Geomechanical integrity of host and barrier rocks ...

Flying safely in aircraft implies the use of navigation instruments. Among them, the magnetic compass is still a first choice ...

Numerical methods that preserve properties of Hamiltonian systems, reversible systems, differential equations on manifolds ...

Numerical methods that preserve properties of Hamiltonian systems, reversible systems, differential equations on manifolds ...

This book documents the rich structure of the holomorphic Q functions which are geometric in the sense that they transform ...

Total Books: 1401 - 1420 /3723