Judul Seri :
No. Panggil : 572
Ketersediaan : E Book

Adapting Proofs-as-Programs : The Curry--Howard Protocol

Judul Seri :
No. Panggil : 005.1015113
Ketersediaan : E Book
Judul Seri :
No. Panggil : 006.312
Ketersediaan : E Book
Judul Seri :
No. Panggil : 005.11
Ketersediaan : E Book
Judul Seri :
No. Panggil : 006.4
Ketersediaan : E Book

Research in Computational Molecular Biology : 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book
Judul Seri :
No. Panggil : 006.6
Ketersediaan : E Book

Applications of Agent Technology in Traffic and Transportation

Judul Seri :
No. Panggil : 005.11
Ketersediaan : E Book
Judul Seri :
No. Panggil : 005.74
Ketersediaan : E Book

Data Mining in Bioinformatics

Judul Seri :
No. Panggil : 005.74
Ketersediaan : E Book

Nearest Neighbor Search : A Database Perspective

Judul Seri :
No. Panggil : 005.74
Ketersediaan : E Book

Graph-Theoretic Concepts in Computer Science : 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004, Revised Papers

Judul Seri :
No. Panggil : 004.0151
Ketersediaan : E Book
Judul Seri :
No. Panggil : JURNAL
Ketersediaan : 1 copies available
Eksemplar :
Item CodeCall NumberLocationStatus
33687.1JURNALR. MajalahTidak Dipinjamkan

Hasil Pencarian


Ditemukan 300 dari pencarian Anda melalui kata kunci: Subject : "Arithmetic and Logic Structures."
Saat ini anda berada pada halaman 6 dari total 15 halaman
Permintaan membutuhkan 0.00785 detik untuk selesai

Informasi


Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog