Ergebnisse filtern
Fachgebiet
Medium
  • 2067
  • 1
Erscheinungsjahr
  • 70
  • 142
  • 187
  • 76
  • 82
  • 69
  • 43
  • 52
  • 62
  • 31
  • 54
  • 33
  • 42
  • 59
  • 62
  • 46
  • 20
  • 36
  • 50
  • 134
  • 134
  • 56
  • 25
  • 54
  • 25
  • 32
  • 18
  • 18
  • 43
  • 38
  • 41
  • 45
  • 43
  • 36
  • 25
  • 23
  • 15
  • 21
  • 10
  • 7
  • 4
  • 1
  • 2
  • 1
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 10
  • 2
  • 16
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 6
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 8
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 18
  • 2
  • 5
  • 7
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 10
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 8
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 24
  • 5
  • 2
  • 8
  • 2
  • 3
  • 2
  • 11
  • 2
  • 4
  • 2
  • 2
  • 2
  • 28
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 5
  • 24
  • 4
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 8
  • 2
  • 5
  • 2
  • 3
  • 5
  • 5
  • 4
  • 2
  • 5
  • 2
  • 5
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 13
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 7
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 29
  • 4
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 6
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 3
  • 7
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 2
  • 9
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 3
  • 4
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 6
  • 3
  • 3
  • 3
  • 2
  • 19
  • 2
  • 3
  • 2
  • 9
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 77
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 8
  • 2
  • 31
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 11
  • 4
  • 3
  • 4
  • 4
  • 2
  • 31
  • 4
  • 2
  • 3
  • 3
  • 2
  • 7
  • 4
  • 4
  • 2
  • 2
  • 10
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 12
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 9
  • 17
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 30
  • 3
  • 2
  • 2
  • 3
  • 12
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 4
  • 14
  • 4
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 8
  • 3
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 24
  • 2
  • 8
  • 7
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 76
  • 6
  • 6
  • 5
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 76
  • 2
  • 2
  • 2
  • 2
  • 9
  • 4
  • 76
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 16
  • 2
  • 2
  • 2
  • 4
  • 2
  • 76
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 4
  • 3
  • 2
  • 4
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 12
  • 2
  • 3
  • 4
  • 2
  • 2
  • 6
  • 3
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 5
  • 2
  • 2
  • 8
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 6
  • 3
  • 4
  • 2
  • 3
  • 4
  • 5
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 5
  • 4
  • 8
  • 4
  • 24
  • 3
  • 5
  • 8
  • 3
  • 3
  • 3
  • 76
  • 5
  • 3
  • 5
  • 4
  • 5
  • 4
  • 5
  • 6
  • 3
  • 8
  • 38
  • 4
  • 3
  • 9
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 8
  • 14
  • 12
  • 5
  • 5
  • 5
  • 6
  • 5
  • 3
  • 6
  • 9
  • 14
  • 10
  • 3
  • 3
  • 6
  • 15
  • 10
  • 5
  • 4
  • 4
  • 3
  • 3
  • 4
  • 16
  • 4
  • 5
  • 29
  • 9
  • 3
  • 9
  • 5
  • 3
  • 5
  • 3
  • 3
  • 10
  • 3
  • 8
  • 3
  • 7
Verlag
  • 1
  • 5
  • 2021
  • 1
  • 1
  • 1
  • 14
  • 1
  • 4
  • 3
  • 14
  • 1
  • 1
Preis
  • 1
  • 30
  • 1069
  • 968
Sprachen
  • 2068
Verfügbarkeit
  • 2066
  • 2
Eigenschaften
  • 2
Katalog
  • 2068
  • 134
2.068  Treffer  für „Lecture Notes in Computer Science“
    Hartenstein / Servit | Field-Programmable Logic: Architectures, Synthesis and Applications | Buch | Sack Fachmedien

    Hartenstein / Servit Field-Programmable Logic: Architectures, Synthesis and Applications

    4th International Workshop on Field-Programmable Logic and Applications, FPL'94, Prague, Czech Republic, September 7 - 9, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58419-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wagner / Wattenhofer | Algorithms for Sensor and Ad Hoc Networks | Buch | Sack Fachmedien

    Wagner / Wattenhofer Algorithms for Sensor and Ad Hoc Networks

    Advanced Lectures
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74990-5
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ponce / Hebert / Schmid | Toward Category-Level Object Recognition | Buch | Sack Fachmedien

    Ponce / Hebert / Schmid Toward Category-Level Object Recognition

    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-68794-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blanc-Talon / Delmas / Takahashi | Advanced Concepts for Intelligent Vision Systems | Buch | Sack Fachmedien

    Blanc-Talon / Delmas / Takahashi Advanced Concepts for Intelligent Vision Systems

    22nd International Conference, ACIVS 2025, Tokyo, Japan, July 28-30, 2025, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-07342-6
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Martino / Peron / Tezuka | Web and Wireless Geographical Information Systems | Buch | Sack Fachmedien

    Di Martino / Peron / Tezuka Web and Wireless Geographical Information Systems

    11th International Symposium, W2GIS 2012, Naples, Italy, April 12-13, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29246-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Almeida / Ji / Steinbauer | RoboCup 2015: Robot World Cup XIX | Buch | Sack Fachmedien

    Almeida / Ji / Steinbauer RoboCup 2015: Robot World Cup XIX

    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-29338-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Higuchi / Iwata / Weixin | Evolvable Systems: From Biology to Hardware | Buch | Sack Fachmedien

    Higuchi / Iwata / Weixin Evolvable Systems: From Biology to Hardware

    First International Conference, ICES '96, Tsukuba, Japan, October 7 - 8, 1996, Revised Papers
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63173-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reif | VLSI Algorithms and Architectures | Buch | Sack Fachmedien

    Reif VLSI Algorithms and Architectures

    3rd Aegean Workshop on Computing, AWOC 88. Corfu, Greece, June 28 - July 1, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-0-387-96818-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wiedijk | The Seventeen Provers of the World | Buch | Sack Fachmedien

    Wiedijk The Seventeen Provers of the World

    Foreword by Dana S. Scott
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-30704-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paulson | Isabelle | Buch | Sack Fachmedien

    Paulson Isabelle

    A Generic Theorem Prover
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-58244-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Foresti / Fusiello / Hancock | Image Analysis and Processing - ICIAP 2023 | Buch | Sack Fachmedien

    Foresti / Fusiello / Hancock Image Analysis and Processing - ICIAP 2023

    22nd International Conference, ICIAP 2023, Udine, Italy, September 11-15, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-43152-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vosselman | Relational Matching | Buch | Sack Fachmedien

    Vosselman Relational Matching

    1. Auflage 1992
    Verlag: Springer
    ISBN: 978-3-540-55798-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carbone / Pierce | DNA Computing | Buch | Sack Fachmedien

    Carbone / Pierce DNA Computing

    11th International Workshop on DNA Computing, DNA11, London, ON, Canada, June 6-9, 2005. Revised Selected Papers.
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34161-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hagiya / Ohuchi | DNA Computing | Buch | Sack Fachmedien

    Hagiya / Ohuchi DNA Computing

    8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00531-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wada | Logic Programming '86 | Buch | Sack Fachmedien

    Wada Logic Programming '86

    Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18024-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang / Jiang / Shen | Medical Imaging and Augmented Reality | Buch | Sack Fachmedien

    Yang / Jiang / Shen Medical Imaging and Augmented Reality

    Third International Workshop, Shanghai, China, August 17-18, 2006, Proceedings
    XIII, 399 p. Also available online.
    Verlag: Springer
    ISBN: 978-3-540-37220-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nanya / Maruyama / Pataricza | Service Availability | Buch | Sack Fachmedien

    Nanya / Maruyama / Pataricza Service Availability

    5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68128-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ishikawa / Doya / Miyamoto | Neural Information Processing | Buch | Sack Fachmedien

    Ishikawa / Doya / Miyamoto Neural Information Processing

    14th International Confernce, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69154-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rajasekaran | Bioinformatics and Computational Biology | Buch | Sack Fachmedien

    Rajasekaran Bioinformatics and Computational Biology

    First International Conference, BICoB 2009, New Orleans, LA, USA, April 8-10, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00726-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Strang / Festag / Vinel | Communication Technologies for Vehicles | Buch | Sack Fachmedien

    Strang / Festag / Vinel Communication Technologies for Vehicles

    Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19785-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vitek / Tschudin | Mobile Object Systems Towards the Programmable Internet | Buch | Sack Fachmedien

    Vitek / Tschudin Mobile Object Systems Towards the Programmable Internet

    Second International Workshop, MOS'96, Linz, Austria, July 8 - 9, 1996, Selected Presentations and Invited Papers
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-62852-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tao / Tan / Picard | Affective Computing and Intelligent Interaction | Buch | Sack Fachmedien

    Tao / Tan / Picard Affective Computing and Intelligent Interaction

    First International Conference, ACII 2005, Beijing, China, October 22-24, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29621-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tanguiane | Artificial Perception and Music Recognition | Buch | Sack Fachmedien

    Tanguiane Artificial Perception and Music Recognition

    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-57394-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rucklidge | Efficient Visual Recognition Using the Hausdorff Distance | Buch | Sack Fachmedien

    Rucklidge Efficient Visual Recognition Using the Hausdorff Distance

    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61993-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Joyce / Seger | Higher Order Logic Theorem Proving and Its Applications | Buch | Sack Fachmedien

    Joyce / Seger Higher Order Logic Theorem Proving and Its Applications

    6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings
    1. Auflage 1994
    Verlag: Springer
    ISBN: 978-3-540-57826-0
    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