Automated Technology for Verification and Analysis

Peled, Doron A. - Tsay, Yih-Kuen.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Automata, Languages and Programming

Caires, Luis. - Italiano, Guiseppe F. - Monteiro, Luis - Palamidessi, Catuscia. - Yung, Moti.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Engineering Theories of Software Intensive Systems

Broy, Manfred. - Gruenbauer, Johannes. - Harel, David. - Hoare, Tony.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Energy Minimization Methods in Computer Vision and Pattern Recognition

Rangarajan, Anand. - Vemuri, Baba. - Yuille, Alan L.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Embedded Software and Systems

Bu, Jiajun. - Chen, Chun. - Guo, Minyi. - Wu, Zhaohui.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Embedded Software and Systems

Lin, Man. - Wu, Zhaohui. - Yang, Laurence T. - Zhao, Wei. - Zhou, Xingshe. - Zhu, Yian.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Embedded Computer Systems: Architectures, Modeling, and Simulation

Hämäläinen, Timo D. - Pimentel, Andy D. - Takala, Jarmo. - Vassiliadis, Stamatis.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

The Austin Protocol Compiler

Gouda, Mohamed G. - McGuire, Tommy M.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005

Duch, Wlodzislaw. - Oja, Erkki. - Zadrozny, Slawomir
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Artificial Neural Networks: Biological Inspirations – ICANN 2005

Duch, Wlodzislaw. - Oja, Erkki. - Zadrozny, Slawomir
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Hasil Pencarian


Ditemukan 329 dari pencarian Anda melalui kata kunci: subject="COMPUTERS."
Permintaan membutuhkan 0.16818 detik untuk selesai
XML ResultJSON Result

Informasi


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