Koleksi

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

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

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

Comprehensive Mathematics for Computer Scientists 2 : Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus

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

Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

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

Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

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

Abstraction, Reformulation and Approximation : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 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 222 dari pencarian Anda melalui kata kunci: Subject : "FORMAL-INFORMAL INTEGRATION"
Saat ini anda berada pada halaman 10 dari total 12 halaman
Permintaan membutuhkan 0.00337 detik untuk selesai

Informasi

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