Search Result
Save to File
Your search for
55323
returns
977
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