Ergebnisse filtern
Fachgebiet
Medium
  • 7825
Erscheinungsjahr
  • 250
  • 694
  • 727
  • 441
  • 291
  • 164
  • 184
  • 192
  • 199
  • 190
  • 201
  • 181
  • 198
  • 195
  • 191
  • 179
  • 177
  • 189
  • 182
  • 216
  • 216
  • 181
  • 286
  • 236
  • 204
  • 197
  • 128
  • 125
  • 111
  • 115
  • 105
  • 93
  • 87
  • 73
  • 58
  • 69
  • 47
  • 48
  • 32
  • 32
  • 27
  • 18
  • 8
  • 3
  • 5
  • 13
  • 7
  • 11
  • 5
  • 12
  • 9
  • 10
  • 10
  • 3
Autoren
  • 3
  • 6
  • 4
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 9
  • 5
  • 4
  • 11
  • 8
  • 12
  • 7
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 8
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 4
  • 17
  • 15
  • 3
  • 7
  • 5
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 8
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 7
  • 3
  • 14
  • 3
  • 27
  • 36
  • 8
  • 3
  • 4
  • 3
  • 24
  • 4
  • 6
  • 4
  • 3
  • 5
  • 5
  • 5
  • 9
  • 4
  • 4
  • 15
  • 11
  • 4
  • 39
  • 4
  • 5
  • 4
  • 5
  • 5
  • 4
  • 7
  • 4
  • 4
  • 4
  • 9
  • 6
  • 5
  • 16
  • 7
  • 4
  • 5
  • 4
  • 6
  • 5
  • 8
  • 4
  • 5
  • 6
  • 11
  • 8
  • 4
  • 7
  • 4
  • 4
  • 4
  • 19
  • 6
  • 6
  • 5
  • 4
  • 8
  • 7
  • 5
  • 7
  • 8
  • 10
  • 4
  • 5
  • 6
  • 40
  • 4
  • 4
  • 5
  • 4
  • 22
  • 8
  • 5
  • 4
  • 4
  • 5
  • 6
  • 7
  • 4
  • 5
  • 5
  • 4
  • 10
  • 4
  • 4
  • 4
  • 5
  • 4
  • 9
  • 4
  • 10
  • 5
  • 4
  • 12
  • 14
  • 7
  • 5
  • 4
  • 6
  • 10
  • 4
  • 39
  • 18
  • 7
  • 7
  • 5
  • 7
  • 5
  • 4
  • 16
  • 5
  • 7
  • 9
  • 4
  • 12
  • 7
  • 4
  • 9
  • 9
  • 4
  • 12
  • 4
  • 24
  • 14
  • 5
  • 4
  • 11
  • 5
  • 10
  • 4
  • 9
  • 8
  • 5
  • 5
  • 5
  • 4
  • 4
  • 5
  • 5
  • 4
  • 34
  • 4
  • 5
  • 11
  • 41
  • 4
  • 4
  • 13
  • 9
  • 7
  • 15
  • 4
  • 4
  • 18
  • 4
  • 38
  • 5
  • 4
  • 5
  • 9
  • 15
  • 13
  • 4
  • 4
  • 7
  • 12
  • 5
  • 4
  • 7
  • 5
  • 9
  • 4
  • 4
  • 4
  • 39
  • 6
  • 7
  • 6
  • 10
  • 4
  • 4
  • 4
  • 4
  • 10
  • 5
  • 4
  • 5
  • 5
  • 4
  • 6
  • 7
  • 6
  • 10
  • 7
  • 5
  • 4
  • 4
  • 5
  • 6
  • 4
  • 11
  • 4
  • 4
  • 4
  • 5
  • 9
  • 7
  • 4
  • 5
  • 4
  • 8
  • 15
  • 20
  • 7
  • 4
  • 5
  • 9
  • 5
  • 8
  • 5
  • 12
  • 9
  • 24
  • 6
  • 5
  • 4
  • 4
  • 5
  • 4
  • 8
  • 7
  • 4
  • 5
  • 4
  • 11
  • 4
  • 7
  • 5
  • 4
  • 4
  • 5
  • 6
  • 8
  • 7
  • 16
  • 11
  • 5
  • 7
  • 8
  • 39
  • 39
  • 5
  • 8
  • 23
  • 4
  • 7
  • 10
  • 12
  • 4
  • 4
  • 28
  • 12
  • 4
  • 5
  • 4
  • 5
  • 16
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 10
  • 4
  • 9
  • 6
  • 7
  • 4
  • 4
  • 5
  • 27
  • 10
  • 41
  • 5
  • 8
  • 4
  • 4
  • 15
  • 8
  • 10
  • 7
  • 7
  • 4
  • 5
  • 9
  • 6
  • 16
  • 5
  • 5
  • 4
  • 6
  • 8
  • 4
  • 4
  • 4
  • 4
  • 4
  • 13
  • 18
  • 4
  • 7
  • 4
  • 10
  • 5
  • 4
  • 10
  • 10
  • 5
  • 9
  • 4
  • 16
  • 36
  • 4
  • 6
  • 16
  • 9
  • 15
  • 24
  • 62
  • 4
  • 11
  • 4
  • 5
  • 16
  • 4
  • 4
  • 4
  • 19
  • 4
  • 10
  • 4
  • 4
  • 14
  • 4
  • 4
  • 4
  • 4
  • 7
  • 27
  • 4
  • 6
  • 9
  • 4
  • 4
  • 16
  • 7
  • 7
  • 19
  • 39
  • 7
  • 18
  • 5
  • 8
  • 4
  • 5
  • 5
  • 12
  • 15
  • 6
  • 4
  • 4
  • 72
  • 4
  • 4
  • 4
  • 5
  • 11
  • 6
  • 6
  • 6
  • 4
  • 6
  • 15
  • 12
  • 4
  • 5
  • 20
  • 5
  • 9
  • 4
  • 4
  • 5
  • 6
  • 4
  • 19
  • 4
  • 8
  • 4
  • 13
  • 13
  • 4
  • 8
  • 5
  • 4
  • 16
  • 5
  • 6
  • 7
  • 10
  • 5
  • 4
  • 10
  • 6
  • 23
  • 4
  • 5
  • 6
  • 8
  • 8
  • 4
  • 4
  • 14
  • 21
  • 4
  • 4
  • 4
  • 8
  • 15
  • 31
  • 6
  • 6
  • 4
  • 12
  • 4
  • 5
  • 8
  • 6
  • 4
  • 11
  • 5
  • 17
  • 17
  • 4
  • 8
  • 8
  • 7
  • 17
  • 15
  • 4
  • 26
  • 5
  • 14
  • 20
  • 37
  • 4
  • 5
  • 7
  • 4
  • 12
  • 4
  • 6
  • 5
  • 8
  • 7
  • 6
  • 6
  • 14
  • 51
  • 42
  • 12
  • 16
  • 4
  • 4
  • 9
  • 7
  • 5
  • 4
  • 13
  • 9
  • 4
  • 4
  • 4
  • 4
  • 6
  • 6
  • 6
  • 18
  • 20
  • 26
  • 6
  • 4
  • 61
  • 16
  • 6
  • 6
  • 11
  • 20
  • 5
  • 5
  • 6
  • 4
  • 4
  • 12
  • 5
  • 8
  • 25
  • 6
  • 4
  • 4
  • 4
  • 4
  • 9
  • 11
  • 13
  • 16
  • 11
  • 13
  • 10
  • 18
  • 5
  • 11
  • 4
  • 7
  • 4
  • 5
  • 17
  • 4
  • 36
  • 18
  • 5
  • 4
  • 5
  • 4
  • 9
  • 6
  • 9
  • 4
  • 20
  • 6
  • 4
  • 7
  • 4
  • 6
  • 8
  • 6
  • 4
  • 6
  • 4
  • 7
  • 8
  • 8
  • 10
  • 4
  • 7
  • 4
  • 5
  • 18
  • 10
  • 4
  • 7
  • 4
  • 16
  • 5
  • 4
  • 9
  • 4
  • 7
  • 6
  • 6
  • 7
  • 4
  • 56
  • 4
  • 5
  • 6
  • 4
  • 9
  • 5
  • 7
  • 44
  • 8
  • 5
  • 7
  • 7
  • 4
  • 4
  • 4
  • 11
  • 4
  • 4
  • 10
  • 6
  • 4
  • 4
  • 4
  • 4
  • 8
  • 10
  • 6
  • 5
  • 4
  • 4
  • 7
  • 4
  • 4
  • 5
  • 7
  • 4
  • 4
  • 11
  • 44
  • 5
  • 6
  • 20
  • 8
  • 18
  • 13
  • 5
  • 4
  • 13
  • 5
  • 4
  • 6
  • 12
  • 15
  • 4
  • 11
  • 5
  • 23
  • 11
  • 5
  • 15
  • 8
  • 4
  • 4
  • 13
  • 7
  • 17
  • 7
  • 8
  • 4
  • 7
  • 10
  • 6
  • 5
  • 4
  • 7
  • 4
  • 24
  • 6
  • 6
  • 5
  • 7
  • 12
  • 5
  • 9
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 4
  • 4
  • 7
  • 28
  • 6
  • 13
  • 5
  • 20
  • 4
  • 4
  • 6
  • 89
  • 6
  • 7
  • 4
  • 5
  • 4
  • 7
  • 13
  • 11
  • 8
  • 4
  • 5
  • 6
  • 6
  • 21
  • 6
  • 4
  • 4
  • 91
  • 4
  • 42
  • 4
  • 11
  • 10
  • 7
  • 89
  • 20
  • 4
  • 14
  • 6
  • 4
  • 9
  • 15
  • 14
  • 4
  • 9
  • 6
  • 4
  • 6
  • 11
  • 89
  • 5
  • 19
  • 7
  • 9
  • 6
  • 12
  • 4
  • 16
  • 16
  • 12
  • 5
  • 4
  • 11
  • 4
  • 7
  • 4
  • 15
  • 13
  • 4
  • 4
  • 4
  • 10
  • 4
  • 4
  • 4
  • 4
  • 12
  • 24
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 14
  • 6
  • 8
  • 17
  • 14
  • 21
  • 25
  • 4
  • 4
  • 6
  • 17
  • 7
  • 4
  • 11
  • 8
  • 13
  • 8
  • 5
  • 8
  • 29
  • 42
  • 9
  • 8
  • 7
  • 4
  • 22
  • 4
  • 4
  • 7
  • 4
  • 4
  • 9
  • 15
  • 21
  • 4
  • 4
  • 21
  • 7
  • 24
  • 41
  • 10
  • 6
  • 17
  • 9
  • 5
  • 4
  • 18
  • 16
  • 11
  • 4
  • 4
  • 9
  • 28
  • 4
  • 24
  • 12
  • 6
  • 5
  • 5
  • 8
  • 5
  • 12
  • 5
  • 17
  • 4
  • 9
  • 7
  • 4
  • 14
  • 4
  • 6
  • 5
  • 7
  • 5
  • 4
  • 89
  • 10
  • 16
  • 5
  • 15
  • 4
  • 4
  • 13
  • 6
  • 4
  • 22
  • 4
  • 5
  • 11
  • 6
  • 6
  • 6
  • 13
  • 6
  • 4
  • 19
  • 6
  • 5
  • 4
  • 4
  • 4
  • 5
  • 4
  • 7
  • 17
  • 9
  • 4
  • 6
  • 6
  • 5
  • 7
  • 8
  • 5
  • 4
  • 24
  • 5
  • 10
  • 10
  • 4
  • 6
  • 6
  • 5
  • 5
  • 6
  • 4
  • 7
  • 5
  • 6
  • 4
  • 4
  • 5
  • 18
  • 5
  • 4
  • 7
  • 4
  • 4
  • 9
  • 6
  • 4
  • 5
  • 5
  • 29
  • 9
  • 14
  • 6
  • 4
  • 4
  • 11
  • 4
  • 10
  • 10
  • 4
  • 18
  • 7
  • 6
  • 5
  • 18
  • 4
  • 4
  • 5
  • 6
  • 5
  • 5
  • 20
  • 4
  • 4
  • 7
  • 45
  • 4
  • 13
  • 23
  • 4
  • 16
  • 4
  • 4
  • 4
  • 5
  • 5
  • 4
  • 4
  • 31
  • 4
  • 7
  • 9
  • 23
  • 5
  • 18
  • 4
  • 5
  • 13
  • 4
  • 8
  • 7
  • 4
  • 5
  • 21
Verlag
  • 1
  • 7784
  • 3
  • 3
  • 2
  • 2
  • 1
  • 29
Preis
  • 27
  • 249
  • 5882
  • 1667
Sprachen
  • 7820
  • 15
  • 12
Verfügbarkeit
  • 7818
  • 7
Eigenschaften
  • 10
Katalog
  • 7825
  • 354
7.825  Treffer  für „Lecture Notes in Computer Science“
    Strauss / Amagasa / Kotsis | Database and Expert Systems Applications | Buch | Sack Fachmedien

    Strauss / Amagasa / Kotsis Database and Expert Systems Applications

    34th International Conference, DEXA 2023, Penang, Malaysia, August 28-30, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-39820-9
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dediu / Magdalena / Martín-Vide | Theory and Practice of Natural Computing | Buch | Sack Fachmedien

    Dediu / Magdalena / Martín-Vide Theory and Practice of Natural Computing

    Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-26840-8
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goeuriot / Mulhem / Quénot | Experimental IR Meets Multilinguality, Multimodality, and Interaction | Buch | Sack Fachmedien

    Goeuriot / Mulhem / Quénot Experimental IR Meets Multilinguality, Multimodality, and Interaction

    15th International Conference of the CLEF Association, CLEF 2024, Grenoble, France, September 9-12, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-71907-3
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guruswami | List Decoding of Error-Correcting Codes | Buch | Sack Fachmedien

    Guruswami List Decoding of Error-Correcting Codes

    Winning Thesis of the 2002 ACM Doctoral Dissertation Competition
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-24051-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martinac / Jørgensen / Ma | Energy Informatics | Buch | Sack Fachmedien

    Martinac / Jørgensen / Ma Energy Informatics

    First Nordic Energy Informatics Academy Conference, EIA Nordic 2025, Stockholm, Sweden, August 20-22, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-03097-9
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zsók / Butterfield | Implementation and Application of Functional Languages | Buch | Sack Fachmedien

    Zsók / Butterfield Implementation and Application of Functional Languages

    18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-74129-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gao / Zhou | Human Aspects of IT for the Aged Population. Supporting Everyday Life Activities | Buch | Sack Fachmedien

    Gao / Zhou Human Aspects of IT for the Aged Population. Supporting Everyday Life Activities

    7th International Conference, ITAP 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-78110-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olenev / Evtushenko / Jacimovic | Optimization and Applications | Buch | Sack Fachmedien

    Olenev / Evtushenko / Jacimovic Optimization and Applications

    14th International Conference, OPTIMA 2023, Petrovac, Montenegro, September 18-22, 2023, Revised Selected Papers
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-47858-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lagergren | Comparative Genomics | Buch | Sack Fachmedien

    Lagergren Comparative Genomics

    RECOMB 2004 International Workshop, RCG 2004, Bertinoro, Italy, October 16-19, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-24455-4
    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

    17th International Conference, CICLing 2016, Konya, Turkey, April 3-9, 2016, Revised Selected Papers, Part I
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-75476-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marcus / Rosenzweig / Soares | Design, User Experience, and Usability | Buch | Sack Fachmedien

    Marcus / Rosenzweig / Soares Design, User Experience, and Usability

    13th International Conference, DUXU 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
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martinac / Jørgensen / Ma | Energy Informatics | Buch | Sack Fachmedien

    Martinac / Jørgensen / Ma Energy Informatics

    First Nordic Energy Informatics Academy Conference, EIA Nordic 2025, Stockholm, Sweden, August 20-22, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-03100-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Iurgel / Zagalo / Petta | Interactive Storytelling | Buch | Sack Fachmedien

    Iurgel / Zagalo / Petta Interactive Storytelling

    Second Joint International Conference on Interactive Digital Storytelling, ICIDS 2009, Guimarães, Portugal, December 9-11, 2009, Proceedings
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10642-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sun / Li / Zhang | Chinese Computational Linguistics | Buch | Sack Fachmedien

    Sun / Li / Zhang Chinese Computational Linguistics

    19th China National Conference, CCL 2020, Hainan, China, October 30 - November 1, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-63030-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wu / Guo | Combinatorial Optimization and Applications | Buch | Sack Fachmedien

    Wu / Guo Combinatorial Optimization and Applications

    16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-49613-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xu / Wang / Zhang | Cognitive Computing - ICCC 2019 | Buch | Sack Fachmedien

    Xu / Wang / Zhang Cognitive Computing - ICCC 2019

    Third International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-23406-5
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Badger / Rozier | NASA Formal Methods | Buch | Sack Fachmedien

    Badger / Rozier NASA Formal Methods

    6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-06199-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berekovic / Fornaciari / Brinkschulte | Architecture of Computing Systems - ARCS 2011 | Buch | Sack Fachmedien

    Berekovic / Fornaciari / Brinkschulte Architecture of Computing Systems - ARCS 2011

    24th International Conference, Lake Como, Italy, February 24-25, 2011. Proceedings
    1. Auflage. 2011
    Verlag: Springer
    ISBN: 978-3-642-19136-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Agouris / Stefanidis | Integrated Spatial Databases: Digital Images and GIS | Buch | Sack Fachmedien

    Agouris / Stefanidis Integrated Spatial Databases: Digital Images and GIS

    International Workshop ISD'99 Portland, ME, USA, June 14-16, 1999 Selected Papers
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66931-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wallraven / Liu / Ross | Pattern Recognition and Artificial Intelligence | Buch | Sack Fachmedien

    Wallraven / Liu / Ross Pattern Recognition and Artificial Intelligence

    4th International Conference, ICPRAI 2024, Jeju Island, South Korea, July 03-06, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-981-97-8704-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Luo | Cooperative Design, Visualization, and Engineering | Buch | Sack Fachmedien

    Luo Cooperative Design, Visualization, and Engineering

    20th International Conference on Cooperative Design, Visualization and Engineering, CDVE 2023, Mallorca, Spain, October 1-4, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-43814-1
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Becker / Woods / Athanas | Reconfigurable Computing: Architectures, Tools and Applications | Buch | Sack Fachmedien

    Becker / Woods / Athanas Reconfigurable Computing: Architectures, Tools and Applications

    5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00640-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guttman / Landwehr / Meseguer | Foundations of Security, Protocols, and Equational Reasoning | Buch | Sack Fachmedien

    Guttman / Landwehr / Meseguer Foundations of Security, Protocols, and Equational Reasoning

    Essays Dedicated to Catherine A. Meadows
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-19051-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wirsing / Bergstra | Algebraic Methods: Theory, Tools and Applications | Buch | Sack Fachmedien

    Wirsing / Bergstra Algebraic Methods: Theory, Tools and Applications

    Erscheinungsjahr 1989
    Verlag: Springer
    ISBN: 978-3-540-51698-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prehn / Toetenel | VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings | Buch | Sack Fachmedien

    Prehn / Toetenel VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings

    Volume 1: Conference Contributions
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54834-8
    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