Computational Linguistics and Intelligent Text Processing

Gelbukh, Alexander.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Comprehensive Mathematics for Computer Scientists 2

Mazzola, Guerino. - Milmeister, Gérard. - Weissmann, Jody.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Adapting Proofs-as-Programs

Crossley, John N. - Poernomo, Iman. - Wirsing, Martin.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Abstraction, Reformulation and Approximation

Saitta, Lorenza. - Zucker, Jean-Daniel.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Abstraction, Refinement and Proof for Probabilistic Systems

McIver, Annabelle. - Morgan, Charles Carroll.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Complexity Theory

Wegener, Ingo.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Compiler Construction

Bodik, Rastislav.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Formal Concept Analysis

Ganter, Bernhard. - Godin, Robert.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

FM 2005: Formal Methods

Fitzgerald, John. - Hayes, Ian J.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Machine Learning and Data Mining in Pattern Recognition

Imiya, Atsushi. - Perner, Petra.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Hasil Pencarian


Ditemukan 105 dari pencarian Anda melalui kata kunci: subject="Mathematical logic."
Permintaan membutuhkan 0.13216 detik untuk selesai
XML ResultJSON Result

Informasi


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