Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 21 22 23 24 25 Berikutnya Hal. Akhir

Continuous Optimization : Current Trends and Modern Applications

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

Statistical and Computational Inverse Problems

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

Online Storage Systems and Transportation Problems with Applications : Optimization Models and Mathematical Solutions

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

Universal Artificial Intelligence : Sequential Decisions Based on Algorithmic Probability

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

Nonlinear Problems of Elasticity

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

Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

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

Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

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

FM 2005 Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

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

Correct Hardware Design and Verification Methods : 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings

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

Operational Semantics for Timed Systems : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

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

Formal Concept Analysis : Foundations and Applications

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

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

Formal Concept Analysis : Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings

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

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book
Hal. Awal Sebelumnya 21 22 23 24 25 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 1004 dari pencarian Anda melalui kata kunci: Subject : "Mathematical Software."
Saat ini anda berada pada halaman 25 dari total 51 halaman
Permintaan membutuhkan 0.00445 detik untuk selesai

Informasi

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