Koleksi
Pencarian SpesifikFormal 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
Pressure and Temperature Sensitive Paints
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b137841
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
Tools and Algorithms for the Construction and Analysis of Systems
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b107194
Formal Methods and Software Engineering
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11576280
Hasil Pencarian
Ditemukan 318 dari pencarian Anda melalui kata kunci: subject="MEA"
Permintaan membutuhkan 0.19621 detik untuk selesai
Informasi
Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog