Koleksi

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

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

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

Reconfigurable Computing : Accelerating Computation with Field-Programmable Gate Arrays

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

Static Analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

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

Machines, Computations, and Universality : 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers

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

Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

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

Programming Languages and Systems : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings

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

Logic Programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings

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

Processes, Terms and Cycles Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday

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

Developments in Language Theory : 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings

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

Logica Universalis : Towards a General Theory of Logic

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

Natural Language Processing and Information Systems : 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, Proceedings

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

Global Optimization and Constraint Satisfaction : Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers

Judul Seri :
No. Panggil : 518
Ketersediaan : E Book
Hal. Awal Sebelumnya 6 7 8 9 10 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 221 dari pencarian Anda melalui kata kunci: Subject : "FORMAL-INFORMAL INTEGRATION"
Saat ini anda berada pada halaman 9 dari total 12 halaman
Permintaan membutuhkan 0.0036 detik untuk selesai

Informasi

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