Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 21 22 23 24 25 Berikutnya Hal. Akhir

Constructing Correct Software

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

Term Rewriting and Applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings

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

Conceptual Structures Common Semantics for Sharing Knowledge : 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings

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

Proceedings of the Conference on Applied Mathematics and Scientific Computing

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

Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

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

Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

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

Unconventional Programming Paradigms : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers

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

Transactions on Rough Sets IV

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

ZB 2005 Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

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

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

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

Operational Semantics for Timed Systems : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

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

MICAI 2005 Advances in Artificial Intelligence : 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings

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

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

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

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book
Hal. Awal Sebelumnya 21 22 23 24 25 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 801 dari pencarian Anda melalui kata kunci: Subject : "Mathematical physics."
Saat ini anda berada pada halaman 24 dari total 41 halaman
Permintaan membutuhkan 0.0037 detik untuk selesai

Informasi

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