|
|
41.
|
Concurrent and real-time programming in Ada 2005
by Burns, Alan | Wellings, Andy. Material type:  Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2007Availability: Items available for loan: [Call number: 005.133 BUR] (1).
|
|
|
42.
|
Real-time systems : formal specification and automatic verification
by Dierks, Henning | Olderog, E. R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2008Availability: Items available for loan: [Call number: 004.33 OLD] (2).
|
|
|
43.
|
Real-time systems development
by Williams, Rob. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Oxford: Morgan Kaufmann, 2006Availability: Items available for loan: [Call number: 005.273 WIL] (1).
|
|
|
44.
|
Embedded software : the works
by Walls, Colin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam: Newnes, 2006Availability: Items available for loan: [Call number: 005.1 WAL] (2).
|
|
|
45.
|
19th IEEE International Conference on Distributed Computing Systems ( May 31-June 4, 1999)
by Gouda, Mohamed G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: California: IEEE Computer Society, 1999Availability: Items available for loan: [Call number: 005.712 GOU] (1).
|
|
|
46.
|
Deadline scheduling for real-time systems : EDF and related algorithms
by Stankovic, John A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 1998Availability: Items available for loan: [Call number: 004.33 STA] (1).
|
|
|
47.
|
Hard Real-Time Computing Systems
by Buttazzo, Giorgio. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers, 1997Availability: Items available for loan: [Call number: 005.42473 BUT] (1).
|
|
|
48.
|
Real-time image processing, 2008 : 28-39 January, 2008, San Jose, California, USA
by Kehtarnavaz, Nasser | Carlsohn, Matthias F. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Bellingham: SPIE, 2008Availability: Items available for loan: [Call number: 621.367 KEH] (1).
|
|
|
49.
|
What every engineer should know about real-time embedded products
by Fowler, Kim R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2008Availability: No items available Checked out (1).
|
|
|
50.
|
Real-time embedded systems : open-source operating systems perspective
by Bertolotti, Ivan Cibrario | Manduchi, Gabriele. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2012Availability: Items available for loan: [Call number: 006.22 BER] (1).
|
|
|
51.
|
Real-time shader programming : covering directX 9.0
by Fosner, Ron. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Francisco: Morgan Kaufmann, 2003Availability: Items available for loan: [Call number: 005.273 FOS] (2).
|
|
|
52.
|
Real - time shadows
by Eisemann, Elmar. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Massachusetts: A K Peters, 2012Availability: Items available for loan: [Call number: 006.696 EIS] (1).
|
|
|
53.
|
Theory of timed I/O automata
by Kaynar, Dilsun K | Lynch, Nancy | Segala, Roberto | Vaandrager, Frits. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Rafael: Morgan & Claypool Publishers, 2006Availability: Items available for loan: [Call number: 004.33 KAY] (1).
|
|
|
54.
|
Real-time embedded components and systems : with linux and RTOS
by Pratt, John | Siewert, Sam. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dulles: Mercury Learning & Information, 2016Availability: Items available for loan: [Call number: 004.16 SIE] (2).
|
|
|
55.
|
Advances in Computing Science - ASIAN 2003 : Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : Proceedings
by Saraswat, Vijay A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 SAR] (1).
|
|
|
56.
|
Software engineering
by Sommerville, Ian. Edition: 8th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Pearson Education, 2007Availability: Items available for loan: [Call number: 005.1 SOM] (1).
|
|
|
57.
|
Windows Embedded CE 6.0 fundamentals
by Pavlov, Stanislav | Belevsky, Pavel. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Redmond: Microsoft Press, 2008Availability: Items available for loan: [Call number: 005.4 PAV] (1).
|
|
|
58.
|
Real time programming : languages, specification and verification
by Shyamasundar, R. K | Ramesh, S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific, 2010Availability: Items available for loan: [Call number: 005.273 SHY] (1).
|
|
|
59.
|
Real-time systems : modeling, design, and applications
by Cornell, Aurel | Ionescu, Dan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hackensack: World Scientific, 2007Availability: Items available for loan: [Call number: 004.33 ION] (1).
|
|
|
60.
|
Snap to grid: A user's guide to digital arts, media and cultures
by Lunenfeld, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: MIT Press, 2001Availability: Items available for loan: [Call number: 006.7 LUN] (1).
|
