Zwiń wyszukiwarkę
Wyszukiwanie zaawansowane

Wyniki wyszukiwania

liczba wyników: 225

Doprecyzuj wyniki

Typ produktu

pokaż więcej

Autor

pokaż więcej

Kraj publikacji

pokaż więcej

Język publikacji

pokaż więcej

Data wydania

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

Data utworzenia

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

Data modyfikacji

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

Nośnik

pokaż więcej

Wydawca

pokaż więcej

Dostawca

pokaż więcej

Model cenowy

pokaż więcej

Liczba stron

Kategoria

pokaż więcej
Zapisz parametry
  • Sortowanie:
  • Uid
  • Trafność
  • Tytuł
  • Data wydania
  • Cena
  • Strona z 23
  • Okładka
    (0)
    Spis treści
    Podgląd zawartości
    Optimization Algorithms & data structures Combinatorics & graph theory

    Handbook of Combinatorics Volume 1

    Author Unknown

    Elsevier Science, 1995 ISBN: 9780080933351
    Opis:

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

    Czytaj dalej
    PLN cena katalogowa brutto
    Do koszyka
  • Okładka
    (0)
    Spis treści
    Podgląd zawartości
    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
    Opis:

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

    Czytaj dalej
    PLN cena katalogowa brutto
    Do koszyka
  • Okładka
    (0)
    Spis treści
    Podgląd zawartości
    Algorithms & data structures Software Engineering Mathematical logic

    Extrapolation Methods: Theory and Practice

    C. Brezinski

    M. Redivo Zaglia

    Elsevier Science, 2013 ISBN: 9780080506227
    Opis:

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

    Czytaj dalej
    PLN cena katalogowa brutto
    Do koszyka
  • Okładka
    (0)
    Spis treści
    Podgląd zawartości
    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
    Opis:

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

    Czytaj dalej
    PLN cena katalogowa brutto
    Do koszyka
  • Okładka
    (0)
    Spis treści
    Podgląd zawartości
    Cybernetics & systems theory Algorithms & data structures Mathematical foundations

    Provability, Computability and Reflection

    Lev D. Beklemishev

    Elsevier Science, 2000 ISBN: 9780080957548
    Opis:

    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...

    Czytaj dalej
    PLN cena katalogowa brutto
    Do koszyka
  • Okładka
    (0)
    Spis treści
    Podgląd zawartości
    Cybernetics & systems theory Algorithms & data structures Mathematical foundations

    Computer Programming and Formal Systems

    Lev D. Beklemishev

    Elsevier Science, 2000 ISBN: 9780080957555
    Opis:

    Computer Programming and Formal Systems

    Czytaj dalej
    PLN cena katalogowa brutto
    Do koszyka
  • Okładka
    (0)
    Spis treści
    Podgląd zawartości
    Cybernetics & systems theory Algorithms & data structures Mathematical foundations

    Provability, Computability and Reflection

    Lev D. Beklemishev

    Elsevier Science, 2000 ISBN: 9780080957562
    Opis:

    Provability, Computability and Reflection

    Czytaj dalej
    PLN cena katalogowa brutto
    Do koszyka
  • Okładka
    (0)
    Spis treści
    Podgląd zawartości
    Cybernetics & systems theory Algorithms & data structures Mathematical foundations

    Provability, Computability and Reflection

    Lev D. Beklemishev

    Elsevier Science, 2000 ISBN: 9780080957579
    Opis:

    Provability, Computability and Reflection

    Czytaj dalej
    PLN cena katalogowa brutto
    Do koszyka
  • Okładka
    (0)
    Spis treści
    Podgląd zawartości
    Cybernetics & systems theory Algorithms & data structures Mathematical foundations

    Provability, Computability and Reflection

    Lev D. Beklemishev

    Elsevier Science, 2000 ISBN: 9780080957586
    Opis:

    Provability, Computability and Reflection

    Czytaj dalej
    PLN cena katalogowa brutto
    Do koszyka
  • Okładka
    (0)
    Spis treści
    Podgląd zawartości
    Cybernetics & systems theory Algorithms & data structures Mathematical foundations

    Provability, Computability and Reflection

    Lev D. Beklemishev

    Elsevier Science, 2000 ISBN: 9780080957593
    Opis:

    Provability, Computability and Reflection

    Czytaj dalej
    PLN cena katalogowa brutto
    Do koszyka
  • F Dostęp bezpłatny
  • T Dostęp testowy
  • O Open Access
  • S Subskrybcja
  • L Z limitem czasowym
  • P Kupione na właśność