Ergebnisse filtern
Fachgebiet
Medium
  • 1628
Erscheinungsjahr
  • 40
  • 105
  • 39
  • 20
  • 20
  • 31
  • 24
  • 27
  • 36
  • 42
  • 36
  • 58
  • 32
  • 8
  • 13
  • 55
  • 66
  • 67
  • 35
  • 70
  • 115
  • 101
  • 89
  • 76
  • 59
  • 44
  • 40
  • 28
  • 35
  • 32
  • 28
  • 32
  • 20
  • 32
  • 15
  • 14
  • 8
  • 10
  • 4
  • 7
  • 4
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
Autoren
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 12
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 2
  • 2
  • 3
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 6
  • 2
  • 3
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 5
  • 1
  • 1
  • 4
  • 1
  • 1
  • 7
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 10
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 9
  • 1
  • 5
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 5
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 11
  • 3
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 11
  • 16
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 15
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 19
  • 3
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 11
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 11
  • 13
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 5
  • 2
  • 2
  • 2
  • 11
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 14
  • 2
  • 2
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 5
  • 11
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 6
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 8
  • 9
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 13
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 19
  • 2
  • 2
  • 9
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 15
  • 2
  • 3
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 16
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 4
  • 8
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
Verlag
  • 192
  • 1012
  • 260
  • 1
  • 7
  • 133
  • 23
Preis
  • 4
  • 63
  • 1330
  • 231
Sprachen
  • 1628
Verfügbarkeit
  • 1624
  • 4
Katalog
  • 1628
  • 123
1.628  Treffer  für „Lecture Notes in Computer Science“
    Fitzgerald / Philippou / Heitmeyer | FM 2016: Formal Methods | Buch | Sack Fachmedien

    Fitzgerald / Philippou / Heitmeyer FM 2016: Formal Methods

    21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-48988-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Johannesson / Lee / Pastor López | Conceptual Modeling | Buch | Sack Fachmedien

    Johannesson / Lee / Pastor López Conceptual Modeling

    34th International Conference, ER 2015, Stockholm, Sweden, October 19-22, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-25263-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gleich / Litvak / Komjáthy | Algorithms and Models for the Web Graph | Buch | Sack Fachmedien

    Gleich / Litvak / Komjáthy Algorithms and Models for the Web Graph

    12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-26783-8
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rovatsos / Julian / Vouros | Multi-Agent Systems and Agreement Technologies | Buch | Sack Fachmedien

    Rovatsos / Julian / Vouros Multi-Agent Systems and Agreement Technologies

    13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-33508-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tkachuk / Rayadurgam | NASA Formal Methods | Buch | Sack Fachmedien

    Tkachuk / Rayadurgam NASA Formal Methods

    8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-40647-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yoo / Le Goues | Search-Based Software Engineering | Buch | Sack Fachmedien

    Yoo / Le Goues Search-Based Software Engineering

    6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-09939-2
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seidl / Müller-Olm | Static Analysis | Buch | Sack Fachmedien

    Seidl / Müller-Olm Static Analysis

    21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-10935-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jayaraman | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Jayaraman Practical Aspects of Declarative Languages

    6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22253-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tzoref-Brill / Strichman | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Tzoref-Brill / Strichman Hardware and Software: Verification and Testing

    13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-70388-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maharaj / Rattray | Algebraic Methodology and Software Technology | Buch | Sack Fachmedien

    Maharaj / Rattray Algebraic Methodology and Software Technology

    10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22381-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weng / Erdogmus | COTS-Based Software Systems | Buch | Sack Fachmedien

    Weng / Erdogmus COTS-Based Software Systems

    Second International Conference, ICCBSS 2003 Ottawa, Canada, February 10-13, 2003
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00562-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rubin / Huisman | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Rubin / Huisman Fundamental Approaches to Software Engineering

    20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-662-54493-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lin / Huang / Manolopoulos | Web Information Systems Engineering -- WISE 2013 | Buch | Sack Fachmedien

    Lin / Huang / Manolopoulos Web Information Systems Engineering -- WISE 2013

    14th International Conference, Nanjing, China, October 13-15, 2013, Proceedings, Part I
    2013
    Verlag: Springer
    ISBN: 978-3-642-41229-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moreira / Schätz / Clarke | Model-Driven Engineering Languages and Systems | Buch | Sack Fachmedien

    Moreira / Schätz / Clarke Model-Driven Engineering Languages and Systems

    16th International Conference, MODELS 2013, Miami, FL, USA, September 29 ¿ October 4, 2013. Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-41532-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ng / Trujillo / Storey | Conceptual Modeling - ER 2013 | Buch | Sack Fachmedien

    Ng / Trujillo / Storey Conceptual Modeling - ER 2013

    32th International Conference, ER 2013Hong-Kong, China, November 11-13, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-41923-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maabout / Cuzzocrea | Model and Data Engineering | Buch | Sack Fachmedien

    Maabout / Cuzzocrea Model and Data Engineering

    Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-41365-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rival / McMillan | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Rival / McMillan Verification, Model Checking, and Abstract Interpretation

    15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
    2014
    Verlag: Springer
    ISBN: 978-3-642-54012-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Abraham | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Havelund / Abraham Tools and Algorithms for the Construction and Analysis of Systems

    20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
    2014
    Verlag: Springer
    ISBN: 978-3-642-54861-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aksit / Rashid | Transactions on Aspect-Oriented Software Development III | Buch | Sack Fachmedien

    Aksit / Rashid Transactions on Aspect-Oriented Software Development III

    Focus: Early Aspects
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-75161-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marcus / Soares / Rosenzweig | Design, User Experience, and Usability | Buch | Sack Fachmedien

    Marcus / Soares / Rosenzweig Design, User Experience, and Usability

    13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 ¿ July 4, 2024, Proceedings, Part V
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-61361-6
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voevodin / Shagaliev / Sobolev | Supercomputing | Buch | Sack Fachmedien

    Voevodin / Shagaliev / Sobolev Supercomputing

    9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25¿26, 2023, Revised Selected Papers, Part II
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-49434-5
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jorge / Falcao e Cunha / Jardim Nunes | Interactive Systems. Design, Specification, and Verification | Buch | Sack Fachmedien

    Jorge / Falcao e Cunha / Jardim Nunes Interactive Systems. Design, Specification, and Verification

    10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20159-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Velázquez-Quesada / Gierasimczuk | Dynamic Logic. New Trends and Applications | Buch | Sack Fachmedien

    Velázquez-Quesada / Gierasimczuk Dynamic Logic. New Trends and Applications

    5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15¿16, 2023, Revised Selected Papers
    1. Auflage 2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-51776-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dimitrova / Wolff / Lahav | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Dimitrova / Wolff / Lahav Verification, Model Checking, and Abstract Interpretation

    25th International Conference, VMCAI 2024, London, United Kingdom, January 15¿16, 2024, Proceedings, Part II
    1. Auflage 2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-50520-1
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marcus / Soares / Rosenzweig | Design, User Experience, and Usability | Buch | Sack Fachmedien

    Marcus / Soares / Rosenzweig Design, User Experience, and Usability

    13th International Conference, DUXU 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 Nature Switzerland
    ISBN: 978-3-031-61358-6
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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