Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-16 of 16 results
Memory management and multitasking beyond 640K / Lenny Bailes, John Mueller.
- Text
- Blue Ridge Summit, PA : Windcrest/McGraw-Hill, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 93-1033 Offsite Formal methods for concurrency / Clive Fencott.
- Text
- London : International Thomson Computer Press, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Book/Text JSE 97-717 Offsite Multitasking and microtasking experience on the NAS Cray-2 and ACF Cray-XMP / Farhad Raiszadeh.
- Text
- [Washington, DC] : National Aeronautics and Space Administration ; [Springfield, Va.] : [For sale by the National Technical Information Service, distributor], [1987]
- 1987
Strategies for concurrent processing of complex algorithms in data driven architectures / John W. Stoughton and Roland R. Mielke.
- Text
- Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va.] : [National Technical Information Service, distributor], [1988]
- 1988
Multiprocessing on supercomputers for computational aerodynamics / Maurice Yarrow, Unmeel B. Mehta.
- Text
- Moffett Field, Calif. : National Aeronautics and Space Administration, Ames Research Center, [1990]
- 1990
- 1 Resource
Available Online
https://purl.fdlp.gov/GPO/LPS69900Formal models of communicating systems : languages, automata, and monadic second-order logic / Benedikt Bollig.
- Text
- Berlin ; New York : Springer, c2006.
- 2006
- 1 Item
Item details Format Call Number Item Location Book/text JSE 06-1606 Offsite Experiences with Cray multi-tasking [microform] / E. N. Miya.
- Text
- Moffett Field, Calif. : National Aeronautics and Space Administration, Ames Research Center, [1985]
- 1985
Programming with threads / Steve Kleiman, Devang Shah, Bart Smaalders.
- Text
- Mountain View, Calif. : Sun Soft Press ; Upper Saddle River, NJ : Prentice Hall, [1996], ©1996.
- 1996-1996
- 1 Item
Item details Format Call Number Item Location Text QA76.58 .K59 1996 Off-site Formal methods for concurrency / Clive Fencott.
- Text
- London : International Thomson Computer Press, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA76.54 .F46 1996g Off-site Modeling embedded systems and SoCs : concurrency and time in models of computation / Axel Jantsch.
- Text
- 2004
- 1 Item
Item details Format Call Number Item Location Text TK7895.E42 J365 2004 Off-site Formal models of communicating systems : languages, automata, and monadic second-order logic / Benedikt Bollig.
- Text
- Berlin ; New York : Springer, [2006], ©2006.
- 2006-2006
- 1 Item
Item details Format Call Number Item Location Book/Text QA76.9.D5 B65 2006g Off-site Task scheduling for parallel systems / Oliver Sinnen.
- Text
- Hoboken, N.J. : Wiley-Interscience, [2007], ©2007.
- 2007-2007
- 1 Item
Item details Format Call Number Item Location Book/Text QA76.58 .S572 2007 Off-site Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday / Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.).
- Text
- Berlin ; New York : Springer, [2008], ©2008.
- 2008-2008
- 1 Item
Item details Format Call Number Item Location Book/Text QA267.3 .C66 2008g Off-site Transactions on petri nets and other models of concurrency. II, Special issue on concurrency in process-aware information systems / Kurt Jensen, Wil M.P. van der Aalst (eds.).
- Text
- Berlin ; New York : Springer, [2009], ©2009.
- 2009-2009
- 1 Item
Item details Format Call Number Item Location Book/Text QA76.58 .T73 2009g Off-site High-speed Windows applications : multitasking design methods / Bruce E. Krell ; Kjell W. Nielsen, consulting editor.
- Text
- New York : Bantam Books, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Book/text QA76.76.W56 K74 1993 Off-site High performance computing and its applications in the physical sciences : proceedings of the Mardi Gras '93 Conference, February 18-20, 1993, Louisiana State University / editors, Dana A. Browne ... [et al.].
- Text
- Singapore ; River Edge, NJ : World Scientific, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Book/text QA76.58 .H533 1994 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
