Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 16 17 18 19 20 Berikutnya Hal. Akhir

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

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

Programming Multi-Agent Systems : Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers

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

Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings

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

Agent Communication : International Workshop on Agent Communication, AC 2004, New York, NY, July 19, 2004

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

Abstract Computing Machines : A Lambda Calculus Perspective

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

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

Implementation of Functional Languages : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers

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

Formal Techniques for Networked and Distributed Systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

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

Electronic Government : 4th International Conference, EGOV 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings

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

Intelligence and Security Informatics : IEEE International Conference on Intelligence and Security Informatics, ISI 2005, Atlanta, GA, USA, May 19-20, 2005, Proceedings

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

Computer Safety, Reliability, and Security : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings

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

Rapid Integration of Software Engineering Techniques : First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers

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

ECOOP 2005 - Object-Oriented Programming : 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

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

Model Driven Architecture - Foundations and Applications : First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings

Judul Seri :
No. Panggil : 003.3
Ketersediaan : E Book
Hal. Awal Sebelumnya 16 17 18 19 20 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 430 dari pencarian Anda melalui kata kunci: Subject : "Statistics and Computing/Statistics Programs."
Saat ini anda berada pada halaman 17 dari total 22 halaman
Permintaan membutuhkan 0.00275 detik untuk selesai

Informasi

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