Search Result Save to File Save as CSV
Your search for 45146 returns 457 document(s)
The real-time specification for java, page 47
Author: Greg Bollella | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
An overview of the real-time corba specification, page 56
Author: Douglas C. Schmidt | Type: Indeks Artikel Jurnal
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 
Specification of a real-time pulse detection, Hal. 82-104
Author: Henrik Reif Andersen; Jacob Lyng Petersen; | Call Number: SEm-253 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
An excercise in hybrid system specification using an extension of Z, Hal. 311-316
Author: Viktor Friesen; | Call Number: SEM-253 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
STEPWIBE SPECIFICATION OF DYNAMIC DATABASE BEHAVIOUR (387-397)
Author: Udo w. Lipeck; | Call Number: SEM-360 | 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 
Formal specification of interactive graphics programming languages
Call Number: 005.13 For | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Formal specification and software development/ Dines Bjorner
Author: Bjorner, Dines; | Call Number: 004 Bjo f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Communication protocol specification and verification/Richard Lai
Author: Lai, Richard; | Call Number: 004.36 Lai c | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   8 9 10 11 12 13 14 15 16 17  Next