Koleksi

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

Engineering Theories of Software Intensive Systems : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004

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

Introduction to programming and computer science

Judul Seri :
No. Panggil : 001.642 Ral i
Ketersediaan : 2 copies available
Eksemplar :
Item CodeCall NumberLocationStatus
3110305254244001.642 Ral iGedung Lama Lantai 1 Timur 000Available
31103983055778 001.642 Ral i Lantai II TimurAvailable

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

Programming Languages and Systems : 14th European Symposium on Programming, ESOP 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

Logic Programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings

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

Communicating Sequential Processes. The First 25 Years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

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

Middleware 2005 : ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings

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

Trustworthy Global Computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

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

Hasil Pencarian

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

Informasi

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