Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 36 37 38 39 40 Berikutnya Hal. Akhir

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

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

Global Computing : IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers

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

Tools and Algorithms for the Construction and Analysis of Systems : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings

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

Recent Trends in Algebraic Development Techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers

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

Scenarios Models, Transformations and Tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

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

Constructing Correct Software

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

Categories for Software Engineering

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

Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

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

Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

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

Software Product Line Engineering : Foundations, Principles and Techniques

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

Resource-Oriented Agro-sanitation Systems : Concept, Business Model, and Technology

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

Theory of Stochastic Differential Equations with Jumps and Applications : Mathematical and Analytical Techniques with Applications to Engineering

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

Unsaturated Soils Numerical and Theoretical Approaches : Proceedings of the International Conference "From Experimental Evidence towards Numerical Modeling of Unsaturated Soils", Weimar, Germany, September 18-19, 2003

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

Hydrodynamics of Explosion : Experiments and Models

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

Methods for Constructing Exact Solutions of Partial Differential Equations : Mathematical and Analytical Techniques with Applications to Engineering

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

Atmospheres and Oceans on Computers : Fundamental Numerical Methods for Geophysical Fluid Dynamics

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

Modeling & Imaging of Bioelectrical Activity : Principles and Applications

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

An Introduction to Continuous-Time Stochastic Processes : Theory, Models, and Applications to Finance, Biology, and Medicine

Judul Seri :
No. Panggil : 519
Ketersediaan : E Book
Hal. Awal Sebelumnya 36 37 38 39 40 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 1163 dari pencarian Anda melalui kata kunci: Subject : "ENGINEERING INSTRUMENTS"
Saat ini anda berada pada halaman 40 dari total 59 halaman
Permintaan membutuhkan 0.00347 detik untuk selesai

Informasi

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