Hide search box
Advanced search

Search results

results: 225

Refine results

Product type

show more

Author

show more

Publication country

show more

Publication language

show more

Publication date

  • <2020
  • 2021
  • 2022
  • 2023
  • 2024
  • 2025
  • 2026

Creation date

  • <2020
  • 2021
  • 2022
  • 2023
  • 2024
  • 2025
  • 2026

Modified date

  • <2020
  • 2021
  • 2022
  • 2023
  • 2024
  • 2025
  • 2026

Media

show more

Publisher

show more

Provider

show more

Business model

show more

Number of pages

Category

show more
Save parameters
  • Sort by:
  • Uid
  • Relevance
  • Title
  • Publication date
  • Price
  • Page z 23
  • Okładka
    (0)
    TOC
    Content preview
    Optimization Algorithms & data structures Combinatorics & graph theory

    Handbook of Combinatorics Volume 1

    Author Unknown

    Elsevier Science, 1995 ISBN: 9780080933351
    Description:

    Handbook of Combinatorics, Volume 1 focuses on basic methods, paradigms, results, issues, and trends across the broad spectrum of combinatorics.The...

    Continue reading
    PLN Gross price list
    To cart
  • Okładka
    (0)
    TOC
    Content preview
    Linear programming Algorithms & data structures Combinatorics & graph theory

    Discrete Optimization: The State of the Art

    E. Boros

    P.L. Hammer

    Elsevier Science, 2003 ISBN: 9780080930282
    Description:

    One of the most frequently occurring types of optimization problems involves decision variables which have to take integer values. From a practical...

    Continue reading
    PLN Gross price list
    To cart
  • Okładka
    (0)
    TOC
    Content preview
    Algorithms & data structures Software Engineering Mathematical logic

    Extrapolation Methods: Theory and Practice

    C. Brezinski

    M. Redivo Zaglia

    Elsevier Science, 2013 ISBN: 9780080506227
    Description:

    This volume is a self-contained, exhaustive exposition of the extrapolation methods theory, and of the various algorithms and procedures for...

    Continue reading
    PLN Gross price list
    To cart
  • Okładka
    (0)
    TOC
    Content preview
    Mathematical logic Expert systems / knowledge-based systems Algorithms & data structures Discrete mathematics

    Symbolic Logic and Mechanical Theorem Proving

    Chin-Liang Chang

    Richard Char-Tung Lee

    Elsevier Science, 2014 ISBN: 9780080917283
    Description:

    This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists...

    Continue reading
    PLN Gross price list
    To cart
  • Okładka
    (0)
    TOC
    Content preview
    Cybernetics & systems theory Algorithms & data structures Mathematical foundations

    Provability, Computability and Reflection

    Lev D. Beklemishev

    Elsevier Science, 2000 ISBN: 9780080957548
    Description:

    The book consists of  a selection of the forms of the axiom of choice which appeared in the literature together with additional forms which were...

    Continue reading
    PLN Gross price list
    To cart
  • Okładka
    (0)
    TOC
    Content preview
    Cybernetics & systems theory Algorithms & data structures Mathematical foundations

    Computer Programming and Formal Systems

    Lev D. Beklemishev

    Elsevier Science, 2000 ISBN: 9780080957555
    Description:

    Computer Programming and Formal Systems

    Continue reading
    PLN Gross price list
    To cart
  • Okładka
    (0)
    TOC
    Content preview
    Cybernetics & systems theory Algorithms & data structures Mathematical foundations

    Provability, Computability and Reflection

    Lev D. Beklemishev

    Elsevier Science, 2000 ISBN: 9780080957562
    Description:

    Provability, Computability and Reflection

    Continue reading
    PLN Gross price list
    To cart
  • Okładka
    (0)
    TOC
    Content preview
    Cybernetics & systems theory Algorithms & data structures Mathematical foundations

    Provability, Computability and Reflection

    Lev D. Beklemishev

    Elsevier Science, 2000 ISBN: 9780080957579
    Description:

    Provability, Computability and Reflection

    Continue reading
    PLN Gross price list
    To cart
  • Okładka
    (0)
    TOC
    Content preview
    Cybernetics & systems theory Algorithms & data structures Mathematical foundations

    Provability, Computability and Reflection

    Lev D. Beklemishev

    Elsevier Science, 2000 ISBN: 9780080957586
    Description:

    Provability, Computability and Reflection

    Continue reading
    PLN Gross price list
    To cart
  • Okładka
    (0)
    TOC
    Content preview
    Cybernetics & systems theory Algorithms & data structures Mathematical foundations

    Provability, Computability and Reflection

    Lev D. Beklemishev

    Elsevier Science, 2000 ISBN: 9780080957593
    Description:

    Provability, Computability and Reflection

    Continue reading
    PLN Gross price list
    To cart
  • F Free access
  • T Trial access
  • O Open access
  • S Subscription
  • L With time limit
  • P Purchased