Koleksi

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

Power-Aware Computer Systems : 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers

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

Scientific Applications of Grid Computing : First International Workshop, SAG 2004, Beijing, China, September, Revised Selected and Invited Papers

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

Cyberspace Security and Defense Research Issues : Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues, Gdansk, Poland, from 6 to 9 September 2004.

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

Job Scheduling Strategies for Parallel Processing : 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, Revised Selected Papers

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

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

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

Embedded Systems Design : The ARTIST Roadmap for Research and Development

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

Programming Languages and Systems : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings

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

Component Deployment : Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings

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

Multiparadigm Programming in Mozart/Oz : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers

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

Formal Methods for Mobile Computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

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

XML for Bioinformatics

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

Reliable Software Technology – Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings

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

Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

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

Distributed Applications and Interoperable Systems : 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings

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

Formal Modeling and Analysis of Timed Systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

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

Formal Methods for Open Object-Based Distributed Systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings

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

Middleware 2005 : ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings

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

Trustworthy Global Computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

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

Hasil Pencarian

Ditemukan 543 dari pencarian Anda melalui kata kunci: Subject : "Computers and civilization."
Saat ini anda berada pada halaman 24 dari total 28 halaman
Permintaan membutuhkan 0.00309 detik untuk selesai

Informasi

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