Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Favorite
Partial-order reduction in symbolic state space exploration, (LNCS-Lecture Notes in Computer Science 1254) Hal 340-351
Author: R. Alur; R.K. Brayton; T.A. Henzinger; S. Qadeer; S.K. Rajamani; | Publisher: Springer, 1997
[Remove]
Metode modifikasi RSA
Author: Achmad Rohman; | Publisher: Depok: Fakultas Ilmu Komputer UI, 2013
[Remove]
A tour through tapestry,Hal 21-30
Author: Douglas B.Terry; | Publisher: Proceedings : Conference on organizational computing systems November 1-4,1993
[Remove]
Artificial intelligence: structures and strategies for complex problem solving 3rd ed.
Author: Luger, George F.; | Publisher: Harlow, England: Addison-Wesley, 1998
[Remove]
Pengembangan aplikasi sistem monitoring pengembaalian part
Author: Irania; | Publisher: Depok: Fakultas Ilmu Komputer UI, 2014
[Remove]