Hybrid parallel execution model for logic-based specification languages
(eBook)
More Details
Notes
Description
Also in this Series
Subjects
Citations
Tsai, J. J., & Li, B. (2001). Hybrid parallel execution model for logic-based specification languages . World Scientific.
Chicago / Turabian - Author Date Citation, 17th Edition (style guide)Tsai, Jeffrey J.-P and Bing Li. 2001. Hybrid Parallel Execution Model for Logic-based Specification Languages. World Scientific.
Chicago / Turabian - Humanities (Notes and Bibliography) Citation, 17th Edition (style guide)Tsai, Jeffrey J.-P and Bing Li. Hybrid Parallel Execution Model for Logic-based Specification Languages World Scientific, 2001.
MLA Citation, 9th Edition (style guide)Tsai, Jeffrey J.-P., and Bing Li. Hybrid Parallel Execution Model for Logic-based Specification Languages World Scientific, 2001.
Staff View
Grouping Information
Grouped Work ID | c1472c47-93b0-9407-4e83-b2aa932c6394-eng |
---|---|
Full title | hybrid parallel execution model for logic based specification languages |
Author | tsai jeffrey j p |
Grouping Category | book |
Last Update | 2022-06-07 21:23:19PM |
Last Indexed | 2024-05-25 05:11:36AM |
Book Cover Information
Image Source | default |
---|---|
First Loaded | Jan 22, 2024 |
Last Used | Apr 28, 2024 |
Marc Record
First Detected | Aug 09, 2021 12:31:32 PM |
---|---|
Last File Modification Time | Nov 22, 2021 08:46:42 AM |
MARC Record
LEADER | 01898nam a2200421Ia 4500 | ||
---|---|---|---|
001 | EBC1679598 | ||
003 | MiAaPQ | ||
006 | m E | | ||
007 | cr cn||||||||| | ||
008 | 011101s2001 si a sb 001 0 eng d | ||
020 | |z 9789810240967 | ||
020 | |z 9810240961 | ||
035 | |a (Sirsi) EBC1679598 | ||
035 | |a (Sirsi) EBC1679598 | ||
035 | |a (MiAaPQ)EBC1679598 | ||
035 | |a (Au-PeEL)EBL1679598 | ||
035 | |a (CaPaEBR)ebr10255649 | ||
035 | |a (CaONFJC)MIL505472 | ||
035 | |a (OCoLC)879023835 | ||
040 | |a MiAaPQ|c MiAaPQ|d MiAaPQ | ||
050 | 4 | |a TK7885.7|b .T72 2001 | |
100 | 1 | |a Tsai, Jeffrey J.-P. | |
245 | 1 | 0 | |a Hybrid parallel execution model for logic-based specification languages|h [eBook] /|c Jeffrey J.P. Tsai, Bing Li. |
260 | |a Singapore ;|a New Jersey :|b World Scientific,|c c2001. | ||
300 | |a xii, 214 p. :|b ill. | ||
490 | 1 | |a Series on software engineering and knowledge engineering ;|v v. 10 | |
504 | |a Includes bibliographical references and index. | ||
533 | |a Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. | ||
650 | 0 | |a Computer hardware description languages. | |
650 | 0 | |a System design. | |
655 | 4 | |a Electronic books. | |
700 | 1 | |a Li, Bing,|d 1960- | |
710 | 2 | |a ProQuest (Firm) | |
830 | 0 | |a Series on software engineering and knowledge engineering ;|v v. 10. | |
856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yavapai-ebooks/detail.action?docID=1679598|x Yavapai College|y Yavapai College users click here to access |
856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/prescottcollege-ebooks/detail.action?docID=1679598|x Prescott College|y Prescott College users click here to access |
856 | 4 | 0 | |u http://ebookcentral.proquest.com/lib/yln-ebooks/detail.action?docID=1679598|x Yavapai Library Network|y All other users click here to access |
945 | |a E-Book |