Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 16 17 18 19 20 Hal. Akhir

Natural Language Processing – IJCNLP 2004 : First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers

Judul Seri :
No. Panggil : 006.35
Ketersediaan : E Book

Logical Aspects of Computational Linguistics : 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings

Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book

Fuzzy Systems and Knowledge Discovery : Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I

Judul Seri :
No. Panggil : 005.73
Ketersediaan : E Book

Operational Semantics for Timed Systems : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book

MICAI 2005 Advances in Artificial Intelligence : 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings

Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book

Formal Concept Analysis : Foundations and Applications

Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book

Deterministic and Statistical Methods in Machine Learning : First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures

Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book

Principles and Practice of Semantic Web Reasoning : Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings

Judul Seri :
No. Panggil : 005.7
Ketersediaan : E Book

Computational Linguistics and Intelligent Text Processing : 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings

Judul Seri :
No. Panggil : 025.04
Ketersediaan : E Book

Learning Theory : 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings

Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book

Database Theory - ICDT 2005 : 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings

Judul Seri :
No. Panggil : 005.74
Ketersediaan : E Book

Computational Logic in Multi-Agent Systems : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book

Conditionals, Information, and Inference : International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers

Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book

Transactions on Rough Sets II : Rough Sets and Fuzzy Sets

Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book

Controlling Language in Industry : Controlled Languages for Technical Documents

Judul Seri :
No. Panggil : 401.41
Ketersediaan : E Book

Transformations in design : a formal approach to stylistic change and innovation in the visual arts

Judul Seri :
No. Panggil : 745.444 Kni t
Ketersediaan : 1 copies available
Eksemplar :
Item CodeCall NumberLocationStatus
311030921265259745.444 Kni tLantai II TimurDiproses
31103161001781745.444 Kni tGedung Baru Lantai 6 (700, 800, 900)Available

Computer Aided Systems Theory – EUROCAST 2005 : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers

Judul Seri :
No. Panggil : 620.00420285
Ketersediaan : E Book

Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

Judul Seri :
No. Panggil : 005.131
Ketersediaan : E Book

Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book

Theory and Applications of Satisfiability Testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Judul Seri :
No. Panggil : 005.131
Ketersediaan : E Book
Hal. Awal Sebelumnya 16 17 18 19 20 Hal. Akhir

Hasil Pencarian

Ditemukan 400 dari pencarian Anda melalui kata kunci: Subject : "Logic design."
Saat ini anda berada pada halaman 17 dari total 20 halaman
Permintaan membutuhkan 0.0038 detik untuk selesai

Informasi

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