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 ...
Continue reading
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 ...
Continue reading
Genetic Programming (vol. # 3905)
This book constitutes the refereed proceedings of the 9th European Conference on Genetic Programming, EuroGP 2006, held in ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
GeoSpatial Semantics
This paper reports a simple case study of extracting the two types of such hierarchies from formal texts of traffic code. ...
Continue reading
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 ...
Continue reading
Geographic Information Science
The GIScience conference series (www. giscience. org) was created as a forum for all researchers who are interested in advancing ...
Continue reading
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 ...
Continue reading
Geographies of Schooling
This book explores the complex relationship between schooling as a set of practices embedded in educational institutions ...
Continue reading
Geology and Ecosystems
This book includes an analysis of the relationship between the different geological, hydrochemical, hydrogeological and engineering-geological ...
Continue reading
Geometric Numerical Integration
Numerical methods that preserve properties of Hamiltonian systems, reversible systems, differential equations on manifolds ...
Continue reading
Geometric Numerical Integration
Numerical methods that preserve properties of Hamiltonian systems, reversible systems, differential equations on manifolds ...
Continue reading
Geometrical Dynamics of Complex Systems
This volume presents a comprehensive introduction into rigorous geometrical dynamics of complex systems of various natures. ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
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 ...
Continue reading
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, ...
Continue reading
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 ...
Continue reading
