Koleksi

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

Component-Based Software Engineering : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005

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

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

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

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

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

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

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

Requirements Engineering

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

Multi-Agent Systems and Applications IV : 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings

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

Intelligent Agents and Multi-Agent Systems : 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers

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

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

Distributed Computing – IWDC 2005 : 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings

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

Advances in Informatics : 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005, Proceedings

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

Hasil Pencarian

Ditemukan 1401 dari pencarian Anda melalui kata kunci: Subject : "Software engineering."
Saat ini anda berada pada halaman 4 dari total 71 halaman
Permintaan membutuhkan 0.00434 detik untuk selesai

Informasi

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