Search Results - LKL~
Suggested Topics within your search.
Suggested Topics within your search.
- Education 154
- International law 132
- History 127
- Medicine 114
- Research & information: general 101
- Philosophy 88
- Literature: history & criticism 86
- linguistics 85
- Sociology 76
- Biology, life sciences 74
- European history 72
- Technology: general issues 70
- Archaeology 69
- Law 69
- Politics & government 61
- Anthropology 53
- Literary studies: general 49
- Political structure & processes 47
- Humanities 45
- History of engineering & technology 44
- Literature & literary studies 44
- Society & social sciences 43
- History: specific events & topics 36
- Jurisprudence & general issues 36
- The arts 34
- International economic & trade law 33
- Communication studies 32
- Early history: c 500 to c 1450/1500 32
- History: earliest times to present day 32
- Religion: general 32
-
10401
-
10402
-
10403
-
10404
-
10405
-
10406
-
10407
KARAKTERISTIK DAN POTENSI ECO DOME UNTUK PEMBELAJARAN EFEK RUMAH KACA
Published 2021Link Metadata
Book -
10408
-
10409
-
10410
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
Published 2019Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata
Electronic eBook -
10411
-
10412
-
10413
-
10414
-
10415
-
10416
-
10417
-
10418
-
10419
-
10420