Electronic Books

Total Books: 1401 - 1420 /3723

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 ...

Generative Programming and Component Engineering

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

Generative adversarial text to image synthesis / Adel Al-Laham ; Ahmad Hassouneh ; Yazan Al-Khatib ; Mhd Anas Kamel

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

Generative and Transformational Techniques in Software Engineering II: International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers

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

Genetic Basis for Respiratory Control Disorders

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

Genetic Control of Neuronal Migrations in Human Cortical Development

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

Genetic Democracy : Philosophical Perspectives

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

Genetic Systems Programming

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

Geo-Spatial Technologies in Urban Environments

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

GeoSpatial Semantics

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

Geographies of Asylum in Europe and the Role of European Localities

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

Geography and Drug Addiction

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

Geological Atlas of Africa

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

Geological Atlas of Africa : With Notes on Stratigraphy, Tectonics, Economic Geology, Geohazards, Geosites and Geoscientific Education of Each Country

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

Geology and Habitability of Terrestrial Planets

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

GeomInt–Mechanical Integrity of Host Rocks

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

Geomagnetics for Aeronautical Safety

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

Geometric Numerical Integration

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

Geometric Numerical Integration

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

Geometric Qp Functions

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