Ergebnisse filtern
Fachgebiet
Medium
  • 4447
  • 26
  • 9
Erscheinungsjahr
  • 1
  • 1
  • 25
  • 67
  • 54
  • 50
  • 70
  • 117
  • 134
  • 99
  • 135
  • 91
  • 142
  • 104
  • 120
  • 53
  • 243
  • 80
  • 167
  • 282
  • 199
  • 272
  • 230
  • 235
  • 211
  • 188
  • 139
  • 112
  • 109
  • 101
  • 86
  • 91
  • 81
  • 58
  • 58
  • 63
  • 38
  • 47
  • 27
  • 17
  • 18
  • 10
  • 4
  • 2
  • 8
  • 8
  • 4
  • 3
  • 2
  • 1
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 4
  • 2
  • 17
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 5
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 6
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 13
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 11
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 13
  • 2
  • 3
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 7
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 6
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 6
  • 2
  • 6
  • 2
  • 5
  • 2
  • 3
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 8
  • 8
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 25
  • 9
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 18
  • 5
  • 3
  • 2
  • 9
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 8
  • 2
  • 4
  • 2
  • 3
  • 5
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 17
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 8
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 9
  • 4
  • 4
  • 5
  • 5
  • 5
  • 6
  • 3
  • 9
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 7
  • 4
  • 4
  • 3
  • 3
  • 5
  • 7
  • 4
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 4
  • 4
  • 5
  • 5
  • 10
  • 6
  • 3
  • 6
  • 5
  • 3
  • 5
  • 3
  • 5
  • 7
  • 5
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 5
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 11
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 4
  • 4
  • 5
  • 5
  • 5
  • 5
  • 4
  • 5
  • 4
  • 3
  • 8
  • 5
  • 3
  • 3
  • 6
  • 4
  • 5
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 6
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 10
  • 5
  • 8
  • 4
  • 4
  • 4
  • 8
  • 4
  • 3
  • 9
  • 8
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 6
  • 5
  • 8
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 21
  • 5
  • 5
  • 3
  • 12
  • 10
  • 5
  • 4
  • 3
  • 5
  • 6
  • 5
  • 5
  • 6
  • 6
  • 5
  • 4
  • 4
  • 5
  • 5
  • 6
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 5
  • 3
  • 7
  • 3
  • 5
  • 3
  • 5
  • 4
  • 3
  • 4
  • 4
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 6
  • 3
  • 6
  • 15
  • 7
  • 7
  • 3
  • 3
  • 3
  • 7
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 6
  • 5
  • 5
  • 4
  • 8
  • 3
  • 3
  • 11
  • 4
  • 7
  • 4
  • 3
  • 5
  • 3
  • 4
  • 7
  • 6
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 12
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 17
  • 5
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 11
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 5
  • 5
  • 9
  • 4
  • 6
  • 10
  • 3
  • 9
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 9
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 9
  • 3
  • 3
  • 4
  • 7
  • 7
  • 5
  • 3
  • 4
  • 3
  • 3
  • 8
  • 3
  • 5
  • 3
  • 6
  • 4
  • 49
  • 11
  • 3
  • 4
  • 4
  • 5
  • 7
  • 3
  • 3
  • 19
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 4
  • 6
  • 3
  • 5
  • 3
  • 6
  • 7
  • 5
  • 4
  • 6
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 9
  • 15
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 21
  • 7
  • 4
  • 3
  • 9
  • 4
  • 6
  • 5
  • 3
  • 11
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 24
  • 4
  • 5
  • 3
  • 10
  • 5
  • 4
  • 3
  • 4
  • 10
  • 4
  • 8
  • 5
  • 4
  • 4
  • 8
  • 5
  • 4
  • 5
  • 6
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
Verlag
  • 4
  • 3
  • 3
  • 9
  • 5
  • 4
  • 11
  • 1
  • 1
  • 2
  • 22
  • 4
  • 1
  • 1
  • 10
  • 40
  • 6
  • 3
  • 1
  • 3
  • 9
  • 8
  • 1
  • 1
  • 2
  • 3
  • 10
  • 2
  • 1
  • 2
  • 9
  • 1
  • 8
  • 1
  • 7
  • 1
  • 3
  • 3
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 5
  • 2
  • 652
  • 2167
  • 1
  • 658
  • 1
  • 6
  • 3
  • 223
  • 54
  • 127
  • 223
  • 8
  • 40
  • 3
  • 2
  • 1
  • 2
  • 7
  • 4
  • 5
  • 1
  • 35
  • 2
  • 27
  • 1
  • 1
  • 2
Preis
  • 14
  • 207
  • 2744
  • 1517
Sprachen
  • 4341
  • 136
  • 13
Verfügbarkeit
  • 4461
  • 21
Eigenschaften
  • 1
Katalog
  • 4482
  • 200
4.482  Titel
    Ölveczky / Braga | Formal Aspects of Component Software | Buch | Sack Fachmedien

    Ölveczky / Braga Formal Aspects of Component Software

    12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-28933-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seiffertt | Digital Logic for Computing | Buch | Sack Fachmedien

    Seiffertt Digital Logic for Computing

    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-56837-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jureta | The Design of Requirements Modelling Languages | Buch | Sack Fachmedien

    Jureta The Design of Requirements Modelling Languages

    How to Make Formalisms for Problem Solving in Requirements Engineering
    Softcover Nachdruck of the original 1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-36973-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ölveczky / Artho | Formal Techniques for Safety-Critical Systems | Buch | Sack Fachmedien

    Ölveczky / Artho Formal Techniques for Safety-Critical Systems

    5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-53945-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sikos | Description Logics in Multimedia Reasoning | Buch | Sack Fachmedien

    Sikos Description Logics in Multimedia Reasoning

    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-54065-8
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertogna / Quiñones / Pinho | Reliable Software Technologies ¿ Ada-Europe 2016 | Buch | Sack Fachmedien

    Bertogna / Quiñones / Pinho Reliable Software Technologies ¿ Ada-Europe 2016

    21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-39082-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Farzan / Chaudhuri | Computer Aided Verification | Buch | Sack Fachmedien

    Farzan / Chaudhuri Computer Aided Verification

    28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-41527-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salomaa / Han | Implementation and Application of Automata | Buch | Sack Fachmedien

    Salomaa / Han Implementation and Application of Automata

    21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-40945-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Codescu / ?u?u / Diaconescu | Recent Trends in Algebraic Development Techniques | Buch | Sack Fachmedien

    Codescu / ?u?u / Diaconescu Recent Trends in Algebraic Development Techniques

    22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-28113-1
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maler / Piazza / Halász | Hybrid Systems Biology | Buch | Sack Fachmedien

    Maler / Piazza / Halász Hybrid Systems Biology

    Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-27655-7
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lucanu | Rewriting Logic and Its Applications | Buch | Sack Fachmedien

    Lucanu Rewriting Logic and Its Applications

    11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-44801-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lamprecht | Leveraging Applications of Formal Methods, Verification, and Validation | Buch | Sack Fachmedien

    Lamprecht Leveraging Applications of Formal Methods, Verification, and Validation

    6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-51640-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pinna | Extended Cognition and the Dynamics of Algorithmic Skills | Buch | Sack Fachmedien

    Pinna Extended Cognition and the Dynamics of Algorithmic Skills

    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-51840-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Antonucci / Papini / Cholvy | Symbolic and Quantitative Approaches to Reasoning with Uncertainty | Buch | Sack Fachmedien

    Antonucci / Papini / Cholvy Symbolic and Quantitative Approaches to Reasoning with Uncertainty

    14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10¿14, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-61580-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gagniuc | Coding Examples from Simple to Complex | Buch | Sack Fachmedien

    Gagniuc Coding Examples from Simple to Complex

    Applications in Python¿
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-53811-7
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Urban / Ramanayake | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Urban / Ramanayake Automated Reasoning with Analytic Tableaux and Related Methods

    32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18¿21, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-43512-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Puzynina / Lecroq | Combinatorics on Words | Buch | Sack Fachmedien

    Puzynina / Lecroq Combinatorics on Words

    13th International Conference, WORDS 2021, Rouen, France, September 13¿17, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-85087-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Soukup / Meduna | Modern Language Models and Computation | Buch | Sack Fachmedien

    Soukup / Meduna Modern Language Models and Computation

    Theory with Applications
    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-87473-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Höfig / Zeller | Model-Based Safety and Assessment | Buch | Sack Fachmedien

    Höfig / Zeller Model-Based Safety and Assessment

    7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14¿16, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-58919-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones | Understanding Programming Languages | Buch | Sack Fachmedien

    Jones Understanding Programming Languages

    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-59256-1
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ali Abam / S. Barbosa | Topics in Theoretical Computer Science | Buch | Sack Fachmedien

    Ali Abam / S. Barbosa Topics in Theoretical Computer Science

    Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1¿2, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-57851-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palamidessi / Ábrahám | Formal Techniques for Distributed Objects, Components, and Systems | Buch | Sack Fachmedien

    Palamidessi / Ábrahám Formal Techniques for Distributed Objects, Components, and Systems

    34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
    2014
    Verlag: Springer
    ISBN: 978-3-662-43612-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hameurlain / Decker / Küng | Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV | Buch | Sack Fachmedien

    Hameurlain / Decker / Küng Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV

    Special Issue on Consistency and Inconsistency in Data-Centric Applications
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-662-55946-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moss / Martinez / de Queiroz | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    Moss / Martinez / de Queiroz Logic, Language, Information, and Computation

    25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-662-57668-7
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sempere / Heinz | Topics in Grammatical Inference | Buch | Sack Fachmedien

    Sempere / Heinz Topics in Grammatical Inference

    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-56920-7
    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