An edition of Automated parallelization of discrete state-space generation (2000)

Automated parallelization of discrete state-space generation

by David M. Nicol

Automated parallelization of discrete state-s ...

David M. Nicol, David M. Nicol

Locate

My Reading Lists:

Use this Work

Create a new list

Buy this book

Last edited by VacuumBot

August 6, 2012 | History

Edit

An edition of Automated parallelization of discrete state-space generation (2000)

Automated parallelization of discrete state-space generation

by David M. Nicol

This edition doesn't have a description yet. Can you add one?

Publish Date

2000

Publisher

Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, Available from NASA Center for AeroSpace Information (CASI)

Language

English

Buy this book

Edition	Availability
1 Automated parallelization of discrete state-space generation 2000, Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, Available from NASA Center for AeroSpace Information (CASI) in English	zzzz Locate
2 Automated parallelization of discrete state-space generation 2000, Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, Available from NASA Center for AeroSpace Information (CASI) Microform in English	aaaa Locate

Add another edition?

Book Details

Edition Notes

Shipping list no.: 2001-0362-M.

Also available via Internet from the ICASE web site. Address as of 9/30/02: ftp://ftp.icase.edu/pub/techreports/2000/2000-11.pdf ; current access is available via PURL.

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 2000?] 1 microfiche.

Published in: Hampton, VA, Hanover, MD
Series: ICASE report -- no. 2000-11., [NASA contractor report] -- NASA/CR-2000-210082., NASA contractor report -- NASA CR-210082.
Other Titles: Automated parallelization of discrete state space generation.

The Physical Object

Format: Microform
Pagination: 1 v.

Edition Identifiers

Open Library: OL17717464M

Work Identifiers

Work ID: OL7948730W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Created September 30, 2008
3 revisions

Download catalog record: RDF / JSON / OPDS | Wikipedia citation

August 6, 2012	Edited by VacuumBot	Updated format '[microform] /' to 'Microform'
December 15, 2009	Edited by WorkBot	link works
September 30, 2008	Created by ImportBot	Imported from Oregon Libraries MARC record

Automated parallelization of discrete state-space generation

by David M. Nicol