Advanced Functional Programming

Uustalu, Tarmo. - Vene, Varmo.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Advanced Distributed Systems

Lrios Rosillo, Victor. - Ramos, Felix F. - Unger, Herwig.
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, Refinement and Proof for Probabilistic Systems

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

Component-Based Software Development for Embedded Systems

Atkinson, Colin. - Bunse, Christian. - Gross, Hans-Gerhard. - Peper, Christian.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Component Deployment

Dearle, Alan. - Eisenbach, Susan.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Financial Cryptography and Data Security

Patrick, Andrew S. - Yung, Moti.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Logic Programming

Gabbrielli, Maurizio. - Gupta, Gopal.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Logic for Programming, Artificial Intelligence, and Reasoning

Sutcliffe, Geoff. - Voronkov, Andrei.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Logic for Programming, Artificial Intelligence, and Reasoning

Baader, Franz. - Voronkov, Andrei.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Hasil Pencarian


Ditemukan 250 dari pencarian Anda melalui kata kunci: subject="Operating Systems."
Permintaan membutuhkan 0.15151 detik untuk selesai
XML ResultJSON Result

Informasi


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