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

Foundations of Software Science and Computational Structures

Sassone, Vladimiro.
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

Multiparadigm Programming in Mozart/Oz

Van Roy, Peter.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

Ramanujam, R. - Sen, Sandeep.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Model-Based Testing of Reactive Systems

Broy, Manfred. - Jonsson, Bengt. - Katoen, Joost-Pieter. - Leucker, Martin. - Pretschner, Alexander.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Hasil Pencarian


Ditemukan 118 dari pencarian Anda melalui kata kunci: subject="MEANING"
Permintaan membutuhkan 0.12764 detik untuk selesai
XML ResultJSON Result

Informasi


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