Search Results - "Sound of..."
Suggested Topics within your search.
Suggested Topics within your search.
- Music 112
- Theory of music & musicology 66
- Media studies 57
- History of engineering & technology 55
- Acoustic & sound engineering 46
- linguistics 43
- Technology: general issues 42
- Humanities 40
- Research & information: general 31
- Philosophy 27
- Social & cultural anthropology, ethnography 26
- Education 25
- Literature: history & criticism 24
- Other technologies & applied sciences 20
- Sociology 20
- Politics & government 19
- Economics 18
- Psychology 18
- Film theory & criticism 16
- Music recording & reproduction 16
- Society & social sciences 15
- Biology, life sciences 14
- Computer science 14
- Gender studies, gender groups 14
- Theatre studies 14
- Film, TV & radio 13
- History 13
- Neurosciences 13
- Wave mechanics (vibration & acoustics) 13
- Arts 12
-
4741
-
4742
-
4743
-
4744
-
4745
-
4746
-
4747
-
4748
-
4749
-
4750
-
4751
MITOS IKARUS DALAM KUMPULAN PUISI SABDA RUANG KARYA AHMAD YULDEN ERWIN
Published 2019Link Metadata
Book -
4752
-
4753
-
4754
-
4755
-
4756
-
4757
-
4758
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Published 2021Table of Contents: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
Link to Metadata
Electronic eBook -
4759
Transformation Literacy Pathways to Regenerative Civilizations /
Published 2022Table of Contents: “…Introduction and conceptual framing - transformation literacy as a future-making skill -- Part 1: Mindsets in service of wellbeing on a healthy planet -- Setting the scene: How to connect with a world as an interconnected whole -- The same tone, but a new sound - understanding the story of the soul as pathway to regenerative civilizations -- Possible futures -- Transformative literacy as the ability to look forward from within -- Chinese cultural treasures as contributions to a mindset of interconnectedness for global transformations -- The systems aliveness approach - from navigating emergency to stewarding wellbeing on a healthy planet -- Part 2: Systems that enable and safeguard wellbeing on a healthy planet -- Setting the scene: Viewing the world as interconnected systems -- Everything is connected - envisioning how a regenerative world looks like -- Managing forestry in a sustainable manner, the importance of system´s analysis -- Sustainable community transformation process.…”
Link to Metadata
Electronic eBook -
4760
Der Klang der Ungleichheit Biografie, Bildung und Zusammenhalt in der vielsprachigen Gesellschaft
Published 2022DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter