Search Results - "InStyle"
Suggested Topics within your search.
Suggested Topics within your search.
- History of art / art & design styles 443
- Literature: history & criticism 111
- Humanities 97
- Media studies 81
- The arts: general issues 76
- History of art & design styles: c 1800 to c 1900 73
- History of art & design styles: from c 1900 - 67
- History 66
- Film: styles & genres 63
- Literature & literary studies 63
- European history 62
- Interior design, decor & style guides 61
- Theory of art 58
- Archaeology 56
- Social & cultural history 56
- linguistics 52
- History of art & design styles: c 1400 to c 1600 50
- Philosophy 49
- Politics & government 49
- History of art & design styles: c 1600 to c 1800 44
- Museology & heritage studies 44
- Music 43
- The arts 43
- Social & cultural anthropology, ethnography 42
- History: earliest times to present day 40
- Cultural studies 37
- Society & culture: general 37
- History of art: Byzantine & Medieval art c 500 CE to c 1400 36
- Film theory & criticism 35
- Literary studies: general 35
-
11861
The Dynamics of Opportunity in America Evidence and Perspectives /
Published 2016Link to Metadata
Electronic eBook -
11862
Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...
Published 2018Table of Contents: “…Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.…”
Link to Metadata
Electronic eBook -
11863
S-BPM Illustrated A Storybook about Business Process Modeling and Execution /
Published 2013Link to Metadata
Electronic eBook -
11864
XcalableMP PGAS Programming Language From Programming Model to Applications /
Published 2021Link to Metadata
Electronic eBook -
11865
-
11866
-
11867
-
11868
-
11869
-
11870
-
11871
Eva - A Novel by Carry van Bruggen Translated and with a Commentary by Jane Fenoulhet
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
11872
-
11873
Realisms in East Asian Performance
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
11874
Ovarian Cancer - Challenges & Innovations
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
11875
Catene di Markov e applicazioni algoritmiche
Published 2024DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
11876
Hephaestus Reloaded Composed for Ten Hands / Efesto Reloaded: Composizioni per 10 mani
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
11877
-
11878
-
11879
-
11880
Integrating Everything The Integrated Practitioner
Published 2014DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter