Library Automation and Digital Archive
LONTAR
Fakultas Ilmu Komputer
Universitas Indonesia

Pencarian Sederhana

Find Similar Add to Favorite

Call Number 005.133 McG p
Collection Type Buku
Title Program verfication using ada/ A.D. McGettrick
Author McGettrick, A.D.;
Publisher London: Cambridge University Press, 1982
Subject ADA(Computer program language)
Location FASILKOM-UI;
Lokasi : Perpustakaan Fakultas Ilmu Komputer
Nomor Panggil ID Koleksi Status
005.133 McG p 91/0439 TERSEDIA
Tidak ada review pada koleksi ini: 26297
Tidak ada abstrak pada koleksi ini
Favorite
Set theory, logic and their limitations/ Moshe Machover
Author: Macchover, Moshe; | Publisher:
[Remove]
Uang digital offline
Author: Imelda Tandra; | Publisher: Depok: Fasilkom UI, 2006
[Remove]
Manager's guide to computers and information systems/Larry E.Long
Author: Long, Larry E.; | Publisher: London Prentice-Hall 1983
[Remove]
Centralization vs. Decentralization of Application Software
Author: David Schuff, [et all] | Publisher:
[Remove]
On delay-tolerant networking and its application, 261-265
Author: Wei Sun, Congmin Liu, Xiayong Wang; | Publisher:
[Remove]
Iterative methods for solving linear sysems/ Anne Greenbaum
Author: Greenbaum, Anne; | Publisher: Seattle, Washington: SIAM, 1997
[Remove]