Fachgebiet
Medium
  • 1445
  • 91
  • 7
  • 1
Erscheinungsjahr
  • 11
  • 16
  • 14
  • 20
  • 31
  • 27
  • 39
  • 52
  • 37
  • 32
  • 23
  • 29
  • 56
  • 126
  • 19
  • 174
  • 18
  • 47
  • 28
  • 30
  • 34
  • 25
  • 29
  • 47
  • 55
  • 48
  • 49
  • 44
  • 37
  • 41
  • 32
  • 30
  • 40
  • 26
  • 18
  • 15
  • 13
  • 5
  • 13
  • 8
  • 3
  • 7
  • 11
  • 2
  • 8
  • 4
  • 3
  • 1
  • 5
  • 2
  • 3
  • 5
  • 6
  • 2
  • 4
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
Autoren
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 3
  • 2
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 3
  • 1
  • 3
  • 1
  • 1
  • 2
  • 2
  • 3
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 7
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 7
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 4
  • 3
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 5
  • 1
  • 1
  • 1
  • 7
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 7
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 2
  • 7
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 2
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 4
  • 2
  • 2
  • 4
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 6
  • 9
  • 1
  • 3
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 4
  • 2
  • 2
  • 1
  • 1
  • 2
  • 2
  • 4
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 20
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 6
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 9
  • 6
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 5
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 14
Verlag
  • 14
  • 1
  • 6
  • 2
  • 6
  • 33
  • 1
  • 1
  • 99
  • 7
  • 8
  • 26
  • 67
  • 1
  • 1
  • 3
  • 14
  • 1
  • 1
  • 2
  • 1
  • 2
  • 5
  • 1
  • 4
  • 1
  • 1
  • 14
  • 1
  • 5
  • 1
  • 3
  • 1
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 15
  • 10
  • 10
  • 1
  • 1
  • 1
  • 1
  • 1
  • 14
  • 2
  • 2
  • 6
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 281
  • 179
  • 2
  • 39
  • 4
  • 1
  • 9
  • 12
  • 326
  • 21
  • 137
  • 6
  • 4
  • 2
  • 1
  • 1
  • 25
  • 13
  • 9
  • 2
  • 3
  • 1
  • 3
  • 1
  • 14
  • 1
  • 2
  • 1
  • 10
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
Preis
  • 75
  • 166
  • 448
  • 855
Sprachen
  • 1356
  • 176
  • 12
  • 6
  • 3
Verfügbarkeit
  • 1526
  • 18
Eigenschaften
  • 1
Katalog
  • 1544
  • 124
1.544  Titel


    Jones / Sato / Hagiya Logic, Language and Computation

    Festschrift in Honor of Satoru Takasu
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57935-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Moerdijk / MacLane Sheaves in Geometry and Logic

    A First Introduction to Topos Theory
    1992
    Verlag: Springer
    ISBN: 978-0-387-97710-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Girard Typed Lambda Calculi and Applications

    4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65763-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Puninski Serial Rings

    2001
    Verlag: Springer Netherlands
    ISBN: 978-94-010-3862-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Cihák / Cihák Bruchrechnung

    Interaktive Übungen für Schüler und Schülerinnen
    Erscheinungsjahr 2019
    Verlag: ibidem
    ISBN: 978-3-8382-1330-9
    Medium: Buch
    16,90 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Doig / Novotná / Kaur Elementary Mathematics Teaching

    30 Years of Semt
    Erscheinungsjahr 2025
    Verlag: Oxford University Press
    ISBN: 978-0-19-286964-7
    Medium: Buch
    152,50 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb

    Shore / Nerode Logic for Applications

    2. Auflage 1997
    Verlag: Springer
    ISBN: 978-0-387-94893-5
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Baratto Basic Mathematical Skills with Geometry

    9th Revised Auflage
    Verlag: McGraw Hill LLC
    ISBN: 978-0-07-338444-3
    Medium: Buch
    221,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Marsh / Cormier Spline Regression Models

    1. Auflage 2001
    Verlag: Sage Publications, Inc
    ISBN: 978-0-7619-2420-3
    Medium: Buch
    47,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sedlár / Tedder / Standefer New Directions in Relevant Logic

    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-69939-9
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Walsh / Bacchus Theory and Applications of Satisfiability Testing

    8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-26276-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Miglioli / Ornaghi / Moscato Theorem Proving with Analytic Tableaux and Related Methods

    5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61208-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Pfenning Logic Programming and Automated Reasoning

    5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58216-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Voronkov Logic Programming and Automated Reasoning

    International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55727-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lukose / Zhang Distributed Artificial Intelligence: Architecture and Modelling

    First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61314-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Ong Computer Science Logic

    19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28231-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bereits im Warenkorb

    Williams Instantiation Theory

    On the Foundations of Automated Deduction
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54333-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Wansing The Logic of Information Structures

    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56734-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Doshita / Nishida / Furukawa Algorithmic Learning Theory - ALT '92

    Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57369-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Stephan / Hutter Mechanizing Mathematical Reasoning

    Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-25051-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gorbunov Algebraic Theory of Quasivarieties

    1998
    Verlag: Springer US
    ISBN: 978-0-306-11063-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Guttmann Polygons, Polyominoes and Polycubes

    2009
    Verlag: Springer Netherlands
    ISBN: 978-1-4020-9926-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Davis Foundations of Image Understanding

    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Springer US
    ISBN: 978-1-4613-5599-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Grzymala-Busse Managing Uncertainty in Expert Systems

    Softcover Nachdruck of the original 1. Auflage 1991
    Verlag: Springer US
    ISBN: 978-1-4613-6779-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular