Your search for 19896 returns 2576 document(s) |
On-line, reflexive constraint satisfaction for hybrid systems: first steps ( Invited presentation ), (LNCS-Lecture Notes in Computer Science 1201) Hal 93-107 |
Author: Michael S. Branicky; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Some connections between iterative programs, recursive programs, and first-order logic, (LNCS-Lecture Notes in Computer Science 131) Hal. 150-166 |
Author: A.J. Kfoury; | Call Number: 004 Lec | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Pengembangan sistem informasi kepegawaian PT. Puninar Pacific |
Author: Yudhy P., Agus; | Call Number: KP-0090 | Type: Kerja Praktek (KP)
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Laporan kerja praktek di PT. Calter Pacific Indonesia |
Author: Sius Wibisono, Neil NF. Siregar; | Call Number: KP-0043 | Type: Kerja Praktek (KP)
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Eurographics'85 ( 6th: 1985)/Editor C.E. Vandani |
Call Number: 006.6 Eur | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Proceedings The 20th IEEE International conference on Distributed Computing Systems Taipei, Taiwan 10-13 April 2000/IEEE Computer Society |
Author: IEEE Computer Society; | Call Number: 004.35 Pro | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Proceedings of the international conference on advanced computer science and information systems (ICACSIS 2009) Universitas Indonesia December 7th-8th, 2009 |
Call Number: Softcopy Seminar-010 (SEM-294) | Type: Softcopy 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
|
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
|
Computer-generated images: the state of the art: Proceedings of graphics interfaces'85/ editor Nadia magnenat-Halmann |
Call Number: 006.6 Com | Type: Buku
|
Find Similar |
Add To Favorites |
Detail in New Window
|