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 ...
اقرأ المزيد
