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

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

Guide to RISC Processors : for Programmers and Engineers

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

Genetic Programming Theory and Practice II

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

The Internet guide for finance

Judul Seri :
No. Panggil : R 004.678 02 Wig i
Ketersediaan : 1 copies available
Eksemplar :
Item CodeCall NumberLocationStatus
311030519247613R 004.678 02 Wig iLantai I Utara Bag. Tengah (Referensi, Rep.)Tidak Dipinjamkan

Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Judul Seri :
No. Panggil : 004.0151
Ketersediaan : E Book
Judul Seri :
No. Panggil : 005.82
Ketersediaan : E Book
Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book
Judul Seri :
No. Panggil : 005.13
Ketersediaan : E Book
Judul Seri :
No. Panggil : 005.11
Ketersediaan : E Book

Data Mining in Bioinformatics

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

Hasil Pencarian


Ditemukan 961 dari pencarian Anda melalui kata kunci: Subject : "Internet programming"
Saat ini anda berada pada halaman 23 dari total 49 halaman
Permintaan membutuhkan 0.00434 detik untuk selesai

Informasi


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