Ergebnisse filtern
Fachgebiet
Medium
  • 11332
Erscheinungsjahr
  • 132
  • 828
  • 790
  • 854
  • 618
  • 477
  • 278
  • 300
  • 317
  • 328
  • 294
  • 292
  • 290
  • 292
  • 329
  • 284
  • 271
  • 288
  • 262
  • 237
  • 248
  • 270
  • 240
  • 352
  • 298
  • 250
  • 256
  • 172
  • 177
  • 128
  • 139
  • 137
  • 115
  • 105
  • 95
  • 71
  • 88
  • 58
  • 57
  • 45
  • 45
  • 33
  • 26
  • 19
  • 13
  • 17
  • 27
  • 20
  • 12
  • 7
  • 12
  • 10
  • 12
  • 13
  • 4
Autoren
  • 5
  • 5
  • 5
  • 5
  • 4
  • 5
  • 4
  • 6
  • 4
  • 8
  • 7
  • 4
  • 13
  • 22
  • 9
  • 8
  • 4
  • 5
  • 5
  • 4
  • 5
  • 5
  • 7
  • 4
  • 8
  • 9
  • 5
  • 7
  • 15
  • 8
  • 4
  • 22
  • 5
  • 9
  • 5
  • 5
  • 4
  • 6
  • 7
  • 5
  • 8
  • 9
  • 5
  • 4
  • 4
  • 9
  • 4
  • 8
  • 13
  • 31
  • 36
  • 7
  • 39
  • 7
  • 5
  • 4
  • 5
  • 6
  • 5
  • 6
  • 16
  • 8
  • 20
  • 7
  • 14
  • 6
  • 6
  • 5
  • 6
  • 6
  • 39
  • 13
  • 5
  • 5
  • 8
  • 6
  • 7
  • 7
  • 6
  • 9
  • 9
  • 46
  • 6
  • 7
  • 6
  • 6
  • 6
  • 5
  • 8
  • 23
  • 6
  • 6
  • 10
  • 10
  • 9
  • 8
  • 8
  • 11
  • 6
  • 6
  • 17
  • 8
  • 5
  • 5
  • 17
  • 5
  • 7
  • 5
  • 5
  • 6
  • 11
  • 5
  • 6
  • 7
  • 16
  • 10
  • 5
  • 7
  • 6
  • 40
  • 7
  • 6
  • 5
  • 20
  • 17
  • 6
  • 7
  • 6
  • 7
  • 12
  • 7
  • 7
  • 8
  • 6
  • 5
  • 6
  • 5
  • 14
  • 10
  • 8
  • 10
  • 11
  • 6
  • 15
  • 5
  • 5
  • 5
  • 9
  • 39
  • 18
  • 8
  • 8
  • 5
  • 6
  • 5
  • 15
  • 7
  • 12
  • 14
  • 5
  • 14
  • 9
  • 6
  • 23
  • 6
  • 14
  • 7
  • 7
  • 5
  • 9
  • 8
  • 7
  • 9
  • 7
  • 5
  • 5
  • 34
  • 22
  • 41
  • 13
  • 8
  • 14
  • 18
  • 6
  • 9
  • 46
  • 11
  • 37
  • 11
  • 14
  • 5
  • 5
  • 12
  • 7
  • 15
  • 10
  • 5
  • 39
  • 5
  • 5
  • 13
  • 12
  • 9
  • 6
  • 6
  • 12
  • 13
  • 5
  • 7
  • 17
  • 9
  • 5
  • 13
  • 6
  • 8
  • 5
  • 6
  • 6
  • 26
  • 5
  • 23
  • 15
  • 27
  • 9
  • 12
  • 5
  • 7
  • 9
  • 5
  • 6
  • 15
  • 9
  • 23
  • 6
  • 7
  • 7
  • 5
  • 6
  • 8
  • 10
  • 5
  • 6
  • 7
  • 22
  • 10
  • 6
  • 12
  • 11
  • 6
  • 5
  • 48
  • 42
  • 9
  • 41
  • 12
  • 7
  • 13
  • 6
  • 29
  • 14
  • 6
  • 5
  • 18
  • 5
  • 7
  • 10
  • 10
  • 26
  • 15
  • 42
  • 77
  • 6
  • 7
  • 15
  • 8
  • 7
  • 5
  • 7
  • 13
  • 5
  • 14
  • 7
  • 9
  • 7
  • 6
  • 6
  • 6
  • 8
  • 6
  • 7
  • 5
  • 5
  • 7
  • 20
  • 18
  • 8
  • 7
  • 7
  • 16
  • 7
  • 16
  • 23
  • 67
  • 40
  • 8
  • 19
  • 8
  • 15
  • 22
  • 104
  • 11
  • 18
  • 7
  • 5
  • 6
  • 17
  • 12
  • 5
  • 7
  • 7
  • 5
  • 6
  • 9
  • 18
  • 6
  • 5
  • 6
  • 10
  • 5
  • 5
  • 40
  • 9
  • 8
  • 5
  • 8
  • 9
  • 15
  • 7
  • 6
  • 6
  • 25
  • 39
  • 7
  • 18
  • 5
  • 8
  • 10
  • 5
  • 6
  • 5
  • 15
  • 5
  • 8
  • 10
  • 14
  • 5
  • 5
  • 9
  • 6
  • 6
  • 96
  • 6
  • 8
  • 5
  • 8
  • 5
  • 6
  • 6
  • 14
  • 5
  • 12
  • 5
  • 7
  • 15
  • 18
  • 6
  • 14
  • 7
  • 5
  • 5
  • 5
  • 6
  • 10
  • 6
  • 16
  • 12
  • 10
  • 5
  • 10
  • 5
  • 12
  • 5
  • 6
  • 13
  • 9
  • 7
  • 9
  • 5
  • 13
  • 6
  • 5
  • 7
  • 7
  • 6
  • 14
  • 5
  • 8
  • 10
  • 5
  • 15
  • 8
  • 7
  • 9
  • 6
  • 41
  • 10
  • 6
  • 8
  • 5
  • 22
  • 6
  • 16
  • 39
  • 10
  • 14
  • 13
  • 30
  • 6
  • 9
  • 7
  • 12
  • 18
  • 6
  • 9
  • 10
  • 14
  • 38
  • 5
  • 7
  • 17
  • 8
  • 17
  • 16
  • 5
  • 6
  • 27
  • 5
  • 77
  • 14
  • 26
  • 49
  • 8
  • 6
  • 7
  • 11
  • 6
  • 11
  • 12
  • 5
  • 6
  • 6
  • 7
  • 7
  • 11
  • 7
  • 6
  • 17
  • 91
  • 16
  • 6
  • 43
  • 9
  • 6
  • 6
  • 14
  • 7
  • 8
  • 5
  • 6
  • 14
  • 14
  • 10
  • 13
  • 5
  • 6
  • 33
  • 5
  • 8
  • 5
  • 9
  • 15
  • 17
  • 19
  • 7
  • 5
  • 27
  • 7
  • 6
  • 81
  • 11
  • 5
  • 12
  • 6
  • 5
  • 10
  • 20
  • 5
  • 7
  • 6
  • 7
  • 8
  • 6
  • 6
  • 31
  • 6
  • 5
  • 9
  • 22
  • 6
  • 5
  • 5
  • 12
  • 17
  • 13
  • 7
  • 15
  • 18
  • 17
  • 15
  • 22
  • 7
  • 8
  • 77
  • 11
  • 13
  • 10
  • 6
  • 6
  • 26
  • 6
  • 6
  • 33
  • 29
  • 6
  • 6
  • 8
  • 6
  • 10
  • 5
  • 20
  • 8
  • 7
  • 5
  • 5
  • 11
  • 21
  • 7
  • 5
  • 6
  • 11
  • 6
  • 9
  • 8
  • 15
  • 8
  • 5
  • 33
  • 15
  • 10
  • 5
  • 5
  • 5
  • 8
  • 7
  • 9
  • 7
  • 5
  • 8
  • 25
  • 7
  • 5
  • 9
  • 8
  • 7
  • 11
  • 6
  • 96
  • 8
  • 6
  • 5
  • 5
  • 13
  • 9
  • 8
  • 7
  • 5
  • 9
  • 7
  • 5
  • 15
  • 5
  • 37
  • 5
  • 14
  • 6
  • 5
  • 5
  • 5
  • 11
  • 9
  • 5
  • 14
  • 5
  • 21
  • 5
  • 24
  • 7
  • 5
  • 5
  • 7
  • 11
  • 5
  • 6
  • 7
  • 5
  • 8
  • 6
  • 6
  • 12
  • 6
  • 7
  • 48
  • 10
  • 7
  • 18
  • 41
  • 10
  • 6
  • 7
  • 14
  • 19
  • 9
  • 14
  • 14
  • 5
  • 10
  • 7
  • 9
  • 29
  • 12
  • 7
  • 8
  • 7
  • 5
  • 16
  • 7
  • 7
  • 8
  • 12
  • 14
  • 6
  • 6
  • 6
  • 10
  • 17
  • 7
  • 15
  • 7
  • 9
  • 7
  • 5
  • 23
  • 6
  • 5
  • 8
  • 10
  • 6
  • 8
  • 5
  • 36
  • 11
  • 8
  • 8
  • 7
  • 7
  • 5
  • 14
  • 7
  • 5
  • 5
  • 8
  • 15
  • 29
  • 6
  • 16
  • 6
  • 7
  • 35
  • 8
  • 11
  • 11
  • 90
  • 7
  • 7
  • 6
  • 8
  • 6
  • 32
  • 13
  • 5
  • 7
  • 77
  • 5
  • 18
  • 8
  • 8
  • 7
  • 7
  • 11
  • 20
  • 18
  • 6
  • 9
  • 92
  • 5
  • 6
  • 45
  • 5
  • 11
  • 11
  • 11
  • 89
  • 19
  • 6
  • 19
  • 8
  • 5
  • 8
  • 6
  • 6
  • 5
  • 9
  • 11
  • 15
  • 6
  • 5
  • 6
  • 5
  • 5
  • 8
  • 5
  • 5
  • 89
  • 5
  • 7
  • 18
  • 7
  • 12
  • 80
  • 12
  • 15
  • 14
  • 8
  • 16
  • 7
  • 5
  • 12
  • 15
  • 5
  • 6
  • 5
  • 22
  • 9
  • 6
  • 6
  • 9
  • 9
  • 5
  • 5
  • 8
  • 14
  • 10
  • 23
  • 8
  • 5
  • 6
  • 9
  • 7
  • 8
  • 6
  • 14
  • 9
  • 7
  • 8
  • 6
  • 15
  • 10
  • 10
  • 25
  • 28
  • 7
  • 7
  • 5
  • 9
  • 20
  • 11
  • 7
  • 6
  • 5
  • 15
  • 8
  • 33
  • 15
  • 5
  • 10
  • 9
  • 5
  • 11
  • 39
  • 8
  • 50
  • 8
  • 13
  • 6
  • 6
  • 13
  • 7
  • 11
  • 22
  • 7
  • 6
  • 12
  • 8
  • 16
  • 6
  • 20
  • 22
  • 5
  • 9
  • 5
  • 6
  • 25
  • 14
  • 23
  • 63
  • 10
  • 11
  • 18
  • 8
  • 9
  • 5
  • 5
  • 7
  • 23
  • 6
  • 20
  • 19
  • 5
  • 8
  • 6
  • 5
  • 21
  • 9
  • 59
  • 80
  • 23
  • 12
  • 8
  • 6
  • 18
  • 6
  • 5
  • 12
  • 11
  • 9
  • 7
  • 15
  • 9
  • 6
  • 14
  • 10
  • 7
  • 7
  • 5
  • 89
  • 13
  • 7
  • 18
  • 15
  • 8
  • 6
  • 8
  • 7
  • 15
  • 7
  • 7
  • 10
  • 29
  • 5
  • 11
  • 9
  • 6
  • 8
  • 5
  • 7
  • 13
  • 17
  • 38
  • 6
  • 5
  • 6
  • 8
  • 19
  • 22
  • 13
  • 6
  • 11
  • 7
  • 9
  • 7
  • 7
  • 9
  • 23
  • 8
  • 15
  • 10
  • 5
  • 6
  • 6
  • 10
  • 5
  • 6
  • 8
  • 7
  • 8
  • 15
  • 9
  • 7
  • 17
  • 7
  • 15
  • 18
  • 6
  • 5
  • 8
  • 19
  • 26
  • 11
  • 14
  • 6
  • 6
  • 22
  • 6
  • 20
  • 5
  • 7
  • 5
  • 12
  • 9
  • 5
  • 17
  • 8
  • 6
  • 6
  • 55
  • 6
  • 10
  • 5
  • 35
  • 5
  • 22
  • 6
  • 6
  • 6
  • 5
  • 5
  • 47
  • 38
  • 64
  • 40
  • 5
  • 8
  • 10
  • 7
  • 10
  • 22
  • 30
  • 7
  • 6
  • 28
  • 16
  • 20
  • 5
  • 9
  • 5
  • 8
  • 5
  • 9
  • 5
  • 17
Verlag
  • 8
  • 11209
  • 3
  • 9
  • 1
  • 17
  • 34
  • 5
  • 1
  • 13
  • 32
Preis
  • 47
  • 410
  • 8554
  • 2321
Sprachen
  • 11326
  • 18
  • 13
Verfügbarkeit
  • 11054
  • 278
Eigenschaften
  • 4
Katalog
  • 11332
  • 607
11.332  Treffer  für „Lecture Notes in Computer Science“
    Tari / Li / Wu | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Tari / Li / Wu Algorithms and Architectures for Parallel Processing

    23rd International Conference, ICA3PP 2023, Tianjin, China, October 20-22, 2023, Proceedings, Part III
    2024
    Verlag: Springer
    ISBN: 978-981-97-0797-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lewerentz / Lindner | Formal Development of Reactive Systems | Buch | Sack Fachmedien

    Lewerentz / Lindner Formal Development of Reactive Systems

    Case Study Production Cell
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-58867-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Braccini / DeFloriani / Vernazza | Image Analysis and Processing | Buch | Sack Fachmedien

    Braccini / DeFloriani / Vernazza Image Analysis and Processing

    8th International Conference, ICIAP '95, San Remo, Italy, September 13 - 15, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60298-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Yao / Luo | Data Management and Analytics for Medicine and Healthcare | Buch | Sack Fachmedien

    Wang / Yao / Luo Data Management and Analytics for Medicine and Healthcare

    Second International Workshop, DMAH 2016, Held at VLDB 2016, New Delhi, India, September 9, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-57740-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nack / Gordon | Interactive Storytelling | Buch | Sack Fachmedien

    Nack / Gordon Interactive Storytelling

    9th International Conference on Interactive Digital Storytelling, ICIDS 2016, Los Angeles, CA, USA, November 15-18, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-48278-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Didyk / Hou | Computational Visual Media | Buch | Sack Fachmedien

    Didyk / Hou Computational Visual Media

    13th International Conference, CVM 2025, Hong Kong SAR, China, April 19-21, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-965814-5
    Medium: Buch
    85,59 € (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
    Asperti / Buchberger / Davenport | Mathematical Knowledge Management | Buch | Sack Fachmedien

    Asperti / Buchberger / Davenport Mathematical Knowledge Management

    Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00568-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhong / Ras / Tsumoto | Foundations of Intelligent Systems | Buch | Sack Fachmedien

    Zhong / Ras / Tsumoto Foundations of Intelligent Systems

    14th International Symposium, ISMIS 2003, Maebashi City, Japan, October 28-31, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20256-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kishino / Kitamura / Kato | Entertainment Computing - ICEC 2005 | Buch | Sack Fachmedien

    Kishino / Kitamura / Kato Entertainment Computing - ICEC 2005

    4th International Conference, Sanda, Japan, September 19-21, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29034-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hall / Mercun / Risse | Digital Libraries for Open Knowledge | Buch | Sack Fachmedien

    Hall / Mercun / Risse Digital Libraries for Open Knowledge

    24th International Conference on Theory and Practice of Digital Libraries, TPDL 2020, Lyon, France, August 25-27, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-54955-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deransart / Jourdan / Lorho | Attribute Grammars | Buch | Sack Fachmedien

    Deransart / Jourdan / Lorho Attribute Grammars

    Definitions, Systems and Bibliography
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-50056-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cygan / Heggernes | Parameterized and Exact Computation | Buch | Sack Fachmedien

    Cygan / Heggernes Parameterized and Exact Computation

    9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-13523-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhu / Li / Castiglione | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Zhu / Li / Castiglione Algorithms and Architectures for Parallel Processing

    24th International Conference, ICA3PP 2024, Macau, China, October 29-31, 2024, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-961541-4
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akshay / Niemetz / Sankaranarayanan | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Akshay / Niemetz / Sankaranarayanan Automated Technology for Verification and Analysis

    22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-78749-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cabrio / Monteiro | Natural Language Processing and Information Systems | Buch | Sack Fachmedien

    Cabrio / Monteiro Natural Language Processing and Information Systems

    31st International Conference on Applications of Natural Language to Information Systems, NLDB 2026, Trondheim, Norway, June 17-19, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-29531-6
    Medium: Buch
    104,85 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caron / Mignot | Implementation and Application of Automata | Buch | Sack Fachmedien

    Caron / Mignot Implementation and Application of Automata

    26th International Conference, CIAA 2022, Rouen, France, June 28 - July 1, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-07468-4
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chang | Static Analysis | Buch | Sack Fachmedien

    Chang Static Analysis

    26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-32303-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Philips / Popescu / Scheunders | Advanced Concepts for Intelligent Vision Systems | Buch | Sack Fachmedien

    Philips / Popescu / Scheunders Advanced Concepts for Intelligent Vision Systems

    8th International Conference, ACIVS 2006, Antwerp, Belgium, September 18-21, 2006, Proceedings
    Erscheinungsjahr 2006
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-44630-9
    Medium: Buch
    139,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wei / Margetis | Human-Centered Design, Operation and Evaluation of Mobile Communications | Buch | Sack Fachmedien

    Wei / Margetis Human-Centered Design, Operation and Evaluation of Mobile Communications

    5th International Conference, MOBILE 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-60486-7
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nichols / Simpson | ESEC '87 | Buch | Sack Fachmedien

    Nichols / Simpson ESEC '87

    1st European Software Engineering Conference Strasbourg, France, September 9-11, 1987. Proceedings
    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18712-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Perales / Draper | Articulated Motion and Deformable Objects | Buch | Sack Fachmedien

    Perales / Draper Articulated Motion and Deformable Objects

    Third International Workshop, AMDO 2004, Palma de Mallorca, Spain, September 22-24, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22958-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ibrahim / Küng / Revell | Database and Expert Systems Applications | Buch | Sack Fachmedien

    Ibrahim / Küng / Revell Database and Expert Systems Applications

    11th International Conference, DEXA 2000 London, UK, September 4-8, 2000 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67978-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bird / Morgan / Woodcock | Mathematics of Program Construction | Buch | Sack Fachmedien

    Bird / Morgan / Woodcock Mathematics of Program Construction

    Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-56625-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Altenkirch / Naraschewski / Reus | Types for Proofs and Programs | Buch | Sack Fachmedien

    Altenkirch / Naraschewski / Reus Types for Proofs and Programs

    International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66537-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