Koleksi
Pencarian SpesifikLogic 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
Theoretical Computer Science
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11560586
Formal Techniques for Computer Systems and Business Processes
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11549970
Hasil Pencarian
Ditemukan 92 dari pencarian Anda melalui kata kunci: subject="Computer logic."
Permintaan membutuhkan 0.1232 detik untuk selesai
Informasi
Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog