Εμφανίζονται 221 - 240 Αποτελέσματα από 322 για την αναζήτηση 'Counting problem (complexity)', χρόνος αναζήτησης: 0,14δλ Περιορισμός αποτελεσμάτων
  1. 221
    Discrete Mathematics Elementary and Beyond /
    ανά Lovász, L., Pelikán, J., Vesztergombi, K.
    Έκδοση 2003
    Πίνακας περιεχομένων: “…Let’s Count! -- Combinatorial Tools -- Binomial Coefficients and Pascal’s Triangle -- Fibonacci…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 222
    Quantitative Methods for Investigating Infectious Disease Outbreaks
    ανά Yan, Ping, Yan, Ping, Chowell, Gerardo
    Έκδοση 2019
    Πίνακας περιεχομένων: “…Introduction -- Shapes of hazard functions and lifetime distributions -- Random counts and counting…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 223
    Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… for Graphs: Algorithmic and Language Theoretical Applications -- Descriptional and Computational Complexity…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 224
    Social Statistics and Ethnic Diversity Cross-National Perspectives in Classifications and Identity Politics /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… ISSUES AND COMPETING CLAIMS: Chapter 8. Counting Ethnicity in Malaysia: the Complexity of Measuring…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 225
    New Trends in Formal Languages Control, Cooperation, and Combinatorics /
    Έκδοση 1997
    Πίνακας περιεχομένων: “…A grammatical approach to the LBA problem -- Conditional context-free languages of finite index…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 226
    STACS 2005 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “…Invited Talks -- Automorphisms of Finite Rings and Applications to Complexity of Problems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 227
    S.M.A.R.T. Circle Overview
    ανά Liu, Andy, Liu, Andy
    Έκδοση 2018
    Πίνακας περιεχομένων: “… -- Chapter 1 Three Sample Projects : Counting Problems -- Section 1 River-Crossing with Alibaba -- Section 2…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 228
    Automata, Languages and Programming 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 229
    Research Trends in Combinatorial Optimization Bonn 2008 /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Complexity of 15 Problems Related to 0/1-Integer Programming -- Single-Sink Multicommodity Flow with Side…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 230
    FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… Tree Problem -- I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 231
    Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… UAV Problem Is PSPACE-Complete -- Typing Weak MSOL Properties -- Logical Aspects of Computational…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 232
    Convexity and Discrete Geometry Including Graph Theory Mulhouse, France, September 2014 /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… in exponential counting of hypohamiltonian snarks -- Shabbir & T. Zamfirescu: Hamiltonicity in k-tree-Halin…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 233
    Theory and Applications of Satisfiability Testing - SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /
    Έκδοση 2018
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 234
    Automata, Languages and Programming 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “…Invited Talks -- Generating Hard Instances of the Short Basis Problem -- Wide Area Computation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 235
    Theory and Applications of Satisfiability Testing – SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…A (Biased) Proof Complexity Survey for SAT Practitioners -- Cores in Core Based MaxSat Algorithms…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 236
    Automata, Languages and Programming 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “… -- Quantum Query Complexity of Some Graph Problems -- A Domain Theoretic Account of Picard’s Theorem…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 237
    STACS 98 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… approximation schemes for OBDD minimization -- Complexity of problems on graphs represented as OBDDs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 238
    Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… of Church’s Problem -- The Power of Counting Logics on Restricted Classes of Finite Structures…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 239
    Teaching and Learning Discrete Mathematics Worldwide: Curriculum and Research
    Έκδοση 2018
    Πίνακας περιεχομένων: “… and Combinatorial Reasoning -- Combinatorial Reasoning to Solve Problems -- Children's Combinatorial Counting…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 240
    Theory and Applications of Satisfiability Testing - SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings /
    Έκδοση 2019
    Πίνακας περιεχομένων: “… Complexity of QBF Symmetry Recomputation -- Satisfiability Threshold for Power Law Random 2-SAT…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email