| Your search for 19434 returns 2889 document(s) |
| Proceedings of the institution of mechanical engineers fourth European Conference 6-7 December 1989 |
|
Call Number: SEM-128 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| International conference on fifth generation computer systems (FGCS) 1992 June 1-5, 1992 Tokyo, Japan Proceedings vol. 2 |
|
Call Number: SEM-183 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| 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
|
| Distributed computer control systems 1981: proceedings of the third IFAC workshop, Beijing, China, 15-17 Agust 1981 |
|
Call Number: 629.895 Dis | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proceedings of the 12th int. conference on distributed computing systems June 9-12, 1992, Yokohama Japan/Sponsored by The IEEE Computer Soc. Tech. Committe on distributed computing |
|
Call Number: 004.36 Pro | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Computer aided verification: 9th international conf. Cav'97 Haifa, Israel, June 22-25, 1997 Proceedings/edited Orna Grunberg |
|
Author: International Conference, CAV'97; | Call Number: 004 Int c | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proceedings third annual symposium on logic in computer science July 5-8, 1988 |
|
Call Number: SEM-045 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Software engineering environments : proceedings of the Symposium held in Lahnstein, Federal Republic of Germany, June 16-20-, 1980 / organized by Gesellschaft für Mathematik und Datenverarbeitung ; edited by Horst Hünke. |
|
Call Number: 005.1 Sof | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Satellite workshop on language artifical intelligence and computer science for natural processing applications (LAICS-NLP) October 19 2006 |
|
Call Number: SEM-369 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| What can be automated : the computer science and engineering research study |
|
Call Number: 004 Wha | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result