Ergebnisse filtern
Fachgebiet
Medium
  • 10645
Erscheinungsjahr
  • 294
  • 805
  • 846
  • 616
  • 483
  • 282
  • 305
  • 302
  • 309
  • 266
  • 316
  • 298
  • 296
  • 316
  • 302
  • 267
  • 280
  • 248
  • 219
  • 258
  • 276
  • 237
  • 361
  • 301
  • 255
  • 253
  • 176
  • 176
  • 134
  • 136
  • 134
  • 115
  • 106
  • 93
  • 74
  • 88
  • 59
  • 57
  • 45
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 5
  • 4
  • 6
  • 6
  • 4
  • 4
  • 6
  • 4
  • 6
  • 6
  • 4
  • 9
  • 4
  • 4
  • 12
  • 8
  • 10
  • 7
  • 4
  • 4
  • 4
  • 5
  • 5
  • 9
  • 10
  • 4
  • 4
  • 6
  • 4
  • 4
  • 7
  • 17
  • 4
  • 16
  • 4
  • 8
  • 5
  • 4
  • 4
  • 5
  • 5
  • 9
  • 9
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 14
  • 30
  • 35
  • 4
  • 40
  • 4
  • 5
  • 4
  • 4
  • 7
  • 5
  • 5
  • 5
  • 15
  • 4
  • 4
  • 16
  • 11
  • 4
  • 4
  • 4
  • 4
  • 6
  • 39
  • 10
  • 6
  • 4
  • 4
  • 6
  • 5
  • 4
  • 7
  • 6
  • 7
  • 4
  • 4
  • 9
  • 4
  • 6
  • 16
  • 10
  • 10
  • 5
  • 5
  • 5
  • 6
  • 5
  • 9
  • 6
  • 4
  • 7
  • 9
  • 6
  • 11
  • 7
  • 7
  • 4
  • 11
  • 4
  • 4
  • 5
  • 4
  • 19
  • 6
  • 6
  • 11
  • 6
  • 9
  • 5
  • 5
  • 5
  • 10
  • 6
  • 4
  • 8
  • 4
  • 26
  • 5
  • 4
  • 10
  • 4
  • 5
  • 9
  • 5
  • 6
  • 39
  • 4
  • 4
  • 4
  • 4
  • 10
  • 6
  • 20
  • 16
  • 6
  • 4
  • 7
  • 6
  • 4
  • 9
  • 8
  • 5
  • 4
  • 5
  • 7
  • 4
  • 5
  • 11
  • 4
  • 4
  • 5
  • 4
  • 4
  • 11
  • 4
  • 5
  • 7
  • 4
  • 5
  • 9
  • 12
  • 5
  • 4
  • 13
  • 9
  • 4
  • 16
  • 9
  • 16
  • 5
  • 7
  • 4
  • 7
  • 4
  • 4
  • 6
  • 10
  • 4
  • 39
  • 15
  • 8
  • 6
  • 4
  • 4
  • 9
  • 4
  • 5
  • 4
  • 8
  • 7
  • 15
  • 5
  • 9
  • 10
  • 4
  • 5
  • 4
  • 14
  • 4
  • 4
  • 7
  • 14
  • 4
  • 5
  • 8
  • 24
  • 4
  • 4
  • 17
  • 6
  • 4
  • 4
  • 8
  • 4
  • 9
  • 6
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 33
  • 4
  • 12
  • 40
  • 13
  • 8
  • 12
  • 15
  • 11
  • 22
  • 9
  • 35
  • 4
  • 9
  • 14
  • 15
  • 4
  • 4
  • 4
  • 12
  • 4
  • 6
  • 14
  • 10
  • 8
  • 5
  • 4
  • 39
  • 5
  • 4
  • 10
  • 6
  • 7
  • 4
  • 4
  • 4
  • 8
  • 4
  • 10
  • 13
  • 8
  • 6
  • 4
  • 4
  • 15
  • 5
  • 7
  • 12
  • 6
  • 5
  • 4
  • 6
  • 5
  • 6
  • 8
  • 15
  • 23
  • 7
  • 5
  • 5
  • 6
  • 6
  • 8
  • 6
  • 4
  • 10
  • 11
  • 4
  • 24
  • 6
  • 7
  • 7
  • 4
  • 4
  • 6
  • 4
  • 7
  • 6
  • 7
  • 4
  • 4
  • 5
  • 4
  • 7
  • 4
  • 15
  • 10
  • 6
  • 9
  • 8
  • 5
  • 4
  • 5
  • 47
  • 39
  • 11
  • 23
  • 4
  • 8
  • 15
  • 6
  • 31
  • 10
  • 5
  • 18
  • 4
  • 4
  • 4
  • 8
  • 4
  • 5
  • 4
  • 9
  • 4
  • 25
  • 4
  • 12
  • 43
  • 4
  • 7
  • 7
  • 4
  • 14
  • 6
  • 7
  • 5
  • 6
  • 7
  • 9
  • 6
  • 4
  • 4
  • 4
  • 6
  • 8
  • 8
  • 6
  • 5
  • 5
  • 4
  • 7
  • 16
  • 14
  • 4
  • 6
  • 4
  • 9
  • 4
  • 4
  • 4
  • 12
  • 8
  • 4
  • 4
  • 8
  • 4
  • 17
  • 53
  • 35
  • 7
  • 4
  • 20
  • 9
  • 17
  • 22
  • 91
  • 8
  • 11
  • 6
  • 4
  • 4
  • 8
  • 5
  • 16
  • 4
  • 11
  • 6
  • 6
  • 18
  • 12
  • 5
  • 9
  • 5
  • 5
  • 4
  • 13
  • 4
  • 10
  • 5
  • 4
  • 4
  • 6
  • 7
  • 12
  • 5
  • 5
  • 43
  • 6
  • 8
  • 10
  • 5
  • 5
  • 10
  • 13
  • 6
  • 8
  • 8
  • 19
  • 39
  • 9
  • 17
  • 5
  • 8
  • 5
  • 16
  • 15
  • 9
  • 10
  • 69
  • 7
  • 6
  • 6
  • 7
  • 15
  • 7
  • 11
  • 7
  • 18
  • 7
  • 5
  • 6
  • 10
  • 17
  • 10
  • 11
  • 7
  • 13
  • 5
  • 7
  • 13
  • 8
  • 5
  • 12
  • 6
  • 5
  • 6
  • 10
  • 7
  • 10
  • 10
  • 5
  • 5
  • 8
  • 7
  • 10
  • 29
  • 9
  • 8
  • 25
  • 8
  • 13
  • 33
  • 6
  • 6
  • 9
  • 15
  • 6
  • 5
  • 33
  • 6
  • 6
  • 8
  • 5
  • 9
  • 5
  • 7
  • 15
  • 6
  • 15
  • 14
  • 31
  • 20
  • 8
  • 10
  • 6
  • 5
  • 7
  • 15
  • 23
  • 5
  • 5
  • 15
  • 26
  • 41
  • 8
  • 5
  • 5
  • 5
  • 8
  • 5
  • 10
  • 5
  • 6
  • 12
  • 6
  • 6
  • 5
  • 6
  • 8
  • 7
  • 6
  • 15
  • 91
  • 12
  • 18
  • 7
  • 12
  • 7
  • 8
  • 6
  • 13
  • 5
  • 7
  • 8
  • 5
  • 12
  • 13
  • 7
  • 18
  • 19
  • 6
  • 25
  • 8
  • 5
  • 57
  • 16
  • 6
  • 7
  • 11
  • 22
  • 5
  • 9
  • 6
  • 6
  • 9
  • 10
  • 6
  • 5
  • 9
  • 25
  • 6
  • 6
  • 5
  • 10
  • 11
  • 13
  • 14
  • 17
  • 11
  • 10
  • 17
  • 5
  • 11
  • 10
  • 29
  • 7
  • 36
  • 29
  • 7
  • 6
  • 6
  • 8
  • 6
  • 18
  • 7
  • 5
  • 7
  • 13
  • 7
  • 5
  • 6
  • 10
  • 19
  • 8
  • 6
  • 7
  • 8
  • 6
  • 5
  • 8
  • 11
  • 6
  • 5
  • 32
  • 5
  • 11
  • 8
  • 8
  • 5
  • 5
  • 5
  • 18
  • 5
  • 6
  • 9
  • 6
  • 5
  • 6
  • 10
  • 8
  • 83
  • 7
  • 6
  • 5
  • 5
  • 7
  • 11
  • 5
  • 5
  • 12
  • 5
  • 38
  • 5
  • 20
  • 8
  • 5
  • 5
  • 10
  • 6
  • 9
  • 5
  • 5
  • 6
  • 6
  • 11
  • 5
  • 6
  • 6
  • 7
  • 12
  • 5
  • 6
  • 7
  • 5
  • 6
  • 7
  • 7
  • 5
  • 6
  • 10
  • 42
  • 21
  • 5
  • 21
  • 17
  • 9
  • 6
  • 6
  • 13
  • 12
  • 17
  • 15
  • 6
  • 15
  • 5
  • 5
  • 9
  • 23
  • 14
  • 9
  • 11
  • 6
  • 20
  • 5
  • 9
  • 6
  • 16
  • 12
  • 6
  • 6
  • 6
  • 15
  • 5
  • 11
  • 6
  • 6
  • 14
  • 8
  • 24
  • 5
  • 5
  • 5
  • 10
  • 10
  • 12
  • 8
  • 6
  • 5
  • 12
  • 6
  • 7
  • 7
  • 29
  • 6
  • 11
  • 7
  • 7
  • 20
  • 7
  • 5
  • 10
  • 5
  • 90
  • 5
  • 7
  • 6
  • 11
  • 6
  • 19
  • 15
  • 8
  • 21
  • 12
  • 8
  • 11
  • 9
  • 10
  • 20
  • 93
  • 6
  • 52
  • 11
  • 11
  • 6
  • 6
  • 89
  • 16
  • 5
  • 14
  • 12
  • 10
  • 5
  • 5
  • 9
  • 22
  • 13
  • 7
  • 6
  • 9
  • 6
  • 5
  • 8
  • 5
  • 7
  • 90
  • 5
  • 6
  • 16
  • 8
  • 8
  • 12
  • 11
  • 16
  • 5
  • 10
  • 9
  • 5
  • 10
  • 5
  • 9
  • 7
  • 22
  • 16
  • 6
  • 5
  • 5
  • 13
  • 7
  • 24
  • 6
  • 7
  • 6
  • 5
  • 5
  • 14
  • 9
  • 9
  • 6
  • 16
  • 15
  • 21
  • 28
  • 5
  • 6
  • 20
  • 7
  • 5
  • 10
  • 10
  • 5
  • 16
  • 10
  • 5
  • 5
  • 12
  • 8
  • 39
  • 9
  • 45
  • 16
  • 6
  • 11
  • 11
  • 10
  • 9
  • 22
  • 9
  • 17
  • 7
  • 14
  • 14
  • 19
  • 6
  • 5
  • 10
  • 23
  • 7
  • 24
  • 57
  • 10
  • 15
  • 17
  • 8
  • 9
  • 6
  • 5
  • 19
  • 19
  • 15
  • 7
  • 10
  • 55
  • 24
  • 12
  • 6
  • 12
  • 14
  • 5
  • 7
  • 12
  • 9
  • 6
  • 11
  • 8
  • 15
  • 15
  • 7
  • 11
  • 9
  • 5
  • 89
  • 10
  • 14
  • 5
  • 16
  • 6
  • 5
  • 5
  • 13
  • 9
  • 31
  • 5
  • 11
  • 6
  • 6
  • 5
  • 9
  • 13
  • 18
  • 5
  • 11
  • 6
  • 19
  • 6
  • 5
  • 6
  • 13
  • 19
  • 6
  • 13
  • 12
  • 6
  • 6
  • 8
  • 5
  • 8
  • 5
  • 6
  • 9
  • 23
  • 8
  • 14
  • 10
  • 5
  • 6
  • 6
  • 5
  • 6
  • 12
  • 11
  • 8
  • 5
  • 5
  • 5
  • 18
  • 5
  • 10
  • 6
  • 12
  • 6
  • 8
  • 7
  • 26
  • 15
  • 14
  • 7
  • 5
  • 18
  • 11
  • 5
  • 9
  • 5
  • 6
  • 12
  • 18
  • 9
  • 6
  • 6
  • 40
  • 5
  • 7
  • 5
  • 23
  • 7
  • 5
  • 44
  • 16
  • 63
  • 5
  • 17
  • 5
  • 11
  • 5
  • 6
  • 32
  • 7
  • 22
  • 21
  • 17
  • 5
  • 5
  • 6
  • 6
  • 5
  • 12
  • 9
  • 5
  • 5
  • 19
Verlag
  • 3
  • 10591
  • 3
  • 6
  • 1
  • 5
  • 4
  • 1
  • 31
Preis
  • 42
  • 382
  • 8128
  • 2093
Sprachen
  • 10640
  • 16
  • 13
Verfügbarkeit
  • 10634
  • 11
Eigenschaften
  • 7
Katalog
  • 10645
  • 558
10.645  Treffer  für „Lecture Notes in Computer Science“
    Piskac / Rakamaric | Computer Aided Verification | Buch | Sack Fachmedien

    Piskac / Rakamaric Computer Aided Verification

    37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-98678-9
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Piskac / Rakamaric | Computer Aided Verification | Buch | Sack Fachmedien

    Piskac / Rakamaric Computer Aided Verification

    37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-98681-9
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gurfinkel / Ganesh | Computer Aided Verification | Buch | Sack Fachmedien

    Gurfinkel / Ganesh Computer Aided Verification

    36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II
    2024
    Verlag: Springer
    ISBN: 978-3-031-65629-3
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thomas / Juiz | Computer Performance Engineering | Buch | Sack Fachmedien

    Thomas / Juiz Computer Performance Engineering

    5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87411-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dikenelli / Gleizes / Ricci | Engineering Societies in the Agents World VI | Buch | Sack Fachmedien

    Dikenelli / Gleizes / Ricci Engineering Societies in the Agents World VI

    6th International Workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34451-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fischer-Hübner / Katsikas / Quirchmayr | Trust, Privacy and Security in Digital Business | Buch | Sack Fachmedien

    Fischer-Hübner / Katsikas / Quirchmayr Trust, Privacy and Security in Digital Business

    9th International Conference, TrustBus 2012, Vienna, Austria, September 3-7, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-32286-0
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krömker | HCI in Mobility, Transport, and Automotive Systems | Buch | Sack Fachmedien

    Krömker HCI in Mobility, Transport, and Automotive Systems

    7th International Conference, MobiTAS 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-92691-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sander | Security and Privacy in Digital Rights Management | Buch | Sack Fachmedien

    Sander Security and Privacy in Digital Rights Management

    ACM CCS-8 Workshop DRM 2001, Philadelphia, PA, USA, November 5, 2001. Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43677-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ajmone Marsan / Corazza / Listanti | Quality of Service in Multiservice IP Networks | Buch | Sack Fachmedien

    Ajmone Marsan / Corazza / Listanti Quality of Service in Multiservice IP Networks

    Second International Workshop, QoS-IP 2003, Milano, Italy, February 24-26, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00604-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Katsikas / Pernul | Trust, Privacy, and Security in Digital Business | Buch | Sack Fachmedien

    Katsikas / Pernul Trust, Privacy, and Security in Digital Business

    Second International Conference, TrustBus 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28224-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krömker | HCI in Mobility, Transport, and Automotive Systems | Buch | Sack Fachmedien

    Krömker HCI in Mobility, Transport, and Automotive Systems

    6th International Conference, MobiTAS 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part I
    2024
    Verlag: Springer
    ISBN: 978-3-031-60476-8
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Staab / Svatek | Managing Knowledge in a World of Networks | Buch | Sack Fachmedien

    Staab / Svatek Managing Knowledge in a World of Networks

    15th International Conference, EKAW 2006, Podebrady, Czech Republic, October 6-10, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-46363-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gollmann | Computer Security - ESORICS 94 | Buch | Sack Fachmedien

    Gollmann Computer Security - ESORICS 94

    Third European Symposium on Research in Computer Security, Brighton, United Kingdom, November 7 - 9, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58618-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blumenthal / Gornostaev / Unger | Human-Computer Interaction | Buch | Sack Fachmedien

    Blumenthal / Gornostaev / Unger Human-Computer Interaction

    5th International Conference, EWHCI '95, Moscow, Russia, July 3-7, 1995. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60614-7
    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 III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93844-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorodetsky / Popyack / Skormin | Computer Network Security | Buch | Sack Fachmedien

    Gorodetsky / Popyack / Skormin Computer Network Security

    Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40797-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Železný / Habernal / Ronzhin | Speech and Computer | Buch | Sack Fachmedien

    Železný / Habernal / Ronzhin Speech and Computer

    15th International Conference, SPECOM 2013, September 1-5, 2013, Pilsen, Czech Republic, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-319-01930-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Halbwachs / Peled | Computer Aided Verification | Buch | Sack Fachmedien

    Halbwachs / Peled Computer Aided Verification

    11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66202-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ball / Jones | Computer Aided Verification | Buch | Sack Fachmedien

    Ball / Jones Computer Aided Verification

    18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37406-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Kurshan | Computer-Aided Verification | Buch | Sack Fachmedien

    Clarke / Kurshan Computer-Aided Verification

    2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-54477-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kohlhase / Johansson / Miller | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Kohlhase / Johansson / Miller Intelligent Computer Mathematics

    9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-42546-7
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schiele / Sagerer | Computer Vision Systems | Buch | Sack Fachmedien

    Schiele / Sagerer Computer Vision Systems

    Second International Workshop, ICVS 2001 Vancouver, Canada, July 7-8, 2001 Proceedings
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42285-3
    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 I
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-21689-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Masoodian / Jones / Rogers | Computer Human Interaction | Buch | Sack Fachmedien

    Masoodian / Jones / Rogers Computer Human Interaction

    6th Asia Pacific Conference, APCHI 2004, Rotorua, New Zealand, June 29-July 2, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22312-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sharygina / Veith | Computer Aided Verification | Buch | Sack Fachmedien

    Sharygina / Veith Computer Aided Verification

    25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39798-1
    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