Author: Chuan Yuan Wen
Publisher:
ISBN:
Category : Computer simulation
Languages : en
Pages : 538
Book Description
Proceedings of Beijing International Conference on System Simulation and Scientific Computing, October 23-26, 1989, Beijing, China
Author: Chuan Yuan Wen
Publisher:
ISBN:
Category : Computer simulation
Languages : en
Pages : 538
Book Description
Publisher:
ISBN:
Category : Computer simulation
Languages : en
Pages : 538
Book Description
Scientific Information Bulletin
Author:
Publisher:
ISBN:
Category : Research
Languages : en
Pages : 206
Book Description
Publisher:
ISBN:
Category : Research
Languages : en
Pages : 206
Book Description
Bibliographic Guide to Computer Science
Author:
Publisher:
ISBN:
Category : Computer science
Languages : en
Pages : 248
Book Description
Publisher:
ISBN:
Category : Computer science
Languages : en
Pages : 248
Book Description
Proceedings of the 1993 Summer Computer Simulation Conference
Author: Joel Schoen
Publisher:
ISBN: 9781565550575
Category : Computer simulation
Languages : en
Pages : 1114
Book Description
Publisher:
ISBN: 9781565550575
Category : Computer simulation
Languages : en
Pages : 1114
Book Description
Bibliographic Guide to Conference Publications
Author: New York Public Library. Research Libraries
Publisher:
ISBN:
Category : Congresses and conventions
Languages : en
Pages : 714
Book Description
Vols. 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.
Publisher:
ISBN:
Category : Congresses and conventions
Languages : en
Pages : 714
Book Description
Vols. 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:
ISBN:
Category : Naval art and science
Languages : en
Pages : 762
Book Description
Publisher:
ISBN:
Category : Naval art and science
Languages : en
Pages : 762
Book Description
Science Software
Author:
Publisher:
ISBN:
Category : Computer software
Languages : en
Pages : 442
Book Description
Publisher:
ISBN:
Category : Computer software
Languages : en
Pages : 442
Book Description
American Book Publishing Record
Author:
Publisher:
ISBN:
Category : United States
Languages : en
Pages : 1464
Book Description
Publisher:
ISBN:
Category : United States
Languages : en
Pages : 1464
Book Description
International Books in Print
Author:
Publisher:
ISBN:
Category : English imprints
Languages : en
Pages : 1140
Book Description
Publisher:
ISBN:
Category : English imprints
Languages : en
Pages : 1140
Book Description
Automated Technology for Verification and Analysis
Author: Susanne Graf
Publisher: Springer
ISBN: 354047238X
Category : Computers
Languages : en
Pages : 551
Book Description
This 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.
Publisher: Springer
ISBN: 354047238X
Category : Computers
Languages : en
Pages : 551
Book Description
This 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.