Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 1 2 3 4 5 Berikutnya Hal. Akhir

Operational Semantics for Timed Systems

Rust, Heinrich.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/978-3-540-32008-1

Object-Oriented Technology. ECOOP 2004 Workshop Reader

Malenfant, Jacques. - Østvold, Bjarte M.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b104146

Automated Technology for Verification and Analysis

Peled, Doron A. - Tsay, Yih-Kuen.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11562948

Automated Reasoning with Analytic Tableaux and Related Methods

Beckert, Bernhard.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11554554

Automated Deduction – CADE-20

Nieuwenhuis, Robert.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11532231

Automata, Languages and Programming

Caires, Luis. - Italiano, Guiseppe F. - Monteiro, Luis - Palamidessi, Catuscia. - Yung, Moti.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11523468

ECOOP 2005 - Object-Oriented Programming

Black, Andrew.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11531142

Distributed Applications and Interoperable Systems

Kutvonen., Lea
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b137217

Algorithmic Learning Theory

Jain, Sanjay. - Simon, Hans Ulrich. - Tomita, Etsuji.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11564089

Developments in Language Theory

Calude, Cristian S. - Calude, Elena. - Dinneen, Michael J.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b103739
Hal. Awal Sebelumnya 1 2 3 4 5 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 170 dari pencarian Anda melalui kata kunci: subject="Logic."
Permintaan membutuhkan 0.15124 detik untuk selesai
XML ResultJSON Result

Informasi

Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog