Ergebnisse filtern
Fachgebiet
Medium
  • 3355
Erscheinungsjahr
  • 62
  • 127
  • 47
  • 25
  • 36
  • 46
  • 58
  • 50
  • 67
  • 73
  • 68
  • 86
  • 55
  • 12
  • 39
  • 116
  • 134
  • 163
  • 103
  • 135
  • 200
  • 206
  • 176
  • 175
  • 121
  • 113
  • 95
  • 100
  • 95
  • 81
  • 72
  • 65
  • 50
  • 67
  • 37
  • 39
  • 29
  • 31
  • 20
  • 15
  • 11
  • 9
  • 11
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 4
  • 3
  • 2
  • 2
  • 6
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 3
  • 4
  • 2
  • 7
  • 2
  • 2
  • 10
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 10
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 5
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 3
  • 2
  • 7
  • 4
  • 2
  • 3
  • 8
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 3
  • 5
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 9
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 12
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 31
  • 20
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 9
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 18
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 9
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 6
  • 6
  • 2
  • 2
  • 22
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 5
  • 5
  • 3
  • 3
  • 2
  • 11
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 12
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 3
  • 5
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 6
  • 6
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 6
  • 2
  • 3
  • 4
  • 2
  • 3
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 11
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 5
  • 4
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 5
  • 11
  • 3
  • 6
  • 3
  • 3
  • 11
  • 13
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 5
  • 3
  • 4
  • 4
  • 14
  • 3
  • 5
  • 4
  • 8
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 17
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 7
  • 7
  • 4
  • 5
  • 7
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 6
  • 4
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 11
  • 8
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 9
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 5
  • 4
  • 3
  • 5
  • 4
  • 3
  • 7
  • 5
  • 6
  • 3
  • 3
  • 4
  • 6
  • 8
  • 4
  • 8
  • 9
  • 5
  • 3
  • 6
  • 6
  • 34
  • 3
  • 10
  • 3
  • 3
  • 3
  • 12
  • 9
  • 5
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 22
  • 3
  • 9
  • 3
  • 9
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 16
  • 3
  • 6
  • 4
  • 4
  • 6
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 5
  • 3
  • 4
  • 8
  • 3
  • 19
  • 4
  • 11
  • 3
  • 3
  • 5
  • 4
  • 7
  • 3
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 5
  • 3
  • 5
  • 4
  • 15
  • 4
  • 9
  • 3
  • 9
  • 5
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 4
  • 4
Verlag
  • 358
  • 2312
  • 439
  • 1
  • 17
  • 165
  • 63
Preis
  • 12
  • 114
  • 2645
  • 584
Sprachen
  • 3355
  • 6
Verfügbarkeit
  • 3346
  • 9
Katalog
  • 3355
  • 223
3.355  Treffer  für „Lecture Notes in Computer Science“
    Ma / Frati | Graph Drawing and Network Visualization | Buch | Sack Fachmedien

    Ma / Frati Graph Drawing and Network Visualization

    25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-73914-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peña / Gupta | Logic-Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Peña / Gupta Logic-Based Program Synthesis and Transformation

    23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-14124-4
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pelliccione / Fantechi | Software Engineering for Resilient Systems | Buch | Sack Fachmedien

    Pelliccione / Fantechi Software Engineering for Resilient Systems

    7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23128-0
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Terboven / de Supinski / Müller | OpenMP: Heterogenous Execution and Data Movements | Buch | Sack Fachmedien

    Terboven / de Supinski / Müller OpenMP: Heterogenous Execution and Data Movements

    11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-24594-2
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rivera / Cabaleiro / Pena | Euro-Par 2017: Parallel Processing | Buch | Sack Fachmedien

    Rivera / Cabaleiro / Pena Euro-Par 2017: Parallel Processing

    23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 ¿ September 1, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-64202-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zuck / Mukhopadhyay / Attie | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Zuck / Mukhopadhyay / Attie Verification, Model Checking, and Abstract Interpretation

    4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00348-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kozen / Clarke | Logics of Programs | Buch | Sack Fachmedien

    Kozen / Clarke Logics of Programs

    Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983
    1984
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-12896-0
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paredaens | Automata, Languages, and Programming | Buch | Sack Fachmedien

    Paredaens Automata, Languages, and Programming

    11th Colloquium, Antwerp, Belgium, July 16-20, 1984 (EATCS sign). Proceedings
    1984
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-13345-2
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Greibach | Theory of Program Structures | Buch | Sack Fachmedien

    Greibach Theory of Program Structures

    Schemes, Semantics, Verification
    1975
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-07415-1
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yao / Kunii / Navathe | Data Base Design Techniques I | Buch | Sack Fachmedien

    Yao / Kunii / Navathe Data Base Design Techniques I

    Requirements and Logical Structures. NYU Symposium, New York, May 1978
    1982
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-11214-3
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mavridou / Lluch Lafuente | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Mavridou / Lluch Lafuente Formal Methods for Industrial Critical Systems

    26th International Conference, FMICS 2021, Paris, France, August 24¿26, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-85247-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Trinder / Cano | Euro-Par 2022: Parallel Processing | Buch | Sack Fachmedien

    Trinder / Cano Euro-Par 2022: Parallel Processing

    28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22¿26, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-12596-6
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fouilhoux / Paschos / Gouveia | Combinatorial Optimization | Buch | Sack Fachmedien

    Fouilhoux / Paschos / Gouveia Combinatorial Optimization

    Third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014, Revised Selected Papers
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-09173-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pang / Merz | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Pang / Merz Formal Methods and Software Engineering

    16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-11736-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Idani / Canal | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Idani / Canal Software Engineering and Formal Methods

    SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-15200-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karydis / Tsoumakos / Sioutas | Algorithmic Aspects of Cloud Computing | Buch | Sack Fachmedien

    Karydis / Tsoumakos / Sioutas Algorithmic Aspects of Cloud Computing

    First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-29918-1
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yahav | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Yahav Hardware and Software: Verification and Testing

    10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-13337-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler / Biro / Schewe | Abstract State Machines, Alloy, B, TLA, VDM, and Z | Buch | Sack Fachmedien

    Butler / Biro / Schewe Abstract State Machines, Alloy, B, TLA, VDM, and Z

    5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-33599-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cellary / Mokbel / Zhang | Web Information Systems Engineering ¿ WISE 2016 | Buch | Sack Fachmedien

    Cellary / Mokbel / Zhang Web Information Systems Engineering ¿ WISE 2016

    17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part II
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-48742-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chechik / Blazy | Verified Software. Theories, Tools, and Experiments | Buch | Sack Fachmedien

    Chechik / Blazy Verified Software. Theories, Tools, and Experiments

    8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17¿18, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-48868-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arbel / Bloem | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Arbel / Bloem Hardware and Software: Verification and Testing

    12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-49051-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wotawa / Kushik / Nica | Testing Software and Systems | Buch | Sack Fachmedien

    Wotawa / Kushik / Nica Testing Software and Systems

    28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-47442-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sirjani / Cimatti | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Sirjani / Cimatti Software Engineering and Formal Methods

    15th International Conference, SEFM 2017, Trento, Italy, September 4¿8, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-66196-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sirjani / Dastani | Fundamentals of Software Engineering | Buch | Sack Fachmedien

    Sirjani / Dastani Fundamentals of Software Engineering

    7th International Conference, FSEN 2017, Tehran, Iran, April 26¿28, 2017, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-68971-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rahman / Uehara / Sung | WALCOM: Algorithms and Computation | Buch | Sack Fachmedien

    Rahman / Uehara / Sung WALCOM: Algorithms and Computation

    12th International Conference, WALCOM 2018, Dhaka, Bangladesh, March 3-5, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-75171-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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