Your search for 2994 returns 745 document(s) |
FME'93: Industrial-strength formal methods: First Internationl Symposium of formal methods Europe-Odense, Denmark ,April 1993 |
Author: Woodcock, J.C.P.; | Call Number: 004 Woo f | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The 14 th Int. symposium on computer architecture June 2-5, 1987 Pittsbur, Pennsylvania/IEEE Computer Society |
Call Number: SEM-112 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
ZUM'95: the Z formal specification motion: 9th Int. conf. of z user's limerick, Freland, September 7-9, 1995/Jonathan Bowen |
Author: Bowen, Jonathan P.; | Call Number: 005.133 Bow z | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Transhumance,livelihood and sustainable development and conflict between formal institution and communal governance: and evaluative note on east himalayan state of sikkim, india (V1-1 s/d V1-07) |
Author: Anjan Chakrabarti; | Call Number: SEM-354 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Kebutuhan & pengembangan tenaga ilmiah dan peneliti Indonesia menjelang tahun 2000 buku II : hasil-hasil Simposium dan Lokakarya kebutuhan dan pengembangan Tenaga Ilmiah dan Peneliti Indonesia menjelang tahun 2000 Jakarta 2-7 Agustus 1976 |
Call Number: SEM-075 | Type: Prosiding Seminar
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Modeling and Verification of Web Applications uisng Formal Techniques Methods (220-229) |
Author: Atsushi Togashi
Yuh Kitano
Satoru Izumi
Kaoru Takahashic
kei Homma; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
E-shock 2000: the electronic shopping revolution strategies for retails and manufactures/Michael de Kare-Siever |
Author: Kare-Siever, Michael de; | Call Number: 621.381 Kar e [MTI UI] | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
New Perspectives series introductory microsoft office 2000: with visual basic for applications/Rebekah Tidwell; Neil Thomas |
Author: Tidwell, Rebekah; | Call Number: 005.43 Tid n | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Visual age for java version 4.0 for windows 99 windows 2000 windows NT/IBM |
Call Number: 005.133 Vis | Type: Softcopy Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Mcmaster students win top prize at CSIDC 2000* heart mate takes top honors, page 9 |
Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|