Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 6 7 8 9 10 Berikutnya Hal. Akhir

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

Pro Apache Log4j

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

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

Bioinformatics Technologies

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

Agent-Based Simulation From Modeling Methodologies to Real-World Applications : Post Proceedings of the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004

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

Inductive Logic Programming : 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings

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

Fuzzy Mathematical Programming and Fuzzy Matrix Games

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

Handbook of Biomedical Image Analysis : Volume 2: Segmentation Models Part B

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

Testing Commercial-off-the-Shelf Components and Systems

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

Advanced Functional Programming : 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures

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

High-Resolution Methods for Incompressible and Low-Speed Flows

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

Biomimicry for Optimization, Control, and Automation

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

Autonomy Oriented Computing : From Problem Solving to Complex Systems Modeling

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

Cosmic Magnetic Fields

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

Logic Based Program Synthesis and Transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

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

Meshfree Methods for Partial Differential Equations II

Judul Seri :
No. Panggil : 515
Ketersediaan : E Book
Hal. Awal Sebelumnya 6 7 8 9 10 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 1199 dari pencarian Anda melalui kata kunci: Subject : "Computer-assisted instruction"
Saat ini anda berada pada halaman 10 dari total 60 halaman
Permintaan membutuhkan 0.00378 detik untuk selesai

Informasi

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