Ergebnisse filtern
Fachgebiet
Medium
  • 4866
  • 31
  • 9
Erscheinungsjahr
  • 12
  • 32
  • 64
  • 62
  • 51
  • 68
  • 118
  • 133
  • 98
  • 134
  • 90
  • 142
  • 105
  • 145
  • 105
  • 248
  • 93
  • 173
  • 337
  • 310
  • 321
  • 243
  • 245
  • 226
  • 198
  • 145
  • 120
  • 112
  • 103
  • 90
  • 94
  • 85
  • 62
  • 58
  • 65
  • 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
  • 4
  • 7
  • 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
  • 2
  • 3
  • 2
  • 2
  • 6
  • 5
  • 4
  • 2
  • 2
  • 4
  • 3
  • 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
  • 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
  • 3
  • 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
  • 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
  • 2
  • 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
  • 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
  • 3
  • 3
  • 3
  • 6
  • 4
  • 6
  • 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
  • 24
  • 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
  • 4
  • 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
  • 19
  • 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
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 9
  • 3
  • 8
  • 3
  • 9
  • 3
  • 3
  • 5
  • 6
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 5
  • 52
  • 11
  • 3
  • 3
  • 5
  • 5
  • 7
  • 3
  • 20
  • 4
  • 6
  • 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
  • 3
  • 10
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 25
  • 6
  • 5
  • 6
  • 3
  • 16
  • 8
  • 4
  • 4
  • 3
  • 4
  • 10
  • 4
  • 8
  • 5
  • 4
  • 6
  • 4
  • 3
  • 6
  • 9
  • 5
  • 4
  • 5
  • 8
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
Verlag
  • 6
  • 2
  • 3
  • 3
  • 9
  • 4
  • 7
  • 5
  • 10
  • 1
  • 1
  • 2
  • 25
  • 4
  • 1
  • 3
  • 7
  • 48
  • 6
  • 3
  • 2
  • 3
  • 8
  • 6
  • 1
  • 2
  • 2
  • 1
  • 6
  • 4
  • 1
  • 2
  • 9
  • 1
  • 2
  • 1
  • 25
  • 1
  • 12
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 2
  • 9
  • 1
  • 1
  • 1426
  • 2061
  • 1
  • 515
  • 1
  • 3
  • 3
  • 35
  • 74
  • 1
  • 110
  • 77
  • 202
  • 4
  • 35
  • 3
  • 2
  • 1
  • 3
  • 8
  • 3
  • 36
  • 2
  • 30
  • 1
  • 1
  • 4
Preis
  • 15
  • 211
  • 3008
  • 1672
Sprachen
  • 4758
  • 143
  • 9
  • 3
  • 1
Verfügbarkeit
  • 4889
  • 17
Katalog
  • 4906
  • 217
4.906  Titel
    Martí-Oliet / Braga | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Martí-Oliet / Braga Formal Methods: Foundations and Applications

    17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-15074-1
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Breugel / Chechik | CONCUR 2008 - Concurrency Theory | Buch | Sack Fachmedien

    van Breugel / Chechik CONCUR 2008 - Concurrency Theory

    19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008, Proceedings
    2008
    Verlag: Springer
    ISBN: 978-3-540-85360-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mauri / Porreca / Dennunzio | Unconventional Computation and Natural Computation | Buch | Sack Fachmedien

    Mauri / Porreca / Dennunzio Unconventional Computation and Natural Computation

    12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-39073-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sannella / Fourman / Peng | Introduction to Computation | Buch | Sack Fachmedien

    Sannella / Fourman / Peng Introduction to Computation

    Haskell, Logic and Automata
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-76907-9
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kozen | Theory of Computation | Buch | Sack Fachmedien

    Kozen Theory of Computation

    1. Auflage. Softcover version of original hardcover Auflage 2006
    Verlag: Springer
    ISBN: 978-1-84996-571-2
    Medium: Buch
    85,55 € (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
    ISBN: 978-3-030-59259-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Friedrichsdorf | Einführung in die klassische und intensionale Logik | Buch | Sack Fachmedien

    Friedrichsdorf Einführung in die klassische und intensionale Logik

    1992
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-06489-1
    Medium: Buch
    69,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meduna / Soukup | Modern Language Models and Computation | Buch | Sack Fachmedien

    Meduna / Soukup Modern Language Models and Computation

    Theory with Applications
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-63099-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Correa / da Silva / de Castro Dutra | Models for Parallel and Distributed Computation | Buch | Sack Fachmedien

    Correa / da Silva / de Castro Dutra Models for Parallel and Distributed Computation

    Theory, Algorithmic Techniques and Applications
    1. Auflage. Softcover version of original hardcover Auflage 2002
    Verlag: Springer US
    ISBN: 978-1-4419-5219-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Czelakowski | Protoalgebraic Logics | Buch | Sack Fachmedien

    Czelakowski Protoalgebraic Logics

    1. Auflage. Softcover version of original hardcover Auflage 2001
    Verlag: Springer Netherlands
    ISBN: 978-90-481-5693-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jøsang | Subjective Logic | Buch | Sack Fachmedien

    Jøsang Subjective Logic

    A Formalism for Reasoning Under Uncertainty
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-42335-7
    Medium: Buch
    Lieferzeit ca. 10 Werktage
    Zur Detailseite
    Bultan / Yu / Alkhalaf | String Analysis for Software Verification and Security | Buch | Sack Fachmedien

    Bultan / Yu / Alkhalaf String Analysis for Software Verification and Security

    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-68668-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Feinsilver / Schott | Algebraic Structures and Operators Calculus | Buch | Sack Fachmedien

    Feinsilver / Schott Algebraic Structures and Operators Calculus

    Volume III: Representations of Lie Groups
    1996. Auflage 1995
    Verlag: Springer
    ISBN: 978-0-7923-3834-5
    Medium: Buch
    106,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Al-Turjman | Real-Time Intelligence for Heterogeneous Networks | Buch | Sack Fachmedien

    Al-Turjman Real-Time Intelligence for Heterogeneous Networks

    Applications, Challenges, and Scenarios in IoT HetNets
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-75613-0
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reisig | Elements of Distributed Algorithms | Buch | Sack Fachmedien

    Reisig Elements of Distributed Algorithms

    Modeling and Analysis with Petri Nets
    Softcover Nachdruck of the original 1. Auflage 1998
    Verlag: Springer
    ISBN: 978-3-642-08303-7
    Medium: Buch
    42,75 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coecke / Wilce / Moore | Current Research in Operational Quantum Logic | Buch | Sack Fachmedien

    Coecke / Wilce / Moore Current Research in Operational Quantum Logic

    Algebras, Categories, Languages
    Softcover version of original hardcover Auflage 2000
    Verlag: Springer Netherlands
    ISBN: 978-90-481-5437-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Besnard | An Introduction to Default Logic | Buch | Sack Fachmedien

    Besnard An Introduction to Default Logic

    1. Auflage. Softcover version of original hardcover Auflage 1989
    Verlag: Springer
    ISBN: 978-3-642-08078-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xu / Liu / Ruan | Lattice-Valued Logic | Buch | Sack Fachmedien

    Xu / Liu / Ruan Lattice-Valued Logic

    An Alternative Approach to Treat Fuzziness and Incomparability
    1. Auflage. Softcover version of original hardcover Auflage 2003
    Verlag: Springer
    ISBN: 978-3-642-07279-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hinchey / Schmeck / Pagnoni | Biologically-Inspired Collaborative Computing | Buch | Sack Fachmedien

    Hinchey / Schmeck / Pagnoni Biologically-Inspired Collaborative Computing

    IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy
    2008
    Verlag: Springer US
    ISBN: 978-0-387-09654-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Al-Turjman | Real-Time Intelligence for Heterogeneous Networks | Buch | Sack Fachmedien

    Al-Turjman Real-Time Intelligence for Heterogeneous Networks

    Applications, Challenges, and Scenarios in IoT HetNets
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-75616-1
    Medium: Buch
    171,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pudlák | Logical Foundations of Mathematics and Computational Complexity | Buch | Sack Fachmedien

    Pudlák Logical Foundations of Mathematics and Computational Complexity

    A Gentle Introduction
    Softcover Nachdruck of the original 1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-319-34268-9
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wegener | Highlights aus der Informatik | Buch | Sack Fachmedien

    Wegener Highlights aus der Informatik

    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60187-6
    Medium: Buch
    54,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Przigoda / Drechsler / Wille | Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers | Buch | Sack Fachmedien

    Przigoda / Drechsler / Wille Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-72813-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pudlák | Logical Foundations of Mathematics and Computational Complexity | Buch | Sack Fachmedien

    Pudlák Logical Foundations of Mathematics and Computational Complexity

    A Gentle Introduction
    2013
    Verlag: Springer
    ISBN: 978-3-319-00118-0
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Eveking | Verifikation digitaler Systeme | Buch | Sack Fachmedien

    Eveking Verifikation digitaler Systeme

    Eine Einführung in den Entwurf korrekter digitaler Systeme
    1991
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-02249-7
    Medium: Buch
    49,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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