Ergebnisse filtern
Fachgebiet
Medium
  • 10492
Erscheinungsjahr
  • 137
  • 806
  • 831
  • 620
  • 487
  • 275
  • 292
  • 296
  • 292
  • 309
  • 303
  • 316
  • 281
  • 308
  • 309
  • 271
  • 284
  • 269
  • 231
  • 259
  • 283
  • 215
  • 363
  • 308
  • 260
  • 251
  • 179
  • 177
  • 116
  • 133
  • 135
  • 116
  • 108
  • 96
  • 73
  • 84
  • 57
  • 57
  • 44
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 6
  • 5
  • 5
  • 4
  • 4
  • 6
  • 4
  • 5
  • 5
  • 4
  • 5
  • 5
  • 4
  • 9
  • 5
  • 4
  • 10
  • 8
  • 6
  • 7
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 8
  • 4
  • 11
  • 8
  • 5
  • 6
  • 16
  • 4
  • 4
  • 21
  • 4
  • 8
  • 4
  • 6
  • 4
  • 7
  • 5
  • 9
  • 9
  • 6
  • 4
  • 10
  • 5
  • 14
  • 5
  • 25
  • 36
  • 7
  • 40
  • 7
  • 6
  • 4
  • 6
  • 7
  • 15
  • 16
  • 4
  • 4
  • 11
  • 4
  • 5
  • 4
  • 4
  • 7
  • 4
  • 39
  • 6
  • 6
  • 4
  • 4
  • 5
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 4
  • 4
  • 9
  • 4
  • 5
  • 5
  • 14
  • 5
  • 4
  • 7
  • 6
  • 6
  • 6
  • 6
  • 6
  • 9
  • 4
  • 6
  • 7
  • 6
  • 8
  • 7
  • 6
  • 4
  • 12
  • 5
  • 4
  • 5
  • 5
  • 4
  • 19
  • 7
  • 6
  • 4
  • 7
  • 5
  • 15
  • 4
  • 9
  • 5
  • 5
  • 4
  • 6
  • 6
  • 4
  • 4
  • 5
  • 7
  • 6
  • 16
  • 4
  • 9
  • 5
  • 5
  • 9
  • 4
  • 4
  • 6
  • 40
  • 4
  • 4
  • 4
  • 4
  • 4
  • 6
  • 14
  • 11
  • 6
  • 6
  • 8
  • 11
  • 11
  • 4
  • 4
  • 4
  • 5
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 4
  • 11
  • 4
  • 5
  • 6
  • 5
  • 8
  • 14
  • 5
  • 4
  • 11
  • 7
  • 4
  • 18
  • 4
  • 11
  • 16
  • 6
  • 5
  • 4
  • 5
  • 4
  • 4
  • 4
  • 5
  • 8
  • 4
  • 39
  • 10
  • 9
  • 4
  • 4
  • 4
  • 4
  • 9
  • 5
  • 5
  • 8
  • 7
  • 4
  • 4
  • 16
  • 7
  • 9
  • 12
  • 5
  • 10
  • 6
  • 5
  • 4
  • 14
  • 4
  • 7
  • 24
  • 4
  • 12
  • 4
  • 10
  • 4
  • 4
  • 11
  • 7
  • 5
  • 4
  • 10
  • 4
  • 9
  • 34
  • 12
  • 41
  • 10
  • 8
  • 19
  • 14
  • 4
  • 5
  • 7
  • 4
  • 5
  • 20
  • 6
  • 38
  • 4
  • 9
  • 14
  • 7
  • 4
  • 7
  • 12
  • 4
  • 4
  • 12
  • 14
  • 8
  • 7
  • 39
  • 4
  • 5
  • 10
  • 8
  • 10
  • 4
  • 5
  • 4
  • 8
  • 4
  • 4
  • 10
  • 10
  • 5
  • 4
  • 7
  • 6
  • 4
  • 4
  • 14
  • 10
  • 5
  • 13
  • 5
  • 5
  • 7
  • 4
  • 6
  • 7
  • 4
  • 4
  • 15
  • 4
  • 21
  • 8
  • 5
  • 10
  • 4
  • 6
  • 4
  • 6
  • 13
  • 5
  • 24
  • 6
  • 7
  • 4
  • 4
  • 6
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 6
  • 4
  • 4
  • 4
  • 8
  • 4
  • 15
  • 10
  • 6
  • 8
  • 10
  • 5
  • 4
  • 43
  • 38
  • 8
  • 23
  • 5
  • 4
  • 4
  • 17
  • 8
  • 23
  • 14
  • 4
  • 5
  • 5
  • 7
  • 18
  • 6
  • 4
  • 4
  • 5
  • 5
  • 4
  • 6
  • 5
  • 4
  • 27
  • 4
  • 15
  • 46
  • 4
  • 10
  • 7
  • 4
  • 15
  • 7
  • 6
  • 6
  • 11
  • 15
  • 4
  • 6
  • 8
  • 6
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 14
  • 7
  • 6
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 9
  • 6
  • 5
  • 5
  • 8
  • 4
  • 15
  • 55
  • 30
  • 4
  • 4
  • 24
  • 9
  • 18
  • 22
  • 90
  • 5
  • 11
  • 6
  • 6
  • 14
  • 4
  • 4
  • 7
  • 19
  • 14
  • 4
  • 7
  • 7
  • 5
  • 7
  • 14
  • 7
  • 5
  • 8
  • 7
  • 5
  • 4
  • 4
  • 6
  • 4
  • 11
  • 43
  • 4
  • 7
  • 4
  • 7
  • 16
  • 8
  • 7
  • 19
  • 39
  • 6
  • 9
  • 17
  • 10
  • 6
  • 7
  • 5
  • 8
  • 5
  • 9
  • 15
  • 6
  • 6
  • 5
  • 8
  • 5
  • 65
  • 5
  • 6
  • 10
  • 5
  • 6
  • 15
  • 6
  • 11
  • 5
  • 8
  • 19
  • 7
  • 10
  • 5
  • 6
  • 6
  • 5
  • 10
  • 19
  • 11
  • 10
  • 13
  • 5
  • 8
  • 13
  • 6
  • 6
  • 7
  • 5
  • 13
  • 6
  • 5
  • 9
  • 10
  • 11
  • 7
  • 8
  • 7
  • 7
  • 29
  • 9
  • 6
  • 5
  • 8
  • 6
  • 27
  • 6
  • 16
  • 34
  • 6
  • 6
  • 8
  • 9
  • 15
  • 30
  • 6
  • 9
  • 5
  • 5
  • 10
  • 5
  • 5
  • 14
  • 6
  • 5
  • 5
  • 18
  • 20
  • 32
  • 5
  • 16
  • 9
  • 8
  • 19
  • 5
  • 9
  • 5
  • 5
  • 25
  • 13
  • 31
  • 36
  • 6
  • 9
  • 6
  • 8
  • 6
  • 17
  • 6
  • 5
  • 12
  • 6
  • 5
  • 8
  • 7
  • 6
  • 6
  • 7
  • 8
  • 5
  • 6
  • 13
  • 90
  • 5
  • 12
  • 18
  • 6
  • 14
  • 6
  • 5
  • 8
  • 11
  • 12
  • 5
  • 5
  • 6
  • 10
  • 14
  • 18
  • 20
  • 5
  • 21
  • 8
  • 5
  • 62
  • 6
  • 19
  • 8
  • 12
  • 21
  • 5
  • 9
  • 5
  • 8
  • 6
  • 5
  • 5
  • 6
  • 5
  • 14
  • 6
  • 5
  • 5
  • 23
  • 6
  • 13
  • 12
  • 13
  • 15
  • 16
  • 14
  • 8
  • 18
  • 11
  • 10
  • 8
  • 9
  • 25
  • 6
  • 31
  • 28
  • 6
  • 6
  • 11
  • 7
  • 17
  • 7
  • 6
  • 7
  • 5
  • 5
  • 8
  • 6
  • 11
  • 21
  • 6
  • 5
  • 7
  • 5
  • 8
  • 8
  • 13
  • 8
  • 5
  • 33
  • 8
  • 11
  • 5
  • 5
  • 7
  • 5
  • 5
  • 16
  • 5
  • 9
  • 7
  • 5
  • 8
  • 83
  • 10
  • 5
  • 7
  • 6
  • 13
  • 6
  • 5
  • 9
  • 11
  • 36
  • 15
  • 5
  • 16
  • 6
  • 5
  • 10
  • 6
  • 6
  • 5
  • 5
  • 8
  • 5
  • 9
  • 6
  • 6
  • 9
  • 6
  • 7
  • 5
  • 6
  • 7
  • 43
  • 5
  • 5
  • 17
  • 7
  • 7
  • 18
  • 12
  • 13
  • 12
  • 13
  • 15
  • 8
  • 18
  • 6
  • 5
  • 10
  • 23
  • 11
  • 9
  • 5
  • 12
  • 5
  • 6
  • 19
  • 12
  • 13
  • 11
  • 7
  • 8
  • 7
  • 7
  • 15
  • 5
  • 15
  • 13
  • 8
  • 24
  • 6
  • 7
  • 6
  • 11
  • 6
  • 5
  • 11
  • 15
  • 10
  • 5
  • 9
  • 6
  • 14
  • 6
  • 5
  • 6
  • 12
  • 24
  • 12
  • 6
  • 7
  • 19
  • 5
  • 11
  • 91
  • 5
  • 6
  • 8
  • 5
  • 22
  • 7
  • 9
  • 7
  • 19
  • 8
  • 8
  • 8
  • 12
  • 7
  • 19
  • 8
  • 90
  • 6
  • 48
  • 11
  • 11
  • 5
  • 89
  • 23
  • 14
  • 12
  • 5
  • 12
  • 9
  • 13
  • 8
  • 8
  • 6
  • 5
  • 8
  • 8
  • 89
  • 5
  • 6
  • 15
  • 22
  • 7
  • 11
  • 6
  • 11
  • 17
  • 11
  • 11
  • 6
  • 5
  • 11
  • 5
  • 10
  • 22
  • 8
  • 6
  • 6
  • 5
  • 7
  • 13
  • 7
  • 24
  • 5
  • 5
  • 6
  • 6
  • 5
  • 14
  • 7
  • 8
  • 8
  • 11
  • 12
  • 41
  • 5
  • 6
  • 6
  • 6
  • 18
  • 9
  • 11
  • 8
  • 10
  • 13
  • 7
  • 7
  • 11
  • 5
  • 38
  • 7
  • 33
  • 12
  • 6
  • 8
  • 5
  • 5
  • 10
  • 8
  • 22
  • 6
  • 6
  • 8
  • 8
  • 14
  • 15
  • 25
  • 9
  • 25
  • 7
  • 14
  • 24
  • 57
  • 10
  • 11
  • 19
  • 8
  • 9
  • 6
  • 10
  • 19
  • 22
  • 14
  • 6
  • 6
  • 9
  • 55
  • 24
  • 12
  • 8
  • 12
  • 12
  • 6
  • 12
  • 9
  • 12
  • 5
  • 10
  • 7
  • 6
  • 6
  • 15
  • 11
  • 7
  • 12
  • 10
  • 5
  • 89
  • 10
  • 7
  • 15
  • 5
  • 5
  • 5
  • 6
  • 13
  • 7
  • 8
  • 35
  • 5
  • 11
  • 10
  • 7
  • 12
  • 5
  • 13
  • 15
  • 10
  • 21
  • 6
  • 5
  • 17
  • 21
  • 5
  • 10
  • 7
  • 6
  • 6
  • 8
  • 6
  • 7
  • 8
  • 5
  • 25
  • 6
  • 14
  • 10
  • 5
  • 6
  • 8
  • 6
  • 6
  • 5
  • 8
  • 12
  • 9
  • 9
  • 18
  • 5
  • 10
  • 5
  • 11
  • 5
  • 6
  • 24
  • 11
  • 14
  • 5
  • 5
  • 22
  • 11
  • 5
  • 5
  • 6
  • 5
  • 9
  • 18
  • 7
  • 6
  • 6
  • 47
  • 13
  • 6
  • 5
  • 5
  • 21
  • 7
  • 42
  • 14
  • 62
  • 18
  • 5
  • 6
  • 5
  • 6
  • 32
  • 7
  • 10
  • 5
  • 18
  • 19
  • 19
  • 9
  • 6
  • 11
  • 12
  • 10
  • 6
  • 6
  • 23
Verlag
  • 1
  • 10436
  • 3
  • 4
  • 1
  • 2
  • 3
  • 1
  • 41
Preis
  • 42
  • 379
  • 8041
  • 2030
Sprachen
  • 10487
  • 17
  • 13
Verfügbarkeit
  • 10478
  • 14
Eigenschaften
  • 2
Katalog
  • 10492
  • 554
10.492  Treffer  für „Lecture Notes in Computer Science“
    Kalker / Ro / Cox | Digital Watermarking | Buch | Sack Fachmedien

    Kalker / Ro / Cox Digital Watermarking

    Second International Workshop, IWDW 2003, Seoul, Korea, October 20-22, 2003, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21061-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yang / Mao / Yu | Web Information Systems and Applications | Buch | Sack Fachmedien

    Yang / Mao / Yu Web Information Systems and Applications

    22nd International Conference, WISA 2025, Xi'an, China, October 1, 2025, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-956425-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Slezak / Yao / Peters | Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing | Buch | Sack Fachmedien

    Slezak / Yao / Peters Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing

    10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 2, 2005, Proceedings, Part II
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28660-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jager / Pan | Public-Key Cryptography - PKC 2025 | Buch | Sack Fachmedien

    Jager / Pan Public-Key Cryptography - PKC 2025

    28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Røros, Norway, May 12-15, 2025, Proceedings, Part IV
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-91828-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Curry / Lisena / Presutti | The Semantic Web: ESWC 2025 Satellite Events | Buch | Sack Fachmedien

    Curry / Lisena / Presutti The Semantic Web: ESWC 2025 Satellite Events

    Portoroz, Slovenia, June 1-5, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-99553-8
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Christodoulakis | Ada: The Choice for '92 | Buch | Sack Fachmedien

    Christodoulakis Ada: The Choice for '92

    Ada-Europe International Conference Athens, Greece, May 13-17, 1991
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54092-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Henzinger / Sastry | Hybrid Systems: Computation and Control | Buch | Sack Fachmedien

    Henzinger / Sastry Hybrid Systems: Computation and Control

    First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64358-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Foret / Kobele / Pogodalla | Formal Grammar 2018 | Buch | Sack Fachmedien

    Foret / Kobele / Pogodalla Formal Grammar 2018

    23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-662-57783-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ruichu / Chen / Liang | Web Technologies and Applications | Buch | Sack Fachmedien

    Ruichu / Chen / Liang Web Technologies and Applications

    APWeb 2015 Workshops, BSD, WDMA, and BDAT, Guangzhou, China, September 18, 2015, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-28120-9
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Berg / Meyer | Algorithms - ESA 2010 | Buch | Sack Fachmedien

    de Berg / Meyer Algorithms - ESA 2010

    18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-15774-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hunt | FM8501: A Verified Microprocessor | Buch | Sack Fachmedien

    Hunt FM8501: A Verified Microprocessor

    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-57960-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Franch / Poels / Gailly | Advanced Information Systems Engineering | Buch | Sack Fachmedien

    Franch / Poels / Gailly Advanced Information Systems Engineering

    34th International Conference, CAiSE 2022, Leuven, Belgium, June 6-10, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-07471-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bidoit / Kreowski / Lescanne | Algebraic System Specification and Development | Buch | Sack Fachmedien

    Bidoit / Kreowski / Lescanne Algebraic System Specification and Development

    A Survey and Annotated Bibliography
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54060-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Fragomeni | Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation | Buch | Sack Fachmedien

    Chen / Fragomeni Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation

    10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-91580-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shan / Dayal / Hsu | Technologies for E-Services | Buch | Sack Fachmedien

    Shan / Dayal / Hsu Technologies for E-Services

    5th International Workshop, TES 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-25049-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lu / Huang / Hong | Natural Language Processing and Chinese Computing | Buch | Sack Fachmedien

    Lu / Huang / Hong Natural Language Processing and Chinese Computing

    11th CCF International Conference, NLPCC 2022, Guilin, China, September 24-25, 2022, Proceedings, Part II
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-17188-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baldoni / Müller / Nunes | Engineering Multi-Agent Systems | Buch | Sack Fachmedien

    Baldoni / Müller / Nunes Engineering Multi-Agent Systems

    4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-50982-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eiter / Faber / Trusczynksi | Logic Programming and Nonmonotonic Reasoning | Buch | Sack Fachmedien

    Eiter / Faber / Trusczynksi Logic Programming and Nonmonotonic Reasoning

    6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pande / Agrawal | Compiler Optimizations for Scalable Parallel Systems | Buch | Sack Fachmedien

    Pande / Agrawal Compiler Optimizations for Scalable Parallel Systems

    Languages, Compilation Techniques, and Run Time Systems
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41945-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kropatsch / Sablatnig / Hanbury | Pattern Recognition | Buch | Sack Fachmedien

    Kropatsch / Sablatnig / Hanbury Pattern Recognition

    27th DAGM Symposium, Vienna, Austria, August 31 - September 2, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28703-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Erlebach / Segal | Algorithmics of Wireless Networks | Buch | Sack Fachmedien

    Erlebach / Segal Algorithmics of Wireless Networks

    18th International Symposium on Algorithmics of Wireless Networks, ALGOSENSORS 2022, Potsdam, Germany, September 8-9, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-22049-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zeng / Gotham / Komatsu | Intelligence and Security Informatics: Biosurveillance | Buch | Sack Fachmedien

    Zeng / Gotham / Komatsu Intelligence and Security Informatics: Biosurveillance

    Second NSF Workshop, BioSurveillance 2007, New Brunswick, NJ, USA, May 22, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-72607-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schubert / Windley / Alves-Foss | Higher Order Logic Theorem Proving and Its Applications | Buch | Sack Fachmedien

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

    8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60275-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Han / Okamoto / Quing | Information and Communications Security | Buch | Sack Fachmedien

    Han / Okamoto / Quing Information and Communications Security

    First International Conference, ICIS'97, Beijing, China, November 11-14, 1997, Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63696-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Buchs / Carmona | Application and Theory of Petri Nets and Concurrency | Buch | Sack Fachmedien

    Buchs / Carmona 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
    ISBN: 978-3-030-76982-6
    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