Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 11 12 13 14 Berikutnya Hal. Akhir

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

Introduction to Assembly Language Programming : For Pentium and RISC Processors

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

Unconventional Programming Paradigms : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers

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

Implementation of Functional Languages : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers

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

Developing Statistical Software in Fortran 95

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

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

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

Languages and Compilers for High Performance Computing : 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers

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

Generative Programming and Component Engineering : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings

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

Static Analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

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

Software Composition : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers

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

Languages and Compilers for Parallel Computing : 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers

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

Model Checking Software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

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

Implementing Distributed Systems with Java and CORBA

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

Formal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings

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

Formal Methods for Open Object-Based Distributed Systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Judul Seri :
No. Panggil : 004.6
Ketersediaan : E Book
Hal. Awal Sebelumnya 11 12 13 14 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 265 dari pencarian Anda melalui kata kunci: Subject : "ELECTRONIC ANIMAL IDENTIFICATION"
Saat ini anda berada pada halaman 11 dari total 14 halaman
Permintaan membutuhkan 0.00364 detik untuk selesai

Informasi

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