Filter by
Automated Reasoning
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,…
- Edition
- 1
- ISBN/ISSN
- 9783031107696
- Collation
- -
- Series Title
- -
- Call Number
- -
Allied Air Attacks and Civilian Harm in Italy, 1940-1945
Tens of thousands of Italian civilians perished in the Allied bombing raids of World War II. More of them died after the Armistice of September 1943 than before, when the air attacks were intended to induce Italy's surrender.? Allied Air Attacks and Civilian Harm in Italy, 1940-1945 addresses this seeming paradox, by examining the views of Allied political and military leaders, Allied air c…
- Edition
- -
- ISBN/ISSN
- 9781003315803
- Collation
- 232 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Advances in the study of Siouan languages and linguistics
" The Siouan family comprises some twenty languages, historically spoken across a broad swath of the central North American plains and woodlands, as well as in parts of the southeastern United States. In spite of its geographical extent and diversity, and the size and importance of several Siouan-speaking tribes, this family has received relatively little attention in the linguistic literature …
- Edition
- 1
- ISBN/ISSN
- 9783946234388
- Collation
- -
- Series Title
- -
- Call Number
- -
Advances in the Biology, Imaging and Therapies for Glioblastoma
This book is intended for physicians and scientists with interest in glioblastoma biology, imaging and therapy. Select topics in DNA repair are presented here to demonstrate novel paradigms as they relate to therapeutic strategies. The book should serve as a supplementary text in courses and seminars as well as a general reference.
- Edition
- 1
- ISBN/ISSN
- 9789533072845, 9789535165590
- Collation
- -
- Series Title
- -
- Call Number
- -
Aut Dedere, aut Judicare: The Extradite or Prosecute Clause in International Law
The aut dedere aut judicare, or “extradite or prosecute” clause is shorthand for a range of clauses that are almost compulsory in international treaties criminalizing conduct, obliging a State to either extradite or prosecute one accused of the crime the subject of the treaty. The obligation has become increasingly central in the emerging legal regime against impunity and has a role in Stat…
- Edition
- 1
- ISBN/ISSN
- 9782940415045, 9782940415700
- Collation
- -
- Series Title
- -
- Call Number
- -
Bio-Based and Biodegradable Plastics
An overview of the articles has presented for the Special Issue “Bio-Based and Biodegradable Plastics: From Passive Barrier to Active Packaging Behavior”. This issue has objective of collecting comprehensive findings regarding structure and functionality of bio-based sustainable polymers performing as multifaceted barrier and packaging in food, cosmetic, and other areas. The content of …
- Edition
- -
- ISBN/ISSN
- 9783039369683, 9783039369690
- Collation
- 194
- Series Title
- -
- Call Number
- -
Australia’s Fertility Transition
In the late 19th and early 20th centuries, most countries in Europe and English-speaking countries outside Europe experienced a fertility transition, where fertility fell from high levels to relatively low levels. England and the other English-speaking countries experienced this from the 1870s, while fertility in Australia began to fall in the 1880s. This book investigates the fertility transit…
- Edition
- 1
- ISBN/ISSN
- 9781760463373, 9781760463366
- Collation
- -
- Series Title
- -
- Call Number
- -
Bioassays and Biosensors for Rapid Detection and Analysis
The monitoring of sulfadiazine (SDZ) is of great significance for food safety, environmental protection, and human health. In this study, a fluorescent aptasensor based on MnO2 and FAMlabeled SDZ aptamer (FAM-SDZ30-1) was developed for the sensitive and selective detection of SDZ in food and environmental samples. MnO2 nanosheets adsorbed rapidly to the aptamer through its electrostatic inte…
- Edition
- -
- ISBN/ISSN
- 9783036590820, 9783036590837
- Collation
- 148
- Series Title
- -
- Call Number
- -
Bioanalytical Tools in Water Quality Assessment
Ten years have passed. Our ‘little book’ proved to be much more useful than anticipated, for teaching, to train new students and staff, but also as a resource for this ever-growing field. What was initially a niche topic has exploded in the last 10 years: many barriers have been broken down and concepts have been steadily improved. Effect-based trigger values, a mere concept a decade ag…
- Edition
- -
- ISBN/ISSN
- 9781789061987
- Collation
- -
- Series Title
- -
- Call Number
- -
Bioactive Secondary Metabolites of Marine Fungi
Fungi are a prolific source of bioactive molecules. During the past few decades, many bioactive natural products have been isolated from marine fungi. Chile is a country with 6435 Km of coastline along the Pacific Ocean and houses a unique fungal biodiversity. This review summarizes the field of fungal natural products isolated from Antarctic and Chilean marine environments and their biolog…
- Edition
- -
- ISBN/ISSN
- 9783036590868, 9783036590875
- Collation
- 208
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography