Koleksi
Pencarian SpesifikComputer Aided Verification
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b138445
Computer Aided Systems Theory – EUROCAST 2005
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11556985
Foundations of Security Analysis and Design III
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11554578
Foundations of Software Science and Computational Structures
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b106850
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b104325
Natural Language Processing and Information Systems
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b136569
Multiparadigm Programming in Mozart/Oz
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b106627
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11590156
Model-Based Testing of Reactive Systems
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b137241
Model Driven Architecture - Foundations and Applications
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11581741
Hasil Pencarian
Ditemukan 92 dari pencarian Anda melalui kata kunci: subject="Computer logic."
Permintaan membutuhkan 0.12355 detik untuk selesai
Informasi
Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog