Ergebnisse filtern
Fachgebiet
Medium
  • 4216
Erscheinungsjahr
  • 71
  • 234
  • 196
  • 133
  • 47
  • 23
  • 41
  • 49
  • 63
  • 48
  • 83
  • 72
  • 64
  • 84
  • 73
  • 69
  • 162
  • 121
  • 151
  • 200
  • 186
  • 142
  • 213
  • 218
  • 180
  • 182
  • 118
  • 118
  • 97
  • 101
  • 95
  • 81
  • 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
  • 6
  • 2
  • 4
  • 8
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 12
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 2
  • 3
  • 5
  • 9
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 2
  • 3
  • 7
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 6
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 6
  • 4
  • 4
  • 2
  • 4
  • 4
  • 2
  • 10
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 12
  • 2
  • 4
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 8
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 7
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 4
  • 3
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 6
  • 2
  • 3
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 2
  • 10
  • 5
  • 3
  • 7
  • 2
  • 2
  • 2
  • 4
  • 4
  • 12
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 4
  • 5
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 38
  • 28
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 11
  • 3
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 16
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 9
  • 6
  • 5
  • 3
  • 4
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 4
  • 4
  • 4
  • 7
  • 6
  • 21
  • 4
  • 3
  • 8
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 7
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 5
  • 7
  • 5
  • 3
  • 6
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 6
  • 3
  • 4
  • 11
  • 3
  • 5
  • 6
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 12
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 5
  • 3
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 6
  • 3
  • 4
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 6
  • 5
  • 9
  • 3
  • 7
  • 3
  • 7
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 4
  • 6
  • 10
  • 5
  • 4
  • 5
  • 3
  • 5
  • 4
  • 3
  • 7
  • 4
  • 7
  • 3
  • 3
  • 12
  • 4
  • 3
  • 6
  • 6
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 5
  • 8
  • 5
  • 3
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 7
  • 5
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 7
  • 3
  • 6
  • 4
  • 6
  • 6
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 10
  • 4
  • 3
  • 6
  • 3
  • 3
  • 7
  • 4
  • 3
  • 4
  • 13
  • 3
  • 8
  • 3
  • 5
  • 4
  • 12
  • 25
  • 7
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 4
  • 5
  • 5
  • 4
  • 5
  • 6
  • 3
  • 5
  • 5
  • 4
  • 10
  • 3
  • 3
  • 6
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 5
  • 4
  • 16
  • 6
  • 4
  • 5
  • 5
  • 5
  • 4
  • 3
  • 4
  • 4
  • 7
  • 6
  • 4
  • 3
  • 6
  • 7
  • 4
  • 3
  • 5
  • 6
  • 4
  • 3
  • 3
  • 4
  • 3
  • 6
  • 5
  • 4
  • 8
  • 3
  • 4
  • 7
  • 5
  • 3
  • 6
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 8
  • 18
  • 3
  • 3
  • 8
  • 5
  • 3
  • 6
  • 3
  • 5
  • 7
  • 4
  • 3
  • 10
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 5
  • 5
  • 5
  • 3
  • 7
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 7
  • 3
  • 3
  • 7
  • 6
  • 8
  • 9
  • 4
  • 3
  • 4
  • 32
  • 5
  • 11
  • 3
  • 4
  • 12
  • 4
  • 10
  • 3
  • 3
  • 5
  • 4
  • 3
  • 7
  • 3
  • 5
  • 4
  • 3
  • 6
  • 6
  • 5
  • 4
  • 11
  • 20
  • 6
  • 9
  • 3
  • 3
  • 35
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 9
  • 16
  • 3
  • 10
  • 7
  • 3
  • 3
  • 10
  • 4
  • 3
  • 3
  • 3
  • 6
  • 4
  • 11
  • 3
  • 5
  • 4
  • 4
  • 18
  • 6
  • 4
  • 3
  • 11
  • 4
  • 7
  • 4
  • 6
  • 3
  • 9
  • 4
  • 5
  • 4
  • 4
  • 4
  • 18
  • 5
  • 5
  • 4
  • 5
  • 3
  • 3
Verlag
  • 4194
  • 1
  • 1
  • 2
  • 18
Preis
  • 13
  • 147
  • 3263
  • 793
Sprachen
  • 4216
  • 5
Verfügbarkeit
  • 4213
  • 3
Eigenschaften
  • 6
Katalog
  • 4216
  • 243
4.216  Treffer  für „Lecture Notes in Computer Science“
    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
    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
    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
    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
    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
    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
    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
    Grechenig / Tscheligi | Human Computer Interaction | Buch | Sack Fachmedien

    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
    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
    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 II
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-21667-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brinksma / Larsen | Computer Aided Verification | Buch | Sack Fachmedien

    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
    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 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
    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
    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
    Cipolla Ficarra / de Castro Lozano / Pérez Jiménez | Advances in New Technologies, Interactive Interfaces, and Communicability | Buch | Sack Fachmedien

    Cipolla Ficarra / de Castro Lozano / Pérez Jiménez Advances in New Technologies, Interactive Interfaces, and Communicability

    First International Conference, ADNTIIC 2010, Huerta Grande, Argentina, October 20-22, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-20809-6
    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
    Tribastone / Gilmore | Computer Performance Engineering | Buch | Sack Fachmedien

    Tribastone / Gilmore 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
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36780-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hunt, Jr. / Somenzi | Computer Aided Verification | Buch | Sack Fachmedien

    Hunt, Jr. / Somenzi Computer Aided Verification

    15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40524-5
    Medium: Buch
    53,49 € (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
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-60045-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thomas | Computer Performance Engineering | Buch | Sack Fachmedien

    Thomas Computer Performance Engineering

    8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, The English Lake District, October 12-13,2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-24748-4
    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 I
    2024
    Verlag: Springer
    ISBN: 978-3-031-65626-2
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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