Electronic Books

Total Books: 1121 - 1140 /2678

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 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 Programming (vol. # 3905)

This book constitutes the refereed proceedings of the 9th European Conference on Genetic Programming, EuroGP 2006, held in ...

Genetic Programming ; 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008. Proceedings

The 11th European Conference on Genetic Programming, EuroGP 2008, took place in Naples, Italy from 26 to 28 March in the ...

Geo-Spatial Technologies in Urban Environments

This book expands the current frame of reference of remote sensing and geographic information specialists to include an array ...

GeoSensor Networks : Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers

This book constitutes the thoroughly refereed proceedings of the Second GeoSensor Networks Conference, held in Boston, Massachusetts, ...

GeoSpatial Semantics

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

Geodetic and Geophysical Observations in Antarctica : An Overview in the IPY Perspective

This book is a collection of papers on various aspects of the scientific investigation and observation techniques of the ...

Geographic Information Science

The GIScience conference series (www. giscience. org) was created as a forum for all researchers who are interested in advancing ...

Geographic Information Science ; 5th International Conference, GIScience 2008, Park City, UT, USA, September 23-26, 2008. Proceedings

This book constitutes the refereed proceedings of the 5th International Conference on Geographic Information Secience, GIScience ...

Geographies of Schooling

This book explores the complex relationship between schooling as a set of practices embedded in educational institutions ...

Geology and Ecosystems

This book includes an analysis of the relationship between the different geological, hydrochemical, hydrogeological and engineering-geological ...

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

Geometrical Dynamics of Complex Systems

This volume presents a comprehensive introduction into rigorous geometrical dynamics of complex systems of various natures. ...

Geometrical Geodesy : Using Information and Computer Technology

This book reviews developments in geodesy and hydrography, using a wide variety of electronic and acoustic instruments. The ...

Geometry and Topology in Hamiltonian Dynamics and Statistical Mechanics

This book explores the foundations of hamiltonian dynamical systems and statistical mechanics, in particular phase transition, ...

Geospatial Services and Applications for the Internet

This book covers a wide spectrum of techniques, algorithms and modeling methodologies that address the challenges in service-oriented ...

Geospatial Technologies and Homeland Security : Research Frontiers and Future Challenges

This book presents an overview of the latest development of geospatial technologies (including, but not limited to, GIS, ...

Geospatial Vision : New Dimensions in Cartography

This book reflects the diverse nature of interests of contributors in the field. The GeoCart conferences are held every two ...

Total Books: 1121 - 1140 /2678