Filter by
Petrographic Atlas: Characterisation of Aggregates Regarding Potential Reacti…
Sejak reaksi alkali-silika (ASR) yang merusak pada beton pertama kali diketahui pada tahun 1940-an, penelitian telah dikembangkan untuk mengidentifikasi dan memahami fenomena, material, dan mekanisme yang terlibat. ASR adalah reaksi kimia kompleks yang masih belum sepenuhnya dipahami, melibatkan alkali yang terlarut dalam cairan pori beton dan beberapa bentuk silika reaktif bila tersedia kelemb…
- Edition
- -
- ISBN/ISSN
- 978-94-017-7383-6
- Collation
- -
- Series Title
- -
- Call Number
- 552 FER p
Petri Net Synthesis
Jaring petri adalah model sistem konkuren yang mapan, dengan teori yang kaya dan kuat, namun masih terus berkembang. Jaring petri digunakan secara intensif dalam desain, verifikasi, analisis, dan pembuatan prototipe sistem perangkat lunak, sistem kontrol, dan sistem perangkat keras. Dialek atau perluasan jaring Petri yang berbeda berfungsi di berbagai bidang, mis. jaring Petri yang aman untuk d…
- Edition
- -
- ISBN/ISSN
- 978-3-662-47967-4
- Collation
- -
- Series Title
- Texts in Theoretical Computer Science. An EATCS Series (TTCS)
- Call Number
- 006.31 BAD p c.1
Derivative Security Pricing Techniques, Methods and Applications
The book presents applications of stochastic calculus to derivative security pricing and interest rate modelling. By focusing more on the financial intuition of the applications rather than the mathematical formalities, the book provides the essential knowledge and understanding of fundamental concepts of stochastic finance, and how to implement them to develop pricing models for derivatives as…
- Edition
- -
- ISBN/ISSN
- 9783662459065
- Collation
- -
- Series Title
- -
- Call Number
- 338.7
Derivative spectrophotometry and PAM-fluorescence in comparative biochemistry
This book presents various examples of how advanced fluorescence and spectroscopic analytical methods can be used in combination with computer data processing to address different biochemical questions. The main focus is on evolutionary biochemistry and the description of biochemical and metabolic issues; specifically, the use of pulse amplitude modulated fluorescence (PAM) for the functional a…
- Edition
- -
- ISBN/ISSN
- 9783319115962
- Collation
- -
- Series Title
- -
- Call Number
- 572
Petr Hajek on Mathematical Fuzzy Logic
Volume ini berisi tentang kontribusi Petr Hajek. Petr HáJek bukan hanya seorang ilmuwan hebat, tetapi juga manusia yang luar biasa, dan karenanya merupakan kehormatan besar bagi saya untuk menangani buku ini. Namun, mengomentari karya ilmiahnya bukanlah pekerjaan yang mudah: meskipun kontribusi ilmiahnya sama sekali tidak terbatas pada Logika Fuzzy Matematis, produksinya di bidang ini sangat l…
- Edition
- Vol. 6
- ISBN/ISSN
- 978-3-319-06233-4
- Collation
- -
- Series Title
- Outstanding Contributions to Logic (OCTR)
- Call Number
- 511.31 MON p
Derivatives and Hedge Funds
This book is a collection of papers celebrating 20 years of the Journal of Derivatives and Hedge Funds (JDHF)
- Edition
- -
- ISBN/ISSN
- 9781137554178
- Collation
- -
- Series Title
- -
- Call Number
- 330
Dermatological manifestations of kidney disease
Nearly all patients with chronic kidney disease (CKD) have at least one significant dermatologic manifestation. This all-inclusive reference covers the wide array of cutaneous manifestations attributable to CKD, kidney transplantation and the pharmacological aspects of the disease process. Each chapter provides pathobiology, extensive clinical discussions, full-color images and in-depth treatme…
- Edition
- -
- ISBN/ISSN
- 9781493923953
- Collation
- xvii, 267 pages
- Series Title
- -
- Call Number
- 616.5
Describing verb valency : practical and theoretical issues
The elaboration of linguistic theories depends on the existence of adequate descriptions of particular languages; otherwise theories will be poorly grounded on empirical data. This book starts from theoretical points of wide acceptance among linguists and goes on to present a descriptive metalanguage, able to express the facts of verb valency, which constitute one of the core areas in linguisti…
- Edition
- -
- ISBN/ISSN
- 9783319209852
- Collation
- -
- Series Title
- -
- Call Number
- 070.573
Describing and Studying Domain-Specific Serious Games
This book describes research outcomes on domain-specific serious games. The first part of the book focuses on the design and major characteristics of actual (mainly math-related) serious games. The second part of the book presents recent empirical studies on these games, exploring topics such as the effectiveness of serious games for learning and increasing motivation and the influence of learn…
- Edition
- -
- ISBN/ISSN
- 9783319202761
- Collation
- xi, 259 pages
- Series Title
- -
- Call Number
- 370
Descriptional complexity of formal systems : 17th International Workshop, DCF…
This book constitutes the refereed proceedings of the 17th International Conference on Descriptional Complexity of Formal Systems, DCFS 2015, held in Waterloo, ON, Canada, in June 2015. The 23 full papers presented together with 2 invited talks were carefully reviewed and selected from 29 submissions. The subject of the workshop was descriptional complexity. Roughly speaking, this field is conc…
- Edition
- -
- ISBN/ISSN
- 9783319192253
- Collation
- xii, 293 pages
- Series Title
- -
- Call Number
- 518.1
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography