Koleksi

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

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

Formal Concept Analysis : Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings

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

Quality of Software Architectures and Software Quality : First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September, 20-22, 2005, Proceedings

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

Software engineering : a practitioner's approach

Judul Seri :
No. Panggil : 005.1 Pre s 2010
Ketersediaan : 1 copies available
Eksemplar :
Item CodeCall NumberLocationStatus
31103150400175 005.1 Pre s 2010 Lantai II TimurAvailable

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

Software Architecture : 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings

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

Constituents of Modern System-safety Thinking : Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8-10 February 2005

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

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

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

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

Correct Hardware Design and Verification Methods : 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings

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

Exploring Services Science : 5th International Conference, IESS 2014, Geneva, Switzerland, February 5-7, 2014. Proceedings

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

Expert Network Time Protocol : An Experience in Time with NTP

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

Tools and Algorithms for the Construction and Analysis of Systems : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings

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

Autonomy Oriented Computing : From Problem Solving to Complex Systems Modeling

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

High Performance Computing for Computational Science - VECPAR 2004 : 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers

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

Pro DNS and BIND

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

Hasil Pencarian

Ditemukan 1782 dari pencarian Anda melalui kata kunci: Subject : "Software Engineering/Programming and Operating Systems."
Saat ini anda berada pada halaman 5 dari total 90 halaman
Permintaan membutuhkan 0.00429 detik untuk selesai

Informasi

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