Ergebnisse filtern
Fachgebiet
Medium
  • 10025
Erscheinungsjahr
  • 346
  • 844
  • 632
  • 483
  • 287
  • 283
  • 296
  • 303
  • 330
  • 303
  • 292
  • 290
  • 281
  • 301
  • 282
  • 274
  • 272
  • 239
  • 288
  • 260
  • 249
  • 372
  • 311
  • 263
  • 252
  • 184
  • 177
  • 130
  • 144
  • 138
  • 123
  • 111
  • 93
  • 73
  • 88
  • 57
  • 58
  • 44
  • 46
  • 33
  • 27
  • 19
  • 13
  • 17
  • 27
  • 20
  • 12
  • 7
  • 12
  • 10
  • 12
  • 13
  • 4
Autoren
  • 5
  • 5
  • 5
  • 5
  • 7
  • 4
  • 4
  • 4
  • 4
  • 4
  • 8
  • 4
  • 7
  • 6
  • 7
  • 4
  • 6
  • 9
  • 4
  • 8
  • 4
  • 6
  • 4
  • 5
  • 5
  • 16
  • 5
  • 4
  • 6
  • 5
  • 5
  • 7
  • 8
  • 4
  • 7
  • 8
  • 5
  • 14
  • 4
  • 25
  • 36
  • 8
  • 39
  • 7
  • 10
  • 5
  • 6
  • 5
  • 4
  • 8
  • 6
  • 7
  • 7
  • 9
  • 5
  • 10
  • 5
  • 5
  • 4
  • 5
  • 5
  • 4
  • 39
  • 7
  • 6
  • 4
  • 4
  • 4
  • 5
  • 7
  • 6
  • 5
  • 9
  • 4
  • 4
  • 4
  • 12
  • 4
  • 4
  • 7
  • 5
  • 6
  • 4
  • 4
  • 6
  • 6
  • 9
  • 7
  • 11
  • 8
  • 7
  • 4
  • 13
  • 4
  • 4
  • 6
  • 4
  • 15
  • 4
  • 4
  • 7
  • 6
  • 11
  • 4
  • 5
  • 5
  • 8
  • 5
  • 5
  • 6
  • 6
  • 22
  • 4
  • 4
  • 11
  • 6
  • 4
  • 6
  • 5
  • 6
  • 40
  • 4
  • 4
  • 5
  • 4
  • 24
  • 12
  • 7
  • 6
  • 7
  • 10
  • 4
  • 7
  • 8
  • 4
  • 4
  • 4
  • 4
  • 4
  • 8
  • 4
  • 6
  • 10
  • 4
  • 4
  • 7
  • 5
  • 9
  • 7
  • 7
  • 4
  • 12
  • 7
  • 4
  • 14
  • 9
  • 4
  • 5
  • 4
  • 5
  • 4
  • 5
  • 10
  • 4
  • 6
  • 39
  • 19
  • 10
  • 7
  • 4
  • 10
  • 5
  • 7
  • 6
  • 4
  • 5
  • 13
  • 9
  • 4
  • 10
  • 4
  • 8
  • 5
  • 5
  • 9
  • 6
  • 4
  • 7
  • 5
  • 4
  • 12
  • 4
  • 24
  • 4
  • 4
  • 8
  • 10
  • 4
  • 11
  • 4
  • 7
  • 4
  • 4
  • 9
  • 6
  • 8
  • 9
  • 5
  • 4
  • 5
  • 4
  • 5
  • 34
  • 10
  • 4
  • 41
  • 5
  • 8
  • 12
  • 13
  • 5
  • 13
  • 5
  • 9
  • 7
  • 19
  • 4
  • 4
  • 6
  • 15
  • 4
  • 7
  • 8
  • 4
  • 12
  • 5
  • 5
  • 8
  • 18
  • 5
  • 10
  • 9
  • 6
  • 4
  • 39
  • 4
  • 5
  • 4
  • 9
  • 7
  • 9
  • 4
  • 6
  • 5
  • 7
  • 12
  • 12
  • 7
  • 5
  • 9
  • 4
  • 4
  • 14
  • 8
  • 4
  • 11
  • 6
  • 5
  • 5
  • 4
  • 15
  • 11
  • 7
  • 9
  • 4
  • 4
  • 7
  • 5
  • 7
  • 9
  • 11
  • 5
  • 24
  • 6
  • 4
  • 6
  • 4
  • 4
  • 7
  • 4
  • 6
  • 11
  • 4
  • 7
  • 4
  • 5
  • 4
  • 4
  • 6
  • 5
  • 4
  • 8
  • 10
  • 4
  • 48
  • 38
  • 4
  • 22
  • 5
  • 5
  • 13
  • 7
  • 6
  • 26
  • 12
  • 4
  • 4
  • 8
  • 22
  • 6
  • 5
  • 4
  • 5
  • 5
  • 4
  • 12
  • 12
  • 46
  • 7
  • 7
  • 4
  • 14
  • 4
  • 6
  • 7
  • 10
  • 4
  • 4
  • 13
  • 4
  • 6
  • 4
  • 4
  • 6
  • 4
  • 4
  • 6
  • 8
  • 4
  • 4
  • 5
  • 5
  • 4
  • 4
  • 5
  • 7
  • 15
  • 20
  • 5
  • 4
  • 4
  • 4
  • 6
  • 5
  • 7
  • 7
  • 8
  • 11
  • 4
  • 5
  • 6
  • 6
  • 4
  • 16
  • 4
  • 4
  • 40
  • 23
  • 4
  • 7
  • 20
  • 6
  • 21
  • 5
  • 78
  • 7
  • 11
  • 6
  • 5
  • 16
  • 6
  • 6
  • 6
  • 11
  • 6
  • 7
  • 8
  • 5
  • 7
  • 13
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 6
  • 5
  • 11
  • 4
  • 26
  • 4
  • 4
  • 4
  • 7
  • 5
  • 4
  • 7
  • 5
  • 7
  • 21
  • 6
  • 6
  • 18
  • 39
  • 6
  • 15
  • 5
  • 9
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 5
  • 14
  • 6
  • 4
  • 6
  • 9
  • 46
  • 4
  • 4
  • 4
  • 5
  • 4
  • 7
  • 4
  • 4
  • 4
  • 6
  • 5
  • 10
  • 4
  • 8
  • 18
  • 4
  • 9
  • 11
  • 6
  • 5
  • 10
  • 6
  • 4
  • 4
  • 6
  • 7
  • 4
  • 16
  • 8
  • 10
  • 13
  • 9
  • 13
  • 5
  • 4
  • 11
  • 4
  • 15
  • 6
  • 5
  • 4
  • 9
  • 4
  • 6
  • 6
  • 5
  • 5
  • 5
  • 11
  • 5
  • 7
  • 14
  • 5
  • 5
  • 4
  • 10
  • 9
  • 6
  • 8
  • 5
  • 4
  • 18
  • 6
  • 12
  • 28
  • 4
  • 4
  • 5
  • 7
  • 6
  • 7
  • 13
  • 4
  • 8
  • 6
  • 4
  • 4
  • 5
  • 4
  • 15
  • 6
  • 4
  • 14
  • 14
  • 26
  • 10
  • 4
  • 4
  • 5
  • 17
  • 4
  • 7
  • 4
  • 6
  • 14
  • 7
  • 10
  • 29
  • 5
  • 10
  • 19
  • 4
  • 38
  • 4
  • 6
  • 10
  • 4
  • 11
  • 5
  • 12
  • 5
  • 4
  • 7
  • 7
  • 8
  • 5
  • 8
  • 4
  • 4
  • 4
  • 12
  • 4
  • 88
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 14
  • 6
  • 6
  • 14
  • 5
  • 10
  • 4
  • 6
  • 5
  • 4
  • 4
  • 10
  • 9
  • 12
  • 16
  • 4
  • 6
  • 21
  • 4
  • 7
  • 4
  • 61
  • 11
  • 13
  • 7
  • 6
  • 6
  • 19
  • 4
  • 9
  • 8
  • 9
  • 4
  • 4
  • 7
  • 5
  • 5
  • 8
  • 4
  • 7
  • 5
  • 6
  • 4
  • 4
  • 9
  • 14
  • 13
  • 16
  • 15
  • 4
  • 14
  • 10
  • 4
  • 4
  • 5
  • 6
  • 11
  • 5
  • 10
  • 8
  • 4
  • 26
  • 4
  • 4
  • 33
  • 24
  • 6
  • 5
  • 4
  • 4
  • 25
  • 8
  • 4
  • 5
  • 4
  • 4
  • 4
  • 7
  • 5
  • 4
  • 13
  • 8
  • 4
  • 4
  • 9
  • 4
  • 18
  • 5
  • 5
  • 4
  • 8
  • 7
  • 8
  • 8
  • 11
  • 4
  • 6
  • 9
  • 37
  • 9
  • 8
  • 6
  • 9
  • 7
  • 18
  • 9
  • 7
  • 10
  • 9
  • 69
  • 8
  • 7
  • 7
  • 6
  • 8
  • 7
  • 5
  • 12
  • 36
  • 7
  • 5
  • 15
  • 7
  • 6
  • 12
  • 6
  • 9
  • 8
  • 5
  • 5
  • 5
  • 6
  • 12
  • 6
  • 5
  • 6
  • 6
  • 5
  • 9
  • 5
  • 10
  • 44
  • 5
  • 5
  • 5
  • 12
  • 5
  • 5
  • 7
  • 7
  • 13
  • 12
  • 14
  • 6
  • 14
  • 5
  • 19
  • 9
  • 9
  • 23
  • 5
  • 8
  • 6
  • 13
  • 6
  • 11
  • 6
  • 13
  • 6
  • 9
  • 14
  • 10
  • 6
  • 8
  • 5
  • 7
  • 24
  • 5
  • 9
  • 5
  • 9
  • 6
  • 8
  • 5
  • 12
  • 12
  • 7
  • 6
  • 10
  • 7
  • 14
  • 27
  • 13
  • 5
  • 7
  • 19
  • 7
  • 5
  • 9
  • 89
  • 6
  • 26
  • 6
  • 10
  • 10
  • 15
  • 11
  • 9
  • 8
  • 12
  • 6
  • 19
  • 92
  • 6
  • 53
  • 8
  • 89
  • 17
  • 5
  • 12
  • 6
  • 9
  • 15
  • 17
  • 6
  • 6
  • 5
  • 8
  • 6
  • 9
  • 89
  • 5
  • 5
  • 6
  • 6
  • 15
  • 10
  • 14
  • 8
  • 12
  • 16
  • 13
  • 5
  • 13
  • 5
  • 10
  • 5
  • 7
  • 10
  • 7
  • 13
  • 6
  • 9
  • 5
  • 6
  • 12
  • 5
  • 5
  • 19
  • 5
  • 5
  • 5
  • 14
  • 6
  • 6
  • 6
  • 15
  • 7
  • 43
  • 7
  • 7
  • 6
  • 18
  • 7
  • 5
  • 5
  • 10
  • 9
  • 10
  • 7
  • 5
  • 5
  • 5
  • 6
  • 10
  • 27
  • 9
  • 6
  • 42
  • 10
  • 8
  • 6
  • 5
  • 7
  • 8
  • 7
  • 7
  • 13
  • 5
  • 5
  • 15
  • 19
  • 5
  • 5
  • 8
  • 13
  • 14
  • 12
  • 19
  • 58
  • 12
  • 22
  • 9
  • 6
  • 5
  • 5
  • 5
  • 13
  • 18
  • 12
  • 7
  • 49
  • 24
  • 11
  • 9
  • 6
  • 11
  • 14
  • 9
  • 7
  • 12
  • 7
  • 6
  • 7
  • 14
  • 10
  • 7
  • 5
  • 15
  • 5
  • 89
  • 9
  • 7
  • 20
  • 7
  • 6
  • 5
  • 5
  • 6
  • 5
  • 5
  • 17
  • 8
  • 9
  • 6
  • 25
  • 11
  • 9
  • 11
  • 13
  • 15
  • 6
  • 8
  • 17
  • 6
  • 13
  • 20
  • 8
  • 6
  • 7
  • 7
  • 5
  • 5
  • 5
  • 8
  • 6
  • 21
  • 7
  • 11
  • 6
  • 6
  • 6
  • 6
  • 11
  • 8
  • 6
  • 5
  • 5
  • 5
  • 12
  • 5
  • 17
  • 14
  • 6
  • 15
  • 6
  • 5
  • 7
  • 8
  • 5
  • 8
  • 6
  • 6
  • 36
  • 10
  • 23
  • 6
  • 5
  • 43
  • 48
  • 5
  • 5
  • 8
  • 6
  • 15
  • 7
  • 23
  • 20
  • 17
  • 5
  • 11
  • 8
  • 7
  • 7
  • 17
Verlag
  • 1999
  • 3452
  • 2554
  • 1
  • 283
  • 1696
  • 1
  • 39
Preis
  • 47
  • 341
  • 7682
  • 1955
Sprachen
  • 10019
  • 17
  • 13
  • 1
Verfügbarkeit
  • 10013
  • 12
Katalog
  • 10025
  • 549
10.025  Treffer  für „Lecture Notes in Computer Science“
    Reeve / Pritchard | Euro-Par'98 Parallel Processing | Buch | Sack Fachmedien

    Reeve / Pritchard Euro-Par'98 Parallel Processing

    4th International Euro-Par Conference Southampton, UK, September 1-4, 1998 Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64952-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jin / Jiang / Reed | Network and Parallel Computing | Buch | Sack Fachmedien

    Jin / Jiang / Reed Network and Parallel Computing

    IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-29810-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hsu / Yang / Ma | Ubiquitous Intelligence and Computing | Buch | Sack Fachmedien

    Hsu / Yang / Ma Ubiquitous Intelligence and Computing

    8th International Conference, UIC 2011, Banff, Canada, September 2-4, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23640-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kovács / Finkbeiner | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Kovács / Finkbeiner Tools and Algorithms for the Construction and Analysis of Systems

    30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-57245-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dolev / Oltean / Haist | Optical SuperComputing | Buch | Sack Fachmedien

    Dolev / Oltean / Haist Optical SuperComputing

    First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85672-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Venturini Zilli | Mathematical Models for the Semantics of Parallelism | Buch | Sack Fachmedien

    Venturini Zilli Mathematical Models for the Semantics of Parallelism

    Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18419-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang / Guo / Gao | Embedded and Ubiquitous Computing | Buch | Sack Fachmedien

    Yang / Guo / Gao Embedded and Ubiquitous Computing

    International Conference EUC 2004, Aizu-Wakamatsu City, Japan, August 25-27, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22906-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Golomb / Song / Gong | Sequences, Subsequences, and Consequences | Buch | Sack Fachmedien

    Golomb / Song / Gong Sequences, Subsequences, and Consequences

    International Workshop, SSC 2007, Los Angeles, CA, USA, May 31 - June 2, 2007, Revised Invited Papers
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77403-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Devos / Rossi / Horváth | Analytical and Stochastic Modelling Techniques and Applications | Buch | Sack Fachmedien

    Devos / Rossi / Horváth Analytical and Stochastic Modelling Techniques and Applications

    28th International Conference, ASMTA 2024, Venice, Italy, June 14, 2024, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-70752-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rojas / Ortuño / Valenzuela | Bioinformatics and Biomedical Engineering | Buch | Sack Fachmedien

    Rojas / Ortuño / Valenzuela Bioinformatics and Biomedical Engineering

    11th International Conference, IWBBIO 2024, Meloneras, Gran Canaria, Spain, July 15-17, 2024, Proceedings, Part II
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-64635-5
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xiang / Cuzzocrea / Hobbs | Algorithms and Architectures for Parallel Processing, Part II | Buch | Sack Fachmedien

    Xiang / Cuzzocrea / Hobbs Algorithms and Architectures for Parallel Processing, Part II

    11th International Conference, ICA3PP 2011, Workshops, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24668-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cai / Zou / Takabi | Wireless Artificial Intelligent Computing Systems and Applications | Buch | Sack Fachmedien

    Cai / Zou / Takabi Wireless Artificial Intelligent Computing Systems and Applications

    18th International Conference, WASA 2024, Qindao, China, June 21-23, 2024, Proceedings, Part I
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-71463-4
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Woolf / Lajoie / Aimeur | Intelligent Tutoring Systems | Buch | Sack Fachmedien

    Woolf / Lajoie / Aimeur Intelligent Tutoring Systems

    9th International Conference on Intelligent Tutoring Systems, ITS 2008, Montreal, Canada, June 23-27, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69130-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koenderink / Sommer | Algebraic Frames for the Perception-Action Cycle | Buch | Sack Fachmedien

    Koenderink / Sommer Algebraic Frames for the Perception-Action Cycle

    International Workshop, AFPAC'97, Kiel, Germany, September 8-9, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63517-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hameurlain / Wagner / Küng | Transactions on Large-Scale Data- and Knowledge-Centered Systems XII | Buch | Sack Fachmedien

    Hameurlain / Wagner / Küng Transactions on Large-Scale Data- and Knowledge-Centered Systems XII

    2013
    Verlag: Springer
    ISBN: 978-3-642-45314-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banerjee / Padua / Gelernter | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Banerjee / Padua / Gelernter Languages and Compilers for Parallel Computing

    Fourth International Workshop, Santa Clara, California, USA, August 7-9, 1991. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55422-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Johnson | Interactive Systems: Design, Specification, and Verification | Buch | Sack Fachmedien

    Johnson Interactive Systems: Design, Specification, and Verification

    8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42807-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cheung / Kwok / Kwan | Blended Learning: Aligning Theory with Practices | Buch | Sack Fachmedien

    Cheung / Kwok / Kwan Blended Learning: Aligning Theory with Practices

    9th International Conference, ICBL 2016, Beijing, China, July 19-21, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-41164-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Agrawal / Pande | Compiler Optimizations for Scalable Parallel Systems | Buch | Sack Fachmedien

    Agrawal / Pande Compiler Optimizations for Scalable Parallel Systems

    Languages, Compilation Techniques, and Run Time Systems
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41945-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Han / Quing / Okamoto | Information and Communications Security | Buch | Sack Fachmedien

    Han / Quing / Okamoto Information and Communications Security

    First International Conference, ICIS'97, Beijing, China, November 11-14, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63696-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kulikov / Pevzner / Kuznetsov | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Kulikov / Pevzner / Kuznetsov Combinatorial Pattern Matching

    25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-07565-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giunchiglia / Weiß / Odell | Agent-Oriented Software Engineering III | Buch | Sack Fachmedien

    Giunchiglia / Weiß / Odell Agent-Oriented Software Engineering III

    Third International Workshop, AOSE 2002, Bologna, Italy, July 15, 2002, Revised Papers and Invited Contributions
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00713-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schubert / Alves-Foss / Windley | Higher Order Logic Theorem Proving and Its Applications | Buch | Sack Fachmedien

    Schubert / Alves-Foss / Windley Higher Order Logic Theorem Proving and Its Applications

    8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60275-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carmona / Buchs | Application and Theory of Petri Nets and Concurrency | Buch | Sack Fachmedien

    Carmona / Buchs Application and Theory of Petri Nets and Concurrency

    42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-76982-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutrib / Baetens | Cellular Automata and Discrete Complex Systems | Buch | Sack Fachmedien

    Kutrib / Baetens Cellular Automata and Discrete Complex Systems

    24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20-22, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-92674-2
    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