Related Books

Computer Aided Verification
Language: en
Pages: 527

Computer Aided Verification

Authors: Swarat Chaudhuri
Categories: Computers
Type: BOOK - Published: 2016-07-12 - Publisher: Springer

DOWNLOAD EBOOK

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, h
Circular
Language: en
Pages: 158

Circular

Authors:
Categories: Education
Type: BOOK - Published: 1963 - Publisher:

DOWNLOAD EBOOK

Well-construction, Water-quality, and Water-level Data, and Pond-infiltration Estimates, for Three Ground-water Subbasins, Riverside County, California
Language: en
Pages: 124

Well-construction, Water-quality, and Water-level Data, and Pond-infiltration Estimates, for Three Ground-water Subbasins, Riverside County, California

Authors: Carmen A. Burton
Categories: Seepage
Type: BOOK - Published: 1996 - Publisher:

DOWNLOAD EBOOK

Assisting Russia's Transition
Language: en
Pages: 168

Assisting Russia's Transition

Authors: Gianni Zanini
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2002-01-01 - Publisher: World Bank Publications

DOWNLOAD EBOOK

This evaluation assesses the development effectiveness of the World Bank's lending and non-lending assistance to the Russian Federation since 1991, a 10-year pe
Water-resources Investigations Report
Language: en
Pages: 174

Water-resources Investigations Report

Authors:
Categories: Hydrology
Type: BOOK - Published: 1997 - Publisher:

DOWNLOAD EBOOK