Ergebnisse filtern
Fachgebiet
Medium
  • 5171
  • 64
  • 63
  • 27
  • 1
Erscheinungsjahr
  • 2
  • 9
  • 144
  • 174
  • 172
  • 149
  • 158
  • 164
  • 175
  • 97
  • 240
  • 147
  • 215
  • 181
  • 163
  • 110
  • 596
  • 86
  • 225
  • 312
  • 210
  • 108
  • 76
  • 137
  • 95
  • 100
  • 81
  • 73
  • 141
  • 125
  • 116
  • 79
  • 75
  • 67
  • 62
  • 69
  • 54
  • 37
  • 21
  • 29
  • 9
  • 8
  • 3
  • 1
  • 1
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 22
  • 3
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 6
  • 3
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 4
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 8
  • 3
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 6
  • 8
  • 3
  • 2
  • 14
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 9
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 9
  • 2
  • 3
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 5
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 5
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 18
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 8
  • 6
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 5
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 6
  • 3
  • 6
  • 5
  • 3
  • 4
  • 4
  • 7
  • 3
  • 7
  • 3
  • 3
  • 6
  • 4
  • 4
  • 16
  • 4
  • 25
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 8
  • 3
  • 5
  • 4
  • 4
  • 17
  • 3
  • 3
  • 5
  • 6
  • 3
  • 3
  • 8
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 12
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 13
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 5
  • 3
  • 8
  • 3
  • 3
  • 4
  • 3
  • 8
  • 5
  • 5
  • 3
  • 8
  • 8
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 13
  • 3
  • 3
  • 7
  • 8
  • 3
  • 3
  • 6
  • 3
  • 8
  • 4
  • 3
  • 3
  • 8
  • 3
  • 6
  • 6
  • 3
  • 5
  • 7
  • 3
  • 4
  • 9
  • 3
  • 3
  • 7
  • 29
  • 4
  • 5
  • 6
  • 3
  • 5
  • 10
  • 7
  • 6
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 7
  • 3
  • 6
  • 17
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 8
  • 8
  • 3
  • 8
  • 15
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 10
  • 4
  • 5
  • 3
  • 3
  • 5
  • 3
  • 6
  • 4
  • 5
  • 34
  • 4
  • 7
  • 4
  • 3
  • 3
  • 3
  • 8
  • 6
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 16
  • 4
  • 4
  • 6
  • 3
  • 7
  • 3
  • 6
  • 3
  • 3
  • 6
  • 3
  • 3
  • 11
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 13
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 6
  • 6
  • 3
  • 15
  • 3
  • 6
  • 5
  • 5
  • 3
  • 6
  • 3
  • 5
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 7
  • 4
  • 3
  • 5
  • 4
  • 3
  • 5
  • 4
  • 4
  • 5
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 6
  • 4
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 5
  • 4
  • 14
  • 7
  • 3
  • 4
  • 3
  • 3
  • 6
  • 7
  • 3
  • 5
  • 8
  • 3
  • 24
  • 7
  • 4
  • 6
  • 5
  • 5
  • 11
  • 9
  • 3
  • 4
  • 4
  • 5
  • 5
  • 4
  • 3
  • 8
  • 5
  • 5
  • 4
  • 5
  • 6
  • 3
  • 11
  • 3
  • 5
  • 11
  • 6
  • 3
  • 4
  • 7
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 5
  • 5
  • 5
  • 5
  • 3
  • 4
  • 5
  • 4
  • 3
  • 23
  • 5
  • 4
  • 6
  • 9
  • 3
  • 3
  • 4
  • 4
  • 3
  • 8
  • 4
  • 3
  • 7
  • 3
  • 3
  • 5
  • 4
  • 4
  • 11
  • 6
  • 4
  • 6
  • 4
  • 3
  • 9
  • 5
  • 4
  • 5
  • 10
  • 5
  • 7
  • 4
  • 5
  • 5
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 8
  • 6
  • 5
  • 4
  • 4
  • 6
  • 3
  • 7
  • 6
  • 5
  • 3
  • 3
  • 9
  • 3
  • 3
  • 5
  • 3
  • 9
  • 4
  • 3
  • 5
  • 4
Verlag
  • 4
  • 2
  • 1
  • 6
  • 1
  • 3
  • 1
  • 22
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 18
  • 13
  • 1
  • 3
  • 49
  • 53
  • 1
  • 2
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 3
  • 29
  • 13
  • 24
  • 10
  • 5
  • 1
  • 1
  • 20
  • 1
  • 1
  • 9
  • 4
  • 2
  • 1
  • 1
  • 1
  • 15
  • 7
  • 19
  • 8
  • 3
  • 4
  • 2
  • 1
  • 1
  • 2
  • 2
  • 11
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 17
  • 14
  • 2
  • 10
  • 1
  • 2
  • 1
  • 1
  • 4
  • 4
  • 1
  • 13
  • 1
  • 1
  • 8
  • 1
  • 1
  • 2
  • 13
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 17
  • 1
  • 1003
  • 1163
  • 3
  • 753
  • 23
  • 1
  • 368
  • 39
  • 526
  • 3
  • 388
  • 28
  • 78
  • 1
  • 1
  • 1
  • 1
  • 2
  • 18
  • 12
  • 82
  • 47
  • 28
  • 1
  • 1
  • 1
  • 118
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 11
  • 1
  • 4
  • 1
  • 48
  • 2
  • 3
  • 1
  • 2
Preis
  • 56
  • 201
  • 1297
  • 3772
Sprachen
  • 5126
  • 212
  • 3
Verfügbarkeit
  • 5244
  • 82
Eigenschaften
  • 3
Katalog
  • 5326
  • 485
5.326  Titel
    Dau | The Logic System of Concept Graphs with Negation | Buch | Sack Fachmedien

    Dau The Logic System of Concept Graphs with Negation

    And Its Relationship to Predicate Logic
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20607-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tacchella / Giunchiglia | Theory and Applications of Satisfiability Testing | Buch | Sack Fachmedien

    Tacchella / Giunchiglia Theory and Applications of Satisfiability Testing

    6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20851-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Mendes / Yan | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Chen / Mendes / Yan Intelligent Robotics and Applications

    11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9¿11, 2018, Proceedings, Part II
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-97588-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karkaletsis / Konstantopoulos / Antonopoulos | RADIO--Robots in Assisted Living | Buch | Sack Fachmedien

    Karkaletsis / Konstantopoulos / Antonopoulos RADIO--Robots in Assisted Living

    Unobtrusive, Efficient, Reliable and Modular Solutions for Independent Ageing
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-319-92329-1
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Rozenberg / Kreowski | Graph Grammars and Their Application to Computer Science | Buch | Sack Fachmedien

    Ehrig / Rozenberg / Kreowski Graph Grammars and Their Application to Computer Science

    4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54478-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Williams | Instantiation Theory | Buch | Sack Fachmedien

    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
    Voronkov | Logic Programming and Automated Reasoning | Buch | Sack Fachmedien

    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
    Börger / Richter / Jäger | Computer Science Logic | Buch | Sack Fachmedien

    Börger / Richter / Jäger Computer Science Logic

    5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55789-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pettorossi | Meta-Programming in Logic | Buch | Sack Fachmedien

    Pettorossi Meta-Programming in Logic

    Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56282-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Plümer | Termination Proofs for Logic Programs | Buch | Sack Fachmedien

    Plümer Termination Proofs for Logic Programs

    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52837-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brooks / Barter | AI '88 | Buch | Sack Fachmedien

    Brooks / Barter AI '88

    2nd Australian Joint Artificial Intelligence Conference, Adelaide, Australia, November 15-18, 1988, Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52062-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dalkilic / Yang / Kim | Data Mining and Bioinformatics | Buch | Sack Fachmedien

    Dalkilic / Yang / Kim Data Mining and Bioinformatics

    First International Workshop, VDMB 2006, Seoul, Korea, September 11, 2006, Revised Selected Papers
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68970-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ishikawa / Yamakawa / Doya | Neural Information Processing | Buch | Sack Fachmedien

    Ishikawa / Yamakawa / Doya Neural Information Processing

    14th International Confernce, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69154-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hinchey / Rago / Truszkowski | Innovative Concepts for Autonomic and Agent-Based Systems | Buch | Sack Fachmedien

    Hinchey / Rago / Truszkowski Innovative Concepts for Autonomic and Agent-Based Systems

    Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69265-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wechler / Kirchner | Algebraic and Logic Programming | Buch | Sack Fachmedien

    Wechler / Kirchner Algebraic and Logic Programming

    Second International Conference, Nancy, France, October 1-3, 1990. Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53162-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pichler / Kopacek / Moreno-Diaz | Computer Aided Systems Theory - EUROCAST'99 | Buch | Sack Fachmedien

    Pichler / Kopacek / Moreno-Diaz Computer Aided Systems Theory - EUROCAST'99

    A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67822-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maglaveras / Brause / Chouvarda | Biological and Medical Data Analysis | Buch | Sack Fachmedien

    Maglaveras / Brause / Chouvarda Biological and Medical Data Analysis

    7th International Symposium, ISBMDA 2006, Thessaloniki, Greece, December 7-8, 2006. Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68063-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouchon-Meunier / Yager / Valverde | IPMU'92 - Advanced Methods in Artificial Intelligence | Buch | Sack Fachmedien

    Bouchon-Meunier / Yager / Valverde IPMU'92 - Advanced Methods in Artificial Intelligence

    4th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Palma de Mallorca, Spain, July 6-10, 1992. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56735-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miola | Design and Implementation of Symbolic Computation Systems | Buch | Sack Fachmedien

    Miola Design and Implementation of Symbolic Computation Systems

    International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57235-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fitch | Design and Implementation of Symbolic Computation Systems | Buch | Sack Fachmedien

    Fitch Design and Implementation of Symbolic Computation Systems

    International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57272-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjørner / Pottosin / Broy | Formal Methods in Programming and Their Applications | Buch | Sack Fachmedien

    Bjørner / Pottosin / Broy Formal Methods in Programming and Their Applications

    International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57316-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jarke / Jeffery / Bubenko | Advances in Database Technology - EDBT '94 | Buch | Sack Fachmedien

    Jarke / Jeffery / Bubenko Advances in Database Technology - EDBT '94

    4th International Conference on Extending Database Technology, Cambridge, United Kingdom, March 28 - 31, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57818-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Doshita / Nishida / Furukawa | Algorithmic Learning Theory - ALT '92 | Buch | Sack Fachmedien

    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
    Hajnicz | Time Structures | Buch | Sack Fachmedien

    Hajnicz Time Structures

    Formal Description and Algorithmic Representation
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60941-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salomaa / Paun | New Trends in Formal Languages | Buch | Sack Fachmedien

    Salomaa / Paun New Trends in Formal Languages

    Control, Cooperation, and Combinatorics
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62844-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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