Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 26 27 28 29 30 Berikutnya Hal. Akhir

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

Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

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

Model Driven Engineering Languages and Systems : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings

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

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

Model-Based Testing of Reactive Systems : Advanced Lectures

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

XML for Bioinformatics

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

Foundations of Generic Optimization : Volume 1: A Combinatorial Approach to Epistasis

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

Developing Statistical Software in Fortran 95

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

Physics for Game Programmers

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

High Performance Computing for Computational Science - VECPAR 2004 : 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers

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

Shared Memory Parallel Programming with Open MP : 5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004

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

High Performance Computing – HiPC 2005 : 12th International Conference, Goa, India, December 18-21, 2005, Proceedings

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

Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

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

High Performance Computing - HiPC 2004 : 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings

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

Graph Theory and Combinatorial Optimization

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

Essays and Surveys in Global Optimization

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

Column Generation

Judul Seri :
No. Panggil : 658.40301
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
Hal. Awal Sebelumnya 26 27 28 29 30 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 780 dari pencarian Anda melalui kata kunci: Subject : "PROGRAMMING (MATHEMATICS)"
Saat ini anda berada pada halaman 30 dari total 39 halaman
Permintaan membutuhkan 0.00376 detik untuk selesai

Informasi

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