Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 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

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

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

XML for Bioinformatics

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

Digital computer fundamentals

Judul Seri :
No. Panggil : 001.64044 Bar d
Ketersediaan : 1 copies available
Eksemplar :
Item CodeCall NumberLocationStatus
31103060668949 001.64044 Bar d Lantai II TimurAvailable

Dasar komputer digital = Digital computer fundamnetals

Judul Seri :
No. Panggil : 001.640 44 Bar d
Ketersediaan : 1 copies available
Eksemplar :
Item CodeCall NumberLocationStatus
31103060635906 001.640 44 Bar d Lantai II TimurAvailable

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

Term Rewriting and Applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings

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

Compiler Construction : 14th International Conference, CC 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.13
Ketersediaan : E Book

Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers

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

Developing Statistical Software in Fortran 95

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

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

The Best of Verity Stob : Highlights of Verity Stob's Famous Columns from .EXE, Dr. Dobb's Journal, and The Register

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

Iterating Infusion : Clearer Views of Objects, Classes, and Systems

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

Cryptography in C and C++

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

Practical Common Lisp

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

An Integrated Approach to Software Engineering

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

Declarative Agent Languages and Technologies II : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

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

The Best Software Writing I : Selected and Introduced by Joel Spolsky

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

Hasil Pencarian

Ditemukan 979 dari pencarian Anda melalui kata kunci: Subject : "Programming languages (Electronic computers)."
Saat ini anda berada pada halaman 2 dari total 49 halaman
Permintaan membutuhkan 0.00377 detik untuk selesai

Informasi

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