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

Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Judul Seri :
No. Panggil : 005.131
Ketersediaan : E Book
Judul Seri :
No. Panggil : 004.0151
Ketersediaan : E Book
Judul Seri :
No. Panggil : 620.00420285
Ketersediaan : E Book
Judul Seri :
No. Panggil : 005.11
Ketersediaan : E Book
Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book

Theoretical Computer Science : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings

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

Abstraction, Refinement and Proof for Probabilistic Systems

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

Hasil Pencarian


Ditemukan 562 dari pencarian Anda melalui kata kunci: Subject : "Mathematical logic."
Saat ini anda berada pada halaman 4 dari total 29 halaman
Permintaan membutuhkan 0.00445 detik untuk selesai

Informasi


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