| Your search for 41084 returns 1817 document(s) |
| Computer aided verification: 7th international workshop; Proceedings/CAV'95, Liege, Belgium, July 3-5, 1995/Piere Wolper (ed) |
|
Author: International Conference, CAV'95; | Call Number: 004 Int c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Rules in database management/editor Timos Sellis |
|
Call Number: 004 Rul | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Extensions of the unity methodology/Josyula Rmachandra Rao |
|
Author: Rao, Josyula R.; | Call Number: 004 Rao e | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proof, language and interaction: essays in honour of Robin Milner/edited by Gordon Plotkin, Colin Stirling |
|
Call Number: 004 Pro | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Logics of programs : proceedings 1981 |
|
Call Number: 004 Log | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| CSCW'92 sharing perspectives: proceedings of the confrence on computer-supported cooperative work October 31 to November 4 1992 Toronto, Canada/John Turner |
|
Call Number: SEM-180 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Parallel Computing And Architecture: A Foundation for Designing Deadlock-Free Routing Algorithms in Wormhole Networks |
|
Author: D. N. Jayasimha, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Pengembangan Library Information System (LIS) matsushita gobel education foundation dengan content management system |
|
Author: Irma Irawati Ibrahim; | Call Number: PA-0040 (Softcopy PA-0040) | Edition: 2005 | Type: Proyek Akhir (PA)
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Stochastic binding response of laminated composite plate resting on elastic foundation with random material propeties, HAL. 185-191 |
|
Author: Achchhe Lai; Mihir V. Tadvi; | Call Number: SEM-290 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Requirements Engineering: Foundation for Software Quality 18th International Working Conference, REFSQ 2012 Essen, Germany, March 2012 Proceedings |
|
Author: Regnell, Bjorn; | Call Number: 005.1 Reg r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result