Koleksi

Pencarian Spesifik

Hal. Awal Sebelumnya 41 42 43 44 45 Berikutnya Hal. Akhir

Product Focused Software Process Improvement : 6th International Conference, PROFES 2005, Oulu, Finland, June 13-18, 2005, Proceedings

Bomarius, Frank. - Komi-Sirviö, Seija.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b137178

Security in E-Learning

Weippl, Edgar R.

Judul Seri :

No. Panggil : 005.73

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b136702

Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

de Boer, Frank S. - Bonsangue, Marcello M. - Graf, Susanne. - de Roever, Willem-Paul. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11561163

Testing Commercial-off-the-Shelf Components and Systems

Beydeda, Sami. - Gruhn, Volker. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b138567

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

Vene, Varmo. - Uustalu, Tarmo.

Judul Seri :

No. Panggil : 005.11

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11546382

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

Priami, Corrado. - Quaglia, Paola. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b103251

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

Halbwachs, Nicolas. - Zuck, Lenore. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b107194

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

Fiadeiro, José Luiz. - Mosses, Peter. - Orejas, Fernando.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b107129

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

Leue, Stefan. - Systä, Tarja J.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b137052

Constructing Correct Software

Cooke, D. John.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b138515

Categories for Software Engineering

Fiadeiro, José Luiz.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b138249

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

Baader, Franz. - Voronkov, Andrei.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b106931

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

Sutcliffe, Geoff. - Voronkov, Andrei.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11591191

Software Product Line Engineering : Foundations, Principles and Techniques

Pohl, Klaus. - Böckle, Günter. - van der Linden, Frank J. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 004.0151

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/3-540-28901-1

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

Funamizu, Naoyuki.

Judul Seri :

No. Panggil : 660.6

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/978-4-431-56835-3

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

SITU, Rong.

Judul Seri :

No. Panggil : 519

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b106901

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

Schanz, Tom.

Judul Seri :

No. Panggil : 620.1

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b138015

Hydrodynamics of Explosion : Experiments and Models

Kedrinskiy, Valery K.

Judul Seri :

No. Panggil : 531

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/3-540-28563-6

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

Meleshko, Sergey V.

Judul Seri :

No. Panggil : 519

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b107051

Teaching translation and interpreting 2 insights, aims, visions : paper from the Second Language International Conference Elsinore, Denmark 4-6 June 1991

LANGUAGE International Conference (2nd:1993:Elsinor, Denmark) - DOLLERUP, Cay - LINDEGAARD, Anne

Judul Seri : Benjamin translation library: v.5

No. Panggil : 418.020 Lan t II

Ketersediaan : 1 copies available

Eksemplar :

Item Code	Call Number	Location	Status
31103060639502	418.020 Lan t II	Lantai II Timur	Available

Hal. Awal Sebelumnya 41 42 43 44 45 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 1227 dari pencarian Anda melalui kata kunci: Subject : "HYDRAULICS ENGINEERING--CONGRESSES"

Saat ini anda berada pada halaman 45 dari total 62 halaman

Permintaan membutuhkan 0.00365 detik untuk selesai

XML Result JSON Result

Informasi

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