Ditapis dengan
L.E.J. Brouwer topologist, intuitionist, philosopher : how mathematics is roo…
Dirk van Dalen’s biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer. Brouwer belonged to a special class of genius; complex and often controversial and gifted with a deep intuition, he had an unparalleled access to the secrets and intricacies of mathematics. Most mathematicians remember L.E.J. Brouwer from his scientific …
- Edisi
- 1
- ISBN/ISSN
- 9781447146162
- Deskripsi Fisik
- xii, 875 hlm.
- Judul Seri
- -
- No. Panggil
- E437
Logic and structure
Dirk van Dalen’s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel’s famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style using Gentzen’s natural deduction. The book proceeds with some basic co…
- Edisi
- 5
- ISBN/ISSN
- 9781447145585
- Deskripsi Fisik
- x, 263 hlm.
- Judul Seri
- -
- No. Panggil
- E436
Derivative pricing in discrete time
This book provides an introduction to the mathematical modelling of real world financial markets and the rational pricing of derivatives, which is part of the theory that not only underpins modern financial practice but is a thriving area of mathematical research. The central theme is the question of how to find a fair price for a derivative; defined to be a price at which it is not possible fo…
- Edisi
- 1
- ISBN/ISSN
- 9781447144083
- Deskripsi Fisik
- xv, 325 hlm.
- Judul Seri
- -
- No. Panggil
- E435
Recent trends in biotechnology and therapeutic applications of medicinal plants
The book provides an overview of current trends in biotechnology and medicinal plant sciences. The work includes detailed chapters on various advance biotechnological tools involved in production of phytoactive compounds of medicinal significance. Some recent and novel research studies on therapeutic applications of different medicinal plants from various geographical regions of the world have …
- Edisi
- 1
- ISBN/ISSN
- 9789400766037
- Deskripsi Fisik
- X, 357 Hlm.
- Judul Seri
- -
- No. Panggil
- E398
Aperiodic crystals
Aperiodic Crystals collects 37 selected papers from the scientific contributions presented at Aperiodic 2012 - the Seventh International Conference on Aperiodic Crystalsheld held in Cairns, Australia, 2-7 of September 2012. The volume discusses state-of-the-art discoveries, new trends and applications of aperiodic crystals - including incommensurately modulated crystals, composite crystals, …
- Edisi
- 1
- ISBN/ISSN
- 9789400764316
- Deskripsi Fisik
- XV, 286 Hlm.
- Judul Seri
- -
- No. Panggil
- E397
Robust data mining
Data uncertainty is a concept closely related with most real life applications that involve data collection and interpretation. Examples can be found in data acquired with biomedical instruments or other experimental techniques. Integration of robust optimization in the existing data mining techniques aim to create new algorithms resilient to error and noise. This work encapsulates all the lat…
- Edisi
- 1
- ISBN/ISSN
- 9781441998781
- Deskripsi Fisik
- xii, 59 hlm.
- Judul Seri
- -
- No. Panggil
- E434
Topological modelling of nanostructures and extended systems
Topological Modelling of Nanostructures and Extended Systems completes and expands upon the previously published title within this series: The Mathematics and Topology of Fullerenes (Vol. 4, 2011) by gathering the latest research and advances in materials science at nanoscale. It introduces a new speculative area and novel concepts like topochemical reactions and colored reactive topological in…
- Edisi
- 1
- ISBN/ISSN
- 9789400764132
- Deskripsi Fisik
- XV, 575 Hlm.
- Judul Seri
- Carbon materials: chemistry and physics
- No. Panggil
- E396
Pengantar pendidikan lingkungan hidup
Bibliografi : hlm. 301-305
- Edisi
- -
- ISBN/ISSN
- 9786027869240
- Deskripsi Fisik
- ix, 308 hlm. : il. ; 23 cm.
- Judul Seri
- -
- No. Panggil
- 304.207 Dar p
Enterprise and organizational modeling and simulation ; 9th International Wor…
This book constitutes the proceedings of the 9th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2013, held in conjunction with CAiSE 2013 in Valencia, Spain, in June 2013. Tools and methods for modeling and simulation are widely used in enterprise engineering, organizational studies and business process management. In monitoring and evaluating business…
- Edisi
- -
- ISBN/ISSN
- 9783642416385
- Deskripsi Fisik
- X, 161 hlm : ill.
- Judul Seri
- Lecture Notes in Business Information Processing (LNBIP, volume 153)
- No. Panggil
- E1488
The Last chronicle of barset
Diatas Judul :"The Millenium Library"
- Edisi
- -
- ISBN/ISSN
- 1857152085
- Deskripsi Fisik
- xxix, 983 hlm.
- Judul Seri
- -
- No. Panggil
- 823 TRO l
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah