Author:
Publisher:
ISBN:
Category : United States
Languages : en
Pages : 48
Book Description
Data Access Descriptions
Author:
Publisher:
ISBN:
Category : United States
Languages : en
Pages : 48
Book Description
Publisher:
ISBN:
Category : United States
Languages : en
Pages : 48
Book Description
Journal
Author: Royal Society for the Encouragement of Arts, Manufactures and Commerce
Publisher:
ISBN:
Category :
Languages : en
Pages : 954
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 954
Book Description
Papers Relating to the Foreign Relations of the United States
Author: United States. Department of State
Publisher:
ISBN:
Category : United States
Languages : en
Pages : 924
Book Description
Publisher:
ISBN:
Category : United States
Languages : en
Pages : 924
Book Description
Technical documentation
Author: United States. Bureau of the Census
Publisher:
ISBN:
Category : United States
Languages : en
Pages : 646
Book Description
Publisher:
ISBN:
Category : United States
Languages : en
Pages : 646
Book Description
Proceedings - American Society for Testing and Materials
Author: American Society for Testing and Materials
Publisher:
ISBN:
Category : Engineering
Languages : en
Pages : 1034
Book Description
Vols. 61-66 include technical papers.
Publisher:
ISBN:
Category : Engineering
Languages : en
Pages : 1034
Book Description
Vols. 61-66 include technical papers.
Papers on Subjects Connected with the Duties of the Corps of Royal Engineers
Author: Great Britain. Army. Royal Engineers
Publisher:
ISBN:
Category : Civil engineering
Languages : en
Pages : 410
Book Description
Publisher:
ISBN:
Category : Civil engineering
Languages : en
Pages : 410
Book Description
A Concordance to All the Bookes of the Old Testament, According to the Translation Allowed by His Late Matie of Great Brittain, Etc. [By Clement Cotton.]
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 708
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 708
Book Description
Model Checking Software
Author: MarĂa del Mar Gallardo
Publisher: Springer
ISBN: 3319941119
Category : Computers
Languages : en
Pages : 361
Book Description
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
Publisher: Springer
ISBN: 3319941119
Category : Computers
Languages : en
Pages : 361
Book Description
This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.
Math for Clinical Practice
Author: Denise Macklin
Publisher: Elsevier Health Sciences
ISBN: 0323293735
Category : Medical
Languages : en
Pages : 510
Book Description
- Follows current TJC and ISMP safety recommendations. - Answer key is new to this edition and provides immediate feedback for practice problems. - Features the latest drug information in practice problems and photographs.
Publisher: Elsevier Health Sciences
ISBN: 0323293735
Category : Medical
Languages : en
Pages : 510
Book Description
- Follows current TJC and ISMP safety recommendations. - Answer key is new to this edition and provides immediate feedback for practice problems. - Features the latest drug information in practice problems and photographs.
The Journal of the Chemical, Metallurgical & Mining Society of South Africa
Author:
Publisher:
ISBN:
Category : Mineral industries
Languages : en
Pages : 442
Book Description
Publisher:
ISBN:
Category : Mineral industries
Languages : en
Pages : 442
Book Description