Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 59 results
Real time programming, 1986 : proceedings of the 14th IFAC/IFIP Workshop, Lake Balaton, Hungary, 26-28 May 1986 / edited by J. Szlanko.
- Text
- Oxford [Oxfordshire] ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text JSG 88-46 Offsite Real time programming 1988 : proceedings of the 15th IFAC/IFIP workshop, Valencia, Spain, 25-27 May 1988 / edited by A. Crespo and J.A. de la Puente.
- Text
- Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text JSF 90-932 Offsite Synchronous programming of reactive systems / by Nicolas Halbwachs.
- Text
- Dordrecht ; Boston : Kluwer Academic Publishers, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 93-579 Offsite PEARL 93 : Workshop über Realzeitsysteme : Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung PEARL, Boppard, 2.-3. Dezember 1993 / Peter Holleczek (Hrsg.).
- Text
- Berlin ; New York : Springer-Verlag, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 95-1215 Offsite Annual review in automatic programming.
- Text
- Oxford, Eng., New York, Pergamon Press.
- 1960-present
- 7 Items
Item details Format Call Number Item Location Text OEA (Annual review in automatic programming) v. 6, pt. 2 (1961) Offsite Item details Format Call Number Item Location Text OEA (Annual review in automatic programming) v. 6, pt. 1-5 (1969) Offsite Item details Format Call Number Item Location Text OEA (Annual review in automatic programming) v. 7 (1974) Offsite PEARL 95 : Workshop über Realzeitsysteme : Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL, Boppard, 30. November-1. Dezember 1995 / Peter Holleczek (Hrsg.).
- Text
- Berlin ; New York : Springer, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 96-201 Offsite PEARL 96 : Workshop über Realzeitsysteme : Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL, Boppard, 28./29. November 1996 / Peter Holleczek (Hrsg.).
- Text
- Berlin ; New York : Springer, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text JSE 96-908 Offsite Graphics programming with Direct3D : techniques and concepts / Rob Glidden.
- Text
- Reading, Mass. : Addison-Wesley Developers Press, c1997.
- 1997
- 2 Items
Item details Format Call Number Item Location Text *WSC-327 Offsite Not available - Please for assistance.Item details Format Call Number Item Location Text JSE 97-658 Offsite PEARL 97 : Workshop über Realzeitsysteme : Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL, Boppard, 27./28. November 1997 / Peter Holleczek (Hrsg.).
- Text
- Berlin ; New York : Springer, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text JSE 98-63 Offsite Real-time programming : a guide to 32-bit embedded development / Rick Grehan, Robert Moote, Ingo Cyliax.
- Text
- Reading, Mass. : Addison-Wesley, c1998.
- 1998
- 2 Items
Item details Format Call Number Item Location Text *WSC-862 Offsite Item details Format Call Number Item Location Text JSE 99-1627 Offsite Compression algorithms for real programmers / Peter Wayner.
- Text
- San Diego : Morgan Kaufmann, c2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text JSE 99-2093 Offsite Real time programming 1998 (WRTP '98) : a proceedings volume from the 23rd IFAC/IFIP Workshop, Shantou, Guangdong Province, P.R. China, 23-25 June 1998 / edited by L.-C. Zhang, A. H. Frigeri and W. A. Halang.
- Text
- Oxford : Pergamon for International Federation of Automatic Control, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSF 00-107 Offsite Planning for real time event response management / David J. Ash, Vlad G. Dabija.
- Text
- Upper Saddle River, NJ : Prentice Hall PTR, c2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text JSE 00-1609 Offsite Putting time into proof outlines [microform] / Fred B. Schneider, Bard Bloom, Keith Marzullo.
- Text
- Ithaca, NY : Dept. of Computer Science ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1991]
- 1991
Putting time into proof outlines [microform] / Fred B. Schneider, Bard Bloom, Keith Marzullo.
- Text
- Ithaca, NY : Dept. of Computer Science, Cornell University ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1993]
- 1993
Real-time aerodynamic heating and surface temperature calculations for hypersonic flight simulation [microform] / Robert D. Quinn and Leslie Gong.
- Text
- Washington, D.C. : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Division ; [Springfield, Va. : [For sale by the National Technical Information Service], 1990.
- 1990
PEARL 99 : Multimedia und Automatisierung : Workshop über Realzeitsysteme : Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL, Boppard, 25.-26. November 1999 / Peter Holleczek (Hrsg.).
- Text
- Berlin ; New York : Springer, 2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text JSE 01-1841 Offsite Real-Time Multiprocessor Programming Language (RTMPL) [microform] : users manual / Dale J. Arpasi.
- Text
- [Washington, D.C.] : National Aeronautics and Space Administration, Scientific and Technical Information Branch ; Springfield, Va. : For sale by the National Technical Information Service, 1985.
- 1985
Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures / Marco Bernardo, Flavio Corradini (eds.).
- Text
- Berlin ; New York : Springer, c2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text JSE 04-1504 Offsite Real time programming 1985 : proceedings of the 13th IFAC/IFIP Workshop, Purdue University, West Lafayette, Indiana, USA, 9-10 October, 1985 / edited by G.M. Bull and T.J. Williams.
- Text
- Oxford [Oxfordshire] ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text JSG 88-48 Offsite RTMPL--a structured programming and documentation utility for real-time multiprocessor simulations [microform] / Dale J. Arpasi.
- Text
- [Washington, D.C. : National Aeronautics and Space Administration, 1984]
- 1984
The NBS real-time control system user's reference manual / Stephen A. Leake.
- Text
- Gaithersburg, MD : U.S. Dept. of Commerce, National Institute of Standards and Technology, 1988.
- 1988
- 1 Resource
Available Online
https://purl.fdlp.gov/GPO/gpo105177Real-time systems and their programming languages / Alan Burns, Andy Wellings.
- Text
- Wokingham, England ; Reading, Mass. : Addison-Wesley Pub. Co., [1990], ©1990.
- 1990-1990
- 1 Item
Item details Format Call Number Item Location Text QA76.54 .B87 1990 Off-site Real time programming : proceedings of the IFAC/IFIP Workshop, Atlanta, Georgia, USA, 15-17 May 1991 / edited by W.A. Halang and K. Ramamritham.
- Text
- Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA76.54 .R422 1992 Off-site Real-time programming (WRTP'92) : preprints of the IFAC Workshop, Bruges, Belgium, 23-26 June 1992 / edited by L. Boullart and J.A. de la Puente.
- Text
- Oxford ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA76.54 .R423 1992 Off-site Standards project : draft standard for information technology--portable operating system interface. Part 1, System application program interface (API). Amendment 1, Realtime extension / sponsor, Technical Committee on Operating Systems and Application Environments of the IEEE Computer Society ; [editor, John Zolnowsky].
- Text
- New York, NY, USA : Institute of Electrical and Electronics Engineers, [1993], ©1993.
- 1993-1993
- 1 Item
Item details Format Call Number Item Location Text QA76.76.O63 S72 1993g Off-site Programming real-time microcomputers for signal processing / Urban Thoeni.
- Text
- Hemel Hempstead, Hertfordshire : Prentice Hall International (UK), 1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text TK5102.9 .T46 1994 Off-site Real-time systems and programming languages / Alan Burns & Andy Wellings.
- Text
- Harlow, England ; Reading, Mass. : Addison-Wesley, [1997], ©1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text QA76.54 .B87 1997 Off-site Proceedings of PART '97, the 4th Australasian Conference on Parallel and Real-Time Systems : Newcastle, New South Wales, Australia, 29-30 September, 1997 / Nalin Sharda and Audrey Tam, editors.
- Text
- Singapore ; New York : Springer, [1998], ©1998.
- 1998-1998
- 1 Item
Item details Format Call Number Item Location Text QA76.58 .A97 1997g Off-site International Refinement Workshop & Formal Methods Pacific '98 : proceedings of IRW/FMP '98 Canberra, Australia / edited by J. Grundy, M. Schwenke, T. Vickers.
- Text
- New York : Springer-Verlag, [1998], ©1998.
- 1998-1998
- 1 Item
Item details Format Call Number Item Location Text QA76.54 .I57 1998 Off-site Compression algorithms for real programmers.
- Text
- San Diego, Calif. ; London : Academic, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A43 W38 2000g Off-site 3D game engine design : a practical approach to real-time computer graphics / David H. Eberly.
- Text
- San Francisco : Morgan Kaufmann, [2000], ©2000.
- 2000-2000
- 1 Item
Item details Format Call Number Item Location Text T385 .E373 2000 book & CD Off-site Real-time systems and programming languages : Ada 95, real-time Java, and real-time POSIX / Alan Burns and Andy Wellings.
- Text
- Harlow, England ; New York : Addison-Wesley, 2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text QA76.54 .B87 2001 Off-site Machine musicianship / Robert Rowe.
- Text
- Cambridge, Mass. : MIT Press, 2001.
- 2000
- 2 Items
Item details Format Call Number Item Location Text ML74 .R68 2001 book Off-site Item details Format Call Number Item Location Text ML74 .R68 2001 CD Off-site Resource management in real-time systems and networks / C. Siva Ram Murthy and G. Manimaran.
- Text
- Cambridge, Mass. : MIT Press, 2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text QA76.54 .M87 2001 Off-site Control software for mechanical systems : object-oriented design in a real-time world / D.M. Auslander, J.R. Ridgely, J.D. Ringgenberg.
- Text
- Upper Saddle River, N.J. : Prentice Hall PTR, [2002], ©2002.
- 2002-2002
- 1 Item
Item details Format Call Number Item Location Text QA76.54 .A97 2002g Off-site Annual review in automatic programming.
- Text
- Oxford, Eng. ; New York : Pergamon Press.
- 1960-1994
- 20 Items
Item details Format Call Number Item Location Text QA76 .An78 v.15:no.1 (1989) Off-site Item details Format Call Number Item Location Text QA76 .An78 v.16:no.2 (1991) Off-site Item details Format Call Number Item Location Text QA76 .An78 v.16:no.1 (1991) Off-site Real time programming 1985 : proceedings of the 13th IFAC/IFIP Workshop, Purdue University, West Lafayette, Indiana, USA, 9-10 October / Edited by G.M. Bull and T.J. Williams.
- Text
- Oxford [Oxfordshire] ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text QA76.54 .I36 1985 Off-site Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures / Marco Bernardo, Flavio Corradini (eds.).
- Text
- Berlin ; New York : Springer, [2004], ©2004.
- 2004-2004
- 1 Item
Item details Format Call Number Item Location Text QA76.54 .I575 2004g Off-site 3D game engine architecture : engineering real-time applications with wild magic / David H. Eberly.
- Text
- San Francisco, Calif. : Morgan Kaufmann, 2005.
- 2005
- 1 Item
Item details Format Call Number Item Location Text T385 .E374 2005g book & CD Off-site Concurrent and real-time programming in Java / Andy Wellings.
- Text
- Chichester, West Sussex, England ; Hoboken, NJ : John Wiley, [2004], ©2004.
- 2004-2004
- 2 Items
Item details Format Call Number Item Location Text Off-site Not available - Please for assistance.Item details Format Call Number Item Location Text QA76.73.J38 W465 2004 Off-site Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems / Heinrich Rust.
- Text
- Berlin ; New York : Springer, [2005], ©2005.
- 2005-2005
- 2 Items
Item details Format Call Number Item Location Text Off-site Not available - Please for assistance.Item details Format Call Number Item Location Text QA76.54 .R87 2005g Off-site Real time programming, 1986 : proceedings of the 14th IFAC/IFIP Workshop, Lake Balaton, Hungary, 26-28 May 1986 / edited by J. Szlanko.
- Text
- Oxford [Oxfordshire] ; New York : Published for the International Federation of Automatic Control by Pergamon Press, 1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text QA76.54 .I36 1986 Off-site Semantic networks : an evidential formalization and its connectionist realization / Lokendra Shastri.
- Text
- London : Pitman ; Los Altos, Calif. : Morgan Kaufmann, 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text Q335 .S464 1988 Off-site Real-time object uniform design methodology with UML / Bui Minh Duc.
- Text
- Dordrecht ; London : Springer, 2007.
- 2007
- 1 Item
Item details Format Call Number Item Location Text QA76.54 .B84 2007g Off-site Sistema upravleniia︡ dannymi v realʹnom masshtabe vremeni / pod redakt︠s︡ieĭ E.I. Velesʹko.
- Text
- Minsk : Izd-vo BGU im. V.I. Lenina, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text x Off-site Annual reviews in control.
- Text
- Oxford, England ; New York : Pergamon, c1997-
- 1996-present
- 10 Items
Item details Format Call Number Item Location Text QA76 27.1 vol. 26:pt.1 Off-site Item details Format Call Number Item Location Text QA76 27.1 vol. 27:pt.2 Off-site Item details Format Call Number Item Location Text QA76 27.1 vol. 27:pt.1 Off-site GPU gems 3 / edited by Hubert Nguyen.
- Text
- Upper Saddle River, NJ : Addison-Wesley, c2008.
- 2008
- 1 Item
Item details Format Call Number Item Location Text T385 .G6882 2008 Off-site Proceedings of the 1975 IFAC-IFIP Workshop on Real-Time Programming, Boston/Cambridge, Massachusetts, USA, 21-22 August, 1975 / edited by P. D. Griem, Jr. ; sponsored by International Federation of Automatic Control, International Federation for Information Processing.
- Text
- Pittsburgh : Instrument Society of America, c1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text QA76.6.I175 1975 Off-site Real time programming 1985 : proceedings of the 13th IFAC/IFIP Workshop, Purdue University, West Lafayette, Indiana, USA, 9-10 October / Edited by G.M. Bull and T.J. Williams.
- Text
- 1986
- 1 Item
Item details Format Call Number Item Location Text QA76.54 .I36 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.
