Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 21 22 23 24 25 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

Hybrid Systems Computation and Control : 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings

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

Information Networking : Convergence in Broadband and Mobile Networking. International Conference, ICOIN 2005, Jeju Island, Korea, January 31 - February 2, 2005, Proceedings

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

People and Computers XVIII - Design for Life : Proceedings of HCI 2004

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

Communications and Multimedia Security : 9th IFIP TC-6 TC-11 International Conference, CMS 2005, Salzburg, Austria, September 19-21, 2005, Proceedings

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

Advances in Information Retrieval : 27th European Conference on IR Research, ECIR 2005, Santiago de Compostela, Spain, March 21-23, 2005, Proceedings

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

Designing Virtual Reality Systems : The Structured Approach

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

A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors

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

Computational Methods in Systems Biology : International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers

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

Verification, Model Checking, and Abstract Interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

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

Knowledge-Based Intelligent Information and Engineering Systems : 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part I

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

Computer Supported Cooperative Work in Design I : 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers

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

Complex Dynamics in Communication Networks

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

3D Recording and Interpretation for Maritime Archaeology

Judul Seri :
No. Panggil : 910.285
Ketersediaan : E Book
Eksemplar : -

ECSCW 2005 : Proceedings of the Ninth European Conference on Computer-Supported Cooperative Work, 18-22 September 2005, Paris, France

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

Secure Systems Development with UML

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

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

Computer Music Modeling and Retrieval : Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004, Revised Papers

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

Hasil Pencarian

Ditemukan 671 dari pencarian Anda melalui kata kunci: Subject : "Open source software."
Saat ini anda berada pada halaman 21 dari total 34 halaman
Permintaan membutuhkan 0.00372 detik untuk selesai

Informasi

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