Koleksi
Pencarian SpesifikTools 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
Hybrid Systems: Computation and Control
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b106766
Theorem Proving in Higher Order Logics
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11541868
Typed Lambda Calculi and Applications
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b135690
Formal Modeling and Analysis of Timed Systems
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11603009
Software Composition
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11550679
Implementation and Application of Functional Languages
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b136772
Static Analysis
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11547662
Theoretical Aspects of Computing - ICTAC 2005
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11560647
Hasil Pencarian
Ditemukan 92 dari pencarian Anda melalui kata kunci: subject="Computer logic."
Permintaan membutuhkan 0.14628 detik untuk selesai
Informasi
Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog