| Your search for 19413 returns 3112 document(s) |
| Unix shell programming/Stephen G. Kochan |
|
Author: Kochan, Stephen C.; | Call Number: 005.43 Koc u | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Cognition : theory and applications/ Stephen K. Reed |
|
Author: Reed, Stephen K.; | Call Number: 153 Ree c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving, (LNCS-Lecture Notes in Computer Science 939) Hal 54-69 |
|
Author: Jurgen Dingel; Thomas Filkorn; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| ICIAM'91: proceedings of the second International Conference on Industrial and applied mathematics/ edited by Robert E. O'Malley |
|
Call Number: SEM-144 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Lecture notes in computer science: cryptography: proceedings Burg Feuerstein 1982/ edited by Thomas Beth |
|
Call Number: 005.82 Lec | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Research and development in expert systems VII: Proceedings of expert systems 90..../edited by T.R. Addis R.M. Muir |
|
Call Number: 006.33 Res | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| EUROGRAPHICA'81: proceedings of the International Conference and Exhibition Technische Hochschule Darmstadt, F.R. of Germany 9-11 September 1981/ edited by |
|
Author: Encarnacao, Jose L.; | Call Number: 006.6 Enc e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Translating and the computer: proceedings of a seminar London, 14th November, 1978/ edited by Barbara M. Snell |
|
Call Number: 029.756 Tra | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| ICIAM '91: Proceedings of the Second International Conference on Industrial and Applied Mathematics edited by Robert E. O'Malley, Jr |
|
Call Number: 510 ICI | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proceedings Institut Teknologi Bandung vol. 26 no. 1, 1994 suplemen : Symposium on computational methods in applied science/ edited E. Soewono |
|
Call Number: SEM-200 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result