Theoretical Aspects of Computing - ICTAC 2005

Hung, Dang Van. - SpringerLink (Online service) - Wirsing, Martin.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Formal Methods for Components and Objects

Bonsangue, Marcello M. - de Boer, Frank S. - de Roever, Willem-Paul. - Graf, Susanne. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

Solojentsev, Evgueni D. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Modeling Decisions for Artificial Intelligence

Miyamoto, Sadaaki. - Narukawa, Yasuo. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Computational Logic in Multi-Agent Systems

Leite, João. - SpringerLink (Online service) - Torroni, Paolo.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Integrated Formal Methods

Romijn, Judi M.T. - Smith, Graeme P. - SpringerLink (Online service) - van de Pol, Jaco C.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Fuzzy Systems and Knowledge Discovery

Jin, Yaochu. - SpringerLink (Online service) - Wang, Lipo.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Modern Perspectives in Type-Theoretical Semantics

Chatzikyriakidis, Stergios. - Luo, Zhaohui.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Controlling Language in Industry

Crabbe, Stephen.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Modality in Argumentation

Rocci, Andrea.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Hasil Pencarian


Ditemukan 170 dari pencarian Anda melalui kata kunci: subject="Logic."
Permintaan membutuhkan 0.13023 detik untuk selesai
XML ResultJSON Result

Informasi


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