Explore: *symbolic Programming
Discover books, insights, and more — all in one place.
Learn more about *symbolic Programming with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “%2Bsymbolic-programming”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Shared direct memory access on the Explorer II-LX
By Jeffrey L. Musgrave
“Shared direct memory access on the Explorer II-LX” Metadata:
- Title: ➤ Shared direct memory access on the Explorer II-LX
- Author: Jeffrey L. Musgrave
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration - National Technical Information Service, distributor
- Publish Date: 1990
- Publish Location: ➤ [Washington, DC] - [Springfield, Va
“Shared direct memory access on the Explorer II-LX” Subjects and Themes:
- Subjects: Computer networks - Symbolic programming - Hypercube multiprocessors - Parallel processing (Computers) - User manuals (Computer programs)
Edition Identifiers:
- The Open Library ID: OL15405338M
Access and General Info:
- First Year Published: 1990
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Shared direct memory access on the Explorer II-LX at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2STAR (simple tool for automated reasoning)
By Cary C. Borchardt
“STAR (simple tool for automated reasoning)” Metadata:
- Title: ➤ STAR (simple tool for automated reasoning)
- Author: Cary C. Borchardt
- Language: English
- Publisher: ➤ National Aeronautics and Space Administration, Jet Propulsion Laboratory, California Institute of Technology - National Technical Information Service, distributor
- Publish Date: 1985
- Publish Location: ➤ Pasadena, Calif - [Springfield, Va
“STAR (simple tool for automated reasoning)” Subjects and Themes:
- Subjects: ➤ Interactive control - Software tools - Software engineering - Programming languages - User manuals (Computer programs) - Symbolic programming - Algorithms - Artificial intelligence
Edition Identifiers:
- The Open Library ID: OL17684272M
Access and General Info:
- First Year Published: 1985
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find STAR (simple tool for automated reasoning) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.