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

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

Agent-Oriented Software Engineering V

Giorgini, Paolo. - Müller, Jörg, P. - Odell, James.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Declarative Agent Languages and Technologies II

Leite, João. - Omicini, Andrea. - Torroni, Paolo. - Yolum, Pinar.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Agent Communication

Dignum, Frank. - Huget, Marc-Philippe. - van Eijk, Rogier M.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Correct Hardware Design and Verification Methods

Borrione, Dominique. - Paul, Wolfgang.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

CONCUR 2005 - Concurrency Theory

Abadi, Martín. - de Alfaro, Luca.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Hasil Pencarian


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

Informasi


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