Koleksi

Pencarian Spesifik
1 2 3 4 5 Berikutnya Hal. Akhir

Adaptive Agents and Multi-Agent Systems II : Adaptation and Multi-Agent Learning

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

Software Engineering and Middleware : 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers

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

UML Modeling Languages and Applications : <> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers

Judul Seri :
No. Panggil : 005.1
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 Driven Engineering Languages and Systems : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings

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

Model-Based Testing of Reactive Systems : Advanced Lectures

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

XML for Bioinformatics

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

Database Programming Languages : 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers

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

Embedded Systems Design : The ARTIST Roadmap for Research and Development

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

Formal Approaches to Software Testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

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

Fundamental Approaches to Software Engineering : 8th International Conference, FASE 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.1
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

High Performance Embedded Architectures and Compilers : First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings

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

Programming Multi-Agent Systems : Second International Workshop ProMAS 2004, New York, NY, July 20, 2004, Selected Revised and Invited Papers

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

Abstract Computing Machines : A Lambda Calculus Perspective

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

Operational Semantics for Timed Systems : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

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

Developing Statistical Software in Fortran 95

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

Hasil Pencarian

Ditemukan 539 dari pencarian Anda melalui kata kunci: Subject : "Programming Languages, Compilers, Interpreters."
Permintaan membutuhkan 0.00358 detik untuk selesai

Informasi

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