Ergebnisse filtern
Fachgebiet
Medium
  • 4838
  • 30
  • 9
Erscheinungsjahr
  • 12
  • 31
  • 64
  • 62
  • 51
  • 68
  • 117
  • 134
  • 98
  • 134
  • 90
  • 141
  • 105
  • 144
  • 106
  • 248
  • 92
  • 172
  • 338
  • 310
  • 319
  • 239
  • 245
  • 226
  • 198
  • 142
  • 119
  • 109
  • 102
  • 88
  • 91
  • 81
  • 60
  • 58
  • 64
  • 39
  • 48
  • 28
  • 18
  • 18
  • 10
  • 4
  • 2
  • 8
  • 8
  • 4
  • 3
  • 2
  • 1
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 2
  • 3
  • 15
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 6
  • 5
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 4
  • 3
  • 6
  • 6
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 5
  • 5
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 14
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 13
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 13
  • 2
  • 3
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 3
  • 3
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 3
  • 5
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 4
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 6
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 5
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 6
  • 2
  • 2
  • 8
  • 6
  • 4
  • 10
  • 3
  • 5
  • 8
  • 8
  • 6
  • 4
  • 5
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 4
  • 5
  • 31
  • 11
  • 3
  • 3
  • 4
  • 3
  • 3
  • 19
  • 5
  • 3
  • 2
  • 9
  • 8
  • 6
  • 4
  • 3
  • 3
  • 16
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 8
  • 4
  • 3
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 17
  • 4
  • 6
  • 3
  • 5
  • 3
  • 7
  • 3
  • 6
  • 10
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 9
  • 3
  • 4
  • 4
  • 6
  • 10
  • 6
  • 6
  • 5
  • 10
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 8
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 9
  • 5
  • 5
  • 3
  • 3
  • 4
  • 6
  • 5
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 6
  • 14
  • 7
  • 4
  • 8
  • 5
  • 5
  • 3
  • 5
  • 3
  • 5
  • 7
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 6
  • 5
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 6
  • 3
  • 5
  • 3
  • 11
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 7
  • 4
  • 3
  • 5
  • 6
  • 5
  • 5
  • 5
  • 3
  • 5
  • 10
  • 3
  • 4
  • 4
  • 8
  • 7
  • 3
  • 3
  • 6
  • 4
  • 5
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 6
  • 3
  • 5
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 11
  • 5
  • 9
  • 5
  • 4
  • 4
  • 3
  • 8
  • 5
  • 5
  • 10
  • 9
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 7
  • 3
  • 6
  • 5
  • 9
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 5
  • 5
  • 21
  • 6
  • 5
  • 4
  • 12
  • 3
  • 11
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 6
  • 5
  • 5
  • 6
  • 6
  • 5
  • 4
  • 4
  • 5
  • 5
  • 6
  • 4
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 4
  • 6
  • 3
  • 7
  • 6
  • 3
  • 8
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 6
  • 3
  • 7
  • 3
  • 15
  • 7
  • 7
  • 3
  • 3
  • 3
  • 8
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 5
  • 6
  • 5
  • 6
  • 4
  • 8
  • 3
  • 3
  • 11
  • 4
  • 8
  • 4
  • 3
  • 5
  • 3
  • 5
  • 7
  • 8
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 7
  • 4
  • 3
  • 4
  • 4
  • 3
  • 4
  • 5
  • 12
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 18
  • 5
  • 3
  • 3
  • 7
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 12
  • 3
  • 3
  • 3
  • 3
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 7
  • 4
  • 7
  • 3
  • 6
  • 9
  • 4
  • 3
  • 6
  • 11
  • 3
  • 10
  • 7
  • 3
  • 7
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 9
  • 3
  • 8
  • 3
  • 9
  • 4
  • 5
  • 6
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 5
  • 51
  • 11
  • 3
  • 3
  • 5
  • 5
  • 7
  • 3
  • 19
  • 4
  • 3
  • 7
  • 5
  • 5
  • 7
  • 4
  • 7
  • 4
  • 3
  • 4
  • 9
  • 15
  • 7
  • 4
  • 4
  • 3
  • 4
  • 5
  • 5
  • 21
  • 6
  • 4
  • 10
  • 3
  • 6
  • 8
  • 6
  • 3
  • 3
  • 10
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 25
  • 6
  • 5
  • 6
  • 3
  • 16
  • 8
  • 3
  • 4
  • 3
  • 4
  • 10
  • 4
  • 8
  • 5
  • 4
  • 6
  • 4
  • 3
  • 4
  • 9
  • 5
  • 4
  • 5
  • 8
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
Verlag
  • 6
  • 3
  • 2
  • 9
  • 5
  • 6
  • 5
  • 10
  • 1
  • 1
  • 2
  • 24
  • 4
  • 1
  • 3
  • 7
  • 48
  • 6
  • 3
  • 2
  • 3
  • 8
  • 7
  • 1
  • 2
  • 2
  • 6
  • 2
  • 1
  • 2
  • 9
  • 1
  • 2
  • 1
  • 7
  • 1
  • 3
  • 2
  • 2
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 2
  • 9
  • 2
  • 1206
  • 2151
  • 1
  • 608
  • 1
  • 3
  • 3
  • 50
  • 93
  • 113
  • 77
  • 207
  • 4
  • 35
  • 3
  • 2
  • 1
  • 1
  • 7
  • 3
  • 36
  • 2
  • 30
  • 1
  • 1
  • 3
Preis
  • 16
  • 203
  • 3005
  • 1653
Sprachen
  • 4729
  • 143
  • 9
  • 3
  • 1
Verfügbarkeit
  • 4865
  • 12
Katalog
  • 4877
  • 213
4.877  Titel
    Veni Madhavan | Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Veni Madhavan Foundations of Software Technology and Theoretical Computer Science

    Ninth Conference, Bangalore, India, December 19-21, 1989. Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52048-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Snepscheut | Mathematics of Program Construction | Buch | Sack Fachmedien

    Snepscheut Mathematics of Program Construction

    375th Anniversary of the Groningen University. International Conference, Groningen, The Netherlands, June 26-30, 1989 Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51305-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meinel | Modified Branching Programs and Their Computational Power | Buch | Sack Fachmedien

    Meinel Modified Branching Programs and Their Computational Power

    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51340-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Richter / Kleine Büning | CSL'88 | Buch | Sack Fachmedien

    Börger / Richter / Kleine Büning CSL'88

    2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51659-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Perrin / Gross | Electronic Dictionaries and Automata in Computational Linguistics | Buch | Sack Fachmedien

    Perrin / Gross Electronic Dictionaries and Automata in Computational Linguistics

    LITP Spring School in Theoretical Computer Science, Saint- Pierre d'Oleron, France, May 25-29, 1987. Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51465-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guessarian | Semantics of Systems of Concurrent Processes | Buch | Sack Fachmedien

    Guessarian Semantics of Systems of Concurrent Processes

    LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53479-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mattson / Rao / Mora | Applied Algebra, Algebraic Algorithms and Error-Correcting Codes | Buch | Sack Fachmedien

    Mattson / Rao / Mora Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

    9th International Symposium, AAECC-9, New Orleans, LA, USA, October 7-11, 1991. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54522-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borowik / Bolc | Many-Valued Logics 1 | Buch | Sack Fachmedien

    Borowik / Bolc Many-Valued Logics 1

    Theoretical Foundations
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55926-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reischuk / Puech | STACS 96 | Buch | Sack Fachmedien

    Reischuk / Puech STACS 96

    13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60922-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rozenberg / Reisig | Carl Adam Petri: Ideas, Personality, Impact | Buch | Sack Fachmedien

    Rozenberg / Reisig Carl Adam Petri: Ideas, Personality, Impact

    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-319-96153-8
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lamperti / Zhao / Zanella | Introduction to Diagnosis of Active Systems | Buch | Sack Fachmedien

    Lamperti / Zhao / Zanella Introduction to Diagnosis of Active Systems

    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-92731-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lee | Programming Languages | Buch | Sack Fachmedien

    Lee Programming Languages

    An Active Learning Approach
    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer US
    ISBN: 978-1-4419-4636-2
    Medium: Buch
    93,04 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Georgiou | Do-All Computing in Distributed Systems | Buch | Sack Fachmedien

    Georgiou Do-All Computing in Distributed Systems

    Cooperation in the Presence of Adversity
    Softcover Nachdruck of hardcover 1. Auflage 2008
    Verlag: Springer US
    ISBN: 978-1-4419-4043-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jongen / Triesch / Meer | Optimization Theory | Buch | Sack Fachmedien

    Jongen / Triesch / Meer Optimization Theory

    2004
    Verlag: Springer US
    ISBN: 978-1-4020-8098-2
    Medium: Buch
    106,99 € (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 MATLAB®
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-53804-9
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Béziau | Universal Logic: An Anthology | Buch | Sack Fachmedien

    Béziau Universal Logic: An Anthology

    From Paul Hertz to Dov Gabbay
    2012
    Verlag: Springer
    ISBN: 978-3-0346-0144-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Revilla / Skiena | Programming Challenges | Buch | Sack Fachmedien

    Revilla / Skiena Programming Challenges

    The Programming Contest Training Manual
    2003
    Verlag: Springer
    ISBN: 978-0-387-00163-0
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Riolo / Worzel / Soule | Genetic Programming Theory and Practice V | Buch | Sack Fachmedien

    Riolo / Worzel / Soule Genetic Programming Theory and Practice V

    2008
    Verlag: Springer US
    ISBN: 978-0-387-76307-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heath / Rosenberg | Graph Separators, with Applications | Buch | Sack Fachmedien

    Heath / Rosenberg Graph Separators, with Applications

    2002
    Verlag: Springer US
    ISBN: 978-0-306-46464-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer / Dunn | A Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures | Buch | Sack Fachmedien

    Meyer / Dunn A Parallel Algorithm Synthesis Procedure for High-Performance Computer Architectures

    2003
    Verlag: Springer US
    ISBN: 978-0-306-47743-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karhumäki / Rozenberg / Maurer | Theory Is Forever | Buch | Sack Fachmedien

    Karhumäki / Rozenberg / Maurer Theory Is Forever

    Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22393-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rolim / Nikoletseas | Algorithmic Aspects of Wireless Sensor Networks | Buch | Sack Fachmedien

    Rolim / Nikoletseas Algorithmic Aspects of Wireless Sensor Networks

    First International Workshop, ALGOSENSORS 2004, Turku, Finland, July 16, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22476-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Böckenhauer / Unger / Komm | Adventures Between Lower Bounds and Higher Altitudes | Buch | Sack Fachmedien

    Böckenhauer / Unger / Komm Adventures Between Lower Bounds and Higher Altitudes

    Essays Dedicated to Juraj Hromkovi¿ on the Occasion of His 60th Birthday
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-98354-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
    Beklemishev / Blass / Schulte | Fields of Logic and Computation II | Buch | Sack Fachmedien

    Beklemishev / Blass / Schulte Fields of Logic and Computation II

    Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23533-2
    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