Ergebnisse filtern
Fachgebiet
Medium
  • 4861
  • 30
  • 9
Erscheinungsjahr
  • 12
  • 31
  • 64
  • 62
  • 51
  • 68
  • 117
  • 134
  • 98
  • 134
  • 90
  • 141
  • 105
  • 145
  • 106
  • 248
  • 93
  • 172
  • 337
  • 310
  • 319
  • 241
  • 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
  • 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
  • 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
  • 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
  • 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
  • 4
  • 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
  • 3
  • 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
  • 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
  • 2
  • 3
  • 2
  • 9
  • 4
  • 6
  • 5
  • 10
  • 1
  • 1
  • 2
  • 24
  • 4
  • 1
  • 3
  • 7
  • 48
  • 6
  • 3
  • 2
  • 3
  • 8
  • 7
  • 1
  • 2
  • 2
  • 1
  • 6
  • 3
  • 1
  • 2
  • 9
  • 1
  • 2
  • 1
  • 25
  • 1
  • 11
  • 1
  • 1
  • 6
  • 1
  • 2
  • 1
  • 2
  • 9
  • 1
  • 1
  • 1311
  • 2087
  • 1
  • 587
  • 1
  • 3
  • 3
  • 1
  • 42
  • 85
  • 1
  • 110
  • 77
  • 202
  • 4
  • 35
  • 3
  • 2
  • 1
  • 1
  • 7
  • 3
  • 36
  • 2
  • 30
  • 1
  • 1
  • 3
Preis
  • 15
  • 206
  • 3002
  • 1677
Sprachen
  • 4752
  • 143
  • 9
  • 3
  • 1
Verfügbarkeit
  • 4884
  • 16
Katalog
  • 4900
  • 216
4.900  Titel
    Wirsching | The Dynamical System Generated by the 3n+1 Function | Buch | Sack Fachmedien

    Wirsching The Dynamical System Generated by the 3n+1 Function

    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63970-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Restall | An Introduction to Substructural Logics | Buch | Sack Fachmedien

    Restall An Introduction to Substructural Logics

    1. Auflage 1999
    Verlag: Routledge
    ISBN: 978-0-415-21534-3
    Medium: Buch
    57,10 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Heath / Schreiber / Ranade | Algorithms for Parallel Processing | Buch | Sack Fachmedien

    Heath / Schreiber / Ranade Algorithms for Parallel Processing

    1999
    Verlag: Springer
    ISBN: 978-0-387-98680-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steinmetz / Steinebach / Dittmann | Communications and Multimedia Security Issues of the New Century | Buch | Sack Fachmedien

    Steinmetz / Steinebach / Dittmann Communications and Multimedia Security Issues of the New Century

    IFIP TC6 / TC11 Fifth Joint Working Conference on Communications and Multimedia Security (CMS'01) May 21-22, 2001, Darmstadt, Germany
    2001
    Verlag: Springer US
    ISBN: 978-0-7923-7365-0
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krynicki / Szczerba / Mostowski | Quantifiers: Logics, Models and Computation | Buch | Sack Fachmedien

    Krynicki / Szczerba / Mostowski Quantifiers: Logics, Models and Computation

    Volume One: Surveys
    1995
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-3448-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cocchiarella | Formal Ontology and Conceptual Realism | Buch | Sack Fachmedien

    Cocchiarella Formal Ontology and Conceptual Realism

    1. Auflage. Softcover version of original hardcover Auflage 2007
    Verlag: Springer Netherlands
    ISBN: 978-90-481-7565-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Margaria | Leveraging Applications of Formal Methods, Verification and Validation | Buch | Sack Fachmedien

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

    Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-88478-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Avison / Kasper / Pernici | Advances in Information Systems Research, Education and Practice | Buch | Sack Fachmedien

    Avison / Kasper / Pernici Advances in Information Systems Research, Education and Practice

    Ifip 20th World Computer Congress, Tc 8, Information Systems, September 7-10, 2008, Milano, Italy
    2008. Auflage 2008
    Verlag: Springer Us
    ISBN: 978-0-387-09681-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Odintsov | Larisa Maksimova on Implication, Interpolation, and Definability | Buch | Sack Fachmedien

    Odintsov Larisa Maksimova on Implication, Interpolation, and Definability

    Softcover Nachdruck of the original 1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-88862-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Naish | Negation and Control in Prolog | Buch | Sack Fachmedien

    Naish Negation and Control in Prolog

    1986
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-16815-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Scholl / Molitor | Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen | Buch | Sack Fachmedien

    Scholl / Molitor Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen

    1999
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-02945-8
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nijholt | Context-Free Grammars | Buch | Sack Fachmedien

    Nijholt Context-Free Grammars

    Covers, Normal Forms, and Parsing
    1980
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-10245-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martínez / Goles | Complex Systems | Buch | Sack Fachmedien

    Martínez / Goles Complex Systems

    2001
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-6830-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Glück / Winter / Santocanale | Relational and Algebraic Methods in Computer Science | Buch | Sack Fachmedien

    Glück / Winter / Santocanale Relational and Algebraic Methods in Computer Science

    20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer International Publishing
    ISBN: 978-3-031-28082-5
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ortiz / Meier | Foundations of Information and Knowledge Systems | Buch | Sack Fachmedien

    Ortiz / Meier Foundations of Information and Knowledge Systems

    13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-56939-5
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hinchey / Olderog / Bowen | Provably Correct Systems | Buch | Sack Fachmedien

    Hinchey / Olderog / Bowen Provably Correct Systems

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-83980-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhan / Zhao / Wang | Formal Verification of Simulink/Stateflow Diagrams | Buch | Sack Fachmedien

    Zhan / Zhao / Wang Formal Verification of Simulink/Stateflow Diagrams

    A Deductive Approach
    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-83638-6
    Medium: Buch
    123,04 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sikos | Description Logics in Multimedia Reasoning | Buch | Sack Fachmedien

    Sikos Description Logics in Multimedia Reasoning

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-85308-6
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lindenstrauss / Dershowitz | Conditional and Typed Rewriting Systems | Buch | Sack Fachmedien

    Lindenstrauss / Dershowitz Conditional and Typed Rewriting Systems

    4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60381-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jouannaud | Constraints in Computational Logics | Buch | Sack Fachmedien

    Jouannaud Constraints in Computational Logics

    First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58403-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smith | Elementare Berechenbarkeitstheorie | Buch | Sack Fachmedien

    Smith Elementare Berechenbarkeitstheorie

    1996
    Verlag: J.B. Metzler
    ISBN: 978-3-540-60667-3
    Medium: Buch
    22,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arnold | CAAP '90 | Buch | Sack Fachmedien

    Arnold CAAP '90

    15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings
    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52590-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Akl / Fiala / Koczkodaj | Advances in Computing and Information - ICCI '90 | Buch | Sack Fachmedien

    Akl / Fiala / Koczkodaj Advances in Computing and Information - ICCI '90

    International Conference on Computing and Information Niagara Falls, Canada, May 23-26, 1990. Proceedings
    Erscheinungsjahr 1991
    Verlag: Springer
    ISBN: 978-3-540-53504-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Melichar / Alblas | Attribute Grammars, Applications and Systems | Buch | Sack Fachmedien

    Melichar / Alblas Attribute Grammars, Applications and Systems

    International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54572-9
    Medium: Buch
    53,49 € (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
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-18820-1
    Medium: Buch
    53,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
    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-82555-7
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lin / Potapov / Zetzsche | Reachability Problems | Buch | Sack Fachmedien

    Lin / Potapov / Zetzsche Reachability Problems

    16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-19134-3
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Varzinczak | Foundations of Information and Knowledge Systems | Buch | Sack Fachmedien

    Varzinczak Foundations of Information and Knowledge Systems

    12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-031-11320-8
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kan / Ma | Non-logic Devices in Logic Processes | Buch | Sack Fachmedien

    Kan / Ma Non-logic Devices in Logic Processes

    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-48337-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baskent / Baskent / Ramanujam | Rohit Parikh on Logic, Language and Society | Buch | Sack Fachmedien

    Baskent / Baskent / Ramanujam Rohit Parikh on Logic, Language and Society

    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-47842-5
    Medium: Buch
    117,69 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grabowski / Wechler / Lescanne | Algebraic and Logic Programming | Buch | Sack Fachmedien

    Grabowski / Wechler / Lescanne Algebraic and Logic Programming

    International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings
    1988
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-50667-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sturmfels | Algorithms in Invariant Theory | Buch | Sack Fachmedien

    Sturmfels Algorithms in Invariant Theory

    2. Auflage; VII, 197 pp.; 5 figs. 2008
    Verlag: Springer
    ISBN: 978-3-211-77416-8
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Claus | Stochastische Automaten | Buch | Sack Fachmedien

    Claus Stochastische Automaten

    1. Auflage 1971
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-00006-8
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thalheim / Gerhardt / Demetrovics | MFDBS 91 | Buch | Sack Fachmedien

    Thalheim / Gerhardt / Demetrovics MFDBS 91

    3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54009-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Logic Programming and Automated Reasoning | Buch | Sack Fachmedien

    Voronkov Logic Programming and Automated Reasoning

    4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56944-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Börger / Schönfeld / Kleine Büning | Computer Science Logic | Buch | Sack Fachmedien

    Börger / Schönfeld / Kleine Büning Computer Science Logic

    4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54487-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maurer | New Results and New Trends in Computer Science | Buch | Sack Fachmedien

    Maurer New Results and New Trends in Computer Science

    Graz, Austria, June 20-21, 1991 Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54869-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Briot / Yonezawa / Geib | Object-Based Parallel and Distributed Computation | Buch | Sack Fachmedien

    Briot / Yonezawa / Geib Object-Based Parallel and Distributed Computation

    France-Japan Workshop, OBPDC'95, Tokyo, Japan, June 21 - 23, 1995, Selected Papers
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61487-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rolim / Ferreira | Parallel Algorithms for Irregularly Structured Problems | Buch | Sack Fachmedien

    Rolim / Ferreira Parallel Algorithms for Irregularly Structured Problems

    Second International Workshop, IRREGULAR '95, Lyon, France, September 4 - 6, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60321-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hankin | Programming Languages and Systems | Buch | Sack Fachmedien

    Hankin Programming Languages and Systems

    7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64302-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Boer / Bonsangue / Graf | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    de Boer / Bonsangue / Graf Formal Methods for Components and Objects

    Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29131-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kouchnarenko / Julliand | B 2007: Formal Specification and Development in B | Buch | Sack Fachmedien

    Kouchnarenko / Julliand B 2007: Formal Specification and Development in B

    7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68760-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferguson | Meaning and Proscription in Formal Logic | Buch | Sack Fachmedien

    Ferguson Meaning and Proscription in Formal Logic

    Variations on the Propositional Logic of William T. Parry
    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-88997-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Etalle / Truszczynski | Logic Programming | Buch | Sack Fachmedien

    Etalle / Truszczynski Logic Programming

    22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-36635-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schwichtenberg / Berger | Computational Logic | Buch | Sack Fachmedien

    Schwichtenberg / Berger Computational Logic

    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64589-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leporati / Martín-Vide / Shapira | Language and Automata Theory and Applications | Buch | Sack Fachmedien

    Leporati / Martín-Vide / Shapira Language and Automata Theory and Applications

    14th International Conference, LATA 2020, Milan, Italy, March 4-6, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-40607-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vitanyi / Tel | Distributed Algorithms | Buch | Sack Fachmedien

    Vitanyi / Tel Distributed Algorithms

    8th International Workshop, WDAG 1994, Terschelling, The Netherlands, September 29 - October 1, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58449-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tuyls / Nowe / Guessoum | Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning | Buch | Sack Fachmedien

    Tuyls / Nowe / Guessoum Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning

    Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77947-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dybjer / Smith / Nordström | Types for Proofs and Programs | Buch | Sack Fachmedien

    Dybjer / Smith / Nordström Types for Proofs and Programs

    International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60579-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peled | Software Reliability Methods | Buch | Sack Fachmedien

    Peled Software Reliability Methods

    2001
    Verlag: Springer
    ISBN: 978-1-4419-2876-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vollmar | Algorithmen in Zellularautomaten | Buch | Sack Fachmedien

    Vollmar Algorithmen in Zellularautomaten

    Eine Einführung
    1979
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-02350-0
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marzullo / Babaoglu | Distributed Algorithms | Buch | Sack Fachmedien

    Marzullo / Babaoglu Distributed Algorithms

    10th International Workshop, WDAG '96, Bologna, Italy, October 9 - 11, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61769-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Römer / Karl / Mattern | Wireless Sensor Networks | Buch | Sack Fachmedien

    Römer / Karl / Mattern Wireless Sensor Networks

    Third European Workshop, EWSN 2006, Zurich, Switzerland, February 13-15, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-32158-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Herik / Donkers / Hsu | Advances in Computer Games | Buch | Sack Fachmedien

    Herik / Donkers / Hsu Advances in Computer Games

    11th International Conference, ACG 2005, Taipei, Taiwan, September 6-8, 2005. Revised Papers
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-48887-3
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Coninx / Luyten / Schneider | Task Models and Diagrams for Users Interface Design | Buch | Sack Fachmedien

    Coninx / Luyten / Schneider Task Models and Diagrams for Users Interface Design

    5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006, Revised Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-70815-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Foster / Lutton / Tezzamanzi | Genetic Programming | Buch | Sack Fachmedien

    Foster / Lutton / Tezzamanzi Genetic Programming

    5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43378-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Klein | Concrete and Abstract Voronoi Diagrams | Buch | Sack Fachmedien

    Klein Concrete and Abstract Voronoi Diagrams

    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52055-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Filliatre / Paulin-Mohring / Werner | Types for Proofs and Programs | Buch | Sack Fachmedien

    Filliatre / Paulin-Mohring / Werner Types for Proofs and Programs

    International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-31428-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sloot / Abramson / Gorbachev | Computational Science - ICCS 2003 | Buch | Sack Fachmedien

    Sloot / Abramson / Gorbachev Computational Science - ICCS 2003

    International Conference Melbourne, Australia and St. Petersburg, Russia June 2-4, 2003 Proceedings, Part I
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40194-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ishikawa / Doya / Miyamoto | Neural Information Processing | Buch | Sack Fachmedien

    Ishikawa / Doya / Miyamoto Neural Information Processing

    14th International Confernce, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69159-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brauer | Automatentheorie | Buch | Sack Fachmedien

    Brauer Automatentheorie

    Eine Einführung in die Theorie endlicher Automaten
    Erscheinungsjahr 1984
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-02251-0
    Medium: Buch
    49,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Back / Bäck / Bdck | Evolutionary Algorithms in Theory and Practice | Buch | Sack Fachmedien

    Back / Bäck / Bdck Evolutionary Algorithms in Theory and Practice

    Evolution Strategies, Evolutionary Programming, Genetic Algorithms
    Erscheinungsjahr 1996
    Verlag: Oxford University Press
    ISBN: 978-0-19-509971-3
    Medium: Buch
    337,20 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krantz | Handbook of Logic and Proof Techniques for Computer Science | Buch | Sack Fachmedien

    Krantz Handbook of Logic and Proof Techniques for Computer Science

    2002. Auflage 2002
    Verlag: Birkhauser Boston
    ISBN: 978-0-8176-4220-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Switching Networks: Recent Advances | Buch | Sack Fachmedien

    Switching Networks: Recent Advances

    2001. Auflage 2001
    Verlag: Springer Us
    ISBN: 978-0-7923-6953-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ao / Rieger / Chen | Advances in Computational Algorithms and Data Analysis | Buch | Sack Fachmedien

    Ao / Rieger / Chen Advances in Computational Algorithms and Data Analysis

    2009. Auflage 2008
    Verlag: Springer
    ISBN: 978-1-4020-8918-3
    Medium: Buch
    160,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 JavaScript(TM)
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-53819-3
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kontinen / Herzig | Foundations of Information and Knowledge Systems | Buch | Sack Fachmedien

    Kontinen / Herzig Foundations of Information and Knowledge Systems

    11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-39950-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rot / Petrisan / Petrisan | Coalgebraic Methods in Computer Science | Buch | Sack Fachmedien

    Rot / Petrisan / Petrisan Coalgebraic Methods in Computer Science

    15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-57200-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Falcone / Bartocci | Lectures on Runtime Verification | Buch | Sack Fachmedien

    Falcone / Bartocci Lectures on Runtime Verification

    Introductory and Advanced Topics
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-75631-8
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vrain / Lachiche | Inductive Logic Programming | Buch | Sack Fachmedien

    Vrain / Lachiche Inductive Logic Programming

    27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-78089-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benevides / Madeira | Dynamic Logic. New Trends and Applications | Buch | Sack Fachmedien

    Benevides / Madeira Dynamic Logic. New Trends and Applications

    First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-73578-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dutle / Narkawicz / Muñoz | NASA Formal Methods | Buch | Sack Fachmedien

    Dutle / Narkawicz / Muñoz NASA Formal Methods

    10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-77934-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Verlan / Stepney | Unconventional Computation and Natural Computation | Buch | Sack Fachmedien

    Verlan / Stepney Unconventional Computation and Natural Computation

    17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-92434-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roux / Khomenko | Application and Theory of Petri Nets and Concurrency | Buch | Sack Fachmedien

    Roux / Khomenko Application and Theory of Petri Nets and Concurrency

    39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-91267-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reynier / Potapov | Reachability Problems | Buch | Sack Fachmedien

    Reynier / Potapov Reachability Problems

    12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-030-00249-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dietz / Doty | DNA Computing and Molecular Programming | Buch | Sack Fachmedien

    Dietz / Doty DNA Computing and Molecular Programming

    24th International Conference, DNA 24, Jinan, China, October 8-12, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-030-00029-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hutton | Mathematics of Program Construction | Buch | Sack Fachmedien

    Hutton Mathematics of Program Construction

    13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-33635-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mariani / Finkbeiner | Runtime Verification | Buch | Sack Fachmedien

    Mariani / Finkbeiner Runtime Verification

    19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-32078-2
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Csöndes / Réthy / Kovács | SDL 2017: Model-Driven Engineering for Future Internet | Buch | Sack Fachmedien

    Csöndes / Réthy / Kovács SDL 2017: Model-Driven Engineering for Future Internet

    18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-68014-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Geeraerts / Abate | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Geeraerts / Abate Formal Modeling and Analysis of Timed Systems

    15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-65764-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bracciali / Tagliaferri / Caravagna | Computational Intelligence Methods for Bioinformatics and Biostatistics | Buch | Sack Fachmedien

    Bracciali / Tagliaferri / Caravagna Computational Intelligence Methods for Bioinformatics and Biostatistics

    13th International Meeting, CIBB 2016, Stirling, UK, September 1-3, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-67833-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petrucci / Cavalcanti / Seceleanu | Critical Systems: Formal Methods and Automated Verification | Buch | Sack Fachmedien

    Petrucci / Cavalcanti / Seceleanu Critical Systems: Formal Methods and Automated Verification

    Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-67112-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Queiroz / Kennedy | Logic, Language, Information, and Computation | Buch | Sack Fachmedien

    de Queiroz / Kennedy Logic, Language, Information, and Computation

    24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-662-55385-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Foret / Pogodalla / Muskens | Formal Grammar | Buch | Sack Fachmedien

    Foret / Pogodalla / Muskens Formal Grammar

    22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-662-56342-7
    Medium: Buch
    44,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Xie / El-Alfy | Neural Information Processing | Buch | Sack Fachmedien

    Liu / Xie / El-Alfy Neural Information Processing

    24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part IV
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-70092-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Xie / El-Alfy | Neural Information Processing | Buch | Sack Fachmedien

    Liu / Xie / El-Alfy Neural Information Processing

    24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part V
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-70138-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Narayan Kumar / D'Souza | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Narayan Kumar / D'Souza Automated Technology for Verification and Analysis

    15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-68166-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Katoen / Rensink / Langerak | ModelEd, TestEd, TrustEd | Buch | Sack Fachmedien

    Katoen / Rensink / Langerak ModelEd, TestEd, TrustEd

    Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-68269-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tzoref-Brill / Strichman | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Tzoref-Brill / Strichman Hardware and Software: Verification and Testing

    13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-319-70388-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Charlier / Rigo / Leroy | Developments in Language Theory | Buch | Sack Fachmedien

    Charlier / Rigo / Leroy Developments in Language Theory

    21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-319-62808-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pacuit / Sikos | At the Intersection of Language, Logic, and Information | Buch | Sack Fachmedien

    Pacuit / Sikos At the Intersection of Language, Logic, and Information

    ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6-17, 2018, Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-662-59619-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Watada / Gopal | Theory and Applications of Models of Computation | Buch | Sack Fachmedien

    Watada / Gopal Theory and Applications of Models of Computation

    15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-14811-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Manuel / Khan | Logic and Its Applications | Buch | Sack Fachmedien

    Manuel / Khan Logic and Its Applications

    8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-662-58770-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haar / Donatelli | Application and Theory of Petri Nets and Concurrency | Buch | Sack Fachmedien

    Haar / Donatelli Application and Theory of Petri Nets and Concurrency

    40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-21570-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martí-Oliet / Escobar | Rewriting Logic and Its Applications | Buch | Sack Fachmedien

    Martí-Oliet / Escobar Rewriting Logic and Its Applications

    13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-63594-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Uustalu / Fischer | Theoretical Aspects of Computing - ICTAC 2018 | Buch | Sack Fachmedien

    Uustalu / Fischer Theoretical Aspects of Computing - ICTAC 2018

    15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-030-02507-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mousavi / Massoni | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Mousavi / Massoni Formal Methods: Foundations and Applications

    21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-030-03043-8
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    LANCASTER / Berlin | CMOS Cookbook | Buch | Sack Fachmedien

    LANCASTER / Berlin CMOS Cookbook

    2. Auflage 1988
    Verlag: Elsevier Science & Technology
    ISBN: 978-0-7506-9943-3
    Medium: Buch
    Lieferzeit ca. 10 Werktage
    Zur Detailseite
    Barwise | The Syntax and Semantics of Infinitary Languages | Buch | Sack Fachmedien

    Barwise The Syntax and Semantics of Infinitary Languages

    1. Auflage 1968
    Verlag: Springer
    ISBN: 978-3-540-04242-6
    Medium: Buch
    48,14 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ao / Chen / Rieger | Advances in Computational Algorithms and Data Analysis | Buch | Sack Fachmedien

    Ao / Chen / Rieger Advances in Computational Algorithms and Data Analysis

    1. Auflage. Softcover version of original hardcover Auflage 2009
    Verlag: Springer Netherlands
    ISBN: 978-90-481-8027-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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