Ergebnisse filtern
Fachgebiet
Medium
  • 8305
Erscheinungsjahr
  • 4
  • 653
  • 681
  • 721
  • 435
  • 290
  • 170
  • 202
  • 215
  • 198
  • 196
  • 216
  • 216
  • 196
  • 183
  • 185
  • 182
  • 191
  • 192
  • 155
  • 228
  • 218
  • 186
  • 273
  • 241
  • 204
  • 196
  • 132
  • 129
  • 116
  • 112
  • 102
  • 96
  • 87
  • 73
  • 59
  • 73
  • 47
  • 48
  • 31
  • 32
  • 27
  • 18
  • 8
  • 3
  • 5
  • 13
  • 7
  • 11
  • 5
  • 12
  • 9
  • 10
  • 10
  • 3
Autoren
  • 5
  • 5
  • 5
  • 4
  • 6
  • 9
  • 5
  • 11
  • 25
  • 10
  • 7
  • 4
  • 4
  • 7
  • 6
  • 4
  • 4
  • 17
  • 13
  • 7
  • 5
  • 4
  • 4
  • 4
  • 6
  • 8
  • 6
  • 4
  • 5
  • 4
  • 6
  • 14
  • 4
  • 33
  • 36
  • 7
  • 30
  • 5
  • 4
  • 5
  • 5
  • 4
  • 8
  • 9
  • 4
  • 21
  • 13
  • 4
  • 39
  • 5
  • 6
  • 4
  • 5
  • 4
  • 4
  • 4
  • 6
  • 7
  • 4
  • 4
  • 4
  • 11
  • 7
  • 17
  • 6
  • 4
  • 5
  • 4
  • 6
  • 6
  • 24
  • 4
  • 8
  • 10
  • 11
  • 7
  • 4
  • 6
  • 4
  • 4
  • 4
  • 19
  • 6
  • 9
  • 8
  • 5
  • 4
  • 7
  • 5
  • 4
  • 7
  • 10
  • 10
  • 5
  • 4
  • 6
  • 40
  • 4
  • 5
  • 8
  • 5
  • 20
  • 11
  • 5
  • 4
  • 4
  • 4
  • 4
  • 6
  • 10
  • 8
  • 4
  • 11
  • 5
  • 7
  • 10
  • 4
  • 4
  • 4
  • 4
  • 4
  • 12
  • 4
  • 10
  • 5
  • 4
  • 12
  • 9
  • 14
  • 7
  • 4
  • 5
  • 6
  • 10
  • 4
  • 39
  • 18
  • 6
  • 4
  • 7
  • 4
  • 4
  • 5
  • 7
  • 5
  • 4
  • 4
  • 16
  • 4
  • 6
  • 5
  • 9
  • 4
  • 5
  • 13
  • 8
  • 10
  • 7
  • 4
  • 8
  • 4
  • 24
  • 5
  • 5
  • 13
  • 5
  • 12
  • 4
  • 11
  • 4
  • 4
  • 4
  • 5
  • 8
  • 4
  • 7
  • 5
  • 6
  • 9
  • 5
  • 6
  • 34
  • 4
  • 5
  • 14
  • 41
  • 4
  • 4
  • 13
  • 9
  • 7
  • 20
  • 4
  • 4
  • 5
  • 43
  • 5
  • 38
  • 4
  • 4
  • 5
  • 10
  • 15
  • 11
  • 4
  • 5
  • 4
  • 7
  • 12
  • 4
  • 4
  • 4
  • 4
  • 6
  • 5
  • 7
  • 4
  • 5
  • 4
  • 4
  • 39
  • 7
  • 4
  • 12
  • 4
  • 4
  • 6
  • 4
  • 13
  • 5
  • 4
  • 4
  • 5
  • 5
  • 6
  • 4
  • 8
  • 6
  • 13
  • 6
  • 5
  • 5
  • 4
  • 4
  • 6
  • 10
  • 5
  • 5
  • 4
  • 4
  • 5
  • 7
  • 4
  • 4
  • 6
  • 23
  • 4
  • 26
  • 15
  • 4
  • 28
  • 9
  • 7
  • 8
  • 5
  • 7
  • 5
  • 4
  • 5
  • 16
  • 9
  • 24
  • 6
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 6
  • 5
  • 5
  • 5
  • 9
  • 8
  • 5
  • 4
  • 7
  • 4
  • 4
  • 7
  • 5
  • 7
  • 15
  • 11
  • 5
  • 7
  • 7
  • 37
  • 41
  • 8
  • 39
  • 5
  • 9
  • 13
  • 8
  • 35
  • 13
  • 6
  • 4
  • 4
  • 15
  • 5
  • 4
  • 8
  • 6
  • 6
  • 4
  • 10
  • 26
  • 12
  • 43
  • 78
  • 8
  • 4
  • 15
  • 10
  • 8
  • 5
  • 6
  • 7
  • 15
  • 8
  • 6
  • 4
  • 6
  • 6
  • 8
  • 6
  • 5
  • 4
  • 5
  • 4
  • 20
  • 17
  • 4
  • 4
  • 4
  • 11
  • 4
  • 6
  • 4
  • 9
  • 8
  • 5
  • 5
  • 12
  • 4
  • 22
  • 48
  • 8
  • 18
  • 16
  • 24
  • 83
  • 11
  • 4
  • 15
  • 6
  • 4
  • 4
  • 6
  • 4
  • 19
  • 5
  • 9
  • 8
  • 4
  • 15
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 8
  • 4
  • 4
  • 27
  • 4
  • 6
  • 8
  • 4
  • 16
  • 6
  • 5
  • 8
  • 23
  • 39
  • 17
  • 4
  • 8
  • 4
  • 4
  • 4
  • 15
  • 14
  • 15
  • 6
  • 4
  • 5
  • 4
  • 95
  • 4
  • 4
  • 4
  • 4
  • 8
  • 6
  • 7
  • 6
  • 15
  • 4
  • 12
  • 4
  • 8
  • 19
  • 4
  • 10
  • 7
  • 8
  • 6
  • 4
  • 17
  • 4
  • 11
  • 4
  • 4
  • 13
  • 13
  • 7
  • 8
  • 5
  • 6
  • 4
  • 13
  • 6
  • 4
  • 6
  • 7
  • 5
  • 8
  • 5
  • 4
  • 15
  • 10
  • 35
  • 4
  • 4
  • 5
  • 5
  • 7
  • 10
  • 4
  • 4
  • 15
  • 25
  • 4
  • 4
  • 11
  • 15
  • 9
  • 33
  • 4
  • 6
  • 7
  • 4
  • 9
  • 4
  • 4
  • 13
  • 6
  • 7
  • 11
  • 4
  • 17
  • 21
  • 4
  • 8
  • 7
  • 10
  • 5
  • 17
  • 4
  • 25
  • 5
  • 78
  • 13
  • 20
  • 44
  • 6
  • 7
  • 10
  • 4
  • 5
  • 12
  • 4
  • 4
  • 6
  • 7
  • 5
  • 9
  • 7
  • 4
  • 4
  • 5
  • 16
  • 90
  • 13
  • 43
  • 4
  • 4
  • 4
  • 4
  • 7
  • 6
  • 6
  • 5
  • 6
  • 14
  • 9
  • 11
  • 5
  • 4
  • 4
  • 7
  • 4
  • 18
  • 19
  • 27
  • 4
  • 5
  • 80
  • 5
  • 17
  • 6
  • 7
  • 10
  • 21
  • 5
  • 6
  • 5
  • 4
  • 4
  • 4
  • 32
  • 4
  • 9
  • 4
  • 25
  • 6
  • 4
  • 5
  • 4
  • 13
  • 12
  • 13
  • 14
  • 10
  • 15
  • 12
  • 16
  • 4
  • 78
  • 11
  • 4
  • 7
  • 9
  • 22
  • 4
  • 4
  • 35
  • 23
  • 5
  • 5
  • 8
  • 11
  • 5
  • 13
  • 7
  • 4
  • 7
  • 4
  • 4
  • 4
  • 9
  • 10
  • 6
  • 10
  • 5
  • 9
  • 4
  • 9
  • 6
  • 7
  • 7
  • 15
  • 4
  • 4
  • 7
  • 5
  • 25
  • 4
  • 12
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 20
  • 4
  • 4
  • 9
  • 7
  • 6
  • 10
  • 74
  • 6
  • 4
  • 5
  • 9
  • 4
  • 5
  • 7
  • 10
  • 36
  • 7
  • 4
  • 5
  • 12
  • 9
  • 4
  • 5
  • 9
  • 4
  • 4
  • 14
  • 4
  • 21
  • 25
  • 5
  • 6
  • 4
  • 8
  • 8
  • 11
  • 6
  • 4
  • 5
  • 7
  • 4
  • 4
  • 7
  • 5
  • 4
  • 4
  • 8
  • 48
  • 8
  • 4
  • 23
  • 5
  • 6
  • 42
  • 11
  • 5
  • 4
  • 13
  • 18
  • 4
  • 8
  • 12
  • 15
  • 6
  • 11
  • 28
  • 11
  • 11
  • 7
  • 5
  • 4
  • 14
  • 5
  • 15
  • 11
  • 6
  • 4
  • 8
  • 6
  • 4
  • 4
  • 8
  • 24
  • 5
  • 6
  • 4
  • 39
  • 7
  • 8
  • 4
  • 6
  • 4
  • 12
  • 5
  • 30
  • 6
  • 14
  • 5
  • 36
  • 6
  • 4
  • 9
  • 90
  • 7
  • 6
  • 5
  • 6
  • 16
  • 15
  • 78
  • 9
  • 11
  • 8
  • 4
  • 9
  • 13
  • 19
  • 18
  • 9
  • 93
  • 4
  • 40
  • 11
  • 11
  • 7
  • 6
  • 89
  • 17
  • 4
  • 4
  • 20
  • 6
  • 4
  • 9
  • 15
  • 10
  • 5
  • 9
  • 4
  • 4
  • 5
  • 90
  • 5
  • 17
  • 4
  • 7
  • 7
  • 81
  • 12
  • 4
  • 16
  • 16
  • 11
  • 4
  • 10
  • 4
  • 13
  • 4
  • 7
  • 7
  • 15
  • 16
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 4
  • 14
  • 4
  • 4
  • 24
  • 5
  • 4
  • 5
  • 6
  • 5
  • 5
  • 14
  • 4
  • 9
  • 4
  • 16
  • 5
  • 10
  • 23
  • 28
  • 4
  • 6
  • 6
  • 4
  • 6
  • 19
  • 9
  • 4
  • 4
  • 4
  • 4
  • 13
  • 10
  • 31
  • 12
  • 4
  • 5
  • 13
  • 33
  • 4
  • 51
  • 4
  • 7
  • 7
  • 9
  • 5
  • 22
  • 4
  • 4
  • 4
  • 6
  • 4
  • 17
  • 4
  • 19
  • 24
  • 12
  • 25
  • 52
  • 10
  • 11
  • 16
  • 9
  • 6
  • 24
  • 14
  • 15
  • 4
  • 6
  • 4
  • 17
  • 10
  • 34
  • 4
  • 81
  • 4
  • 24
  • 12
  • 6
  • 13
  • 8
  • 7
  • 7
  • 12
  • 15
  • 4
  • 4
  • 8
  • 7
  • 4
  • 15
  • 9
  • 6
  • 6
  • 5
  • 89
  • 11
  • 18
  • 4
  • 16
  • 4
  • 4
  • 5
  • 6
  • 5
  • 4
  • 16
  • 7
  • 4
  • 4
  • 25
  • 4
  • 5
  • 11
  • 4
  • 4
  • 4
  • 4
  • 13
  • 7
  • 6
  • 36
  • 6
  • 5
  • 5
  • 4
  • 4
  • 16
  • 12
  • 4
  • 6
  • 6
  • 4
  • 8
  • 8
  • 5
  • 24
  • 7
  • 11
  • 10
  • 5
  • 7
  • 6
  • 6
  • 5
  • 6
  • 4
  • 5
  • 7
  • 9
  • 5
  • 4
  • 5
  • 18
  • 5
  • 8
  • 4
  • 4
  • 5
  • 12
  • 6
  • 4
  • 17
  • 25
  • 10
  • 6
  • 14
  • 5
  • 19
  • 4
  • 14
  • 5
  • 7
  • 6
  • 4
  • 18
  • 10
  • 6
  • 15
  • 4
  • 6
  • 8
  • 6
  • 4
  • 5
  • 21
  • 4
  • 4
  • 48
  • 4
  • 41
  • 22
  • 41
  • 4
  • 4
  • 11
  • 4
  • 6
  • 18
  • 32
  • 7
  • 26
  • 20
  • 5
  • 10
  • 7
  • 20
Verlag
  • 8
  • 8154
  • 3
  • 5
  • 1
  • 92
  • 3
  • 1
  • 11
  • 27
Preis
  • 27
  • 256
  • 6170
  • 1852
Sprachen
  • 8300
  • 15
  • 12
Verfügbarkeit
  • 8067
  • 238
Eigenschaften
  • 1
Katalog
  • 8305
  • 377
8.305  Treffer  für „Lecture Notes in Computer Science“
    Huang / Zeng / Li | Neural Information Processing | Buch | Sack Fachmedien

    Huang / Zeng / Li Neural Information Processing

    19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34474-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haxthausen / Huang / Roggenbach | Applicable Formal Methods for Safe Industrial Products | Buch | Sack Fachmedien

    Haxthausen / Huang / Roggenbach Applicable Formal Methods for Safe Industrial Products

    Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-40131-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Laber / Bornstein / Nogueira | LATIN 2008: Theoretical Informatics | Buch | Sack Fachmedien

    Laber / Bornstein / Nogueira LATIN 2008: Theoretical Informatics

    8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78772-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diekert | Combinatorics on Traces | Buch | Sack Fachmedien

    Diekert Combinatorics on Traces

    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-53031-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mira / Prieto | Bio-Inspired Applications of Connectionism | Buch | Sack Fachmedien

    Mira / Prieto Bio-Inspired Applications of Connectionism

    6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001 Granada, Spain, June 13-15, 2001, Proceedings, Part II
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42237-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Qin | Unifying Theories of Programming | Buch | Sack Fachmedien

    Qin Unifying Theories of Programming

    Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16689-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Iacca / Nadizar / Yaman | Parallel Problem Solving from Nature - PPSN XIX | Buch | Sack Fachmedien

    Iacca / Nadizar / Yaman Parallel Problem Solving from Nature - PPSN XIX

    19th International Conference, PPSN 2026, Trento, Italy, August 29 - September 2, 2026, Proceedings, Part III
    Erscheinungsjahr 2026
    Verlag: Springer Nature Switzerland AG
    ISBN: 978-3-032-36225-4
    Medium: Buch
    79,17 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Stephanidis / Antona / Gao | HCI International 2020 - Late Breaking Papers: Universal Access and Inclusive Design | Buch | Sack Fachmedien

    Stephanidis / Antona / Gao HCI International 2020 - Late Breaking Papers: Universal Access and Inclusive Design

    22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-60148-5
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fisman / Rosu | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Fisman / Rosu Tools and Algorithms for the Construction and Analysis of Systems

    28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-99526-3
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cudré-Mauroux / Heflin / Sirin | The Semantic Web -- ISWC 2012 | Buch | Sack Fachmedien

    Cudré-Mauroux / Heflin / Sirin The Semantic Web -- ISWC 2012

    11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35175-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rau | Cross-Cultural Design | Buch | Sack Fachmedien

    Rau Cross-Cultural Design

    17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IV
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93735-4
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Andrews / Timmis / Owens | Artificial Immune Systems | Buch | Sack Fachmedien

    Andrews / Timmis / Owens Artificial Immune Systems

    8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03245-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lirkov / Margenov / Wasniewski | Large-Scale Scientific Computing | Buch | Sack Fachmedien

    Lirkov / Margenov / Wasniewski Large-Scale Scientific Computing

    8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29842-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Freund / Györfi / Turán | Algorithmic Learning Theory | Buch | Sack Fachmedien

    Freund / Györfi / Turán Algorithmic Learning Theory

    19th International Conference, ALT 2008, Budapest, Hungary, October 13-16, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87986-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Ibrahim / Rauber | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Liu / Ibrahim / Rauber Algorithms and Architectures for Parallel Processing

    25th International Conference, ICA3PP 2025, Zhengzhou, China, October 30 - November 2, 2025, Proceedings, Part V
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-958413-0
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Ibrahim / Rauber | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Liu / Ibrahim / Rauber Algorithms and Architectures for Parallel Processing

    25th International Conference, ICA3PP 2025, Zhengzhou, China, October 30-November 2, 2025, Proceedings, Part IV
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-958407-9
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palma / Dongarra / Hernandez | Vector and Parallel Processing - VECPAR 2000 | Buch | Sack Fachmedien

    Palma / Dongarra / Hernandez Vector and Parallel Processing - VECPAR 2000

    4th International Conference, Porto, Portugal, June 21-23, 2000, Selected Papers and Invited Talks
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-41999-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lirkov / Margenov / Wasniewski | Large-Scale Scientific Computing | Buch | Sack Fachmedien

    Lirkov / Margenov / Wasniewski Large-Scale Scientific Computing

    5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31994-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weidlich / Chounta / Tammets | Mindful TEL: Learning Technologies Shaped with Intention | Buch | Sack Fachmedien

    Weidlich / Chounta / Tammets Mindful TEL: Learning Technologies Shaped with Intention

    21st European Conference on Technology Enhanced Learning, ECTEL 2026, Valencia, Spain, September 14–18, 2026, Proceedings, Part I
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-37978-8
    Medium: Buch
    87,73 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Greenspan / Müller / Syeda-Mahmood | Medical Content-Based Retrieval for Clinical Decision Support | Buch | Sack Fachmedien

    Greenspan / Müller / Syeda-Mahmood Medical Content-Based Retrieval for Clinical Decision Support

    Third MICCAI International Workshop, MCBR-CDS 2012, Nice, France, October 1st, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36677-2
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeschke / Liu / Schilberg | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Jeschke / Liu / Schilberg Intelligent Robotics and Applications

    4th International Conference, ICIRA 2011, Aachen, Germany, December 6-8, 2011, Proceedings, Part II
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25488-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klein / Gamboa | Interactive Theorem Proving | Buch | Sack Fachmedien

    Klein / Gamboa Interactive Theorem Proving

    5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08969-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kato / Liu / Kando | NII Testbeds and Community for Information Access Research | Buch | Sack Fachmedien

    Kato / Liu / Kando NII Testbeds and Community for Information Access Research

    14th International Conference, NTCIR 2019, Tokyo, Japan, June 10-13, 2019, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-36804-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gimenez / Paulin-Mohring | Types for Proofs and Programs | Buch | Sack Fachmedien

    Gimenez / Paulin-Mohring Types for Proofs and Programs

    International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65137-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kadgien / Jedlitschka / Janes | Product-Focused Software Process Improvement | Buch | Sack Fachmedien

    Kadgien / Jedlitschka / Janes Product-Focused Software Process Improvement

    24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-49265-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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