Author: National Research Council (U.S.). Committee on Undersea WarfarePublisher:
ISBN:
Category : Submarines (Ships)
Languages : en
Pages : 284
Book Description
An Annotated Bibliography of Submarine Technical Literature, 1557 to 1953
Author: National Research Council (U.S.). Committee on Undersea WarfarePublisher:
ISBN:
Category : Submarines (Ships)
Languages : en
Pages : 284
Book Description
An Annotated Bibliography on Diving and Submarine Medicine
Author: Charles Wesley ShillingPublisher: CRC Press
ISBN: 9780677039107
Category : Deep diving
Languages : en
Pages : 632
Book Description
Over 1900 references to literature published mostly from 1962 through Sept., 1969. Covers journals, reports, monographs, symposia, patents, and a few Russian newspaper items. Most of the 1129 articles were from semi-popular journals. Alphabetical arrangement by author. Permuted subject index, author index.
Lawyers' Reports Annotated
Author: Publisher:
ISBN:
Category : Law reports, digests, etc
Languages : en
Pages : 924
Book Description
Laws Relating to the Navy, Annotated
Author: United StatesPublisher:
ISBN:
Category : Naval law
Languages : en
Pages : 1716
Book Description
The Flying Submarine(Annotated)
Author: Percy Francis WestermanPublisher:
ISBN:
Category :
Languages : en
Pages : 240
Book Description
This boys' adventure novel, originally published in 1912 is about a mysterious man from a South American country. He is an inventor, who has discovered a new kind of lighter-than-air gas that he called "helia", which is much lighter than helium or hydrogen. The inventor uses helia in many inventions, including back-packs that could help a man float in the air or fly upwards, and in the remarkable titular submarine that could, when enough helia was used, fly!
An Annotated Bibliography of the Hessian Fly, Phytophaga Destructor (Say)
Author: Joseph Sanford WadePublisher:
ISBN:
Category : Agriculture
Languages : en
Pages : 108
Book Description
United States Code Annotated
Author: United StatesTools and Algorithms for the Construction and Analysis of Systems
Author: Kurt JensenPublisher: Springer
ISBN: 3540247300
Category : Computers
Languages : en
Pages : 622
Book Description
This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place in Barcelona, Spain, from March 29th to April 2nd, as part of the 7th European Joint Conferences on Theory and Practice of Software (ETAPS 2004), whose aims, organization, and history are detailed in a foreword by the ETAPS Steering Committee Chair, Jos ́ e Luiz Fiadeiro. TACAS is a forum for researchers, developers, and users interested in ri- rously based tools for the construction and analysis of systems. The conference serves to bridge the gaps between di?erent communities including, but not - mited to, those devoted to formal methods, software and hardware veri?cation, static analysis, programming languages, software engineering, real-time systems, and communication protocols that share common interests in, and techniques for, tool development. In particular, by providing a venue for the discussion of common problems, heuristics, algorithms, data structures, and methodologies, TACAS aims to support researchers in their quest to improve the utility, rel- bility, ?exibility, and e?ciency of tools for building systems. TACASseekstheoreticalpaperswithaclearlinktotoolconstruction,papers describingrelevantalgorithmsandpracticalaspectsoftheirimplementation,- pers giving descriptions of tools and associated methodologies, and case studies with a conceptual message.
American Law Reports Annotated
Author: Publisher:
ISBN:
Category : Law reports, digests, etc
Languages : en
Pages : 1686
Book Description
The Lawyers Reports Annotated, Book 1-70
Author: Publisher:
ISBN:
Category : Law reports, digests, etc
Languages : en
Pages : 992
Book Description