Search Result Save to File Save as CSV
Your search for 38926 returns 5216 document(s)
IMPACT: innovative models for prolog with advanced control and tabling ( Extended Abstract ), ((LNCS-Lecture Notes in Computer Science 3668) Hal 416-417
Author: Ricardo Rocha; Ricardo Lopes; Fernando Silva; Vitor Santos Costa; | Call Number: 005.133 Gab l | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Module checking revisited, (LNCS-Lecture Notes in Computer Science 1254) Hal 36-47
Author: Orna Kupferman; Moshe Y. Vardi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
Find Similar |  Add To Favorites |  Detail in New Window 
Embedded Real-Time Systems/ Jean Paul Calvez
Author: Calvez, Jean Paul; | Call Number: 004.33 Cal e | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Embeded real-time systems : a specification and design methodology
Author: Calvez, Jean Paul; | Call Number: 004.33 Cal e | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time systems: investigating industrial practice
Call Number: 004.33 Rea | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time systems dalam pengembangan industri, Hal. 1-7
Author: Irwan Margono; Bobby A. Nazief; Johnny Moningka dan Adhi Yuniarto; | Call Number: SEM-90 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time systems: formal specification and automatic verification
Author: Olderog, E.R; | Call Number: 004.33 Old r | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Duration calculus: a formal appproach to real-time systems
Author: Chaochen, Zhou; | Call Number: 005.273 Cha d | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time systems and programming languages 2nd ed.
Author: Burns, Alan; | Call Number: 004.33 Bur r | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Real-time systems: investigating industrial practice
Call Number: 004.33 Rea | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   3 4 5 6 7 8 9 10 11 12  Next