Search Result Save to File Save as CSV
Your search for 37151 returns 3301 document(s)
Parametrized verification of linear networks using automata as invariants, (LNCS-Lecture Notes in Computer Science 1254)Hal. 412-423
Author: A. Prasad Sistia; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Tutorial: minicomputer real time executives
Author: Scheeffler, James D.; | Call Number: 004.33 Sch t | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Introduction To Real Time Software Design
Author: Allworth, S.T.; | Call Number: 004.33 All i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Micro C/OS-11: the real-time kernel
Author: Labrosse, Jean J.; | Call Number: 004.33 Lab m | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
An implementation guide to real-time programming
Author: Ripps, David L.; | Call Number: 004.33 Rip i | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time object-oriented modelling
Author: Selic, Bran; | Call Number: 005.117 Sel r | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Real-Time Database: Are they Real? (3-7)
Author: Gultekin Ozsoyoglu; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Using a link metric to improve communication mechanism and real-time properties in an adaptive middleware for heterogeneous sensor networks, (LNCS-Lecture Notes in Computer Science 5576) Hal. 422-431
Author: Edison Pignaton de Freitas; Tales Heimfarth; Marco Aurelio Wehrmeister...[et.al]; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Demonstrating real-time JPEG image compression-decompression using standard component IP cores on a programmable logic based platform for DSP and image processing, (LNCS-Lecture Notes in Computer Science 2147) Hal 441-450
Author: Albert Simpson; Jill Hunter; Moira Wylie; Yi Hu; David Mann; | Call Number: 005.115 Fie | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Formal systems specification: the RPC memory specification case study/Manfred Broy
Author: Broy, Manfred; | Call Number: 005.131 Bro f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   4 5 6 7 8 9 10 11 12 13  Next