Filter by
Fundamentals of Software Engineering
This book constitutes the thoroughly refereed post-conference proceedings of the 6th IPM International Conference on Fundamentals of Software Engineering, FSEN 2015, held in Tehran, Iran, in April 2015. The 21 full papers presented in this volume were carefully reviewed and selected from 64 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially th…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24644-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Frontiers in Quantum Methods and Applications in Chemistry and Physics
This edited, multi-author volume contains 14 selected, peer–reviewed contributions based on the presentations given at the 18th International Workshop on Quantum Systems in Chemistry, Physics, and Biology (QSCP XVIII), held at Casa da Cultura de Paraty, Rio de Janeiro, Brazil, in December 2013. It is divided into several sections written by leaders in the respective fields of quantum methodol…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14397-2
- Collation
- -
- Series Title
- Progress in Theoretical Chemistry and Physics
- Call Number
- -
A Basic Course in Measure and Probability: Theory for Applications
Originating from the authors' own graduate course at the University of North Carolina, this material has been thoroughly tried and tested over many years, making the book perfect for a two-term course or for self-study. It provides a concise introduction that covers all of the measure theory and probability most useful for statisticians, including Lebesgue integration, limit theorems in probabi…
- Edition
- -
- ISBN/ISSN
- 9781139103947
- Collation
- -
- Series Title
- -
- Call Number
- -
9/11 and the Rise of Global Anti-Terrorism Law: How the UN Security Council R…
Twenty years after the outbreak of the threat posed by international jihadist terrorism, which triggered the need for democracies to balance fundamental rights and security needs, 9/11 and the Rise of Global Anti-Terrorism Law offers an overview of counter-terrorism and of the interplay among the main actors involved in the field since 2001. This book aims to give a picture of the complex and e…
- Edition
- -
- ISBN/ISSN
- 9781009023146
- Collation
- -
- Series Title
- -
- Call Number
- -
Database systems for advanced applications
This two volume set LNCS 9049 and LNCS 9050 constitutes the refereed proceedings of the 20th International Conference on Database Systems for Advanced Applications, DASFAA 2015, held in Hanoi, Vietnam, in April 2015. The 63 full papers presented were carefully reviewed and selected from a total of 287 submissions. The papers cover the following topics: data mining; data streams and time series;…
- Edition
- -
- ISBN/ISSN
- 9783319181202
- Collation
- xxii, 643 pages
- Series Title
- -
- Call Number
- 328
Fluid Flow and Heat Transfer in Rotating Porous Media
This Book concentrates the available knowledge on rotating fluid flow and heat transfer in porous media in one single reference. Dr. Vadasz develops the fundamental theory of rotating flow and heat transfer in porous media and introduces systematic classification and identification of the relevant problems. An initial distinction between rotating flows in isothermal heterogeneous porous systems…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20056-9
- Collation
- XII, 78 hlm.
- Series Title
- SpringerBriefs in Applied Sciences and Technology
- Call Number
- -
Decision processes by using bivariate normal quantile pairs
This book discusses equi-quantile values and their use in generating decision alternatives under the twofold complexities of uncertainty and dependence, offering scope for surrogating between two alternative portfolios when they are correlated. The book begins with a discussion on components of rationality and learning models as indispensable concepts in decision-making processes. It identifies…
- Edition
- -
- ISBN/ISSN
- 9788132223641
- Collation
- -
- Series Title
- -
- Call Number
- 338.7
Perspectives in Business Informatics Research; 14th International Conference,…
Perspektif dalam Penelitian Informatika Bisnis; Konferensi Internasional ke-14, BIR 2015, Tartu, Estonia, 26-28 Agustus 2015, Prosiding, Rangkaian konferensi internasional tentang Perspektif Riset Informatika Bisnis (BIR) didirikan 15 tahun lalu. Tujuannya adalah untuk menyediakan forum di mana para peneliti di bidang informatika bisnis, baik senior maupun junior, dapat berbagi dan mendiskusika…
- Edition
- Vol 229
- ISBN/ISSN
- 978-3-319-21915-8
- Collation
- -
- Series Title
- Lecture Notes in Business Information Processing (Conference series: International Conference on Business Informatics Research)
- Call Number
- 004.072 MAT p c.1
The Harary Index of a Graph
This is the first book to focus on the topological index, the Harary index, of a graph, including its mathematical properties, chemical applications and some related and attractive open problems. This book is dedicated to Professor Frank Harary (1921—2005), the grandmaster of graph theory and its applications. It has be written by experts in the field of graph theory and its applications. For…
- Edition
- 1
- ISBN/ISSN
- 978-3-662-45843-3
- Collation
- XV, 74, 35 b/w illustrations
- Series Title
- SpringerBriefs in Applied Sciences and Technology
- Call Number
- -
Effects of Magnetoelastic Interactions in Conductive Plates and Shells
This book investigates the stability and vibrations of conductive, perfectly conductive and superconductive thin bodies in electromagnetic fields. It introduces the main principles and derives basic equations and relations describing interconnected mechanical and electromagnetic processes in deformable electro conductive bodies placed in an external inhomogeneous magnetic field and under the in…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19162-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography