Ergebnisse filtern
Fachgebiet
Medium
  • 11210
Erscheinungsjahr
  • 114
  • 782
  • 791
  • 836
  • 614
  • 474
  • 281
  • 301
  • 318
  • 300
  • 298
  • 319
  • 311
  • 297
  • 316
  • 276
  • 300
  • 260
  • 256
  • 235
  • 254
  • 258
  • 222
  • 356
  • 299
  • 248
  • 252
  • 174
  • 178
  • 126
  • 143
  • 137
  • 113
  • 109
  • 90
  • 71
  • 85
  • 56
  • 55
  • 45
  • 46
  • 31
  • 26
  • 17
  • 12
  • 15
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 4
  • 4
  • 5
  • 6
  • 4
  • 5
  • 4
  • 9
  • 4
  • 12
  • 4
  • 25
  • 8
  • 7
  • 4
  • 5
  • 5
  • 4
  • 7
  • 7
  • 8
  • 6
  • 7
  • 16
  • 8
  • 4
  • 20
  • 5
  • 9
  • 5
  • 4
  • 6
  • 5
  • 5
  • 5
  • 8
  • 9
  • 4
  • 4
  • 8
  • 4
  • 5
  • 6
  • 13
  • 4
  • 31
  • 36
  • 5
  • 39
  • 7
  • 6
  • 4
  • 5
  • 5
  • 5
  • 6
  • 5
  • 7
  • 5
  • 16
  • 7
  • 21
  • 4
  • 13
  • 5
  • 7
  • 4
  • 6
  • 5
  • 8
  • 7
  • 39
  • 12
  • 5
  • 5
  • 5
  • 6
  • 6
  • 4
  • 7
  • 6
  • 4
  • 6
  • 4
  • 9
  • 4
  • 9
  • 4
  • 46
  • 5
  • 6
  • 4
  • 4
  • 5
  • 5
  • 4
  • 6
  • 5
  • 7
  • 23
  • 5
  • 7
  • 10
  • 10
  • 8
  • 9
  • 7
  • 12
  • 5
  • 7
  • 19
  • 6
  • 7
  • 5
  • 17
  • 5
  • 7
  • 5
  • 7
  • 10
  • 8
  • 8
  • 21
  • 5
  • 12
  • 7
  • 5
  • 6
  • 40
  • 7
  • 19
  • 18
  • 5
  • 7
  • 6
  • 8
  • 8
  • 5
  • 5
  • 9
  • 6
  • 7
  • 8
  • 6
  • 9
  • 12
  • 11
  • 8
  • 14
  • 9
  • 6
  • 15
  • 8
  • 5
  • 5
  • 7
  • 39
  • 17
  • 5
  • 6
  • 5
  • 7
  • 5
  • 15
  • 10
  • 11
  • 11
  • 7
  • 8
  • 12
  • 5
  • 5
  • 8
  • 23
  • 13
  • 7
  • 6
  • 14
  • 5
  • 8
  • 5
  • 5
  • 8
  • 5
  • 34
  • 15
  • 41
  • 11
  • 8
  • 15
  • 18
  • 8
  • 44
  • 12
  • 39
  • 9
  • 14
  • 6
  • 12
  • 6
  • 15
  • 10
  • 5
  • 39
  • 5
  • 5
  • 11
  • 12
  • 6
  • 7
  • 6
  • 5
  • 5
  • 6
  • 9
  • 13
  • 5
  • 5
  • 7
  • 16
  • 5
  • 6
  • 12
  • 6
  • 5
  • 9
  • 10
  • 6
  • 5
  • 8
  • 26
  • 23
  • 15
  • 25
  • 8
  • 13
  • 5
  • 7
  • 5
  • 9
  • 5
  • 6
  • 14
  • 9
  • 23
  • 6
  • 5
  • 8
  • 6
  • 8
  • 11
  • 5
  • 8
  • 6
  • 22
  • 10
  • 6
  • 12
  • 10
  • 6
  • 5
  • 45
  • 43
  • 9
  • 41
  • 12
  • 9
  • 12
  • 5
  • 6
  • 29
  • 13
  • 5
  • 5
  • 18
  • 9
  • 6
  • 10
  • 26
  • 15
  • 43
  • 78
  • 10
  • 7
  • 14
  • 10
  • 6
  • 6
  • 7
  • 11
  • 17
  • 6
  • 9
  • 7
  • 5
  • 6
  • 8
  • 7
  • 7
  • 5
  • 5
  • 7
  • 19
  • 17
  • 8
  • 6
  • 7
  • 10
  • 9
  • 5
  • 13
  • 19
  • 67
  • 32
  • 9
  • 6
  • 19
  • 9
  • 16
  • 24
  • 5
  • 104
  • 5
  • 11
  • 6
  • 5
  • 14
  • 5
  • 6
  • 8
  • 6
  • 18
  • 16
  • 6
  • 6
  • 9
  • 6
  • 6
  • 17
  • 6
  • 6
  • 6
  • 6
  • 10
  • 5
  • 39
  • 10
  • 9
  • 7
  • 9
  • 15
  • 7
  • 7
  • 7
  • 23
  • 39
  • 8
  • 18
  • 9
  • 10
  • 5
  • 5
  • 5
  • 7
  • 15
  • 10
  • 9
  • 15
  • 5
  • 5
  • 5
  • 10
  • 8
  • 95
  • 8
  • 9
  • 5
  • 5
  • 5
  • 10
  • 5
  • 6
  • 6
  • 15
  • 8
  • 13
  • 5
  • 11
  • 5
  • 18
  • 9
  • 13
  • 7
  • 5
  • 5
  • 6
  • 7
  • 19
  • 13
  • 8
  • 5
  • 12
  • 7
  • 13
  • 6
  • 10
  • 5
  • 16
  • 6
  • 7
  • 7
  • 6
  • 5
  • 14
  • 5
  • 10
  • 5
  • 15
  • 6
  • 8
  • 7
  • 9
  • 41
  • 10
  • 6
  • 8
  • 6
  • 26
  • 6
  • 18
  • 39
  • 5
  • 10
  • 15
  • 12
  • 32
  • 6
  • 10
  • 7
  • 12
  • 17
  • 6
  • 14
  • 5
  • 18
  • 35
  • 7
  • 17
  • 8
  • 11
  • 5
  • 14
  • 6
  • 26
  • 78
  • 14
  • 26
  • 45
  • 8
  • 5
  • 7
  • 9
  • 6
  • 8
  • 5
  • 12
  • 6
  • 6
  • 7
  • 7
  • 8
  • 14
  • 7
  • 6
  • 5
  • 17
  • 91
  • 13
  • 6
  • 44
  • 6
  • 6
  • 13
  • 7
  • 8
  • 5
  • 14
  • 14
  • 10
  • 12
  • 7
  • 34
  • 7
  • 6
  • 7
  • 5
  • 7
  • 17
  • 18
  • 5
  • 20
  • 6
  • 6
  • 28
  • 6
  • 5
  • 6
  • 77
  • 11
  • 5
  • 15
  • 6
  • 5
  • 12
  • 22
  • 5
  • 9
  • 6
  • 8
  • 6
  • 7
  • 30
  • 6
  • 5
  • 6
  • 24
  • 6
  • 5
  • 13
  • 16
  • 13
  • 7
  • 14
  • 16
  • 15
  • 11
  • 23
  • 8
  • 78
  • 11
  • 5
  • 10
  • 11
  • 5
  • 29
  • 5
  • 27
  • 31
  • 5
  • 7
  • 7
  • 5
  • 7
  • 6
  • 13
  • 5
  • 20
  • 9
  • 6
  • 7
  • 7
  • 9
  • 13
  • 6
  • 21
  • 6
  • 9
  • 11
  • 8
  • 9
  • 8
  • 15
  • 6
  • 5
  • 34
  • 14
  • 8
  • 9
  • 5
  • 6
  • 7
  • 7
  • 5
  • 7
  • 22
  • 7
  • 9
  • 8
  • 7
  • 9
  • 6
  • 95
  • 8
  • 6
  • 5
  • 5
  • 12
  • 9
  • 8
  • 6
  • 5
  • 8
  • 5
  • 12
  • 35
  • 5
  • 16
  • 8
  • 5
  • 5
  • 9
  • 5
  • 5
  • 12
  • 21
  • 25
  • 7
  • 5
  • 5
  • 6
  • 9
  • 13
  • 6
  • 6
  • 5
  • 10
  • 6
  • 8
  • 10
  • 6
  • 9
  • 48
  • 17
  • 6
  • 38
  • 10
  • 9
  • 11
  • 5
  • 12
  • 20
  • 13
  • 14
  • 15
  • 14
  • 6
  • 7
  • 8
  • 27
  • 10
  • 5
  • 11
  • 7
  • 6
  • 5
  • 19
  • 6
  • 9
  • 5
  • 12
  • 14
  • 9
  • 5
  • 8
  • 6
  • 16
  • 7
  • 13
  • 8
  • 5
  • 9
  • 7
  • 9
  • 23
  • 6
  • 7
  • 5
  • 11
  • 10
  • 8
  • 8
  • 37
  • 12
  • 9
  • 8
  • 6
  • 7
  • 5
  • 14
  • 8
  • 5
  • 10
  • 10
  • 29
  • 6
  • 16
  • 7
  • 36
  • 8
  • 10
  • 8
  • 10
  • 5
  • 90
  • 5
  • 7
  • 6
  • 5
  • 7
  • 6
  • 31
  • 15
  • 5
  • 5
  • 8
  • 78
  • 5
  • 17
  • 8
  • 8
  • 6
  • 13
  • 11
  • 19
  • 18
  • 6
  • 9
  • 92
  • 6
  • 46
  • 5
  • 11
  • 9
  • 9
  • 89
  • 22
  • 7
  • 20
  • 7
  • 10
  • 6
  • 9
  • 12
  • 18
  • 10
  • 6
  • 6
  • 6
  • 5
  • 8
  • 7
  • 90
  • 7
  • 6
  • 5
  • 5
  • 6
  • 21
  • 8
  • 13
  • 6
  • 82
  • 11
  • 5
  • 18
  • 13
  • 15
  • 11
  • 5
  • 10
  • 13
  • 5
  • 5
  • 22
  • 14
  • 6
  • 8
  • 6
  • 7
  • 7
  • 14
  • 6
  • 22
  • 8
  • 6
  • 5
  • 6
  • 7
  • 6
  • 5
  • 7
  • 14
  • 9
  • 7
  • 8
  • 6
  • 14
  • 8
  • 14
  • 23
  • 29
  • 7
  • 6
  • 5
  • 5
  • 16
  • 6
  • 5
  • 8
  • 13
  • 8
  • 6
  • 33
  • 15
  • 5
  • 6
  • 5
  • 10
  • 10
  • 5
  • 8
  • 6
  • 43
  • 6
  • 49
  • 10
  • 6
  • 9
  • 6
  • 11
  • 12
  • 6
  • 14
  • 24
  • 5
  • 5
  • 16
  • 8
  • 16
  • 5
  • 17
  • 23
  • 5
  • 5
  • 9
  • 7
  • 8
  • 25
  • 15
  • 22
  • 61
  • 10
  • 14
  • 20
  • 8
  • 9
  • 5
  • 5
  • 22
  • 18
  • 17
  • 5
  • 8
  • 6
  • 5
  • 21
  • 9
  • 57
  • 81
  • 23
  • 12
  • 8
  • 10
  • 15
  • 5
  • 6
  • 5
  • 12
  • 17
  • 5
  • 12
  • 5
  • 6
  • 14
  • 9
  • 7
  • 13
  • 8
  • 6
  • 8
  • 5
  • 89
  • 11
  • 17
  • 15
  • 10
  • 6
  • 8
  • 5
  • 6
  • 13
  • 5
  • 5
  • 10
  • 7
  • 33
  • 5
  • 11
  • 9
  • 11
  • 5
  • 6
  • 13
  • 18
  • 37
  • 6
  • 5
  • 8
  • 14
  • 5
  • 8
  • 19
  • 14
  • 5
  • 7
  • 5
  • 10
  • 6
  • 9
  • 6
  • 23
  • 6
  • 13
  • 10
  • 6
  • 9
  • 5
  • 6
  • 6
  • 7
  • 6
  • 14
  • 11
  • 9
  • 5
  • 18
  • 5
  • 15
  • 17
  • 5
  • 8
  • 19
  • 26
  • 14
  • 14
  • 23
  • 7
  • 19
  • 5
  • 11
  • 5
  • 11
  • 8
  • 18
  • 6
  • 6
  • 6
  • 52
  • 6
  • 12
  • 5
  • 35
  • 7
  • 5
  • 21
  • 6
  • 46
  • 37
  • 58
  • 40
  • 7
  • 12
  • 5
  • 11
  • 21
  • 5
  • 32
  • 7
  • 27
  • 15
  • 20
  • 6
  • 5
  • 13
  • 5
  • 8
  • 9
  • 6
  • 6
  • 21
Verlag
  • 7
  • 11073
  • 3
  • 10
  • 2
  • 19
  • 46
  • 5
  • 1
  • 14
  • 30
Preis
  • 42
  • 411
  • 8517
  • 2240
Sprachen
  • 11205
  • 17
  • 13
  • 1
Verfügbarkeit
  • 10952
  • 258
Eigenschaften
  • 2
Katalog
  • 11210
  • 596
11.210  Treffer  für „Lecture Notes in Computer Science“
    Bertoni / Coron | Cryptographic Hardware and Embedded Systems -- CHES 2013 | Buch | Sack Fachmedien

    Bertoni / Coron Cryptographic Hardware and Embedded Systems -- CHES 2013

    15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40348-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aylett / Krenn / Pelachaud | Intelligent Virtual Agents | Buch | Sack Fachmedien

    Aylett / Krenn / Pelachaud Intelligent Virtual Agents

    13th International Conference, IVA 2013, Edinburgh, UK, August 29-31, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40414-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Van Hung / Ogawa | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Van Hung / Ogawa Automated Technology for Verification and Analysis

    11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-02443-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hu / Martin | Computational Visual Media | Buch | Sack Fachmedien

    Hu / Martin Computational Visual Media

    First International Conference, CVM 2012, Beijing, China, November 8-10, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34262-2
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yin / Tang / Gao | Intelligent Data Engineering and Automated Learning -- IDEAL 2013 | Buch | Sack Fachmedien

    Yin / Tang / Gao Intelligent Data Engineering and Automated Learning -- IDEAL 2013

    14th International Conference, IDEAL 2013, Hefei, China, October 20-23, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41277-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Padró | Information Theoretic Security | Buch | Sack Fachmedien

    Padró Information Theoretic Security

    7th International Conference, ICITS 2013, Singapore, November 28-30, 2013, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-04267-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kim / Lee / Perrig | Information Security Applications | Buch | Sack Fachmedien

    Kim / Lee / Perrig Information Security Applications

    14th International Workshop, WISA 2013, Jeju Island, Korea, August 19-21, 2013, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-05148-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mjølsnes | Technology and Practice of Passwords | Buch | Sack Fachmedien

    Mjølsnes Technology and Practice of Passwords

    International Conference on Passwords, PASSWORDS'14, Trondheim, Norway, December 8-10, 2014, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24191-3
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tapus / André / Martin | Social Robotics | Buch | Sack Fachmedien

    Tapus / André / Martin Social Robotics

    7th International Conference, ICSR 2015, Paris, France, October 26-30, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-25553-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sun / Liu / Zhang | Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data | Buch | Sack Fachmedien

    Sun / Liu / Zhang Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data

    14th China National Conference, CCL 2015 and Third International Symposium, NLP-NABD 2015, Guangzhou, China, November 13-14, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-25815-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amato / Connor / Falchi | Similarity Search and Applications | Buch | Sack Fachmedien

    Amato / Connor / Falchi Similarity Search and Applications

    8th International Conference, SISAP 2015, Glasgow, UK, October 12-14, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-25086-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mouha / Nikiforakis | Information Security | Buch | Sack Fachmedien

    Mouha / Nikiforakis Information Security

    27th International Conference, ISC 2024, Arlington, VA, USA, October 23-25, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-75756-3
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Naldi / Djemame / Altmann | Economics of Grids, Clouds, Systems, and Services | Buch | Sack Fachmedien

    Naldi / Djemame / Altmann Economics of Grids, Clouds, Systems, and Services

    20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-81225-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bienkowski / Englert | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Bienkowski / Englert Approximation and Online Algorithms

    22nd International Workshop, WAOA 2024, Egham, UK, September 5-6, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-81395-5
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feng / He / Zhang | Blockchain - ICBC 2024 | Buch | Sack Fachmedien

    Feng / He / Zhang Blockchain - ICBC 2024

    7th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-77094-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Takagi | Post-Quantum Cryptography | Buch | Sack Fachmedien

    Takagi Post-Quantum Cryptography

    7th International Workshop, PQCrypto 2016, Fukuoka, Japan, February 24-26, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-29359-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meschtscherjakov / De Ruyter / Fuchsberger | Persuasive Technology | Buch | Sack Fachmedien

    Meschtscherjakov / De Ruyter / Fuchsberger Persuasive Technology

    11th International Conference, PERSUASIVE 2016, Salzburg, Austria, April 5-7, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-31509-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zu / Hu | Human Centered Computing | Buch | Sack Fachmedien

    Zu / Hu Human Centered Computing

    Second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-31853-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chau / Wang / Chen | Intelligence and Security Informatics | Buch | Sack Fachmedien

    Chau / Wang / Chen Intelligence and Security Informatics

    11th Pacific Asia Workshop. PAISI 2016, Auckland, New Zealand, April 19, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-31862-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stajano / Mjølsnes / Jenkinson | Technology and Practice of Passwords | Buch | Sack Fachmedien

    Stajano / Mjølsnes / Jenkinson Technology and Practice of Passwords

    9th International Conference, PASSWORDS 2015, Cambridge, UK, December 7-9, 2015, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-29937-2
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Duan | Structured Object-Oriented Formal Language and Method | Buch | Sack Fachmedien

    Liu / Duan Structured Object-Oriented Formal Language and Method

    5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-31219-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lecomte / Pinger / Romanovsky | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | Buch | Sack Fachmedien

    Lecomte / Pinger / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-33950-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Creignou / Le Berre | Theory and Applications of Satisfiability Testing - SAT 2016 | Buch | Sack Fachmedien

    Creignou / Le Berre Theory and Applications of Satisfiability Testing - SAT 2016

    19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-40969-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hillston / Soudjani / Waga | Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Hillston / Soudjani / Waga Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

    First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-68415-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuchen / Ueda | Functional and Logic Programming | Buch | Sack Fachmedien

    Kuchen / Ueda Functional and Logic Programming

    5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-41739-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