Constructing Correct Software

Cooke, D. John.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

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

CONCUR 2005 - Concurrency Theory

Abadi, Martín. - de Alfaro, Luca.
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 Safety, Reliability, and Security

Dahll, Gustav. - Gran, Bjoern Axel. - Winther, Rune.
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 Security Analysis and Design III

Aldini, Alessandro. - Gorrieri, Roberto. - Martinelli, Fabio.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Hasil Pencarian


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

Informasi


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