Filter by
Frontiers of Combining Systems
This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decisio…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24246-0
- Collation
- XVI, 275
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Automated Reasoning with Analytic Tableaux and Related Methods
This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from…
- Edition
- -
- ISBN/ISSN
- 978-3-031-43512-6
- Collation
- XXV, 482
- Series Title
- -
- Call Number
- -
Agricultural Implications of Fukushima Nuclear Accident (IV)
This open access book presents the findings from on-site research into radioactive cesium contamination in various agricultural systems affected by the Fukushima Daiichi Nuclear Power Plant accident in March 2011. This fourth volume in the series reports on studies undertaken at contaminated sites such as farmland and forests, focusing on soil, water, mountain, agricultural products, and animal…
- Edition
- -
- ISBN/ISSN
- 978-981-19-9360-2
- Collation
- XIII, 276
- Series Title
- -
- Call Number
- -
Die Resiliente Stadt
This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundati…
- Edition
- -
- ISBN/ISSN
- 978-3-662-66915-0
- Collation
- XXV, 592
- Series Title
- -
- Call Number
- -
America Identified: Biometric Technology and Society
An examination of the public perception of biometric identification technology in the context of privacy, security & civil liberties.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262289689
- Collation
- 1 online resource (viii, 258 pages) :illustrations
- Series Title
- -
- Call Number
- -
Control Theory and Systems Biology
This is a survey of how engineering techniques from control and systems theory can be used to help biologists understand the behaviour of cellular systems.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262258906
- Collation
- 1 online resource (ix, 345 pages) :illustrations
- Series Title
- -
- Call Number
- -
Inner Experience and Neuroscience: Merging Both Perspectives
"A Bradford Book."A proposal for merging a science of human consciousness with neuroscience and psychology. The study of consciousness has advanced rapidly over the last two decades. And yet there is no clear path to creating models for a direct science of human experience or for integrating its insights with those of neuroscience, psychology, and philosophy. In Inner Experience and Neuroscienc…
- Edition
- -
- ISBN/ISSN
- 9780262305204
- Collation
- 1 online resource (x, 345 pages, 2 unnumbered pages of plates) :illustrations (some color)
- Series Title
- -
- Call Number
- -
Transforming Global Information and Communication Markets: The Political Econ…
Innovation in information and communication technology (ICT) fuels the growth of the global economy. This examination of ICT from a political economy perspective argues that innovation and economic growth require new approaches in global governance that will reconcile diverse interests and enable competition to flourish.
- Edition
- -
- ISBN/ISSN
- 9780262255066
- Collation
- -
- Series Title
- -
- Call Number
- -
Urban Modernity: Cultural Innovation in the Second Industrial Revolution
At the close of the 19th century, industrialization and urbanization marked the end of the traditional understanding of society as rooted in agriculture. This book examines the construction of an urban-centred, industrial-based culture - an entirely new social reality based on science and technology.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262265935
- Collation
- 1 online resource (x, 272 pages) :illustrations, maps
- Series Title
- -
- Call Number
- -
Innovation in Cultural Systems: Contributions from Evolutionary Anthropology
Here, leading scholars offer a range of perspectives on the roles played by innovation in the evolution of human culture. The contributors consider innovation in biological terms discussing epistemology, animal studies, systematics and phylogeny, phenotypic plasticity and evolvability, and much more.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262259101
- Collation
- 1 online resource (xi, 284 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography