Koleksi

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

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

Foundations of Security Analysis and Design III : FOSAD 2004/2005 Tutorial Lectures

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

Model Driven Architecture : European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers

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

Job Scheduling Strategies for Parallel Processing : 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers

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

Job Scheduling Strategies for Parallel Processing : 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers

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

Advances in Computer Systems Architecture : 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings

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

Modeling Decisions for Artificial Intelligence : Second International Conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005, Proceedings

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

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

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

Inductive Logic Programming : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings

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

Frontiers of Combining Systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings

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

Membrane Computing : 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers

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

Conceptual Modeling - ER 2005 : 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings

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

Constraint Solving and Language Processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers

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

Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Judul Seri :
No. Panggil : 620.00420285
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 8 dari total 56 halaman
Permintaan membutuhkan 0.0031 detik untuk selesai

Informasi

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