Suggested Topics within your search.
Suggested Topics within your search.
- History 72
- Literature: history & criticism 64
- Social & cultural anthropology, ethnography 60
- Humanities 48
- Politics & government 46
- Sociology 45
- Literature & literary studies 43
- Society & social sciences 40
- Cultural studies 35
- Archaeology 33
- European history 31
- Philosophy 30
- Biography & True Stories 24
- Computer science 24
- Mathematics 23
- linguistics 23
- Social & cultural history 22
- Software Engineering 21
- Religion & beliefs 19
- Anthropology 18
- History of art / art & design styles 18
- Asian history 17
- Christianity 17
- History of the Americas 17
- Research & information: general 17
- The arts 17
- Ancient history: to c 500 CE 16
- Artificial intelligence 16
- Gender studies, gender groups 16
- Literary studies: general 16
-
461
Tid att städa Om vardagsstädningens praktik och politik
Published 2018OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
462
-
463
Multikulturalität in Europa Teilhabe in der Einwanderungsgesellschaft
Published 2018OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
464
Chapter 7 Made in France and Made in Paris Luxury branding in the longue durée
Published 2023OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
465
-
466
-
467
-
468
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...
Published 2019Table of Contents: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution).…”
Link to Metadata
Electronic eBook -
469
The Erard Grecian Harp in Regency England
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
470
Living Water An interdisciplinary exploration of water as a theological theme
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
471
Shibusa: extracting beauty
Published 2012DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
472
The Virgin Mary across Cultures Devotion among Costa Rican Catholic and Finnish Orthodox Women
Published 2017DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
473
In From the Cold
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
474
The Lion That Didn't Roar
Published 2016DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
475
-
476
-
477
-
478
Quotations as Pictures
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
479
Words about Words about Words Theory, Criticism, and the Literary Text
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
480
Workers Unite! The International 150 Years Later
Published 2014DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter