Constraint Solving and Language Processing

Christiansen, Henning. - Skadhauge, Peter Rossen. - Villadsen, Jørgen.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Conditionals, Information, and Inference

Kern-Isberner, Gabriele. - Kulmann, Friedhelm. - Rödder, Wilhelm.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Conceptual Modeling - ER 2005

Kop, Christian. - Mayr, Heinrich C. - Mylopoulos, John. - Pastor, Oscar.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Reconfigurable Computing

Gokhale, Maya B. - Graham, Paul S.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Computer Aided Verification

Etessami, Kousha. - Rajamani, Sriram K.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Computer Aided Systems Theory – EUROCAST 2005

Moreno-Díaz, Roberto. - Pichler, Franz. - Quesada Arencibia, Alexis.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Foundations of Software Science and Computational Structures

Sassone, Vladimiro.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Frontiers of Combining Systems

Gramlich, Bernhard.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

Lodaya, Kamal. - Mahajan, Maena
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Natural Language Processing and Information Systems

Métais, Elisabeth. - Montoyo, Andrés. - Munoz, Rafael.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Hasil Pencarian


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

Informasi


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