खोज परिणाम - "eclipses"
प्रस्तावित विषय : खोज निहित
प्रस्तावित विषय : खोज निहित
- General & world history 4
- Literature: history & criticism 4
- Research & information: general 4
- Sociology 4
- Astronomy, space & time 3
- Biography & True Stories 3
- Computing & information technology 3
- History of science 3
- Philosophy 3
- Theatre studies 3
- Anthropology 2
- Black & Asian studies 2
- Economics 2
- Environmental monitoring 2
- Environmentalist thought & ideology 2
- Ethics & moral philosophy 2
- Food security & supply 2
- HIV / AIDS: social aspects 2
- History of ideas 2
- History: specific events & topics 2
- Humanities 2
- Impact of science & technology on society 2
- Literature & literary studies 2
- Mathematics & science 2
- Philosophy of mind 2
- Philosophy of science 2
- Poetry by individual poets 2
- Politics & government 2
- Postwar 20th century history, from c 1945 to c 2000 2
- Regional studies 2
-
61
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...
प्रकाशित 2023विषय - सूची: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata
इलेक्ट्रोनिक ई-पुस्तक -
62
Astronomy 2e
प्रकाशित 2022विषय - सूची: “…Earth, Moon, and Sky -- 4.1 Earth and Sky -- 4.2 The Seasons -- 4.3 Keeping Time -- 4.4 The Calendar -- 4.5 Phases and Motions of the Moon -- 4.6 Ocean Tides and the Moon -- 4.7 Eclipses of the Sun and Moon -- Chapter 5. Radiation and Spectra -- 5.1 The Behavior of Light -- 5.2 The Electromagnetic Spectrum -- 5.3 Spectroscopy in Astronomy -- 5.4 The Structure of the Atom -- 5.5 Formation of Spectral Lines -- 5.6 The Doppler Effect -- Chapter 6. …”
Access online version
इलेक्ट्रोनिक ई-पुस्तक -
63
-
64
-
65
-
66
-
67
-
68
-
69
-
70
-
71
-
72
-
73
-
74
Pembelajaran Kebudayaan Jawa Berbasis Mobile Android
प्रकाशित 2012Connect to this object online
पुस्तक -
75
Aplikasi Grupchat di Android Menggunakan Websocket
प्रकाशित 2015Connect to this object online
पुस्तक -
76
Dermoscopy of Congenital Langerhans Cell Histiocytosis
प्रकाशित 2020Connect to this object online.
पुस्तक -
77
-
78
-
79
-
80