Koleksi

Pencarian Spesifik
1 2 3 4 5 Berikutnya Hal. Akhir

Arithmetic In A Liberal Education

Judul Seri :
No. Panggil : 513.07 Dun a
Ketersediaan : 1 copies available
Eksemplar :
Item CodeCall NumberLocationStatus
31103991158085 513.07 Dun a Gedung Baru Lantai 4 (500)Available

Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

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

FSTTCS 2005 Foundations of Software Technology and Theoretical Computer Science : 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings

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

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

Abstract Computing Machines : A Lambda Calculus Perspective

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

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

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

A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors

Judul Seri :
No. Panggil : 004.0151
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-Based Testing of Reactive Systems : Advanced Lectures

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

Kualitas layanan lembaga pendidikan mental aritmetika berpengaruh terhadap kepuasan konsumen

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

Spatial modeling of land suitability in agroforestry block of Gadjah Mada University's teaching forest

Judul Seri :
No. Panggil : JURNAL
Ketersediaan : tidak ada kopi yang tersedia

Logica Universalis : Towards a General Theory of Logic

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

Recent Advances in Parallel Virtual Machine and Message Passing Interface : 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings

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

Philosophical Foundations of Quality of Life : The Selected Works of Alex C. Michalos

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

Studies in Legal Logic

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

Language, Meaning, Interpretation

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

Hasil Pencarian

Ditemukan 1120 dari pencarian Anda melalui kata kunci: Subject : "Arithmetic and logic units, Computer."
Permintaan membutuhkan 0.00285 detik untuk selesai

Informasi

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