Koleksi

Pencarian Spesifik

Hal. Awal Sebelumnya 1 2 3 4 Berikutnya Hal. Akhir

Proceedings of the 8th International Congress on Environmental Geotechnics Volume 3 : Towards a Sustainable Geoenvironment

Bouazza, Abdelmalek. - Zhan, Liangtong. - Chen, Yunmin.

Judul Seri :

No. Panggil : 624.15

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/978-981-13-2227-3

Special topics in foundations : proceedings of a session sponsored by the Geotechnical Engineering Division of the American Society = of Civil Engineers in conjunction with the ASCE National Convention,Nashville, Tennessee, May 9,1998

DAS, Braja M. [ed.]

Judul Seri : Geotechnical special publication, no. 16

No. Panggil : 624.15 Spe s

Ketersediaan : 1 copies available

Eksemplar :

Item Code	Call Number	Location	Status
31103140300335	624.15 Spe s	Lantai II Timur	Available

Ethical Foundations For Peaceful Coexistence : A cultur investigaton of keselarasan

YUMARMA, Andreas

Judul Seri :

No. Panggil : JURNAL

Ketersediaan : 1 copies available

Eksemplar :

Item Code	Call Number	Location	Status
46622.1	JURNAL	R. Majalah	Tidak Dipinjamkan

MEASURED performance of shallow foundations : proceedings of a session sponsored by the Geotechnical Engineering Division of the American Society = of Civil Engineers in conjunction with the ASCE National Convention, Nashville, Tennessee

PICORNELL, Miguel [ed.]

Judul Seri :

No. Panggil : 624.151 Mea m

Ketersediaan : 1 copies available

Eksemplar :

Item Code	Call Number	Location	Status
31103120130617	624.151 Mea m	Gedung Baru Lantai 5 (600)	Available

Adapting Proofs-as-Programs : The Curry--Howard Protocol

Poernomo, Iman. - Crossley, John N. - Wirsing, Martin.

Judul Seri :

No. Panggil : 005.1015113

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/0-387-28183-5

Visualization, Explanation and Reasoning Styles in Mathematics

Mancosu, P. - Jorgensen, Klaus Frovin - PEDERSEN, Stig Andur

Judul Seri :

No. Panggil : 510

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/1-4020-3335-4

Fuzzy Modeling with Spatial Information for Geographic Problems

Petry, Frederick E. - Robinson, Vincent B. - Cobb, Maria A.

Judul Seri :

No. Panggil : 910.285

Ketersediaan : E Book

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

Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

Hutter, Dieter. - Stephan, Werner.

Judul Seri :

No. Panggil : 006.3

Ketersediaan : E Book

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

Propositional and Predicate Calculus: A Model of Argument

Goldrei, Derek.

Judul Seri :

No. Panggil : 511.3

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/1-84628-229-2

Valued Fields

Engler, Antonio J. - Prestel, Alexander.

Judul Seri :

No. Panggil : 512

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/3-540-30035-X

Trends in Continuum Mechanics of Porous Media

de Boer, Reint.

Judul Seri :

No. Panggil : 551.4

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/1-4020-3144-0

Processes, Terms and Cycles Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday

Middeldorp, Aart. - van Oostrom, Vincent. - van Raamsdonk, Femke. - de Vrijer, Roel.

Judul Seri :

No. Panggil : 005.131

Ketersediaan : E Book

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

Essays in Constructive Mathematics

Edwards, Harold M.

Judul Seri :

No. Panggil : 512

Ketersediaan : E Book

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

Developments in Language Theory : 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings

Calude, Cristian S. - Calude, Elena. - Dinneen, Michael J.

Judul Seri :

No. Panggil : 511.3

Ketersediaan : E Book

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

Logica Universalis : Towards a General Theory of Logic

Beziau, Jean-Yves.

Judul Seri :

No. Panggil : 511.3

Ketersediaan : E Book

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

Automata, Languages and Programming : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings

Caires, Luis. - Italiano, Guiseppe F. - Monteiro, Luis - Palamidessi, Catuscia. - Yung, Moti.

Judul Seri :

No. Panggil : 004

Ketersediaan : E Book

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

Theory and Applications of Satisfiability Testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Hoos, Holger H. - Mitchell, David G. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.131

Ketersediaan : E Book

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

Suatu analisis yuridis penggalangan sumber daya oleh lembaga nirlaba

PRANANINGRUM, Dyah Hapsari

Judul Seri :

No. Panggil : JURNAL

Ketersediaan : 1 copies available

Eksemplar :

Item Code	Call Number	Location	Status
40099.1	JURNAL	R. Majalah	Tidak Dipinjamkan

Field Arithmetic

Fried, Michael D. - Jarden, Moshe.

Judul Seri :

No. Panggil : 512

Ketersediaan : E Book

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

Introduction to Modern Number Theory : Fundamental Problems, Ideas and Theories

Manin, Yu. I. - PANCHISHKIN, Alexei A.

Judul Seri :

No. Panggil : 512.7

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/3-540-27692-0

Hal. Awal Sebelumnya 1 2 3 4 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 73 dari pencarian Anda melalui kata kunci: Subject : "FOUNDATIONS"

Saat ini anda berada pada halaman 3 dari total 4 halaman

Permintaan membutuhkan 0.00275 detik untuk selesai

XML Result JSON Result

Informasi

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