Search Results - Refco~
Suggested Topics within your search.
Suggested Topics within your search.
- Language: reference & general 376
- linguistics 250
- History of engineering & technology 146
- Technology: general issues 123
- Research & information: general 116
- Language teaching & learning (other than ELT) 107
- Sociolinguistics 84
- Biology, life sciences 71
- Reference, information & interdisciplinary subjects 71
- Jurisprudence & general issues 62
- Criminology: legal aspects 60
- Legal skills & practice 60
- Yearbooks, annuals, almanacs 54
- Education 51
- History 51
- Medicine 44
- Humanities 37
- Literature: history & criticism 36
- Creative writing & creative writing guides 34
- Social sciences 34
- Encyclopaedias & reference works 32
- Computer science 30
- Mathematics 29
- Politics & government 29
- Environmental economics 27
- Modern history to 20th century: c 1700 to c 1900 27
- Society & social sciences 27
- Press & journalism 26
- Geography 25
- Literary studies: general 25
-
4701
-
4702
-
4703
-
4704
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...
Published 2023Table of Contents: “…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
Electronic eBook -
4705
Arts and Health Promotion Tools and Bridges for Practice, Research, and Social Transformation /
Published 2021Table of Contents: “…CuidarNos: Art and Social Work to Address Trauma among Gender-Based Violence Advocates After Hurricane María in Puerto Rico -- Chapter 7. Community Theater for Health Promotion in Japan -- Part 3. …”
Link to Metadata
Electronic eBook -
4706
-
4707
-
4708
-
4709
-
4710
-
4711
-
4712
-
4713
British Literature I Anthology From the Middle Ages to Neoclassicism and the Eighteenth Century
Published 2018Table of Contents: “…Part 1: The Middle Ages -- 1.1 Learning Outcomes -- 1.2 Introduction -- 1.3 Recommended Reading -- 1.4 The Dream of the Rood -- 1.5 Beowulf -- 1.6 Judith -- 1.7 The Wanderer -- 1.8 The Wife's Lament -- 1.9 The Venerable Bede -- 1.10 Anglo-Saxon Riddles -- 1.11 Marie de France -- 1.12 Middle English Lyrics -- 1.13 Geoffrey Chaucer -- 1.14 Sir Gawain and the Green Knight -- 1.15 Julian of Norwich -- 1.16 The Second Shepherds' Play -- 1.17 Sir Thomas Malory -- 1.18 Everyman -- 1.19 Key Terms -- Part Two: The Tudor Age (1485-1603) -- 2.1 Learning Outcomes -- 2.2 Introduction -- 2.3 Recommended Reading -- 2.4 Thomas More -- 2.5 Thomas Wyatt -- 2.6 Henry Howard, Earl of Surrey -- 2.7 Queen Elizabeth -- 2.8 Edmund Spenser -- 2.9 Sir Walter Raleigh -- 2.10 Sir Philip Sidney -- 2.11 Mary (Sidney) Herbert, Countess of Pembroke -- 2.12 Christopher Marlowe -- 2.13 William Shakespeare -- 2.14 Key Terms -- Part 3: The Seventeenth Century: The Age of Revolution (1603-1688) -- 3.1 Learning Outcomes -- 3.2 Introduction -- 3.3 Recommended Reading -- 3.4 John Donne -- 3.5 Aemilia Lanyer -- 3.6 Ben Jonson -- 3.7 Robert Herrick -- 3.8 Andrew Marvell -- 3.9 Margaret Cavendish, the Duchess of Newcastle -- 3.10 John Milton -- 3.11 John Dryden -- 3.12 Samuel Pepys -- 3.13 Key Terms -- Part 4: Neoclassicism and the Eighteenth Century (1603-1688) -- 4.1 Learning Outcomes -- 4.2 Introduction -- 4.3 Recommended Reading -- 4.4 Aphra Behn -- 4.5 William Congreve -- 4.6 Daniel Defoe -- 4.7 Anne Finch, Countess of Winchilsea -- 4.8 Jonathan Swift -- 4.9 Alexander Pope -- 4.10 Henry Fielding -- 4.11 Lady Mary Wortley Montagu -- 4.12 Samuel Johnson -- 4.13 James Boswell -- 4.14 Olaudah Equiano -- 4.15 Key Terms…”
Access online version
Electronic eBook -
4714
-
4715
THE NURSE AND THE CONTEXT IN TRANSFUSION REACTIONS
Published 2012Connect to this object online.
Book -
4716
THE NURSE AND THE CONTEXT IN TRANSFUSION REACTIONS
Published 2012Connect to this object online.
Book -
4717
THE NURSE AND THE CONTEXT IN TRANSFUSION REACTIONS
Published 2012Connect to this object online.
Book -
4718
-
4719
-
4720