Judul Seri :
No. Panggil : 306.36
Ketersediaan : E Book
Judul Seri :
No. Panggil : 305
Ketersediaan : E Book

Interactional Competences in Institutional Settings : From School to the Workplace

Judul Seri :
No. Panggil : 418
Ketersediaan : E Book
Judul Seri :
No. Panggil : 305
Ketersediaan : E Book
Judul Seri :
No. Panggil : 378
Ketersediaan : E Book

Policy Implications of Virtual Work

Judul Seri : Dynamics of Virtual Work
No. Panggil : 361.61
Ketersediaan : E Book
Judul Seri :
No. Panggil : JURNAL
Ketersediaan : 1 copies available
Eksemplar :
Item CodeCall NumberLocationStatus
266171.1JURNAL R. MajalahTidak Dipinjamkan

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

Judul Seri :
No. Panggil : 005.1015113
Ketersediaan : E Book
Judul Seri :
No. Panggil : 005.1015113
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
Judul Seri :
No. Panggil : 005.131
Ketersediaan : E Book

ZB 2005 Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

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

Hasil Pencarian


Ditemukan 345 dari pencarian Anda melalui kata kunci: Subject : "LOGIC FRAME-WORK MATRIX"
Saat ini anda berada pada halaman 11 dari total 18 halaman
Permintaan membutuhkan 0.00309 detik untuk selesai

Informasi


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