Ergebnisse filtern
Fachgebiet
Medium
  • 4297
Erscheinungsjahr
  • 4
  • 180
  • 235
  • 190
  • 130
  • 47
  • 27
  • 42
  • 47
  • 65
  • 47
  • 80
  • 74
  • 74
  • 80
  • 63
  • 69
  • 160
  • 121
  • 138
  • 199
  • 181
  • 139
  • 207
  • 220
  • 181
  • 184
  • 119
  • 118
  • 97
  • 100
  • 96
  • 82
  • 68
  • 67
  • 53
  • 70
  • 38
  • 41
  • 30
  • 32
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 8
  • 3
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 13
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 6
  • 4
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 5
  • 3
  • 5
  • 3
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 4
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 3
  • 6
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 9
  • 2
  • 6
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 5
  • 3
  • 4
  • 4
  • 4
  • 2
  • 10
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 12
  • 2
  • 4
  • 6
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 8
  • 6
  • 5
  • 3
  • 2
  • 5
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 6
  • 2
  • 4
  • 3
  • 3
  • 5
  • 2
  • 8
  • 3
  • 4
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 10
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 4
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 10
  • 5
  • 4
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 3
  • 13
  • 2
  • 6
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 5
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 38
  • 29
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 12
  • 3
  • 3
  • 3
  • 5
  • 6
  • 7
  • 3
  • 4
  • 3
  • 3
  • 16
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 9
  • 6
  • 6
  • 3
  • 3
  • 4
  • 5
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 10
  • 5
  • 3
  • 3
  • 4
  • 6
  • 6
  • 3
  • 25
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 7
  • 3
  • 7
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 5
  • 3
  • 4
  • 11
  • 3
  • 4
  • 8
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 4
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 14
  • 5
  • 6
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 8
  • 8
  • 3
  • 4
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 5
  • 8
  • 7
  • 5
  • 3
  • 10
  • 3
  • 7
  • 4
  • 5
  • 3
  • 4
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 6
  • 6
  • 3
  • 8
  • 12
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 9
  • 3
  • 3
  • 12
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 6
  • 8
  • 5
  • 4
  • 4
  • 6
  • 3
  • 3
  • 4
  • 3
  • 7
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 7
  • 4
  • 7
  • 7
  • 3
  • 5
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 4
  • 10
  • 3
  • 3
  • 8
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 4
  • 12
  • 6
  • 3
  • 11
  • 5
  • 4
  • 12
  • 28
  • 6
  • 5
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 6
  • 4
  • 5
  • 4
  • 4
  • 5
  • 3
  • 12
  • 4
  • 4
  • 5
  • 3
  • 6
  • 4
  • 7
  • 6
  • 3
  • 5
  • 4
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 19
  • 5
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 7
  • 6
  • 3
  • 3
  • 3
  • 5
  • 7
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 6
  • 6
  • 4
  • 5
  • 4
  • 3
  • 6
  • 4
  • 3
  • 6
  • 4
  • 9
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 8
  • 22
  • 3
  • 6
  • 4
  • 3
  • 6
  • 3
  • 3
  • 5
  • 4
  • 6
  • 4
  • 3
  • 6
  • 4
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 7
  • 3
  • 7
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 4
  • 8
  • 6
  • 13
  • 9
  • 6
  • 3
  • 4
  • 30
  • 5
  • 11
  • 4
  • 12
  • 9
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 8
  • 8
  • 5
  • 4
  • 4
  • 4
  • 3
  • 7
  • 7
  • 4
  • 12
  • 21
  • 6
  • 4
  • 3
  • 9
  • 5
  • 4
  • 3
  • 40
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 9
  • 20
  • 5
  • 10
  • 8
  • 3
  • 13
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 4
  • 13
  • 3
  • 4
  • 5
  • 4
  • 4
  • 19
  • 6
  • 3
  • 13
  • 5
  • 9
  • 5
  • 3
  • 3
  • 11
  • 4
  • 5
  • 4
  • 6
  • 22
  • 5
  • 11
  • 4
  • 6
  • 3
Verlag
  • 3
  • 4250
  • 1
  • 1
  • 14
  • 4
  • 6
  • 18
Preis
  • 13
  • 160
  • 3327
  • 797
Sprachen
  • 4297
  • 5
Verfügbarkeit
  • 4226
  • 71
Katalog
  • 4297
  • 241
4.297  Treffer  für „Lecture Notes in Computer Science“
    Tang / Du / Woodruff | Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Tang / Du / Woodruff Algorithmic Aspects in Information and Management

    12th International Conference, AAIM 2018, Dallas, TX, USA, December 3-4, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-04617-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kao / Li | Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Kao / Li Algorithmic Aspects in Information and Management

    Third International Conference, AAIM 2007, Portland, OR, USA, June 6-8, 2007, Proceedings
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-72868-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dong / Tang / Wang | Advances in Web-Age Information Management | Buch | Sack Fachmedien

    Dong / Tang / Wang Advances in Web-Age Information Management

    4th International Conference, WAIM 2003, Chengdu, China, August 17-19, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40715-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    O’Hare / Ricci / O’Grady | Engineering Societies in the Agents World VII | Buch | Sack Fachmedien

    O’Hare / Ricci / O’Grady Engineering Societies in the Agents World VII

    7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-75522-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cheng / Poon | Algorithmic Aspects in Information and Management | Buch | Sack Fachmedien

    Cheng / Poon Algorithmic Aspects in Information and Management

    Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35157-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frakes | Software Reuse: Advances in Software Reusability | Buch | Sack Fachmedien

    Frakes Software Reuse: Advances in Software Reusability

    6th International Conference, ICSR-6 Vienna, Austria, June 27-29, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67696-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meng / Su / Wang | Advances in Web-Age Information Management | Buch | Sack Fachmedien

    Meng / Su / Wang Advances in Web-Age Information Management

    Third International Conference, WAIM 2002, Beijing, China, August 11-13, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44045-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gottlob / Benczur / Demetrovics | Advances in Databases and Information Systems | Buch | Sack Fachmedien

    Gottlob / Benczur / Demetrovics Advances in Databases and Information Systems

    8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23243-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berthold / Lenz / Bradley | Advances in Intelligent Data Analysis V | Buch | Sack Fachmedien

    Berthold / Lenz / Bradley Advances in Intelligent Data Analysis V

    5th International Symposium on Intelligent Data Analysis, IDA 2003, Berlin, Germany, August 28-30, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40813-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bass / Gornostaev / Unger | Human-Computer Interaction | Buch | Sack Fachmedien

    Bass / Gornostaev / Unger Human-Computer Interaction

    Third International Conference, EWHCI '93, Moscow, Russia, August 3-7, 1993. Selected Papers
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57433-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Manolopoulos / Navrat | Advances in Databases and Information Systems | Buch | Sack Fachmedien

    Manolopoulos / Navrat Advances in Databases and Information Systems

    6th East European Conference, ADBIS 2002, Bratislava, Slovakia, September 8-11, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44138-0
    Medium: Buch
    53,49 € (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
    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
    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
    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
    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
    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
    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
    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
    Courcoubetis | Computer Aided Verification | Buch | Sack Fachmedien

    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 | Buch | Sack Fachmedien

    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
    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
    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
    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

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