Ditapis dengan
Logical foundations of mathematics and computational complexity : a gentle in…
The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computational Complexity covers a broad spectrum of results in logic and set theory that are relevant to the foundations, as well as the results in computational complexity and the interdisciplinary area of pr…
- Edisi
- Ed.1
- ISBN/ISSN
- 9783319001197
- Deskripsi Fisik
- xiv, 695 hlm.
- Judul Seri
- Springer Monographs in Mathematics
- No. Panggil
- E697
Foundation engineering handbook : design and construction with the 2009 inter…
Termasuk bibliografi No Inv.: 138644/P/Perp/14/1c
- Edisi
- 2nd ed
- ISBN/ISSN
- 9780071740098
- Deskripsi Fisik
- xiii, ... hlm.
- Judul Seri
- -
- No. Panggil
- R 624.15 DAY f
Ernst Zermelo - collected Works/gesammelte werke II : volume II/band II - cal…
Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and is best-known for the first formulation of the axiom of choice. However, his papers also include pioneering work in applied mathematics and mathematical physics. This edition of his collected papers consists of two volumes. The present Volume II covers Ernst Zermelo’s work on the calculus of variations, appli…
- Edisi
- Ed.1
- ISBN/ISSN
- 9783540708568
- Deskripsi Fisik
- xxix, 781 hlm.
- Judul Seri
- -
- No. Panggil
- E735
Memahami fondasi
Bibliografi : hlm. 132
- Edisi
- -
- ISBN/ISSN
- 9789796658190
- Deskripsi Fisik
- vi, 136 hlm. : il. ; 25 cm.
- Judul Seri
- -
- No. Panggil
- 624.1 CAN m
Towards a general theory of classifications
This book is an essay on the epistemology of classifications. Its main purpose is not to provide an exposition of an actual mathematical theory of classifications, that is, a general theory which would be available to any kind of them: hierarchical or non-hierarchical, ordinary or fuzzy, overlapping or non-overlapping, finite or infinite, and so on, establishing a basis for all possible divisio…
- Edisi
- Ed.1
- ISBN/ISSN
- 9783034806091
- Deskripsi Fisik
- xxiii, 304 hlm.
- Judul Seri
- -
- No. Panggil
- E685
Visual reasoning with diagrams
Logic, the discipline that explores valid reasoning, does not need to be limited to a specific form of representation but should include any form as long as it allows us to draw sound conclusions from given information. The use of diagrams has a long but unequal history in logic: The golden age of diagrammatic logic of the 19th century thanks to Euler and Venn diagrams was followed by the early…
- Edisi
- Ed.1
- ISBN/ISSN
- 9783034806008
- Deskripsi Fisik
- xv, 200 hlm.
- Judul Seri
- -
- No. Panggil
- E683
Pondasi dangkal
No Inv.: 131259/SM/Perp/12/1c
- Edisi
- -
- ISBN/ISSN
- 9789792925791
- Deskripsi Fisik
- vii, 148 hlm.
- Judul Seri
- -
- No. Panggil
- 624.15 BUD p
Metode konstruksi untuk pekerjaan pondasi
No Inv.: 131375/SM/Perp/12/1c
- Edisi
- -
- ISBN/ISSN
- 9789794563502
- Deskripsi Fisik
- xv, 129 hlm.
- Judul Seri
- -
- No. Panggil
- 624.1 ASI m
Analisis dan perancangan fondasi bagian 1
Bibliografi : hlm. 581-587 No Inv.: 135362/SM/Perp/13/1c
- Edisi
- -
- ISBN/ISSN
- 9794207144
- Deskripsi Fisik
- xv, 592 hlm.
- Judul Seri
- -
- No. Panggil
- 624.1 HAR a
Analisis dan perancangan fondasi II
Bibliografi : hlm. 581-587
- Edisi
- Edisi Keempat
- ISBN/ISSN
- 9786023863235
- Deskripsi Fisik
- xii, 574 hlm. : il. ; 21 cm.
- Judul Seri
- -
- No. Panggil
- 624.15 HAR a
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah