A Practical Theory of Reactive Systems

Kurki-Suonio, R.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Practical Aspects of Declarative Languages

Cabeza, Daniel. - Hermenegildo, Manuel.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Object-Oriented Technology. ECOOP 2004 Workshop Reader

Malenfant, Jacques. - Østvold, Bjarte M.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Automated Technology for Verification and Analysis

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

Automated Deduction – CADE-20

Nieuwenhuis, Robert.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

ECOOP 2005 - Object-Oriented Programming

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

Distributed Applications and Interoperable Systems

Kutvonen., Lea
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Algorithmic Learning in a Random World

Gammerman, Alex. - Shafer, Glenn. - Vovk, Vladimir.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Developments in Language Theory

Calude, Cristian S. - Calude, Elena. - Dinneen, Michael J.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Algebra and Coalgebra in Computer Science

Fiadeiro, José Luis. - Harman, Neil. - Roggenbach, Markus. - Rutten, Jan
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Hasil Pencarian


Ditemukan 122 dari pencarian Anda melalui kata kunci: subject="PROGRAMS"
Permintaan membutuhkan 0.12387 detik untuk selesai
XML ResultJSON Result

Informasi


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