Search
Feedback
About
Help
News
| Listing 1 - 8 of 8 |
Sort by
|
Book
Year: 1933
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1944 Publisher: London : Collins,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 3540114920 0387114920 9780387114927 9783540114925 3540391797 Year: 1982 Publisher: Berlin ; Heidelberg ; New York, NY : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- Computer science --- 681.3*D24 --- 681.3*D32 --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- PL/CV (Computer program language) --- Computer programs --- Verification. --- PL/CV (Computer program language). --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Logic design. --- Computer science. --- Logics and Meanings of Programs. --- Programming Techniques. --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory
Book
Year: 2002 Publisher: [Silver Spring, Md.] : National Marine Fisheries Service, National Oceanic and Atmospheric Administration,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 9290903570 Year: 1998 Publisher: Colombo : International Water Management Institute,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Ressource en eau --- Water resources --- Eau souterraine --- groundwater --- Utilisation de l'eau --- Water use --- Irrigation --- Affectation de ressources --- Resource allocation --- Modèle --- Models --- Mexico --- Iwmi
Book
Year: 1973 Publisher: Austin, Texas : U.S. Geological Survey,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Floods --- Urbanization --- Floods. --- Hydrology. --- Urbanization. --- Texas
Book
Year: 2005 Publisher: [Reston, Va.] : U.S. Dept. of the Interior, U.S. Geological Survey,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Wolves --- Wildlife management --- Public opinion.
Book
ISBN: 925103706X Year: 1995 Publisher: Rome : FAO,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Irrigation --- Périmètre irrigué --- Irrigation schemes --- Prise de décision --- Decision making --- Participation sociale --- Social participation --- Transfert de propriété --- property transfers --- Organisation socioéconomique --- socioeconomic organization --- Latin America --- China --- Asie du Sud-Est --- South East Asia --- Afrique --- Africa --- Moyen Orient --- Middle East
| Listing 1 - 8 of 8 |
Sort by
|