Ergebnisse filtern
Fachgebiet
Medium
  • 11242
Erscheinungsjahr
  • 119
  • 816
  • 788
  • 851
  • 616
  • 474
  • 278
  • 294
  • 300
  • 318
  • 293
  • 292
  • 290
  • 290
  • 328
  • 282
  • 270
  • 287
  • 261
  • 237
  • 248
  • 270
  • 240
  • 351
  • 298
  • 250
  • 256
  • 172
  • 177
  • 128
  • 139
  • 137
  • 115
  • 105
  • 95
  • 71
  • 88
  • 58
  • 55
  • 45
  • 45
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 4
  • 6
  • 4
  • 8
  • 13
  • 24
  • 9
  • 8
  • 4
  • 5
  • 4
  • 4
  • 5
  • 7
  • 4
  • 9
  • 9
  • 6
  • 7
  • 16
  • 8
  • 4
  • 21
  • 5
  • 9
  • 5
  • 5
  • 5
  • 5
  • 5
  • 8
  • 9
  • 5
  • 4
  • 4
  • 9
  • 5
  • 8
  • 13
  • 29
  • 36
  • 7
  • 40
  • 7
  • 5
  • 4
  • 5
  • 6
  • 6
  • 7
  • 16
  • 8
  • 21
  • 6
  • 13
  • 4
  • 7
  • 4
  • 4
  • 6
  • 5
  • 6
  • 6
  • 39
  • 13
  • 5
  • 4
  • 5
  • 7
  • 6
  • 6
  • 4
  • 7
  • 6
  • 4
  • 9
  • 4
  • 9
  • 46
  • 6
  • 6
  • 4
  • 4
  • 6
  • 5
  • 8
  • 23
  • 4
  • 5
  • 7
  • 4
  • 10
  • 10
  • 11
  • 9
  • 8
  • 12
  • 5
  • 4
  • 4
  • 6
  • 4
  • 4
  • 16
  • 9
  • 5
  • 5
  • 16
  • 5
  • 7
  • 5
  • 7
  • 11
  • 6
  • 6
  • 6
  • 17
  • 9
  • 6
  • 7
  • 5
  • 6
  • 40
  • 7
  • 6
  • 19
  • 19
  • 5
  • 7
  • 7
  • 6
  • 6
  • 11
  • 7
  • 6
  • 8
  • 5
  • 5
  • 6
  • 13
  • 9
  • 8
  • 9
  • 9
  • 6
  • 15
  • 6
  • 5
  • 5
  • 10
  • 39
  • 17
  • 8
  • 5
  • 8
  • 5
  • 6
  • 5
  • 15
  • 7
  • 12
  • 14
  • 5
  • 11
  • 9
  • 7
  • 23
  • 6
  • 14
  • 7
  • 5
  • 10
  • 8
  • 5
  • 8
  • 8
  • 5
  • 5
  • 34
  • 21
  • 41
  • 13
  • 8
  • 14
  • 18
  • 6
  • 9
  • 45
  • 12
  • 37
  • 9
  • 14
  • 5
  • 5
  • 12
  • 6
  • 5
  • 15
  • 10
  • 39
  • 5
  • 5
  • 11
  • 12
  • 7
  • 6
  • 8
  • 12
  • 13
  • 5
  • 7
  • 15
  • 5
  • 6
  • 15
  • 6
  • 5
  • 8
  • 5
  • 5
  • 6
  • 5
  • 26
  • 21
  • 15
  • 28
  • 9
  • 11
  • 5
  • 7
  • 9
  • 5
  • 6
  • 12
  • 9
  • 23
  • 6
  • 7
  • 7
  • 5
  • 6
  • 8
  • 10
  • 5
  • 7
  • 7
  • 22
  • 10
  • 6
  • 13
  • 11
  • 6
  • 5
  • 48
  • 42
  • 7
  • 41
  • 12
  • 9
  • 15
  • 7
  • 10
  • 29
  • 14
  • 6
  • 5
  • 5
  • 18
  • 5
  • 9
  • 6
  • 10
  • 26
  • 17
  • 42
  • 77
  • 6
  • 7
  • 14
  • 7
  • 7
  • 5
  • 7
  • 12
  • 16
  • 7
  • 9
  • 7
  • 6
  • 6
  • 6
  • 8
  • 6
  • 6
  • 7
  • 5
  • 5
  • 7
  • 21
  • 17
  • 6
  • 7
  • 7
  • 15
  • 7
  • 5
  • 10
  • 21
  • 67
  • 33
  • 8
  • 18
  • 8
  • 16
  • 22
  • 105
  • 11
  • 16
  • 5
  • 5
  • 6
  • 18
  • 12
  • 5
  • 7
  • 7
  • 5
  • 6
  • 9
  • 17
  • 6
  • 5
  • 6
  • 11
  • 5
  • 5
  • 40
  • 9
  • 8
  • 5
  • 7
  • 9
  • 17
  • 7
  • 5
  • 8
  • 25
  • 39
  • 7
  • 18
  • 5
  • 8
  • 10
  • 5
  • 7
  • 5
  • 6
  • 15
  • 5
  • 6
  • 10
  • 15
  • 7
  • 5
  • 5
  • 7
  • 8
  • 5
  • 95
  • 6
  • 8
  • 5
  • 5
  • 8
  • 6
  • 6
  • 6
  • 15
  • 8
  • 14
  • 5
  • 7
  • 15
  • 17
  • 6
  • 14
  • 5
  • 5
  • 5
  • 6
  • 10
  • 6
  • 16
  • 11
  • 10
  • 10
  • 5
  • 12
  • 6
  • 13
  • 8
  • 7
  • 8
  • 5
  • 13
  • 6
  • 7
  • 7
  • 7
  • 14
  • 7
  • 10
  • 5
  • 15
  • 8
  • 7
  • 9
  • 6
  • 41
  • 10
  • 6
  • 8
  • 5
  • 21
  • 6
  • 17
  • 41
  • 10
  • 15
  • 13
  • 30
  • 6
  • 9
  • 7
  • 12
  • 5
  • 17
  • 6
  • 9
  • 9
  • 18
  • 37
  • 5
  • 7
  • 17
  • 5
  • 17
  • 7
  • 17
  • 5
  • 6
  • 26
  • 5
  • 77
  • 14
  • 27
  • 48
  • 10
  • 6
  • 7
  • 11
  • 6
  • 8
  • 12
  • 5
  • 6
  • 6
  • 7
  • 6
  • 9
  • 7
  • 17
  • 91
  • 13
  • 6
  • 43
  • 9
  • 6
  • 5
  • 15
  • 7
  • 8
  • 5
  • 5
  • 14
  • 15
  • 10
  • 14
  • 5
  • 33
  • 6
  • 6
  • 8
  • 5
  • 7
  • 15
  • 17
  • 19
  • 6
  • 5
  • 28
  • 6
  • 6
  • 79
  • 11
  • 6
  • 12
  • 6
  • 5
  • 11
  • 20
  • 5
  • 10
  • 7
  • 9
  • 6
  • 6
  • 30
  • 6
  • 5
  • 9
  • 22
  • 6
  • 5
  • 5
  • 11
  • 16
  • 13
  • 7
  • 15
  • 18
  • 15
  • 12
  • 22
  • 7
  • 77
  • 11
  • 13
  • 11
  • 6
  • 6
  • 27
  • 6
  • 31
  • 27
  • 6
  • 5
  • 6
  • 10
  • 5
  • 21
  • 9
  • 7
  • 5
  • 5
  • 5
  • 5
  • 9
  • 6
  • 21
  • 6
  • 5
  • 8
  • 11
  • 8
  • 10
  • 8
  • 15
  • 8
  • 5
  • 34
  • 14
  • 10
  • 5
  • 5
  • 6
  • 7
  • 7
  • 5
  • 9
  • 23
  • 7
  • 9
  • 8
  • 7
  • 11
  • 5
  • 97
  • 5
  • 6
  • 5
  • 5
  • 12
  • 10
  • 8
  • 7
  • 5
  • 8
  • 7
  • 5
  • 14
  • 38
  • 5
  • 15
  • 8
  • 5
  • 5
  • 5
  • 11
  • 8
  • 6
  • 10
  • 5
  • 21
  • 24
  • 7
  • 5
  • 5
  • 6
  • 13
  • 6
  • 7
  • 5
  • 6
  • 6
  • 8
  • 10
  • 6
  • 5
  • 49
  • 10
  • 18
  • 5
  • 41
  • 10
  • 5
  • 14
  • 20
  • 13
  • 15
  • 15
  • 5
  • 9
  • 5
  • 9
  • 30
  • 12
  • 7
  • 13
  • 7
  • 5
  • 16
  • 6
  • 7
  • 6
  • 5
  • 12
  • 13
  • 6
  • 6
  • 11
  • 6
  • 18
  • 7
  • 15
  • 7
  • 5
  • 10
  • 7
  • 6
  • 23
  • 5
  • 7
  • 6
  • 8
  • 10
  • 9
  • 8
  • 5
  • 35
  • 11
  • 8
  • 8
  • 7
  • 7
  • 5
  • 14
  • 8
  • 5
  • 5
  • 10
  • 15
  • 29
  • 6
  • 16
  • 7
  • 36
  • 6
  • 6
  • 8
  • 11
  • 89
  • 5
  • 7
  • 6
  • 8
  • 6
  • 32
  • 14
  • 5
  • 7
  • 77
  • 15
  • 8
  • 8
  • 7
  • 12
  • 13
  • 20
  • 18
  • 6
  • 9
  • 94
  • 5
  • 6
  • 45
  • 5
  • 11
  • 11
  • 11
  • 89
  • 22
  • 7
  • 20
  • 8
  • 10
  • 6
  • 6
  • 5
  • 9
  • 11
  • 17
  • 6
  • 5
  • 6
  • 5
  • 8
  • 5
  • 90
  • 5
  • 7
  • 21
  • 8
  • 11
  • 80
  • 12
  • 17
  • 13
  • 8
  • 15
  • 8
  • 10
  • 13
  • 5
  • 6
  • 5
  • 22
  • 8
  • 6
  • 7
  • 10
  • 5
  • 7
  • 5
  • 14
  • 10
  • 20
  • 8
  • 6
  • 7
  • 7
  • 6
  • 5
  • 14
  • 9
  • 8
  • 8
  • 6
  • 15
  • 8
  • 10
  • 22
  • 31
  • 7
  • 6
  • 5
  • 17
  • 11
  • 7
  • 6
  • 5
  • 13
  • 8
  • 34
  • 15
  • 5
  • 10
  • 11
  • 5
  • 11
  • 37
  • 8
  • 48
  • 6
  • 6
  • 10
  • 6
  • 8
  • 12
  • 7
  • 12
  • 24
  • 7
  • 6
  • 11
  • 8
  • 16
  • 5
  • 18
  • 25
  • 5
  • 8
  • 7
  • 5
  • 25
  • 14
  • 20
  • 64
  • 10
  • 13
  • 19
  • 8
  • 9
  • 5
  • 5
  • 22
  • 6
  • 20
  • 17
  • 5
  • 7
  • 6
  • 5
  • 21
  • 9
  • 61
  • 80
  • 23
  • 12
  • 6
  • 7
  • 18
  • 6
  • 7
  • 12
  • 12
  • 5
  • 10
  • 7
  • 6
  • 15
  • 10
  • 6
  • 14
  • 11
  • 7
  • 5
  • 89
  • 11
  • 7
  • 17
  • 6
  • 15
  • 8
  • 6
  • 8
  • 10
  • 16
  • 5
  • 7
  • 10
  • 5
  • 28
  • 5
  • 11
  • 9
  • 6
  • 8
  • 5
  • 7
  • 13
  • 18
  • 36
  • 6
  • 5
  • 8
  • 15
  • 22
  • 15
  • 6
  • 11
  • 7
  • 10
  • 7
  • 9
  • 9
  • 23
  • 10
  • 13
  • 10
  • 6
  • 6
  • 9
  • 5
  • 6
  • 8
  • 7
  • 8
  • 14
  • 9
  • 7
  • 17
  • 7
  • 15
  • 17
  • 5
  • 8
  • 19
  • 26
  • 12
  • 14
  • 6
  • 23
  • 7
  • 17
  • 5
  • 7
  • 5
  • 12
  • 10
  • 5
  • 17
  • 8
  • 6
  • 6
  • 6
  • 57
  • 6
  • 10
  • 5
  • 35
  • 5
  • 5
  • 22
  • 6
  • 6
  • 5
  • 5
  • 5
  • 47
  • 38
  • 64
  • 40
  • 5
  • 8
  • 10
  • 7
  • 10
  • 6
  • 22
  • 30
  • 7
  • 6
  • 26
  • 17
  • 20
  • 5
  • 9
  • 5
  • 10
  • 5
  • 9
  • 5
  • 20
Verlag
  • 8
  • 11117
  • 3
  • 9
  • 2
  • 18
  • 35
  • 5
  • 1
  • 13
  • 31
Preis
  • 42
  • 401
  • 8508
  • 2291
Sprachen
  • 11237
  • 17
  • 13
Verfügbarkeit
  • 10989
  • 253
Eigenschaften
  • 2
Katalog
  • 11242
  • 601
11.242  Treffer  für „Lecture Notes in Computer Science“
    Tzovaras / Giakoumis / Vincze | Computer Vision Systems | Buch | Sack Fachmedien

    Tzovaras / Giakoumis / Vincze Computer Vision Systems

    12th International Conference, ICVS 2019, Thessaloniki, Greece, September 23-25, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-34994-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurosu / Hashizume | Human-Computer Interaction | Buch | Sack Fachmedien

    Kurosu / Hashizume Human-Computer Interaction

    Thematic Area, HCI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93834-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prasanna / Karpov / Samudravijaya | Speech and Computer | Buch | Sack Fachmedien

    Prasanna / Karpov / Samudravijaya Speech and Computer

    24th International Conference, SPECOM 2022, Gurugram, India, November 14-16, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-20979-6
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chockler / Weissenbacher | Computer Aided Verification | Buch | Sack Fachmedien

    Chockler / Weissenbacher Computer Aided Verification

    30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-96141-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Collazos / Liborio / Rusu | Human Computer Interaction | Buch | Sack Fachmedien

    Collazos / Liborio / Rusu Human Computer Interaction

    6th Latin American Conference, CLIHC 2013, Carrillo, Costa Rica, December 2-6, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-03067-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurosu / Hashizume | Human-Computer Interaction | Buch | Sack Fachmedien

    Kurosu / Hashizume Human-Computer Interaction

    Thematic Area, HCI 2026, Held as Part of the 28th HCI International Conference, HCII 2026, Montreal, QC, Canada, July 26-31, 2026, Proceedings, Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-29585-9
    Medium: Buch
    104,85 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhang / Li / Du | Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Zhang / Li / Du Algorithmic Aspects in Information and Management

    14th International Conference, AAIM 2020, Jinhua, China, August 10-12, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-57601-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Siau / Nah | HCI in Business, Government and Organizations | Buch | Sack Fachmedien

    Siau / Nah HCI in Business, Government and Organizations

    12th International Conference, HCIBGO 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-92822-2
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bruel / Bellahsene | Advances in Object-Oriented Information Systems | Buch | Sack Fachmedien

    Bruel / Bellahsene Advances in Object-Oriented Information Systems

    OOIS 2002 Workshops, Montpellier, France, September 2, 2002 Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44088-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Litwin / Morzy / Vossen | Advances in Databases and Information Systems | Buch | Sack Fachmedien

    Litwin / Morzy / Vossen Advances in Databases and Information Systems

    Second East European Symposium, ADBIS '98, Poznan, Poland, September 7-10, 1998, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64924-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pazienza | Information Extraction in the Web Era | Buch | Sack Fachmedien

    Pazienza Information Extraction in the Web Era

    Natural Language Communication for Knowledge Acquisition and Intelligent Information Agents
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40579-5
    Medium: Buch
    42,75 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hadzilacos / Manolopoulos / Roddick | Advances in Spatial and Temporal Databases | Buch | Sack Fachmedien

    Hadzilacos / Manolopoulos / Roddick Advances in Spatial and Temporal Databases

    8th International Symposium, SSTD 2003, Santorini Island, Greece, July 24 - 27, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40535-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kalinichenko / Manthey / Thalheim | Advances in Databases and Information Systems | Buch | Sack Fachmedien

    Kalinichenko / Manthey / Thalheim Advances in Databases and Information Systems

    7th East European Conference, ADBIS 2003, Dresden, Germany, September 3-6, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20047-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Li / Wang / Feng | Advances in Web-Age Information Management | Buch | Sack Fachmedien

    Li / Wang / Feng Advances in Web-Age Information Management

    5th International Conference, WAIM 2004, Dalian, China, July 15-17, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22418-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grechenig / Tscheligi | Human Computer Interaction | Buch | Sack Fachmedien

    Grechenig / Tscheligi Human Computer Interaction

    Vienna Conference, VCHCI '93, Fin de Siecle, Vienna, Austria, September 20-22, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57312-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorodetsky / Kotenko / Skormin | Computer Network Security | Buch | Sack Fachmedien

    Gorodetsky / Kotenko / Skormin Computer Network Security

    Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 24-28, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29113-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brinksma / Larsen | Computer Aided Verification | Buch | Sack Fachmedien

    Brinksma / Larsen Computer Aided Verification

    14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43997-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Norrie / Six | Computer Assisted Learning | Buch | Sack Fachmedien

    Norrie / Six Computer Assisted Learning

    3rd International Conference, ICCAL '90, Hagen, FRG, June 11-13, 1990, Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-52699-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alur / Henzinger | Computer Aided Verification | Buch | Sack Fachmedien

    Alur / Henzinger Computer Aided Verification

    8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-61474-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Damm / Hermanns | Computer Aided Verification | Buch | Sack Fachmedien

    Damm / Hermanns Computer Aided Verification

    19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73367-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Watt / Sexton / Davenport | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Watt / Sexton / Davenport Intelligent Computer Mathematics

    CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08433-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nalpantidis / Krüger / Eklundh | Computer Vision Systems | Buch | Sack Fachmedien

    Nalpantidis / Krüger / Eklundh Computer Vision Systems

    10th International Conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-319-20903-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kroening / Pasareanu | Computer Aided Verification | Buch | Sack Fachmedien

    Kroening / Pasareanu Computer Aided Verification

    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-21667-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kotenko / Skormin | Computer Network Security | Buch | Sack Fachmedien

    Kotenko / Skormin Computer Network Security

    5th International Conference, on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2010, St. Petersburg, Russia, September 8-10, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14705-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Enea / Lal | Computer Aided Verification | Buch | Sack Fachmedien

    Enea / Lal Computer Aided Verification

    35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-37708-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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