Your search for 16134 returns 518 document(s) |
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
|
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
|
SDL: formal object-oriented language for communicating systems |
Author: Ellsberger, Jan; | Call Number: 005.133 Ell s | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Picture languae; formal models for picture recognition |
Author: Rosenfeld, Axriel; | Call Number: 006.42 Ros p | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal logic: its scope and limits/ Richard Jeffrey |
Author: Jeffrey, Richard; | Call Number: 160 Jef f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal semantics of programming languages/ edited by Randall Rustin |
Author: Courant, R; | Call Number: 410.183 Cou f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Theory or computation formal languages, automata, and complexity |
Author: Brookshear, J. Glenn; | Call Number: 511 Bro t | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Applying Process Knowledge for Yield Variation Reduction: A Longitudinal Field Study, page 159-186 |
Author: Joy M. Field, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|