Automated Technology for Verification and Analysis

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

Automated Reasoning with Analytic Tableaux and Related Methods

Beckert, Bernhard.
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

Enterprise Information Systems V

Camp, Olivier. - Filipe, Joaquim. - Hammoudi, Slimane. - Piattini, Mario G.
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

Design of Embedded Control Systems

Adamski, Marian Andrzej. - Karatkevich, Andrei. - Wegrzyn, Marek.
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

ECOOP 2005 - Object-Oriented Programming

Black, Andrew.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Distributed Computing and Internet Technology

Chakraborty, Goutam.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Hasil Pencarian


Ditemukan 320 dari pencarian Anda melalui kata kunci: subject="PROGRAMMING"
Permintaan membutuhkan 0.15761 detik untuk selesai
XML ResultJSON Result

Informasi


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