Koleksi

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

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

Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

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

Inconsistency Tolerance

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

Transactions on Rough Sets II : Rough Sets and Fuzzy Sets

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

A Theory of Distributed Objects : Asynchrony - Mobility - Groups - Components

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

Controlling Language in Industry : Controlled Languages for Technical Documents

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

Digital Control System of Electro-Hydraulic Servomechanism EHS 160

Judul Seri :
No. Panggil : JURNAL
Ketersediaan : 1 copies available
Eksemplar :
Item CodeCall NumberLocationStatus
40010.1JURNALR. MajalahTidak Dipinjamkan

Automated Deduction – CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

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

Compiler Construction : 14th International Conference, CC 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.13
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

Universal Artificial Intelligence : Sequential Decisions Based on Algorithmic Probability

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

Theoretical Aspects of Computing - ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

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

Typed Lambda Calculi and Applications : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings

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

Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

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

Hasil Pencarian

Ditemukan 10961 dari pencarian Anda melalui kata kunci: Subject : "PENDEKATAN FORMAL DAN INFORMAL"
Saat ini anda berada pada halaman 10 dari total 549 halaman
Permintaan membutuhkan 0.00393 detik untuk selesai

Informasi

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