| Your search for 25608 returns 387 document(s) |
| 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 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
|
| Apple II programmer's handbook/ Richard C. Vile |
|
Author: Vile, Richard C.; | Call Number: R. 005.133 Vil a | Type: Buku Referensi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Sistem jaringan dokumentasi dan informasi hukum/ Richard Adolf |
|
Author: Richard Adolf; | Call Number: KP-0059 | Type: Kerja Praktek (KP)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Advanced programming in the UNIX environment/ W. Richard Stevens |
|
Author: Stevens, W. Richard; | Call Number: 005.43 Ste a | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result