Search Results - "Byzantine"
Suggested Topics within your search.
Suggested Topics within your search.
- History of art: Byzantine & Medieval art c 500 CE to c 1400 82
- Medieval history 54
- Ancient history: to c 500 CE 49
- Archaeology 36
- Literature: history & criticism 35
- History: earliest times to present day 29
- Early history: c 500 to c 1450/1500 28
- History of art & design styles: c 1400 to c 1600 28
- Literature & literary studies 27
- Archaeology by period / region 22
- Biography & True Stories 22
- Classical history / classical civilisation 19
- Classical texts 19
- Literary studies: classical, early & medieval 18
- European history 15
- Classical Greek & Roman archaeology 13
- History 13
- linguistics 12
- Humanities 11
- Social & cultural history 11
- Byzantine Empire 10
- Society & culture: general 10
- Western philosophy: Ancient, to c 500 10
- Folklore, myths & legends 8
- History of art / art & design styles 8
- Medieval European archaeology 8
- Museology & heritage studies 8
- History of medicine 7
- Society & social sciences 7
- Church history 6
-
401
The Goths & Other Stories Second Edition
Published 2023OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
402
The Past in the Present A Living Heritage Approach - Meteora, Greece
Published 2014DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
403
Tell Barri/Kahat: la campagna del 2000
Published 2003DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
404
Byzance et ses périphéries (Mondes grec, balkanique et musulman) : Hommage
Published 2004DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
405
Les Maures et l'Afrique romaine (IVe-VIIe
Published 2003DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
406
La vallée engloutie (Volume 2
Published 2015DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
407
-
408
-
409
Modernism and the Spiritual in Russian Art New Perspectives
Published 2017OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
410
Chapter The Coastal village of Zvërnec
Published 2020OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
411
Conviviality in Burgaz Living, Loving and Fighting on a Diverse Island of Istanbul /
Published 2024Link to Metadata
Electronic eBook -
412
-
413
-
414
-
415
-
416
Politik Perang Literasi: Sejarah Pendidikan Kristen
Published 2021Connect to this object online.
Book -
417
Coptica Palatina Koptische Texte aus der Heidelberger Papyrussammlung (P.Heid.Kopt.). Bearbeitet auf der Vierten Internationalen Sommerschule für Koptische Papyrologie Heidelberg,...
Published 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
418
The Past in the Present A Living Heritage Approach - Meteora, Greece
Published 2014OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
419
-
420
Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...
Published 2018Table of Contents: “…-- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus -- Types and Effects -- Failure is Not an Option: An Exceptional Type Theory -- Let Arguments Go First -- Behavioural equivalence via modalities for algebraic effects -- Explicit Effect Subtyping -- Concurrency -- A separation logic for a promising semantics -- Logical Reasoning for Disjoint Permissions -- Deadlock-Free Monitors -- Fragment Abstraction for Concurrent Shape Analysis -- Security -- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and ReturnPointer Management -- Modular Product Programs -- Program Verification -- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification -- Verified Learning Without Regret -- Program Verification by Coinduction -- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq -- Program Analysis and Automated Verification -- Evaluating Design Tradeoffs in Numeric Static Analysis for Java -- An Abstract Interpretation Framework for Input Data Usage -- Higher-Order Program Verification via HFL Model Checking -- Quantitative Analysis of Smart Contracts -- Session Types and Concurrency -- Session-Typed Concurrent Contracts -- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems -- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings -- Concurrent Kleene Algebra: Free Model and Completeness -- Concurrency and Distribution -- Correctness of a Concurrent Object Collector for Actor Languages -- Paxos Consensus, Deconstructed and Abstracted -- On Parallel Snapshot Isolation and Release/Acquire Consistency -- Eventual Consistency for CRDTs -- Compiler Verification -- A Verified Compiler from Isabelle/HOL to CakeML -- Compositional Verification of Compiler Optimisations on Relaxed Memory.…”
Link to Metadata
Electronic eBook