Fachgebiet
Medium
  • 2060
Erscheinungsjahr
  • 19
  • 158
  • 129
  • 105
  • 39
  • 16
  • 23
  • 33
  • 37
  • 28
  • 34
  • 48
  • 31
  • 50
  • 48
  • 32
  • 65
  • 65
  • 60
  • 90
  • 66
  • 61
  • 119
  • 108
  • 96
  • 76
  • 59
  • 51
  • 36
  • 27
  • 34
  • 33
  • 27
  • 31
  • 19
  • 32
  • 16
  • 15
  • 8
  • 10
  • 4
  • 7
  • 4
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
Autoren
  • 2
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 6
  • 1
  • 2
  • 4
  • 3
  • 6
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 12
  • 2
  • 2
  • 3
  • 4
  • 3
  • 4
  • 2
  • 4
  • 4
  • 2
  • 3
  • 3
  • 3
  • 4
  • 6
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 5
  • 3
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 11
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 9
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 2
  • 3
  • 3
  • 5
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 12
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 11
  • 23
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 13
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 6
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 21
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 9
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 3
  • 5
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 3
  • 5
  • 2
  • 7
  • 3
  • 2
  • 3
  • 3
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 3
  • 5
  • 2
  • 5
  • 2
  • 3
  • 6
  • 2
  • 4
  • 2
  • 4
  • 2
  • 7
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 5
  • 2
  • 6
  • 2
  • 4
  • 3
  • 5
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 12
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 3
  • 7
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 4
  • 7
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 6
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 5
  • 10
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 10
  • 20
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 4
  • 8
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 4
  • 3
  • 2
  • 5
  • 2
  • 16
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 5
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 9
  • 18
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 5
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 7
  • 2
  • 3
  • 7
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 3
  • 2
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 12
  • 5
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 18
  • 9
  • 2
  • 3
  • 6
  • 9
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 32
  • 2
  • 3
  • 5
  • 4
  • 7
  • 2
  • 4
  • 3
  • 2
  • 6
  • 4
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 4
  • 5
  • 7
  • 18
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 9
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 7
  • 3
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 5
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 11
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 4
  • 4
  • 3
  • 6
  • 2
  • 5
  • 2
  • 17
  • 2
  • 2
  • 4
  • 6
  • 2
  • 7
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
Verlag
  • 2051
  • 1
  • 8
Preis
  • 4
  • 88
  • 1664
  • 304
Sprachen
  • 2060
Verfügbarkeit
  • 2059
  • 1
Katalog
  • 2060
  • 128
2.060  Treffer  für „Lecture Notes in Computer Science“


    Piskac / Rakamaric / Rakamaric Computer Aided Verification

    37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-98684-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Shoham / Vizel Computer Aided Verification

    34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-13184-4
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Piskac / Rakamaric Computer Aided Verification

    37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-98667-3
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Piskac / Rakamaric / 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

    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

    Courcoubetis Computer Aided Verification

    5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-56922-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Tomek Computer Assisted Learning

    4th International Conference, ICCAL '92, Wolfville, Nova Scotia, Canada, June 17-20, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55578-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

    Piskac / Rakamaric / 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

    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

    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

    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

    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

    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

    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

    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

    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

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

    5th International Conference, MobiTAS 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35907-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Shen / Chao / Lin Computer Supported Cooperative Work in Design II

    9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32969-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lämmel / Saraiva / Visser Generative and Transformational Techniques in Software Engineering

    International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45778-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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

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

    5th International Conference, MobiTAS 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-35677-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    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 I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-92688-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb



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