Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 6 7 8 9 10 Berikutnya Hal. Akhir

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

Logica Universalis : Towards a General Theory of Logic

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

Mathematical Foundations of Computer Science 2005 : 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings

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

Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings

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

AI 2005 Advances in Artificial Intelligence : 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings

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

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing : 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 2, 2005, Proceedings, Part II

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

Transactions on Rough Sets III

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

Constructing Correct Software

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

Unconventional Programming Paradigms : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers

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

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing : 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I

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

AI 2004 Advances in Artificial Intelligence : 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004, Proceedings

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

Implementation and Application of Automata : 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers

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

Discrete, Continuous, and Hybrid Petri Nets

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

AI*IA 2005 Advances in Artificial Intelligence : 9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings

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

Case-Based Reasoning Research and Development : 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005, Proceedings

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

Machine Learning ECML 2005 : 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings

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

Model Driven Architecture - Foundations and Applications : First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings

Judul Seri :
No. Panggil : 003.3
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

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
Hal. Awal Sebelumnya 6 7 8 9 10 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 1116 dari pencarian Anda melalui kata kunci: Subject : "Computer logic."
Saat ini anda berada pada halaman 7 dari total 56 halaman
Permintaan membutuhkan 0.00719 detik untuk selesai

Informasi

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