Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 1 2 3 4 5 Berikutnya Hal. Akhir

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

Best Practices in Software Measurement : How to use metrics to improve project and process performance

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

Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

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

Engineering and Managing Software Requirements

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

Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

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

Inconsistency Tolerance

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

A Theory of Distributed Objects : Asynchrony - Mobility - Groups - Components

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

Automated Deduction – CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

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

Compiler Construction : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

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

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

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

Model-Based Testing of Reactive Systems : Advanced Lectures

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

Engineering Theories of Software Intensive Systems : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004

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

Service-Oriented Mapping : Changing Paradigm in Map Production and Geoinformation Management

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

Information Systems Development : Advances in Theory, Practice, and Education

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

Web Services in the Enterprise : Concepts, Standards, Solutions, and Management

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

Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

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

AMST'05 Advanced Manufacturing Systems and Technology : Proceedings of the Seventh International Conference

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

Logic Programming and Nonmonotonic Reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings

Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book
Hal. Awal Sebelumnya 1 2 3 4 5 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 1199 dari pencarian Anda melalui kata kunci: Subject : "COMPUTER SOFTWARE"
Saat ini anda berada pada halaman 5 dari total 60 halaman
Permintaan membutuhkan 0.0031 detik untuk selesai

Informasi

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