Koleksi
Pencarian SpesifikInconsistency Tolerance
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b104925
Theoretical Aspects of Computing - ICTAC 2004
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b107116
A Theory of Distributed Objects
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b138812
Formal Methods in Software and Systems Modeling
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b106390
Verification, Model Checking, and Abstract Interpretation
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b105073
Fundamental Approaches to Software Engineering
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b107062
Term Rewriting and Applications
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b135673
Formal Methods for Open Object-Based Distributed Systems
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b136996
Intelligent Agents and Multi-Agent Systems
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b107183
Developments in Language Theory
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b137735
Hasil Pencarian
Ditemukan 92 dari pencarian Anda melalui kata kunci: subject="Computer logic."
Permintaan membutuhkan 0.14453 detik untuk selesai
Informasi
Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog