Search Results - "tree"

Refine Results
  1. 3181
  2. 3182
  3. 3183
  4. 3184
  5. 3185
  6. 3186
  7. 3187
  8. 3188
  9. 3189
  10. 3190
  11. 3191
  12. 3192

    An Open Guide to Data Structures and Algorithms by Bible, Paul W., Moser, Lucas

    Published 2023
    Table of Contents: “…Publisher's Note -- Acknowledgements -- Algorithms, Big-O, and Complexity -- Recursion -- Sorting -- Search -- Linked Lists -- Stacks and Queues -- Hashing and Hash Tables -- Search Trees -- Priority Queues -- Dynamic Programming -- Graphs -- Hard Problems -- Contributors…”
    Access online version
    Electronic eBook
  13. 3193
  14. 3194
  15. 3195

    Counting Rocks! An Introduction to Combinatorics by Adams, Henry, Emmrich, Kelly, Gillespie, Maria, Golden, Shannon, Pries, Rachel

    Published 2023
    Table of Contents: “…-- Counting principles -- Counting combinations -- Pascal's triangle and the Binomial Theorem -- Proof techniques in combinatorics -- Recurrence relations -- Generating functions -- Graph theory basics -- Trees -- Graph optimization -- Planar graphs -- Graph coloring…”
    Access online version
    Electronic eBook
  16. 3196

    Status and Dynamics of Forests in Germany Results of the National Forest Monitoring /

    Published 2019
    Table of Contents: “…Nutritional Status of Major Forest Tree Species in Germany -- Chapter 10. Plants as Indicators of Soil Chemical Properties -- Chapter 11. …”
    Link to Metadata
    Electronic eBook
  17. 3197

    Diseases of the Abdomen and Pelvis 2023-2026 Diagnostic Imaging /

    Published 2023
    Table of Contents: “…Emergency radiology of the abdomen and pelvis (inkl. trauma) -- Imaging infectious disease of the abdomen (including COVID) -- Staging and monitoring of oncologic disease with emphasis on standardized reporting and hybrid imaging -- Benign and malignant diseases of the colon and rectum -- Retroperitoneal masses -- Diffuse liver disease -- Focal liver disease -- Diseases of the gall bladder and biliary tree -- Diseases of the pancreas -- Adrenal disease -- Benign and malignant renal disease -- Update on immunotherapies: the role of the radiologists in the era of precision medicine -- Benign disease of the uterus -- Malignant disease of the uterus -- Adnexal disease -- Prostate MRI -- Pathways for spread of disease in the abdomen -- Small bowel disease -- Congenital and acquired pathologies of the pediatric gastro-intestinal tract -- Congenital and acquired pathologies of the pediatric uro-genital tract.…”
    Link to Metadata
    Electronic eBook
  18. 3198

    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 2018
    Table 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
  19. 3199
  20. 3200