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“
    Darulova / Lin / Rümmer | Computer Aided Verification | Buch | Sack Fachmedien

    Darulova / Lin / Rümmer Computer Aided Verification

    38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part III
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-32536-5
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Paiva / Koepke | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    de Paiva / Koepke Intelligent Computer Mathematics

    18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-07020-3
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parthasarathy / Seshia | Computer Aided Verification | Buch | Sack Fachmedien

    Parthasarathy / Seshia Computer Aided Verification

    24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31423-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karpov / Delic | Speech and Computer | Buch | Sack Fachmedien

    Karpov / Delic Speech and Computer

    26th International Conference, SPECOM 2024, Belgrade, Serbia, November 25-28, 2024, Proceedings, Part II
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-78013-4
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salah / Karpov / Potapova | Speech and Computer | Buch | Sack Fachmedien

    Salah / Karpov / Potapova Speech and Computer

    21st International Conference, SPECOM 2019, Istanbul, Turkey, August 20-25, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-26060-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fiems / Iacono | Computer Performance Engineering | Buch | Sack Fachmedien

    Fiems / Iacono Computer Performance Engineering

    22nd European Workshop on Performance Engineering, EPEW 2026, Grimstad, Norway, June 24-26, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-29104-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aldini / Bernardo / Bononi | Computer Performance Engineering | Buch | Sack Fachmedien

    Aldini / Bernardo / Bononi Computer Performance Engineering

    7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15783-7
    Medium: Buch
    53,49 € (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 III
    2024
    Verlag: Springer
    ISBN: 978-3-031-65632-3
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berry / Comon / Finkel | Computer Aided Verification | Buch | Sack Fachmedien

    Berry / Comon / Finkel Computer Aided Verification

    13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42345-4
    Medium: Buch
    106,99 € (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 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part III
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35601-8
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dubois / Kerber | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Dubois / Kerber Intelligent Computer Mathematics

    16th International Conference, CICM 2023, Cambridge, UK, , September 5-8, 2023 Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-42752-7
    Medium: Buch
    80,24 € (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 II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-37702-0
    Medium: Buch
    42,79 € (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 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35595-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Streitz / Kameas / Mavrommati | The Disappearing Computer | Buch | Sack Fachmedien

    Streitz / Kameas / Mavrommati The Disappearing Computer

    Interaction Design, System Infrastructures and Applications for Smart Environments
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-72725-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grumberg | Computer Aided Verification | Buch | Sack Fachmedien

    Grumberg Computer Aided Verification

    9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63166-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 IV
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-29592-7
    Medium: Buch
    104,85 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Majumdar / Kuncak | Computer Aided Verification | Buch | Sack Fachmedien

    Majumdar / Kuncak Computer Aided Verification

    29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-63389-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karpov / Potapova | Speech and Computer | Buch | Sack Fachmedien

    Karpov / Potapova Speech and Computer

    23rd International Conference, SPECOM 2021, St. Petersburg, Russia, September 27-30, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-87801-6
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Darulova / Lin / Rümmer | Computer Aided Verification | Buch | Sack Fachmedien

    Darulova / Lin / Rümmer Computer Aided Verification

    38th International Conference, CAV 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-32525-9
    Medium: Buch
    42,79 € (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 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IV
    2024
    Verlag: Springer
    ISBN: 978-3-031-60440-9
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jeuring / Campbell / Carette | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Jeuring / Campbell / Carette Intelligent Computer Mathematics

    11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012, Pro
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31373-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 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part V
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-93863-4
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ronzhin / Potapova / Vlado | Speech and Computer | Buch | Sack Fachmedien

    Ronzhin / Potapova / Vlado Speech and Computer

    16th International Conference, SPECOM 2014, Novi Sad, Serbia, October 5-9, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-11580-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biere / Bloem | Computer Aided Verification | Buch | Sack Fachmedien

    Biere / Bloem Computer Aided Verification

    26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-08866-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bouajjani / Maler | Computer Aided Verification | Buch | Sack Fachmedien

    Bouajjani / Maler Computer Aided Verification

    21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02657-7
    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