Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 1 2 3 4 5 Berikutnya Hal. Akhir

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

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

Advances in Computer Systems Architecture : 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings

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

Foundations of Software Science and Computational Structures : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005

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

ZB 2005 Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

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

Automated Deduction – CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

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

Abstraction, Reformulation and Approximation : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings

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

FSTTCS 2004 Foundations of Software Technology and Theoretical Computer Science : 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings

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

Machines, Computations, and Universality : 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers

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

Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

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

Inconsistency Tolerance

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

A Theory of Distributed Objects : Asynchrony - Mobility - Groups - Components

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

Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

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

Extreme Programming and Agile Processes in Software Engineering : 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings

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

Arahan tata hubungan kelembagaan kesatuan pengelolaan hutan (KPH) di Indonesia

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

Adapting Proofs-as-Programs : The Curry--Howard Protocol

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

Abstraction, Refinement and Proof for Probabilistic Systems

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

Logic Programming and Nonmonotonic Reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings

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

Hasil Pencarian

Ditemukan 1120 dari pencarian Anda melalui kata kunci: Subject : "Arithmetic and logic units, Computer."
Saat ini anda berada pada halaman 3 dari total 56 halaman
Permintaan membutuhkan 0.00361 detik untuk selesai

Informasi

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