Filter by
Theory and Applications of Satisfiability Testing -- SAT 2015 18th Internati…
This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, includ…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24318-4
- Collation
- 94 illustrations in colour
- Series Title
- -
- Call Number
- -
New Beginning in US-Muslim Relations:President Obama and the Arab Awakening
This book carries out a comparative study of the US response to popular uprisings in the Middle East as an evaluation of President Barack Obama’s foreign policy commitments. In 2009, Obama publicly pledged “a new beginning in US-Muslim relations,” causing eager expectation of a clear shift in US foreign policy after the election of the 44th president of the United States. However, the ach…
- Edition
- 1
- ISBN/ISSN
- 978-1-137-58623-0
- Collation
- XIV, 302
- Series Title
- Middle East Today
- Call Number
- -
Encyclopedia of Systems and Control
The Encyclopedia of Systems and Control collects a broad range of short expository articles that describe the current state of the art in the central topics of control and systems engineering as well as in many of the related fields in which control is an enabling technology. The editors have assembled the most comprehensive reference possible, and this has been greatly facilitated by the publi…
- Edition
- -
- ISBN/ISSN
- 978-1-4471-5058-9
- Collation
- 185 b/w illustrations, 231 illustrations in colour
- Series Title
- -
- Call Number
- -
Mutual Insurance 1550-2015
In the modern Western world, we tend to be insured by the state or for-profit insurers. We have privileged this system over mutual or micro-insurance, whose long and rich history we tend to forget. Yet, mutual and micro-insurance is becoming increasingly important, both in the Western and in the non-Western world and bears re-examination. This book traces the track record of mutual insurance…
- Edition
- 1
- ISBN/ISSN
- 978-1-137-53109-4
- Collation
- XIII, 321
- Series Title
- Palgrave Studies in the History of Finance
- Call Number
- -
Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium,…
This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015. The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25150-9
- Collation
- -
- Series Title
- -
- Call Number
- -
(Dis)Obedience in Digital Societies: Perspectives on the Power of Algorithms …
Algorithms are not to be regarded as a technical structure but as a social phenomenon - they embed themselves, currently still very subtle, into our political and social system. Algorithms shape human behavior on various levels: they influence not only the aesthetic reception of the world but also the well-being and social interaction of their users. They act and intervene in a political and so…
- Edition
- -
- ISBN/ISSN
- 9783732857630
- Collation
- -
- Series Title
- -
- Call Number
- 302.23 OBE o
Multicultural China
With its easy-to-use format, this book provides a collection of annual data on China’s 56 ethnic groups. It is a resource book that profiles the demography, employment and wages, livelihood, agriculture, industry, education, science and technology, culture, sports, and public health for each of these ethnic groups. This material, which is compiled from a variety of sources, will be of great v…
- Edition
- 1
- ISBN/ISSN
- 2194-7937
- Collation
- XIX, 434
- Series Title
- Current Chinese Economic Report Series
- Call Number
- -
Multimodal Optimization by Means of Evolutionary Algorithms
This book offers the first comprehensive taxonomy for multimodal optimization algorithms, work with its root in topics such as niching, parallel evolutionary algorithms, and global optimization. The author explains niching in evolutionary algorithms and its benefits; he examines their suitability for use as diagnostic tools for experimental analysis, especially for detecting problem (type) p…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-07406-1
- Collation
- XX, 189
- Series Title
- Natural Computing Series
- Call Number
- -
Intelligent Environmental Sensing
This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by…
- Edition
- -
- ISBN/ISSN
- 978-3-319-12891-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Intelligent Decision Technologies 2016: Proceedings of the 8th KES Internatio…
This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by…
- Edition
- -
- ISBN/ISSN
- 978-3-319-39629-3
- 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