Ergebnisse filtern
Fachgebiet
Medium
  • 2056
  • 1
Erscheinungsjahr
  • 55
  • 143
  • 187
  • 76
  • 82
  • 69
  • 43
  • 52
  • 62
  • 31
  • 55
  • 33
  • 42
  • 60
  • 62
  • 46
  • 20
  • 35
  • 49
  • 137
  • 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
  • 4
  • 2
  • 3
  • 9
  • 2
  • 14
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 8
  • 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
  • 2
  • 4
  • 3
  • 3
  • 8
  • 2
  • 2
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 3
  • 24
  • 5
  • 2
  • 8
  • 2
  • 3
  • 2
  • 11
  • 2
  • 4
  • 2
  • 2
  • 2
  • 27
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 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
  • 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
  • 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
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 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
  • 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
  • 28
  • 4
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 6
  • 6
  • 2
  • 3
  • 4
  • 2
  • 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
  • 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
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 6
  • 3
  • 3
  • 3
  • 2
  • 19
  • 2
  • 3
  • 2
  • 9
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 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
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 12
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 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
  • 4
  • 2
  • 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
  • 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
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 12
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 4
  • 14
  • 4
  • 5
  • 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
  • 4
  • 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
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 76
  • 6
  • 5
  • 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
  • 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
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 6
  • 3
  • 2
  • 3
  • 4
  • 5
  • 3
  • 5
  • 4
  • 4
  • 3
  • 5
  • 4
  • 8
  • 4
  • 24
  • 3
  • 3
  • 3
  • 5
  • 8
  • 3
  • 3
  • 3
  • 76
  • 5
  • 3
  • 5
  • 5
  • 4
  • 5
  • 5
  • 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
  • 9
  • 5
  • 4
  • 4
  • 3
  • 3
  • 4
  • 16
  • 4
  • 5
  • 29
  • 9
  • 3
  • 9
  • 6
  • 3
  • 5
  • 3
  • 3
  • 10
  • 3
  • 8
  • 3
  • 6
Verlag
  • 1
  • 3
  • 2015
  • 1
  • 1
  • 13
  • 1
  • 4
  • 2
  • 14
  • 1
  • 1
Preis
  • 1
  • 30
  • 1068
  • 958
Sprachen
  • 2057
Verfügbarkeit
  • 2055
  • 2
Eigenschaften
  • 1
Katalog
  • 2057
  • 134
2.057  Treffer  für „Lecture Notes in Computer Science“
    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
    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
    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
    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
    Palamidessi | Logic Programming | Buch | Sack Fachmedien

    Palamidessi Logic Programming

    19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20642-2
    Medium: Buch
    128,39 € (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
    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
    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
    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
    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
    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
    Scheideler | Algorithms for Sensor Systems | Buch | Sack Fachmedien

    Scheideler Algorithms for Sensor Systems

    6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16987-8
    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
    Singh / Kolekar / Kar | Recent Innovations in Computing | Buch | Sack Fachmedien

    Singh / Kolekar / Kar Recent Innovations in Computing

    Proceedings of ICRIC 2020
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-981-15-8296-7
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Miguel / Tuml | Abstraction, Reformulation, and Approximation | Buch | Sack Fachmedien

    Miguel / Tuml Abstraction, Reformulation, and Approximation

    7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73579-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    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
    Domingue / Traverso | Future Internet - FIS 2008 | Buch | Sack Fachmedien

    Domingue / Traverso Future Internet - FIS 2008

    First Future Internet Symposium Vienna, Austria, September 28-30, 2008 Revised Selected Papers
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00984-6
    Medium: Buch
    53,49 € (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
    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
    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
    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
    Cipolla | Active Visual Inference of Surface Shape | Buch | Sack Fachmedien

    Cipolla Active Visual Inference of Surface Shape

    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60642-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dybjer / Nordström / Smith | Types for Proofs and Programs | Buch | Sack Fachmedien

    Dybjer / Nordström / Smith Types for Proofs and Programs

    International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60579-9
    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