Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-36 of 36 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 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 Text JSE 97-717 Offsite CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings / Jos C.M. Baeten, Sjouke Mauw (eds.)
- Text
- Berlin ; New York : Springer, c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSE 99-2001 Offsite Concur 2000 : concurrency theory : 11th international conference, University Park, PA, USA, August 22-25, 2000 : proceedings / Catuscia Palamidessi (ed.).
- Text
- Berlin ; New York : Springer, 2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text JSE 00-2041 Offsite Cray mini manual [microform] / Geoffrey M. Tennille ... [et al.].
- Text
- Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : For sale by the National Technical Information Service, 1992]
- 1992
Multitasking and microtasking experience on the NAS Cray-2 and ACF Cray-XMP [microform] / 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 [microform] / 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
CONCUR 2001. concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings / Kim G. Larsen, Mogens Nielsen (eds.).
- Text
- Berlin ; New York : Springer, 2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSE 01-1862 Offsite CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3-5, 2003 : proceedings / Roberto Amadio, Denis Lugiez (eds.).
- Text
- Berlin ; New York : Springer, c2003.
- 2003
- 1 Item
Item details Format Call Number Item Location Text JSE 03-1758 Offsite CONCUR 2004--concurrency theory : 15th international conference, London, UK, August 31-September 3, 2004 : proceedings / Philippa Gardner, Nobuko Yoshida (eds.).
- Text
- Berlin ; New York : Springer, 2004.
- 2004
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3170Item details Format Call Number Item Location Text JSE 04-1526 Offsite Multiprocessing on supercomputers for computational aerodynamics [microform] / Maurice Yarrow, Unmeel B. Mehta.
- Text
- Moffett Field, Calif. : National Aeronautics and Space Administration, Ames Research Center, [1990]
- 1990
- 1 Resource
Available Online
http://purl.access.gpo.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 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 CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings / Jos C.M. Baeten, Sjouke Mauw (eds.)
- Text
- Berlin ; New York : Springer, [1999], ©1999.
- 1999-1999
- 1 Item
Item details Format Call Number Item Location Text QA76.58 .I53 1999g Off-site Concur 2000 : concurrency theory : 11th international conference, University Park, PA, USA, August 22-25, 2000 : proceedings / Catuscia Palamidessi (ed.).
- Text
- Berlin ; New York : Springer, 2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text QA76.58 .I53 2000g Off-site CONCUR 2001 - concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001 ; proceedings / Kim G. Larsen, Mogens Nielsen (eds.).
- Text
- Berlin ; New York : Springer, 2001.
- 2001
- 1 Item
Available Online
http://link.springer-ny.com/link/service/series/0558/tocs/t2154.htmItem details Format Call Number Item Location Text QA76.58 .I53 2001g 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 CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3-5, 2003 : proceedings / Roberto Amadio, Denis Lugiez (eds.).
- Text
- 2003
- 1 Item
Item details Format Call Number Item Location Text QA76.58 .I53 2003g Off-site CONCUR 2004--concurrency theory : 15th international conference, London, UK, August 31-September 3, 2004 : proceedings / Philippa Gardner, Nobuko Yoshida (eds.).
- Text
- Berlin ; New York : Springer, 2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text QA76.58 .I53 2004g Off-site CONCUR 2005 - concurrency theory : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings / Martin Abadi, Luca de Alfaro (eds.).
- Text
- Berlin ; New York : Springer, 2005.
- 2005
- 1 Item
Item details Format Call Number Item Location Text QA76.58 I53 2005g Off-site CONCUR 2006--concurrency theory : 17th international conference, Bonn, Germany, August 27-30, 2006 : proceedings / Christel Baier, Holger Hermanns (eds.).
- Text
- Berlin ; New York : Springer, 2006.
- 2006
- 1 Item
Item details Format Call Number Item Location Text QA76.58 I53 2006g 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 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 Text QA76.58 .S572 2007 Off-site Petri nets and other models of concurrency : ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 : proceedings / Jetty Kleijn, Alex Yakovlev (eds.).
- Text
- Berlin ; New York : Springer, [2007], ©2007.
- 2007-2007
- 1 Item
Item details Format Call Number Item Location Text QA267 .I56 2007g 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 Text QA267.3 .C66 2008g Off-site Transactions on Petri nets and other models of concurrency. I / Kurt Jensen, Wil M.P. van der Aalst, Jonathan Billington (eds.).
- Text
- Berlin : Springer-Verlag, [2008], ©2008.
- 2008-2008
- 1 Item
Item details Format Call Number Item Location Text QA267 .T72 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 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 Text QA76.76.W56 K74 1993 Off-site Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies (eds.).
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text TK7895.M4 F675 1996 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
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA76.58 .H533 1994 Off-site Formal systems specification : the RPC-memory specification case study / Manfred Broy, Stephan Merz, Katharina Spies (eds.).
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text TK7895.M4 F675 1996 Off-site Nets, terms, and formulas : three views of concurrent processes and their relationship / E.-R. Olderog.
- Text
- Cambridge ; New York : Cambridge University Press, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA76.58 .O43 1991 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 Text QA76.58 .H533 1994 Off-site Object-based models and languages for concurrent systems : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994 : proceedings / Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa, eds.
- Text
- Berlin ; New York : Springer, ©1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.64 .E24 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.
