Author: United States. Adjutant-General's Office
Publisher:
ISBN:
Category :
Languages : en
Pages : 432
Book Description
Tactics. pt. 2. Technique. pt. 3. Reference
Author: United States. Adjutant-General's Office
Publisher:
ISBN:
Category :
Languages : en
Pages : 432
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 432
Book Description
Catalogue of the Public Documents of the ... Congress and of All Departments of the Government of the United States for the Period from ... to ...
Author: United States. Superintendent of Documents
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 2608
Book Description
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 2608
Book Description
Catalogue of the Public Documents of the [the Fifty-third] Congress [to the 76th Congress] and of All Departments of the Government of the United States
Author: United States. Superintendent of Documents
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 2606
Book Description
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 2606
Book Description
Journal of the United States Artillery
Author:
Publisher:
ISBN:
Category : Artillery
Languages : en
Pages : 506
Book Description
Publisher:
ISBN:
Category : Artillery
Languages : en
Pages : 506
Book Description
Monthly Catalogue, United States Public Documents
Author: United States. Superintendent of Documents
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 1290
Book Description
February issue includes Appendix entitled Directory of United States Government periodicals and subscription publications; September issue includes List of depository libraries; June and December issues include semiannual index
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 1290
Book Description
February issue includes Appendix entitled Directory of United States Government periodicals and subscription publications; September issue includes List of depository libraries; June and December issues include semiannual index
Cumulated Index Medicus
Author:
Publisher:
ISBN:
Category : Medicine
Languages : en
Pages : 1516
Book Description
Publisher:
ISBN:
Category : Medicine
Languages : en
Pages : 1516
Book Description
Annual Department of Defense Bibliography of Logistics Studies and Related Documents
Author: United States. Defense Logistics Studies Information Exchange
Publisher:
ISBN:
Category : Military research
Languages : en
Pages : 620
Book Description
Publisher:
ISBN:
Category : Military research
Languages : en
Pages : 620
Book Description
A Reference List of Audiovisual Materials Produced by the United States Government
Author: National Audiovisual Center
Publisher:
ISBN:
Category : Audio-visual materials
Languages : en
Pages : 76
Book Description
Publisher:
ISBN:
Category : Audio-visual materials
Languages : en
Pages : 76
Book Description
A Reference List of Audiovisual Materials Produced by the United States Government
Author:
Publisher:
ISBN:
Category : Audio-visual materials
Languages : en
Pages : 490
Book Description
Publisher:
ISBN:
Category : Audio-visual materials
Languages : en
Pages : 490
Book Description
FM 2011: Formal Methods
Author: Michael Butler
Publisher: Springer
ISBN: 3642214371
Category : Computers
Languages : en
Pages : 462
Book Description
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.
Publisher: Springer
ISBN: 3642214371
Category : Computers
Languages : en
Pages : 462
Book Description
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.