Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 1 2 3 4 5 Berikutnya Hal. Akhir

Automated Technology for Verification and Analysis

Peled, Doron A. - Tsay, Yih-Kuen.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11562948

Automated Deduction – CADE-20

Nieuwenhuis, Robert.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11532231

ECOOP 2005 - Object-Oriented Programming

Black, Andrew.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11531142

Distributed Applications and Interoperable Systems

Kutvonen., Lea
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b137217

Developments in Language Theory

Calude, Cristian S. - Calude, Elena. - Dinneen, Michael J.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b103739

Algebra and Coalgebra in Computer Science

Fiadeiro, José Luis. - Harman, Neil. - Roggenbach, Markus. - Rutten, Jan
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11548133

Agent-Oriented Software Engineering V

Giorgini, Paolo. - Müller, Jörg, P. - Odell, James.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b105022

Declarative Agent Languages and Technologies II

Leite, João. - Omicini, Andrea. - Torroni, Paolo. - Yolum, Pinar.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b136890

Agent Communication

Dignum, Frank. - Huget, Marc-Philippe. - van Eijk, Rogier M.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b106468

Correct Hardware Design and Verification Methods

Borrione, Dominique. - Paul, Wolfgang.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11560548
Hal. Awal Sebelumnya 1 2 3 4 5 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 144 dari pencarian Anda melalui kata kunci: subject="MEAN"
Permintaan membutuhkan 0.18254 detik untuk selesai
XML ResultJSON Result

Informasi

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