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