Automated Reasoning with Analytic Tableaux and Related Methods

Beckert, Bernhard.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Automated Deduction – CADE-20

Nieuwenhuis, Robert.
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

Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems

Pejas, Jerzy. - Piegat, Andrzej.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Engineering Societies in the Agents World V

Gleizes, Marie-Pierre. - Omicini, Andrea. - Zambonelli, Franco.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Engineering Self-Organising Systems

Brueckner, Sven A. - Di Marzo Serugendo, Giovanna. - Karageorgos, Anthony. - Nagpal, Radhika.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Energy Minimization Methods in Computer Vision and Pattern Recognition

Rangarajan, Anand. - Vemuri, Baba. - Yuille, Alan L.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Attention and Performance in Computational Vision

Humphreys, Glyn. - Paletta, Lucas. - Rome, Erich - Tsotsos, John K.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005

Duch, Wlodzislaw. - Oja, Erkki. - Zadrozny, Slawomir
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Artificial Neural Networks: Biological Inspirations – ICANN 2005

Duch, Wlodzislaw. - Oja, Erkki. - Zadrozny, Slawomir
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Hasil Pencarian


Ditemukan 662 dari pencarian Anda melalui kata kunci: subject="IGE"
Permintaan membutuhkan 0.22943 detik untuk selesai
XML ResultJSON Result

Informasi


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