Ergebnisse filtern
Fachgebiet
Medium
  • 11238
Erscheinungsjahr
  • 118
  • 813
  • 788
  • 851
  • 616
  • 474
  • 278
  • 294
  • 301
  • 317
  • 293
  • 292
  • 290
  • 290
  • 328
  • 282
  • 270
  • 287
  • 261
  • 237
  • 248
  • 270
  • 240
  • 351
  • 298
  • 250
  • 256
  • 172
  • 177
  • 128
  • 139
  • 137
  • 115
  • 105
  • 95
  • 71
  • 88
  • 58
  • 55
  • 45
  • 45
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 6
  • 4
  • 8
  • 13
  • 24
  • 9
  • 8
  • 4
  • 5
  • 4
  • 4
  • 5
  • 7
  • 4
  • 9
  • 9
  • 6
  • 7
  • 16
  • 8
  • 4
  • 21
  • 5
  • 9
  • 5
  • 5
  • 5
  • 5
  • 5
  • 8
  • 9
  • 5
  • 4
  • 4
  • 9
  • 5
  • 8
  • 13
  • 29
  • 36
  • 7
  • 40
  • 7
  • 5
  • 4
  • 5
  • 6
  • 6
  • 7
  • 16
  • 8
  • 21
  • 6
  • 13
  • 4
  • 7
  • 4
  • 4
  • 6
  • 5
  • 6
  • 6
  • 39
  • 13
  • 5
  • 4
  • 5
  • 7
  • 6
  • 6
  • 4
  • 7
  • 6
  • 4
  • 9
  • 4
  • 9
  • 46
  • 6
  • 6
  • 4
  • 4
  • 6
  • 5
  • 8
  • 23
  • 4
  • 5
  • 7
  • 4
  • 10
  • 10
  • 11
  • 9
  • 8
  • 12
  • 5
  • 4
  • 4
  • 6
  • 4
  • 4
  • 16
  • 9
  • 5
  • 5
  • 16
  • 5
  • 7
  • 5
  • 7
  • 11
  • 6
  • 6
  • 6
  • 17
  • 9
  • 6
  • 7
  • 5
  • 6
  • 40
  • 7
  • 6
  • 19
  • 19
  • 5
  • 7
  • 7
  • 6
  • 6
  • 11
  • 7
  • 6
  • 8
  • 5
  • 5
  • 6
  • 13
  • 9
  • 8
  • 9
  • 9
  • 6
  • 15
  • 6
  • 5
  • 5
  • 10
  • 39
  • 17
  • 8
  • 5
  • 8
  • 5
  • 6
  • 5
  • 15
  • 7
  • 12
  • 14
  • 5
  • 11
  • 9
  • 7
  • 23
  • 6
  • 14
  • 7
  • 5
  • 10
  • 8
  • 5
  • 8
  • 8
  • 5
  • 5
  • 34
  • 21
  • 41
  • 13
  • 8
  • 14
  • 18
  • 6
  • 9
  • 45
  • 12
  • 37
  • 9
  • 14
  • 5
  • 5
  • 12
  • 6
  • 5
  • 15
  • 10
  • 39
  • 5
  • 5
  • 11
  • 12
  • 7
  • 6
  • 8
  • 12
  • 13
  • 5
  • 7
  • 15
  • 5
  • 6
  • 15
  • 6
  • 5
  • 8
  • 5
  • 5
  • 6
  • 5
  • 26
  • 21
  • 15
  • 28
  • 9
  • 11
  • 5
  • 7
  • 9
  • 5
  • 6
  • 12
  • 9
  • 23
  • 6
  • 7
  • 7
  • 5
  • 6
  • 8
  • 10
  • 5
  • 7
  • 7
  • 22
  • 10
  • 6
  • 13
  • 11
  • 6
  • 5
  • 48
  • 42
  • 7
  • 41
  • 12
  • 9
  • 15
  • 7
  • 10
  • 29
  • 14
  • 6
  • 5
  • 5
  • 18
  • 5
  • 9
  • 6
  • 10
  • 26
  • 17
  • 42
  • 77
  • 6
  • 7
  • 14
  • 7
  • 7
  • 5
  • 7
  • 12
  • 16
  • 7
  • 9
  • 7
  • 6
  • 6
  • 6
  • 8
  • 6
  • 6
  • 7
  • 5
  • 5
  • 7
  • 21
  • 17
  • 6
  • 7
  • 7
  • 15
  • 7
  • 5
  • 10
  • 21
  • 67
  • 33
  • 8
  • 18
  • 8
  • 16
  • 22
  • 105
  • 11
  • 16
  • 5
  • 5
  • 6
  • 18
  • 12
  • 5
  • 7
  • 7
  • 5
  • 6
  • 9
  • 17
  • 6
  • 5
  • 6
  • 11
  • 5
  • 5
  • 40
  • 9
  • 8
  • 5
  • 7
  • 9
  • 17
  • 7
  • 5
  • 8
  • 25
  • 39
  • 7
  • 18
  • 5
  • 8
  • 10
  • 5
  • 7
  • 5
  • 6
  • 15
  • 5
  • 6
  • 10
  • 15
  • 7
  • 5
  • 5
  • 7
  • 8
  • 6
  • 95
  • 6
  • 8
  • 5
  • 5
  • 8
  • 6
  • 6
  • 6
  • 15
  • 8
  • 14
  • 5
  • 7
  • 15
  • 17
  • 6
  • 14
  • 5
  • 5
  • 5
  • 6
  • 10
  • 6
  • 16
  • 11
  • 10
  • 10
  • 5
  • 12
  • 6
  • 13
  • 8
  • 7
  • 8
  • 5
  • 13
  • 6
  • 7
  • 7
  • 7
  • 14
  • 7
  • 10
  • 5
  • 15
  • 8
  • 7
  • 9
  • 6
  • 41
  • 10
  • 6
  • 8
  • 5
  • 21
  • 6
  • 17
  • 41
  • 10
  • 15
  • 13
  • 30
  • 6
  • 9
  • 7
  • 12
  • 5
  • 17
  • 6
  • 9
  • 9
  • 18
  • 37
  • 5
  • 7
  • 17
  • 5
  • 17
  • 7
  • 17
  • 5
  • 6
  • 26
  • 5
  • 77
  • 14
  • 27
  • 48
  • 10
  • 6
  • 7
  • 11
  • 6
  • 8
  • 12
  • 5
  • 6
  • 6
  • 7
  • 6
  • 9
  • 7
  • 17
  • 91
  • 13
  • 6
  • 43
  • 9
  • 6
  • 5
  • 15
  • 7
  • 8
  • 5
  • 5
  • 14
  • 15
  • 10
  • 14
  • 5
  • 33
  • 6
  • 6
  • 8
  • 5
  • 7
  • 15
  • 17
  • 19
  • 6
  • 5
  • 28
  • 6
  • 6
  • 79
  • 11
  • 6
  • 12
  • 6
  • 5
  • 11
  • 20
  • 5
  • 10
  • 7
  • 9
  • 6
  • 6
  • 30
  • 6
  • 5
  • 9
  • 22
  • 6
  • 5
  • 5
  • 11
  • 16
  • 13
  • 7
  • 15
  • 18
  • 15
  • 12
  • 22
  • 7
  • 77
  • 11
  • 13
  • 11
  • 6
  • 6
  • 27
  • 6
  • 31
  • 27
  • 6
  • 5
  • 6
  • 10
  • 5
  • 21
  • 9
  • 7
  • 5
  • 5
  • 5
  • 5
  • 9
  • 6
  • 21
  • 6
  • 5
  • 8
  • 11
  • 8
  • 10
  • 8
  • 15
  • 8
  • 5
  • 34
  • 14
  • 10
  • 5
  • 5
  • 6
  • 7
  • 7
  • 5
  • 9
  • 23
  • 7
  • 9
  • 8
  • 7
  • 11
  • 5
  • 97
  • 5
  • 6
  • 5
  • 5
  • 12
  • 10
  • 8
  • 7
  • 5
  • 8
  • 7
  • 5
  • 14
  • 38
  • 5
  • 15
  • 8
  • 5
  • 5
  • 5
  • 11
  • 8
  • 6
  • 10
  • 5
  • 21
  • 24
  • 7
  • 5
  • 5
  • 6
  • 13
  • 6
  • 7
  • 5
  • 6
  • 6
  • 8
  • 10
  • 6
  • 5
  • 49
  • 10
  • 18
  • 5
  • 41
  • 10
  • 5
  • 14
  • 20
  • 13
  • 15
  • 15
  • 5
  • 9
  • 5
  • 9
  • 30
  • 12
  • 7
  • 13
  • 7
  • 5
  • 16
  • 6
  • 7
  • 6
  • 5
  • 12
  • 13
  • 6
  • 6
  • 11
  • 6
  • 18
  • 7
  • 15
  • 7
  • 5
  • 10
  • 7
  • 6
  • 23
  • 5
  • 7
  • 6
  • 8
  • 10
  • 9
  • 8
  • 5
  • 35
  • 11
  • 8
  • 8
  • 7
  • 7
  • 5
  • 14
  • 8
  • 5
  • 5
  • 10
  • 15
  • 29
  • 6
  • 16
  • 7
  • 36
  • 6
  • 6
  • 8
  • 11
  • 89
  • 5
  • 7
  • 6
  • 8
  • 6
  • 32
  • 14
  • 5
  • 7
  • 77
  • 15
  • 8
  • 8
  • 7
  • 12
  • 13
  • 20
  • 18
  • 6
  • 9
  • 94
  • 5
  • 6
  • 45
  • 5
  • 11
  • 11
  • 11
  • 89
  • 22
  • 7
  • 20
  • 8
  • 10
  • 6
  • 6
  • 5
  • 9
  • 11
  • 17
  • 6
  • 5
  • 6
  • 5
  • 8
  • 5
  • 90
  • 5
  • 7
  • 21
  • 8
  • 11
  • 80
  • 12
  • 17
  • 13
  • 8
  • 15
  • 8
  • 10
  • 13
  • 5
  • 6
  • 5
  • 22
  • 8
  • 6
  • 7
  • 10
  • 5
  • 7
  • 5
  • 14
  • 10
  • 20
  • 8
  • 6
  • 7
  • 7
  • 6
  • 5
  • 14
  • 9
  • 8
  • 8
  • 6
  • 15
  • 8
  • 10
  • 22
  • 31
  • 7
  • 6
  • 5
  • 17
  • 11
  • 7
  • 6
  • 5
  • 13
  • 8
  • 34
  • 15
  • 5
  • 10
  • 11
  • 5
  • 11
  • 37
  • 8
  • 48
  • 6
  • 6
  • 10
  • 6
  • 8
  • 12
  • 7
  • 12
  • 24
  • 7
  • 6
  • 11
  • 8
  • 16
  • 5
  • 18
  • 25
  • 5
  • 8
  • 7
  • 5
  • 25
  • 14
  • 20
  • 64
  • 10
  • 13
  • 19
  • 8
  • 9
  • 5
  • 5
  • 22
  • 6
  • 20
  • 17
  • 5
  • 7
  • 6
  • 5
  • 21
  • 9
  • 61
  • 80
  • 23
  • 12
  • 6
  • 7
  • 18
  • 6
  • 7
  • 12
  • 12
  • 5
  • 10
  • 7
  • 6
  • 15
  • 10
  • 6
  • 14
  • 11
  • 7
  • 5
  • 89
  • 11
  • 7
  • 17
  • 6
  • 15
  • 8
  • 6
  • 8
  • 10
  • 16
  • 5
  • 5
  • 10
  • 5
  • 28
  • 5
  • 11
  • 9
  • 6
  • 8
  • 5
  • 7
  • 13
  • 18
  • 36
  • 6
  • 5
  • 8
  • 15
  • 22
  • 15
  • 6
  • 11
  • 7
  • 10
  • 7
  • 9
  • 9
  • 23
  • 10
  • 13
  • 10
  • 6
  • 6
  • 9
  • 5
  • 6
  • 8
  • 7
  • 8
  • 14
  • 9
  • 7
  • 17
  • 7
  • 15
  • 17
  • 5
  • 8
  • 19
  • 26
  • 12
  • 14
  • 6
  • 23
  • 6
  • 17
  • 5
  • 7
  • 5
  • 12
  • 10
  • 5
  • 17
  • 8
  • 6
  • 6
  • 6
  • 57
  • 6
  • 10
  • 5
  • 35
  • 5
  • 5
  • 22
  • 6
  • 6
  • 5
  • 5
  • 5
  • 47
  • 38
  • 64
  • 40
  • 5
  • 8
  • 10
  • 7
  • 10
  • 6
  • 22
  • 30
  • 7
  • 6
  • 26
  • 17
  • 20
  • 5
  • 9
  • 5
  • 10
  • 5
  • 9
  • 5
  • 20
Verlag
  • 8
  • 11113
  • 3
  • 9
  • 2
  • 18
  • 35
  • 5
  • 1
  • 13
  • 31
Preis
  • 42
  • 401
  • 8503
  • 2292
Sprachen
  • 11233
  • 17
  • 13
Verfügbarkeit
  • 10989
  • 249
Eigenschaften
  • 6
Katalog
  • 11238
  • 600
11.238  Treffer  für „Lecture Notes in Computer Science“
    López-Monroy / Rosales-Pérez / Carrasco-Ochoa | Pattern Recognition | Buch | Sack Fachmedien

    López-Monroy / Rosales-Pérez / Carrasco-Ochoa Pattern Recognition

    17th Mexican Conference, MCPR 2025, Guanajuato, Mexico, June 25-28, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-96254-7
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blaser | Database Systems of the 90s | Buch | Sack Fachmedien

    Blaser Database Systems of the 90s

    International Symposium, Müggelsee, Berlin, FRG, November 5-7, 1990, Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-53397-9
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pasko / Adzhiev / Comninos | Heterogeneous Objects Modelling and Applications | Buch | Sack Fachmedien

    Pasko / Adzhiev / Comninos Heterogeneous Objects Modelling and Applications

    Collection of Papers on Foundations and Practice
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68441-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vckovski / Brassel / Schek | Interoperating Geographic Information Systems | Buch | Sack Fachmedien

    Vckovski / Brassel / Schek Interoperating Geographic Information Systems

    Second International Conference, INTEROP'99, Zurich, Switzerland, March 10-12, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-65725-5
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pirovano / Berbineau / Vinel | Communication Technologies for Vehicles | Buch | Sack Fachmedien

    Pirovano / Berbineau / Vinel Communication Technologies for Vehicles

    12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-56879-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gelbukh | Computational Linguistics and Intelligent Text Processing | Buch | Sack Fachmedien

    Gelbukh Computational Linguistics and Intelligent Text Processing

    14th International Conference, CICLing 2013, Samos, Greece, March 24-30, 2013, Proceedings, Part I
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-37246-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nguyen / Kowalczyk / Fred | Transactions on Computational Collective Intelligence XVII | Buch | Sack Fachmedien

    Nguyen / Kowalczyk / Fred Transactions on Computational Collective Intelligence XVII

    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-44993-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Toueg / Spirakis / Kirousis | Distributed Algorithms | Buch | Sack Fachmedien

    Toueg / Spirakis / Kirousis Distributed Algorithms

    5th International Workshop, WDAG 91, Delphi, Greece, October 7-9, 1991. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55236-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Streitz / Konomi | Distributed, Ambient and Pervasive Interactions | Buch | Sack Fachmedien

    Streitz / Konomi Distributed, Ambient and Pervasive Interactions

    13th International Conference, DAPI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-92976-2
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sintorn / Pal / Lu | Pattern Recognition. ICPR 2026 International Workshops | Buch | Sack Fachmedien

    Sintorn / Pal / Lu Pattern Recognition. ICPR 2026 International Workshops

    Lyon, France, August 17-22, 2026, Proceedings, Part I
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-39378-4
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Niemann / Hornegger / Maier | 50 Years of Pattern Recognition | Buch | Sack Fachmedien

    Niemann / Hornegger / Maier 50 Years of Pattern Recognition

    The History and Future of the FAU Pattern Recognition Lab
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-43538-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Iida / Maiolino / Abdulali | Towards Autonomous Robotic Systems | Buch | Sack Fachmedien

    Iida / Maiolino / Abdulali Towards Autonomous Robotic Systems

    24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-43359-7
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jansen / Junges / Kaminski | Principles of Verification: Cycling the Probabilistic Landscape | Buch | Sack Fachmedien

    Jansen / Junges / Kaminski Principles of Verification: Cycling the Probabilistic Landscape

    Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-75782-2
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margenov / Wasniewski / Yalamov | Large-Scale Scientific Computing | Buch | Sack Fachmedien

    Margenov / Wasniewski / Yalamov Large-Scale Scientific Computing

    Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-43043-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rutkowski / Korytkowski / Scherer | Artificial Intelligence and Soft Computing | Buch | Sack Fachmedien

    Rutkowski / Korytkowski / Scherer Artificial Intelligence and Soft Computing

    16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings, Part I
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-59062-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gonçalves / Oliveira / Sánchez | Pattern Recognition and Image Analysis | Buch | Sack Fachmedien

    Gonçalves / Oliveira / Sánchez Pattern Recognition and Image Analysis

    12th Iberian Conference, IbPRIA 2025, Coimbra, Portugal, June 30 - July 3, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-99564-4
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wallraven / Liu / Nagahara | Pattern Recognition | Buch | Sack Fachmedien

    Wallraven / Liu / Nagahara Pattern Recognition

    6th Asian Conference, ACPR 2021, Jeju Island, South Korea, November 9-12, 2021, Revised Selected Papers, Part II
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-02443-6
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nguyen / Boonsang / Fujita | Intelligent Information and Database Systems | Buch | Sack Fachmedien

    Nguyen / Boonsang / Fujita Intelligent Information and Database Systems

    15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-981-99-5836-8
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermanns | Measurement, Modelling and Evaluation of Computing Systems | Buch | Sack Fachmedien

    Hermanns Measurement, Modelling and Evaluation of Computing Systems

    20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-43023-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klette / Rivera / Satoh | Image and Video Technology | Buch | Sack Fachmedien

    Klette / Rivera / Satoh Image and Video Technology

    6th Pacific-Rim Symposium, PSIVT 2013, Guanajuato, Mexico, October 28-November 1, 2013, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-53841-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
    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
    Nascimento / Moura / Oliveira | String Processing and Information Retrieval | Buch | Sack Fachmedien

    Nascimento / Moura / Oliveira String Processing and Information Retrieval

    10th International Symposium, SPIRE 2003, Manaus, Brazil, October 8-10, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20177-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Champarnaud / Maurel | Implementation and Application of Automata | Buch | Sack Fachmedien

    Champarnaud / Maurel Implementation and Application of Automata

    7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40391-3
    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