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

Implementing Distributed Systems with Java and CORBA

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

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

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

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

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

Guide to RISC Processors : for Programmers and Engineers

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

Genetic Programming Theory and Practice II

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

Component-Based Software Testing with UML

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

Reliable Software Technology – Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings

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

Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

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

Rules and Rule Markup Languages for the Semantic Web : First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings

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

Practical Aspects of Declarative Languages : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings

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

Distributed Applications and Interoperable Systems : 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings

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

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

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

CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings

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

Logic Programming with Prolog

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

Hasil Pencarian

Ditemukan 324 dari pencarian Anda melalui kata kunci: Subject : "GOAL PROGRAMMING"
Saat ini anda berada pada halaman 5 dari total 17 halaman
Permintaan membutuhkan 0.00292 detik untuk selesai

Informasi

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