Koleksi

Pencarian Spesifik
1 2 3 4 5 Berikutnya Hal. Akhir

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

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

Biomimetic Neural Learning for Intelligent Robots : Intelligent Systems, Cognitive Robotics, and Neuroscience

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

Event-Triggered and Time-Triggered Control Paradigms

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

Dependable Computing : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings

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

Dependable Computing - EDCC 2005 : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings

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

Nonlinear Speech Modeling and Applications : Advanced Lectures and Revised Selected Papers

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

Socionics : Scalability of Complex Social Systems

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

UML for SOC Design

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

Functional Verification of Programmable Embedded Architectures : A Top-Down Approach

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

Switching and Learning in Feedback Systems : European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers

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

XML for Bioinformatics

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

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

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

Cyberspace Security and Defense Research Issues : Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues, Gdansk, Poland, from 6 to 9 September 2004.

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

Biometric Systems : Technology, Design and Performance Evaluation

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

Software Agent-Based Applications, Platforms and Development Kits

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

Audit Charter Suatu dokumen formal inspektorat jendral dalam menjalankan fungsi pengawasannya

Judul Seri :
No. Panggil : JURNAL
Ketersediaan : 1 copies available
Eksemplar :
Item CodeCall NumberLocationStatus
29906.1JURNALR. MajalahTidak Dipinjamkan

Embedded Software and Systems : First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers

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

Hasil Pencarian

Ditemukan 1203 dari pencarian Anda melalui kata kunci: Subject : "Special Purpose and Application-Based Systems."
Permintaan membutuhkan 0.00352 detik untuk selesai

Informasi

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