Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Barthe, Gilles. - Burdy, Lilian. - Huisman, Marieke. - Lanet, Jean-Louis. - Muntean, Traian.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Constructing Correct Software

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

System Level Design of Reconfigurable Systems-on-Chip

Masselos, Konstantinos. - Voros, Nikolaos.
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 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

Hasil Pencarian


Ditemukan 893 dari pencarian Anda melalui kata kunci: subject="LANGU"
Permintaan membutuhkan 0.23173 detik untuk selesai
XML ResultJSON Result

Informasi


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