Proceedings of Beijing International Conference on System Simulation and Scientific Computing, October 23-26, 1989, Beijing, China
Author: Chuan Yuan Wen
Publisher:
Published: 1989
Total Pages: 538
ISBN-13:
DOWNLOAD EBOOKPosts
Scientific Information Bulletin
Author:
Publisher:
Published: 1989
Total Pages: 206
ISBN-13:
DOWNLOAD EBOOKBibliographic Guide to Computer Science
Author:
Publisher:
Published: 1991
Total Pages: 248
ISBN-13:
DOWNLOAD EBOOKProceedings of the 1993 Summer Computer Simulation Conference
Author: Joel Schoen
Publisher:
Published: 1993
Total Pages: 1114
ISBN-13: 9781565550575
DOWNLOAD EBOOKBibliographic Guide to Conference Publications
Author: New York Public Library. Research Libraries
Publisher:
Published: 1991
Total Pages: 714
ISBN-13:
DOWNLOAD EBOOKVols. for 1975- include publications cataloged by the Research Libraries of the New York Public Library with additional entries from the Library of Congress MARC tapes.
Proceedings of the United States Naval Institute
Author: United States Naval Institute
Publisher:
Published: 1989-05
Total Pages: 762
ISBN-13:
DOWNLOAD EBOOKAmerican Book Publishing Record
Author:
Publisher:
Published: 1990
Total Pages: 1464
ISBN-13:
DOWNLOAD EBOOKInternational Books in Print
Author:
Publisher:
Published: 1998
Total Pages: 1140
ISBN-13:
DOWNLOAD EBOOKAutomated Technology for Verification and Analysis
Author: Susanne Graf
Publisher: Springer
Published: 2006-10-11
Total Pages: 551
ISBN-13: 354047238X
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006. The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.
