Koleksi
Pencarian SpesifikLogic Programming
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11562931
Logic for Programming, Artificial Intelligence, and Reasoning
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11591191
Logic for Programming, Artificial Intelligence, and Reasoning
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b106931
Logic Based Program Synthesis and Transformation
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b137785
ZB 2005: Formal Specification and Development in Z and B
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b135596
Formal Techniques for Networked and Distributed Systems - FORTE 2005
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11562436
Formal Methods for Mobile Computing
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b135888
Implementation of Functional Languages
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b102274
Computer Science Logic
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11538363
Global Optimization and Constraint Satisfaction
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b136292
Hasil Pencarian
Ditemukan 144 dari pencarian Anda melalui kata kunci: subject="MEAN"
Permintaan membutuhkan 0.14909 detik untuk selesai
Informasi
Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog