|
|
|
|
|
Interactive Theorem Proving and Program Development
A practical introduction to the development of proofs and certified programs using Coq.
An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software. ... | | Basic GIS Coordinates, Second Edition
Coordinates are the foundation of GIS, cartography, and surveying, to name just a few fields. Computers have an astounding capacity for repetition and they possess a superior ability to handle the mathematics behind coordinate manipulation—but they are very bad at interpreting coordinates and coordinate systems.
Basic... | | ArcPy and ArcGIS: Geospatial Analysis with Python
Use the ArcPy module to automate the analysis and mapping of geospatial data in ArcGIS
About This Book
-
Perform GIS analysis faster by automating tasks, such as selecting data or buffering data, by accessing GIS tools using scripting
-
Access the spatial data contained within shapefiles and...
|
|
|
|
|
Result Page: 256 255 254 253 252 251 250 249 248 247 246 245 244 243 242 241 240 239 238 |