Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 6 7 Berikutnya Hal. Akhir

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

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

Complexity Theory : Exploring the Limits of Efficient Algorithms

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

Fuzzy Systems and Knowledge Discovery : Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part II

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

FM 2005 Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

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

Discrete, Continuous, and Hybrid Petri Nets

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

Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

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

Natural Language Processing – IJCNLP 2005 : Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings

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

Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers

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

Theoretical Computer Science : 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings

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

FSTTCS 2004 Foundations of Software Technology and Theoretical Computer Science : 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings

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

Computational Logic in Multi-Agent Systems : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers

Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book
Hal. Awal Sebelumnya 6 7 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 128 dari pencarian Anda melalui kata kunci: Subject : "FORMAL SCHEMA"
Saat ini anda berada pada halaman 6 dari total 7 halaman
Permintaan membutuhkan 0.00337 detik untuk selesai

Informasi

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