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

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

Fuzzy Modeling with Spatial Information for Geographic Problems

Judul Seri :
No. Panggil : 910.285
Ketersediaan : E Book
Judul Seri :
No. Panggil : 510
Ketersediaan : E Book
Judul Seri :
No. Panggil : 511.3
Ketersediaan : E Book

Valued Fields

Judul Seri :
No. Panggil : 512
Ketersediaan : E Book
Judul Seri :
No. Panggil : 551.4
Ketersediaan : E Book
Judul Seri :
No. Panggil : 512
Ketersediaan : E Book

Automata, Languages and Programming : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings

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

The Next Wave in Computing, Optimization, and Decision Technologies

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

Field Arithmetic

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

Energy Dissipation in Molecular Systems

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

Geostatistics Banff 2004

Judul Seri :
No. Panggil : 519.5
Ketersediaan : E Book
Judul Seri :
No. Panggil : 621.4021
Ketersediaan : E Book

Fluid Mechanics of Flow Metering

Judul Seri :
No. Panggil : 620.1064
Ketersediaan : E Book
Judul Seri :
No. Panggil : 519.6
Ketersediaan : E Book

Biomedical EPR - Part A: Free Radicals, Metals, Medicine and Physiology

Judul Seri :
No. Panggil : 616.0757
Ketersediaan : E Book
Judul Seri :
No. Panggil : 332
Ketersediaan : E Book
Judul Seri :
No. Panggil : 627.042 Fra s
Ketersediaan : 1 copies available
Eksemplar :
Item CodeCall NumberLocationStatus
31193140200911627.042 Fra sGedung Baru Lantai 5 (600)Available

Hasil Pencarian


Ditemukan 922 dari pencarian Anda melalui kata kunci: Subject : "Theoretical, Mathematical and Computational Physics."
Saat ini anda berada pada halaman 27 dari total 47 halaman
Permintaan membutuhkan 0.00378 detik untuk selesai

Informasi


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