Koleksi
Pencarian SpesifikAdapting Proofs-as-Programs
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/0-387-28183-5
Active Mining
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b136140
Accessible Access 2003
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/1-84628-189-X
Abstraction, Reformulation and Approximation
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11527862
Abstraction, Refinement and Proof for Probabilistic Systems
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b138392
Abstract Computing Machines
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b138965
Component-Based Software Development for Embedded Systems
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11591962
Component Models and Systems for Grid Applications
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b101333
Component Deployment
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11590712
Complexity Theory and Cryptology
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/3-540-28520-2
Hasil Pencarian
Ditemukan 2166 dari pencarian Anda melalui kata kunci: subject="COMP"
Permintaan membutuhkan 0.46048 detik untuk selesai
Informasi
Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog