Ergebnisse filtern
Fachgebiet
Medium
  • 5857
Erscheinungsjahr
  • 249
  • 437
  • 293
  • 176
  • 190
  • 212
  • 194
  • 177
  • 217
  • 199
  • 187
  • 187
  • 143
  • 26
  • 51
  • 162
  • 161
  • 187
  • 121
  • 174
  • 254
  • 221
  • 192
  • 189
  • 131
  • 123
  • 108
  • 117
  • 101
  • 94
  • 92
  • 72
  • 59
  • 68
  • 45
  • 46
  • 30
  • 31
  • 27
  • 18
  • 8
  • 3
  • 5
  • 13
  • 7
  • 10
  • 5
  • 12
  • 9
  • 11
  • 10
  • 3
Autoren
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 11
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 14
  • 20
  • 4
  • 27
  • 3
  • 7
  • 3
  • 6
  • 4
  • 5
  • 4
  • 4
  • 3
  • 5
  • 5
  • 4
  • 6
  • 3
  • 3
  • 3
  • 39
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 4
  • 11
  • 4
  • 4
  • 5
  • 6
  • 3
  • 4
  • 4
  • 3
  • 6
  • 5
  • 4
  • 4
  • 6
  • 5
  • 5
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 12
  • 3
  • 4
  • 3
  • 7
  • 3
  • 5
  • 3
  • 3
  • 4
  • 5
  • 7
  • 4
  • 6
  • 4
  • 9
  • 3
  • 3
  • 7
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 14
  • 3
  • 4
  • 6
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 11
  • 3
  • 4
  • 3
  • 5
  • 6
  • 3
  • 10
  • 3
  • 3
  • 9
  • 4
  • 8
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 7
  • 4
  • 3
  • 3
  • 39
  • 13
  • 7
  • 3
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 8
  • 5
  • 3
  • 8
  • 4
  • 3
  • 8
  • 5
  • 6
  • 4
  • 6
  • 4
  • 3
  • 4
  • 6
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 8
  • 4
  • 8
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 7
  • 5
  • 5
  • 11
  • 3
  • 4
  • 4
  • 20
  • 3
  • 4
  • 11
  • 8
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 4
  • 3
  • 39
  • 3
  • 3
  • 7
  • 3
  • 3
  • 6
  • 4
  • 5
  • 6
  • 4
  • 5
  • 3
  • 3
  • 3
  • 6
  • 8
  • 3
  • 6
  • 8
  • 3
  • 4
  • 6
  • 5
  • 4
  • 3
  • 6
  • 3
  • 5
  • 3
  • 5
  • 8
  • 14
  • 11
  • 3
  • 4
  • 8
  • 4
  • 8
  • 4
  • 7
  • 9
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 6
  • 6
  • 5
  • 6
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 31
  • 32
  • 8
  • 9
  • 3
  • 4
  • 8
  • 9
  • 3
  • 3
  • 24
  • 11
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 17
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 8
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 8
  • 3
  • 4
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 43
  • 3
  • 8
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 6
  • 3
  • 6
  • 3
  • 9
  • 6
  • 3
  • 9
  • 3
  • 4
  • 5
  • 10
  • 4
  • 3
  • 4
  • 6
  • 5
  • 3
  • 3
  • 4
  • 3
  • 8
  • 9
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 12
  • 12
  • 4
  • 6
  • 5
  • 4
  • 5
  • 3
  • 4
  • 9
  • 3
  • 5
  • 3
  • 7
  • 4
  • 6
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 9
  • 4
  • 3
  • 3
  • 3
  • 13
  • 13
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 18
  • 3
  • 20
  • 6
  • 47
  • 3
  • 3
  • 4
  • 3
  • 5
  • 5
  • 3
  • 4
  • 5
  • 6
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 8
  • 9
  • 7
  • 14
  • 4
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 8
  • 3
  • 4
  • 5
  • 4
  • 19
  • 3
  • 4
  • 3
  • 4
  • 4
  • 7
  • 4
  • 3
  • 3
  • 5
  • 3
  • 7
  • 6
  • 13
  • 5
  • 4
  • 6
  • 10
  • 39
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 11
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 5
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 14
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 23
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 12
  • 3
  • 3
  • 4
  • 6
  • 3
  • 6
  • 3
  • 4
  • 12
  • 5
  • 3
  • 6
  • 3
  • 3
  • 16
  • 6
  • 3
  • 4
  • 3
  • 5
  • 3
  • 6
  • 4
  • 3
  • 6
  • 7
  • 14
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 14
  • 3
  • 4
  • 3
  • 3
  • 13
  • 4
  • 4
  • 3
  • 5
  • 8
  • 3
  • 4
  • 3
  • 12
  • 5
  • 7
  • 3
  • 6
  • 3
  • 5
  • 4
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 6
  • 4
  • 5
  • 3
  • 8
  • 3
  • 5
  • 3
  • 9
  • 8
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 4
  • 4
  • 6
  • 3
  • 5
  • 6
  • 3
  • 10
  • 4
  • 4
  • 3
  • 5
  • 6
  • 9
  • 3
  • 5
  • 5
  • 3
  • 6
  • 4
  • 15
  • 6
  • 3
  • 4
  • 9
  • 4
  • 5
  • 3
  • 3
  • 24
  • 3
  • 4
  • 14
  • 36
  • 4
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 7
  • 4
  • 7
  • 6
  • 4
  • 4
  • 4
  • 3
  • 6
  • 13
  • 7
  • 3
  • 5
  • 4
  • 6
  • 3
  • 4
  • 9
  • 6
  • 4
  • 3
  • 4
  • 6
  • 11
  • 4
  • 10
  • 21
  • 4
  • 3
  • 4
  • 6
  • 5
  • 3
  • 4
  • 8
  • 9
  • 13
  • 9
  • 5
  • 13
  • 5
  • 3
  • 4
  • 7
  • 3
  • 6
  • 4
  • 34
  • 9
  • 4
  • 3
  • 5
  • 5
  • 9
  • 6
  • 4
  • 4
  • 3
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 11
  • 3
  • 5
  • 4
  • 3
  • 3
  • 10
  • 6
  • 8
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 27
  • 3
  • 4
  • 4
  • 4
  • 6
  • 4
  • 14
  • 9
  • 3
  • 5
  • 5
  • 6
  • 39
  • 7
  • 4
  • 6
  • 3
  • 9
  • 34
  • 5
  • 7
  • 5
  • 6
  • 5
  • 11
  • 4
  • 5
  • 5
  • 4
  • 5
  • 6
  • 4
  • 3
  • 10
  • 5
  • 11
  • 4
  • 3
  • 4
  • 13
  • 3
  • 8
  • 5
  • 6
  • 4
  • 18
  • 11
  • 5
  • 5
  • 6
  • 4
  • 11
  • 12
  • 8
  • 6
  • 4
  • 5
  • 4
  • 3
  • 4
  • 8
  • 4
  • 4
  • 4
  • 4
  • 8
  • 10
  • 3
  • 4
  • 6
  • 7
  • 20
  • 9
  • 3
  • 5
  • 12
  • 6
  • 6
  • 5
  • 3
  • 7
  • 5
  • 7
  • 6
  • 3
  • 7
  • 8
  • 3
  • 3
  • 5
  • 18
  • 5
  • 4
  • 3
  • 4
  • 40
  • 4
  • 10
  • 4
  • 3
  • 9
  • 4
  • 3
  • 6
  • 3
  • 9
  • 11
  • 14
  • 3
  • 4
  • 4
  • 4
  • 5
  • 10
  • 3
  • 8
  • 5
  • 10
  • 4
  • 13
  • 7
  • 8
  • 4
  • 7
  • 10
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 5
  • 3
  • 13
  • 5
  • 6
  • 4
  • 9
  • 4
  • 38
  • 4
  • 4
  • 9
  • 16
  • 6
  • 3
  • 5
  • 8
  • 3
  • 11
  • 10
  • 10
  • 33
  • 4
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 7
  • 14
  • 10
  • 12
  • 6
  • 9
  • 13
  • 41
  • 7
  • 16
  • 9
  • 13
  • 3
  • 3
  • 4
  • 22
  • 9
  • 9
  • 4
  • 10
  • 13
  • 5
  • 7
  • 7
  • 6
  • 5
  • 10
  • 6
  • 3
  • 8
  • 4
  • 3
  • 19
  • 13
  • 6
  • 5
  • 18
  • 6
  • 4
  • 5
  • 14
  • 5
  • 4
  • 4
  • 9
  • 4
  • 7
  • 5
  • 4
  • 18
  • 6
  • 9
  • 4
  • 6
  • 5
  • 4
  • 7
  • 4
  • 4
  • 16
  • 5
  • 4
  • 4
  • 4
  • 6
  • 6
  • 4
  • 5
  • 5
  • 10
  • 8
  • 5
  • 4
  • 18
  • 16
  • 4
  • 15
  • 6
  • 4
  • 4
  • 4
  • 14
  • 4
  • 7
  • 6
  • 20
  • 4
  • 7
  • 8
  • 5
  • 10
Verlag
  • 684
  • 2675
  • 1680
  • 1
  • 79
  • 656
  • 82
Preis
  • 26
  • 197
  • 4506
  • 1128
Sprachen
  • 5852
  • 15
  • 13
Verfügbarkeit
  • 5836
  • 21
Katalog
  • 5857
  • 294
5.857  Treffer  für „Lecture Notes in Computer Science“
    Johnson / Hunt | Formal Methods in Computer-Aided Design | Buch | Sack Fachmedien

    Johnson / Hunt Formal Methods in Computer-Aided Design

    Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41219-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Radhakrishnan / Pandya | FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Radhakrishnan / Pandya FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

    23rd Conference, Mumbai India, December 15-17, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20680-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fang | HCI in Games | Buch | Sack Fachmedien

    Fang HCI in Games

    6th International Conference, HCI-Games 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29¿July 4, 2024, Proceedings, Part II
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-60694-6
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berry / Finkel / Comon | Computer Aided Verification | Buch | Sack Fachmedien

    Berry / Finkel / Comon Computer Aided Verification

    13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42345-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bass / Unger / Gornostaev | Human-Computer Interaction | Buch | Sack Fachmedien

    Bass / Unger / Gornostaev Human-Computer Interaction

    Third International Conference, EWHCI '93, Moscow, Russia, August 3-7, 1993. Selected Papers
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57433-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karpov / Samudravijaya / Prasanna | Speech and Computer | Buch | Sack Fachmedien

    Karpov / Samudravijaya / Prasanna Speech and Computer

    25th International Conference, SPECOM 2023, Dharwad, India, November 29 ¿ December 2, 2023, Proceedings, Part I
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-48308-0
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karpov / Mporas / Potapova | Speech and Computer | Buch | Sack Fachmedien

    Karpov / Mporas / Potapova Speech and Computer

    19th International Conference, SPECOM 2017, Hatfield, UK, September 12-16, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-66428-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carette / Watt / Dixon | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Carette / Watt / Dixon Intelligent Computer Mathematics

    16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02613-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Somenzi / Hunt, Jr. / Hunt | Computer Aided Verification | Buch | Sack Fachmedien

    Somenzi / Hunt, Jr. / Hunt Computer Aided Verification

    15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40524-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hashizume / Kurosu | Human-Computer Interaction | Buch | Sack Fachmedien

    Hashizume / Kurosu 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 II
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-35598-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolter / Horváth | Computer Performance Engineering | Buch | Sack Fachmedien

    Wolter / Horváth Computer Performance Engineering

    11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10884-1
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wolper | Computer Aided Verification | Buch | Sack Fachmedien

    Wolper Computer Aided Verification

    7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60045-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gupta / Malik | Computer Aided Verification | Buch | Sack Fachmedien

    Gupta / Malik Computer Aided Verification

    20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings
    2008
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-70543-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Kurzfristig nicht lieferbar
    Bereits im Warenkorb
    Farzan / Chaudhuri | Computer Aided Verification | Buch | Sack Fachmedien

    Farzan / Chaudhuri Computer Aided Verification

    28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-41527-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hashizume / Kurosu | Human-Computer Interaction | Buch | Sack Fachmedien

    Hashizume / Kurosu 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 I
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-60404-1
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gilmore / Tribastone | Computer Performance Engineering | Buch | Sack Fachmedien

    Gilmore / Tribastone Computer Performance Engineering

    9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-36780-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Larsen / Brinksma | Computer Aided Verification | Buch | Sack Fachmedien

    Larsen / Brinksma Computer Aided Verification

    14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43997-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tscheligi / Grechenig | Human Computer Interaction | Buch | Sack Fachmedien

    Tscheligi / Grechenig Human Computer Interaction

    Vienna Conference, VCHCI '93, Fin de Siecle, Vienna, Austria, September 20-22, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57312-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kutsia / Buzzard | Intelligent Computer Mathematics | Buch | Sack Fachmedien

    Kutsia / Buzzard Intelligent Computer Mathematics

    15th International Conference, CICM 2022, Tbilisi, Georgia, September 19¿23, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-16680-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Six / Norrie | Computer Assisted Learning | Buch | Sack Fachmedien

    Six / Norrie Computer Assisted Learning

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

    Lal / Enea Computer Aided Verification

    35th International Conference, CAV 2023, Paris, France, July 17¿22, 2023, Proceedings, Part III
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-37708-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salah / Potapova / Karpov | Speech and Computer | Buch | Sack Fachmedien

    Salah / Potapova / Karpov Speech and Computer

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

    Watt / Sexton / Urban Intelligent Computer Mathematics

    CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-08433-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pasareanu / Kroening / Pasareanu | Computer Aided Verification | Buch | Sack Fachmedien

    Pasareanu / 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 International Publishing
    ISBN: 978-3-319-21667-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Christensen / Corke / Vincze | Computer Vision Systems | Buch | Sack Fachmedien

    Christensen / Corke / Vincze Computer Vision Systems

    14th International Conference, ICVS 2023, Vienna, Austria, September 27¿29, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-44136-3
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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