Author:
Publisher:
ISBN:
Category : Government librarians
Languages : en
Pages : 120
Book Description
Proceedings of the Assembly on the Library Functions of the States
Author:
Publisher:
ISBN:
Category : Government librarians
Languages : en
Pages : 120
Book Description
Publisher:
ISBN:
Category : Government librarians
Languages : en
Pages : 120
Book Description
Proceedings of the Third Assembly on the Library Functions of the States
Author: Mary A. McKenzie
Publisher:
ISBN:
Category : Government libraries
Languages : en
Pages : 124
Book Description
Publisher:
ISBN:
Category : Government libraries
Languages : en
Pages : 124
Book Description
Proceedings
Author:
Publisher:
ISBN:
Category : Government libraries
Languages : en
Pages : 120
Book Description
Publisher:
ISBN:
Category : Government libraries
Languages : en
Pages : 120
Book Description
The Library Functions of the States
Author: Phillip Monypenny
Publisher: Chicago : American Library Association
ISBN:
Category : Language Arts & Disciplines
Languages : en
Pages : 200
Book Description
Publisher: Chicago : American Library Association
ISBN:
Category : Language Arts & Disciplines
Languages : en
Pages : 200
Book Description
Verified Software: Theories, Tools, Experiments
Author: Natarajan Shankar
Publisher: Springer
ISBN: 3540878734
Category : Computers
Languages : en
Pages : 263
Book Description
This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.
Publisher: Springer
ISBN: 3540878734
Category : Computers
Languages : en
Pages : 263
Book Description
This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.
Library Development Consultants in State Library Agencies
Author: Jane Florez Moore
Publisher:
ISBN:
Category : Library consultants
Languages : en
Pages : 266
Book Description
Publisher:
ISBN:
Category : Library consultants
Languages : en
Pages : 266
Book Description
Monthly Catalog of United States Government Publications
Author:
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 1274
Book Description
Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 1274
Book Description
National Union Catalog
Author:
Publisher:
ISBN:
Category : Union catalogs
Languages : en
Pages : 616
Book Description
Includes entries for maps and atlases.
Publisher:
ISBN:
Category : Union catalogs
Languages : en
Pages : 616
Book Description
Includes entries for maps and atlases.
Library Statistics and State Agencies
Author: James Krikelas
Publisher: Springfield : [Illinois State Library]
ISBN:
Category : Libraries
Languages : en
Pages : 80
Book Description
Publisher: Springfield : [Illinois State Library]
ISBN:
Category : Libraries
Languages : en
Pages : 80
Book Description