Search Result Save to File Save as CSV
Your search for 55323 returns 981 document(s)
Towards a new multimedia synchronization mechanism and its formal specification
Author: Jean-Pierre Courtiat, Roberto Cruz de Oliveira and Luiz F. Rust da Costa Carmo; | Call Number: SEM-214 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
A fast general-purpose hardware synchronization mechanism(122-129)
Author: John T. J. Robinson; | Call Number: SEM-357 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Formal methods of program verification and specification
Author: Berg, Helmut K.; | Call Number: 005.3 Ber f | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
FORMAL SPECIFICATION OF OBJECT-ORIENTED SYSTEMS
Author: Roger Duke; | Call Number: SEM-213 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Formal logic: its scope and limits
Author: Jeffrey, Richard C.; | Call Number: 160 Jef f | Type: Buku Pusat
Find Similar |  Add To Favorites |  Detail in New Window 
TOWARDS USABILITY GUIDELINES FOR MULTIMEDIA SYSTEMS
Author: Mike Beame, Sara Jones, John Sapsford-Francis M.Bearne, S.Jones; | Call Number: SEM-214 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Synchronization of Distributed Multimedia Data in an Application-Specific Manner
Author: Nipun Agarwal and Sang H. Son; | Call Number: SEM-214 | Type: Indeks Artikel prosiding/Sem
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 
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 
Prev   1 2 3 4 5 6 7 8 9 10  Next