Ergebnisse filtern
Fachgebiet
Medium
  • 8672
  • 1009
  • 31
  • 13
Erscheinungsjahr
  • 1
  • 42
  • 663
  • 632
  • 484
  • 443
  • 423
  • 428
  • 535
  • 313
  • 458
  • 297
  • 429
  • 380
  • 491
  • 244
  • 502
  • 249
  • 253
  • 259
  • 216
  • 259
  • 220
  • 222
  • 181
  • 157
  • 122
  • 110
  • 95
  • 78
  • 81
  • 71
  • 59
  • 67
  • 39
  • 55
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 6
  • 3
  • 3
  • 4
  • 8
  • 14
  • 3
  • 3
  • 9
  • 3
  • 4
  • 4
  • 10
  • 4
  • 3
  • 6
  • 5
  • 4
  • 8
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 8
  • 3
  • 4
  • 5
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 4
  • 5
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 7
  • 6
  • 10
  • 6
  • 3
  • 9
  • 20
  • 3
  • 5
  • 5
  • 7
  • 4
  • 4
  • 3
  • 4
  • 6
  • 9
  • 4
  • 4
  • 4
  • 6
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 6
  • 4
  • 4
  • 18
  • 3
  • 4
  • 3
  • 4
  • 3
  • 7
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 12
  • 8
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 9
  • 4
  • 9
  • 3
  • 3
  • 5
  • 17
  • 3
  • 4
  • 4
  • 11
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 13
  • 3
  • 16
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 3
  • 4
  • 9
  • 4
  • 3
  • 10
  • 17
  • 4
  • 5
  • 17
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 12
  • 7
  • 5
  • 3
  • 3
  • 11
  • 7
  • 6
  • 4
  • 12
  • 4
  • 3
  • 4
  • 13
  • 7
  • 4
  • 4
  • 4
  • 3
  • 3
  • 7
  • 4
  • 3
  • 3
  • 17
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 4
  • 4
  • 5
  • 32
  • 4
  • 3
  • 8
  • 3
  • 5
  • 4
  • 3
  • 7
  • 6
  • 4
  • 5
  • 3
  • 4
  • 7
  • 3
  • 3
  • 6
  • 3
  • 7
  • 3
  • 6
  • 8
  • 6
  • 10
  • 3
  • 3
  • 4
  • 4
  • 12
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 4
  • 9
  • 5
  • 3
  • 3
  • 8
  • 8
  • 3
  • 3
  • 12
  • 4
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 10
  • 4
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 3
  • 6
  • 3
  • 3
  • 3
  • 7
  • 7
  • 3
  • 3
  • 3
  • 9
  • 4
  • 3
  • 3
  • 5
  • 5
  • 4
  • 4
  • 4
  • 3
  • 4
  • 8
  • 6
  • 4
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 14
  • 4
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 13
  • 4
  • 6
  • 9
  • 6
  • 3
  • 8
  • 10
  • 6
  • 3
  • 7
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 4
  • 7
  • 4
  • 3
  • 12
  • 3
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 6
  • 3
  • 3
  • 5
  • 8
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 27
  • 19
  • 3
  • 4
  • 4
  • 4
  • 8
  • 3
  • 4
  • 4
  • 3
  • 6
  • 3
  • 10
  • 3
  • 5
  • 3
  • 9
  • 4
  • 13
  • 5
  • 3
  • 3
  • 4
  • 3
  • 16
  • 6
  • 5
  • 5
  • 3
  • 4
  • 18
  • 3
  • 4
  • 5
  • 3
  • 4
  • 4
  • 20
  • 5
  • 11
  • 3
  • 4
  • 4
  • 6
  • 6
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 6
  • 3
  • 13
  • 3
  • 6
  • 7
  • 4
  • 3
  • 6
  • 24
  • 6
  • 6
  • 3
  • 11
  • 5
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 5
  • 5
  • 3
  • 5
  • 6
  • 7
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 11
  • 3
  • 7
  • 3
  • 36
  • 3
  • 4
  • 9
  • 5
  • 3
  • 3
  • 8
  • 3
  • 11
  • 3
  • 3
  • 4
  • 3
  • 6
  • 10
  • 4
  • 4
  • 12
  • 5
  • 5
  • 4
  • 3
  • 3
  • 4
  • 5
  • 7
  • 12
  • 6
  • 5
  • 16
  • 4
  • 4
  • 4
  • 8
  • 4
  • 3
  • 10
  • 6
  • 6
  • 8
  • 8
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 6
  • 6
  • 4
  • 8
  • 3
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 4
  • 9
  • 8
  • 5
  • 3
  • 7
  • 10
  • 3
  • 3
  • 4
  • 3
  • 8
  • 6
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 4
  • 7
  • 5
  • 4
  • 18
  • 4
  • 4
  • 4
  • 11
  • 5
  • 4
  • 3
  • 5
  • 5
  • 5
  • 6
  • 3
  • 4
  • 4
  • 4
  • 9
  • 4
  • 6
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 8
  • 7
  • 8
  • 12
  • 5
  • 10
  • 3
  • 8
  • 6
  • 10
  • 4
  • 8
  • 6
  • 7
  • 4
  • 10
  • 3
  • 3
  • 3
  • 4
  • 11
  • 5
  • 57
  • 3
  • 4
  • 14
  • 4
  • 7
  • 3
  • 5
  • 8
  • 3
  • 3
  • 9
  • 3
  • 3
  • 4
  • 3
  • 7
  • 7
  • 14
  • 6
  • 14
  • 4
  • 6
  • 3
  • 3
  • 4
  • 24
  • 6
  • 7
  • 4
  • 3
  • 7
  • 3
  • 12
  • 32
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 7
  • 9
  • 5
  • 4
  • 15
  • 7
  • 4
  • 5
  • 6
  • 4
  • 3
  • 5
  • 5
  • 3
  • 19
  • 26
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 18
  • 11
  • 6
  • 4
  • 8
  • 3
  • 7
  • 3
  • 7
  • 3
  • 4
  • 14
  • 3
  • 7
  • 12
  • 8
  • 25
  • 3
  • 8
  • 6
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 5
  • 4
  • 3
  • 6
  • 7
  • 4
  • 12
  • 3
  • 4
  • 6
  • 8
  • 5
  • 5
  • 11
  • 6
  • 4
  • 7
  • 4
  • 6
  • 6
  • 4
  • 9
  • 4
  • 4
  • 7
  • 5
  • 3
  • 3
  • 3
  • 4
  • 18
  • 10
  • 4
  • 4
  • 3
  • 5
  • 6
  • 3
  • 7
  • 6
  • 3
  • 9
  • 3
  • 5
  • 5
  • 5
  • 10
  • 10
  • 4
  • 8
  • 5
  • 5
  • 13
  • 3
  • 7
  • 4
  • 3
  • 11
  • 7
  • 3
  • 9
  • 16
  • 11
  • 5
  • 3
  • 4
  • 9
  • 5
  • 8
  • 7
  • 4
  • 4
  • 6
  • 10
  • 3
  • 5
  • 7
  • 3
  • 7
  • 8
  • 4
  • 4
  • 3
  • 7
  • 22
  • 6
  • 9
  • 5
  • 4
  • 4
  • 7
  • 3
  • 3
  • 16
  • 5
  • 4
  • 4
  • 4
  • 22
  • 5
  • 3
  • 3
  • 8
  • 4
  • 5
  • 4
  • 5
  • 4
  • 3
  • 7
  • 6
  • 10
  • 9
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 8
  • 9
  • 5
  • 7
  • 5
  • 4
  • 4
  • 3
  • 3
  • 15
  • 6
  • 4
  • 3
  • 22
  • 31
  • 12
  • 7
  • 9
  • 12
  • 23
  • 6
  • 6
  • 9
  • 17
  • 3
  • 6
  • 3
  • 4
  • 3
  • 5
  • 7
  • 8
  • 7
  • 37
  • 5
  • 4
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 4
  • 9
  • 20
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 8
  • 31
  • 4
  • 7
  • 7
  • 4
  • 8
  • 10
  • 4
  • 8
  • 3
  • 4
  • 8
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 11
  • 5
  • 8
  • 3
  • 6
  • 10
  • 4
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 14
  • 8
  • 9
  • 13
  • 4
  • 7
  • 3
  • 9
  • 7
  • 7
  • 7
  • 4
  • 5
  • 3
  • 5
  • 11
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 5
  • 13
  • 14
  • 5
  • 9
  • 4
  • 8
  • 19
  • 4
  • 4
  • 12
  • 18
  • 5
  • 9
  • 6
  • 7
  • 4
  • 9
  • 7
  • 8
  • 18
  • 6
  • 7
  • 4
  • 12
  • 5
  • 7
  • 4
  • 4
  • 11
  • 4
  • 7
  • 4
  • 7
  • 4
  • 4
  • 6
  • 7
  • 9
  • 5
Verlag
  • 2
  • 8
  • 5
  • 1
  • 33
  • 11
  • 383
  • 5
  • 1
  • 18
  • 1
  • 6
  • 4
  • 4
  • 106
  • 2
  • 1
  • 1
  • 12
  • 3
  • 3
  • 3
  • 42
  • 1
  • 1
  • 81
  • 58
  • 4
  • 370
  • 727
  • 15
  • 1
  • 7
  • 1
  • 16
  • 95
  • 3
  • 3
  • 5
  • 46
  • 30
  • 5
  • 1
  • 25
  • 1
  • 1
  • 3
  • 3
  • 13
  • 5
  • 43
  • 4
  • 1
  • 1
  • 3
  • 27
  • 1
  • 4
  • 1
  • 27
  • 1
  • 1
  • 1
  • 5
  • 28
  • 2
  • 1
  • 3
  • 3
  • 25
  • 7
  • 3
  • 2
  • 1
  • 2
  • 26
  • 5
  • 1
  • 2
  • 2
  • 1
  • 3
  • 3
  • 1
  • 6
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 1
  • 3
  • 2
  • 8
  • 1
  • 4
  • 24
  • 17
  • 22
  • 1
  • 1
  • 1
  • 2
  • 2
  • 15
  • 2
  • 2070
  • 1467
  • 12
  • 1396
  • 5
  • 2
  • 1
  • 125
  • 399
  • 109
  • 1
  • 85
  • 355
  • 22
  • 1
  • 30
  • 1
  • 1
  • 1
  • 236
  • 39
  • 206
  • 259
  • 1
  • 1
  • 3
  • 24
  • 2
  • 1
  • 5
  • 1
  • 86
  • 1
  • 2
  • 1
  • 161
  • 2
  • 11
  • 1
  • 1
  • 21
  • 33
  • 1
  • 1
  • 2
  • 2
Preis
  • 256
  • 1428
  • 4869
  • 3172
Sprachen
  • 8872
  • 860
  • 2
Verfügbarkeit
  • 9556
  • 169
Eigenschaften
  • 6
Katalog
  • 9725
  • 1582
9.725  Titel
    Steffen / Margaria | Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems | Buch | Sack Fachmedien

    Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-03423-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barneva / Tavares / Brimkov | Combinatorial Image Analysis | Buch | Sack Fachmedien

    Barneva / Tavares / Brimkov Combinatorial Image Analysis

    19th International Workshop, IWCIA 2018, Porto, Portugal, November 22¿24, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-05287-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pahl / Yu / Vukovic | Service-Oriented Computing | Buch | Sack Fachmedien

    Pahl / Yu / Vukovic Service-Oriented Computing

    16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-03595-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nerode / Khoussainov | Automata Theory and its Applications | Buch | Sack Fachmedien

    Nerode / Khoussainov Automata Theory and its Applications

    Softcover Nachdruck of the original 1. Auflage 2001
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-6645-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Curien | Categorical Combinators, Sequential Algorithms, and Functional Programming | Buch | Sack Fachmedien

    Curien Categorical Combinators, Sequential Algorithms, and Functional Programming

    Softcover Nachdruck of the original 1. Auflage 1993
    Verlag: Birkhäuser Boston
    ISBN: 978-1-4612-6704-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ezran / Tully / Morisio | Practical Software Reuse | Buch | Sack Fachmedien

    Ezran / Tully / Morisio Practical Software Reuse

    Softcover Nachdruck of the original 1. Auflage 2002
    Verlag: Springer
    ISBN: 978-1-85233-502-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fitzgerald / Larsen / Verhoef | Validated Designs for Object-oriented Systems | Buch | Sack Fachmedien

    Fitzgerald / Larsen / Verhoef Validated Designs for Object-oriented Systems

    1. Auflage. Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-1-84996-943-7
    Medium: Buch
    74,85 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Black / Keist / Donovan | SystemC: From the Ground Up, Second Edition | Buch | Sack Fachmedien

    Black / Keist / Donovan SystemC: From the Ground Up, Second Edition

    2. Auflage 2010
    Verlag: Springer US
    ISBN: 978-1-4899-8266-7
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang / Lahiri | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Wang / Lahiri Automated Technology for Verification and Analysis

    16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-01089-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barnat / Howar | Formal Methods for Industrial Critical Systems | Buch | Sack Fachmedien

    Barnat / Howar Formal Methods for Industrial Critical Systems

    23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-00243-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hunt | Agile Software Construction | Buch | Sack Fachmedien

    Hunt Agile Software Construction

    2006
    Verlag: Springer
    ISBN: 978-1-85233-944-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zykov | Managing Software Crisis: A Smart Way to Enterprise Agility | Buch | Sack Fachmedien

    Zykov Managing Software Crisis: A Smart Way to Enterprise Agility

    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-08573-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tsai / Juan | Compositional Verification of Concurrent and Real-Time Systems | Buch | Sack Fachmedien

    Tsai / Juan Compositional Verification of Concurrent and Real-Time Systems

    2002
    Verlag: Springer US
    ISBN: 978-1-4020-7025-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dandamudi | Introduction to Assembly Language Programming | Buch | Sack Fachmedien

    Dandamudi Introduction to Assembly Language Programming

    For Pentium and RISC Processors
    2. Auflage Softcover version of original hardcover Auflage 2005
    Verlag: Springer
    ISBN: 978-1-4419-1921-2
    Medium: Buch
    86,62 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vandewalle / DeWilde | Computer Systems and Software Engineering | Buch | Sack Fachmedien

    Vandewalle / DeWilde Computer Systems and Software Engineering

    State-of-the-art
    Softcover Nachdruck of the original 1. Auflage 1992
    Verlag: Springer US
    ISBN: 978-1-4613-6555-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sergeyev / Strongin | Global Optimization with Non-Convex Constraints | Buch | Sack Fachmedien

    Sergeyev / Strongin Global Optimization with Non-Convex Constraints

    Sequential and Parallel Algorithms
    2000
    Verlag: Springer US
    ISBN: 978-1-4613-7117-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reubenstein / Setliff | Knowledge-Based Software Engineering | Buch | Sack Fachmedien

    Reubenstein / Setliff Knowledge-Based Software Engineering

    1997
    Verlag: Springer US
    ISBN: 978-1-4757-8306-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Computing System Reliability | Buch | Sack Fachmedien

    Computing System Reliability

    Models and Analysis
    Softcover Nachdruck of the original 1. Auflage 2004
    Verlag: Springer US
    ISBN: 978-1-4757-8804-4
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Spaerck Jones / Herbert | Computer Systems | Buch | Sack Fachmedien

    Spaerck Jones / Herbert Computer Systems

    Theory, Technology, and Applications
    Softcover Nachdruck of the original 1. Auflage 2004
    Verlag: Springer
    ISBN: 978-1-4757-8075-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tasiran / Dillig | Computer Aided Verification | Buch | Sack Fachmedien

    Tasiran / Dillig Computer Aided Verification

    31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-25542-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hammoudi / Selic / Pires | Model-Driven Engineering and Software Development | Buch | Sack Fachmedien

    Hammoudi / Selic / Pires Model-Driven Engineering and Software Development

    7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20¿22, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-37872-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermanns | Measurement, Modelling and Evaluation of Computing Systems | Buch | Sack Fachmedien

    Hermanns Measurement, Modelling and Evaluation of Computing Systems

    20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16¿18, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-43023-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roca / Loseille | 27th International Meshing Roundtable | Buch | Sack Fachmedien

    Roca / Loseille 27th International Meshing Roundtable

    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-13994-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beyer / Steffen / Huisman | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Beyer / Steffen / Huisman Tools and Algorithms for the Construction and Analysis of Systems

    25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6¿11, 2019, Proceedings, Part III
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-17501-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meirelles / Rocha / Nelson | Agile Methods | Buch | Sack Fachmedien

    Meirelles / Rocha / Nelson Agile Methods

    10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-36700-8
    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