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
    Olsson / Keen | The Jr Programming Language | Buch | Sack Fachmedien

    Olsson / Keen The Jr Programming Language

    Concurrent Programming in an Extended Java
    2004. Auflage 2004
    Verlag: Springer Us
    ISBN: 978-1-4020-8085-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jensen | Coloured Petri Nets | Buch | Sack Fachmedien

    Jensen Coloured Petri Nets

    Basic Concepts, Analysis Methods and Practical Use. Volume 2
    1. Auflage 1995. 2. corr. printing. Softcover version of original hardcover Auflage 1995
    Verlag: Springer
    ISBN: 978-3-642-08200-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schuster | Robust Intelligent Systems | Buch | Sack Fachmedien

    Schuster Robust Intelligent Systems

    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-1-84996-765-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Syropoulos | Hypercomputation: Computing Beyond the Church-Turing Barrier | Buch | Sack Fachmedien

    Syropoulos Hypercomputation: Computing Beyond the Church-Turing Barrier

    2008
    Verlag: SPRINGER NATURE
    ISBN: 978-0-387-30886-9
    Medium: Buch
    110,50 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Schade | Innere-Punkte-Verfahren mit Redundanzerkennung für die Quadratische Optimierung | Buch | Sack Fachmedien

    Schade Innere-Punkte-Verfahren mit Redundanzerkennung für die Quadratische Optimierung

    2008
    Verlag: Gabler Verlag
    ISBN: 978-3-8349-1019-6
    Medium: Buch
    69,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Warren / Dahl / Rossi | Prolog: The Next 50 Years | Buch | Sack Fachmedien

    Warren / Dahl / Rossi Prolog: The Next 50 Years

    1. Auflage 2023
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-35253-9
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Küppers | The Language of Living Matter | Buch | Sack Fachmedien

    Küppers The Language of Living Matter

    How Molecules Acquire Meaning
    1. Auflage 2022
    Verlag: Springer International Publishing
    ISBN: 978-3-030-80321-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baratgin / Jacquet / Yama | Human and Artificial Rationalities | Buch | Sack Fachmedien

    Baratgin / Jacquet / Yama Human and Artificial Rationalities

    Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-55244-1
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jerraya / Nicolescu | Global Specification and Validation of Embedded Systems | Buch | Sack Fachmedien

    Jerraya / Nicolescu Global Specification and Validation of Embedded Systems

    Integrating Heterogeneous Components
    Softcover Nachdruck of hardcover 1. Auflage 2007
    Verlag: Springer Netherlands
    ISBN: 978-90-481-7550-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Centrone / Sarikaya / Kant | Reflections on the Foundations of Mathematics | Buch | Sack Fachmedien

    Centrone / Sarikaya / Kant Reflections on the Foundations of Mathematics

    Univalent Foundations, Set Theory and General Thoughts
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-15657-2
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kuo / Tsai / Tadjpour | Precoding Techniques for Digital Communication Systems | Buch | Sack Fachmedien

    Kuo / Tsai / Tadjpour Precoding Techniques for Digital Communication Systems

    2008. Auflage 2008
    Verlag: Springer Us
    ISBN: 978-0-387-71768-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Flierl / Girod | Video Coding with Superimposed Motion-Compensated Signals | Buch | Sack Fachmedien

    Flierl / Girod Video Coding with Superimposed Motion-Compensated Signals

    Applications to H.264 and Beyond
    2004. Auflage 2004
    Verlag: Springer Us
    ISBN: 978-1-4020-7759-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nam / Rhee | Information Security and Cryptology - ICISC 2007 | Buch | Sack Fachmedien

    Nam / Rhee Information Security and Cryptology - ICISC 2007

    10th International Conference, Seoul, Korea, November 29-30, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-76787-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pal / Biswas | Pattern Recognition and Machine Intelligence | Buch | Sack Fachmedien

    Pal / Biswas Pattern Recognition and Machine Intelligence

    First International Conference, PReMI 2005, Kolkata, India, December 20-22, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-30506-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Almeida / Blesa Aguilera / Blum | Hybrid Metaheuristics | Buch | Sack Fachmedien

    Almeida / Blesa Aguilera / Blum Hybrid Metaheuristics

    Third International Workshop, HM 2006, Gran Canaria, Spain, October 13-14, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-46384-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martinez / Amgoud / Molinaro | A General Framework for Reasoning On Inconsistency | Buch | Sack Fachmedien

    Martinez / Amgoud / Molinaro A General Framework for Reasoning On Inconsistency

    2013
    Verlag: Springer
    ISBN: 978-1-4614-6749-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frické | Logic and the Organization of Information | Buch | Sack Fachmedien

    Frické Logic and the Organization of Information

    2012
    Verlag: Springer
    ISBN: 978-1-4614-3087-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gumm / Sommer | Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität | eBook | Sack Fachmedien
    E-Book

    Gumm / Sommer Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität

    1. Auflage 2019
    Verlag: De Gruyter
    ISBN: 978-3-11-043405-7
    Medium: eBook
    Format: EPUB
     Kopierschutz: 6 - ePub Watermark
    54,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Cady | Microcontrollers and Microcomputers Principles of Software and Hardware Engineering | Buch | Sack Fachmedien

    Cady Microcontrollers and Microcomputers Principles of Software and Hardware Engineering

    2. Auflage 2009
    Verlag: OUP USA
    ISBN: 978-0-19-537161-1
    Medium: Buch
    124,50 € (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-21533-6
    Medium: Buch
    190,40 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hartnett | Foundations of Coding Theory | Buch | Sack Fachmedien

    Hartnett Foundations of Coding Theory

    1974. Auflage 1974
    Verlag: Springer
    ISBN: 978-90-277-0536-5
    Medium: Buch
    96,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Konar | Cognitive Engineering | Buch | Sack Fachmedien

    Konar Cognitive Engineering

    A Distributed Approach to Machine Intelligence
    2005. Auflage 2005
    Verlag: Springer
    ISBN: 978-1-85233-975-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brameier / Banzhaf | Linear Genetic Programming | Buch | Sack Fachmedien

    Brameier / Banzhaf Linear Genetic Programming

    2007. Auflage 2006
    Verlag: Springer Us
    ISBN: 978-0-387-31029-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giacobini / Minner / Brabazon | Applications of Evolutionary Computing | Buch | Sack Fachmedien

    Giacobini / Minner / Brabazon Applications of Evolutionary Computing

    EvoWorkshops 2007:EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, Spain, April 11-13, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71804-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Farach-Colton | LATIN 2004: Theoretical Informatics | Buch | Sack Fachmedien

    Farach-Colton LATIN 2004: Theoretical Informatics

    6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21258-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Faigle / Still / Kern | Algorithmic Principles of Mathematical Programming | Buch | Sack Fachmedien

    Faigle / Still / Kern Algorithmic Principles of Mathematical Programming

    1. Auflage. Softcover version of original hardcover Auflage 2002
    Verlag: Springer Netherlands
    ISBN: 978-90-481-6117-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Libkin | Elements of Finite Model Theory | Buch | Sack Fachmedien

    Libkin Elements of Finite Model Theory

    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-05948-3
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karchmer | Communication Complexity: A New Approach to Circuit Depth | Buch | Sack Fachmedien

    Karchmer Communication Complexity: A New Approach to Circuit Depth

    Revised
    Verlag: Penguin Random House LLC
    ISBN: 978-0-262-61188-6
    Medium: Buch
    19,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paepcke | Object-Oriented Programming: The CLOS Perspective | Buch | Sack Fachmedien

    Paepcke Object-Oriented Programming: The CLOS Perspective

    Erscheinungsjahr 1993
    Verlag: Penguin Random House LLC
    ISBN: 978-0-262-66175-1
    Medium: Buch
    41,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Editor-in-Chief: Sylvain Salvati | Journal of Logic, Language and Information | Zeitschrift | Sack Fachmedien

    Editor-in-Chief: Sylvain Salvati Journal of Logic, Language and Information

    Verlag: Springer
    ISSN: 15729583
    Medium: Zeitschrift
    Institutionen - Online
    743,65 € (inkl. MwSt.)
    Bereits im Warenkorb
    Mathematical Logic Quarterly | Zeitschrift | Sack Fachmedien

    Mathematical Logic Quarterly

    Verlag: Wiley-VCH
    ISSN: 15213870
    Medium: Zeitschrift
    Institutionen - Online
    1.733,40 € (inkl. MwSt.)
    Bereits im Warenkorb
    Journal of Logic and Computation | Zeitschrift | Sack Fachmedien

    Journal of Logic and Computation

    Verlag: Oxford University Press
    ISSN: 0955792X
    Medium: Zeitschrift
    Zur Detailseite
    Hedtstück | Einführung in die Theoretische Informatik | eBook | Sack Fachmedien
    E-Book

    Hedtstück Einführung in die Theoretische Informatik

    Formale Sprachen und Automatentheorie
    5. überarbeitete Aufl 2012
    Verlag: De Gruyter
    ISBN: 978-3-486-71896-6
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    34,95 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Ohlbach / Gabbay | Practical Reasoning | Buch | Sack Fachmedien

    Ohlbach / Gabbay Practical Reasoning

    International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61313-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vytopil | Formal Techniques in Real-Time and Fault-Tolerant Systems | Buch | Sack Fachmedien

    Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems

    Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55092-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dehne / Sack / Santoro | Algorithms and Data Structures | Buch | Sack Fachmedien

    Dehne / Sack / Santoro Algorithms and Data Structures

    Third Workshop, WADS '93, Montreal, Canada, August 11-13, 1993. Proceedings
    1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-57155-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakker / Rozenberg / Roever | Current Trends in Concurrency | Buch | Sack Fachmedien

    Bakker / Rozenberg / Roever Current Trends in Concurrency

    Overviews and Tutorials
    1986
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-16488-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Overbeek / Lusk | 9th International Conference on Automated Deduction | Buch | Sack Fachmedien

    Overbeek / Lusk 9th International Conference on Automated Deduction

    Argonne, Illinois, USA, May 23-26, 1988. Proceedings
    1988
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-19343-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Monien / Meyer auf der Heide | Automata, Languages and Programming | Buch | Sack Fachmedien

    Monien / Meyer auf der Heide Automata, Languages and Programming

    23rd International Colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61440-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paterson | Automata, Languages and Programming | Buch | Sack Fachmedien

    Paterson Automata, Languages and Programming

    17th International Colloquium, Warwick University, England, July 16-20, 1990, Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52826-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stickel | 10th International Conference on Automated Deduction | Buch | Sack Fachmedien

    Stickel 10th International Conference on Automated Deduction

    Kaiserslautern, FRG, July 24-27, 1990. Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52885-2
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kim / Jonassen | Algorithms in Bioinformatics | Buch | Sack Fachmedien

    Kim / Jonassen Algorithms in Bioinformatics

    4th International Workshop, WABI 2004, Bergen, Norway, September 17-21, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23018-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Spedicato | Algorithms for Continuous Optimization | Buch | Sack Fachmedien

    Spedicato Algorithms for Continuous Optimization

    The State of the Art
    1994. Auflage 1994
    Verlag: Springer
    ISBN: 978-0-7923-2859-9
    Medium: Buch
    97,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Slezak / Yao / Szczuka | Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing | Buch | Sack Fachmedien

    Slezak / Yao / Szczuka Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing

    10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-28653-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov / Sutcliffe | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Voronkov / Sutcliffe Logic for Programming, Artificial Intelligence, and Reasoning

    12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-30553-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Knudsen | Advances in Cryptology - EUROCRYPT 2002 | Buch | Sack Fachmedien

    Knudsen Advances in Cryptology - EUROCRYPT 2002

    International Conference on the Theory and Applications of Cryptographic Techniques, Amsterdam, The Netherlands, April 28 - May 2, 2002 Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43553-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Ball | Computer Aided Verification | Buch | Sack Fachmedien

    Jones / Ball Computer Aided Verification

    18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    2006
    Verlag: Springer
    ISBN: 978-3-540-37406-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arge / Jurdzinski / Cachin | Automata, Languages and Programming | Buch | Sack Fachmedien

    Arge / Jurdzinski / Cachin Automata, Languages and Programming

    34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-73419-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bosma | Algorithmic Number Theory | Buch | Sack Fachmedien

    Bosma Algorithmic Number Theory

    4th International Symposium, ANTS-IV Leiden, The Netherlands, July 2-7, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67695-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Orlowska / Demri | Incomplete Information: Structure, Inference, Complexity | Buch | Sack Fachmedien

    Orlowska / Demri Incomplete Information: Structure, Inference, Complexity

    1. Auflage. Softcover version of original hardcover Auflage 2002
    Verlag: Springer
    ISBN: 978-3-642-07540-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taylor / Shields / Deelman | Workflows for e-Science | Buch | Sack Fachmedien

    Taylor / Shields / Deelman Workflows for e-Science

    Scientific Workflows for Grids
    1. Auflage. Softcover version of original hardcover Auflage 2007
    Verlag: Springer
    ISBN: 978-1-84996-619-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang | Handbook of Finite State Based Models and Applications | Buch | Sack Fachmedien

    Wang Handbook of Finite State Based Models and Applications

    1. Auflage 2012
    Verlag: Chapman and Hall/CRC
    ISBN: 978-1-4398-4618-6
    Medium: Buch
    213,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wermter / Willshaw / Austin | Emergent Neural Computational Architectures Based on Neuroscience | Buch | Sack Fachmedien

    Wermter / Willshaw / Austin Emergent Neural Computational Architectures Based on Neuroscience

    Towards Neuroscience-Inspired Computing
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42363-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alvarez / Mira | Artificial Neural Nets. Problem Solving Methods | Buch | Sack Fachmedien

    Alvarez / Mira Artificial Neural Nets. Problem Solving Methods

    7th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2003, Maó, Menorca, Spain, June 3-6. Proceedings, Part II
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40211-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vaidyanathan / Trahan | Dynamic Reconfiguration | Buch | Sack Fachmedien

    Vaidyanathan / Trahan Dynamic Reconfiguration

    Architectures and Algorithms
    2003. Auflage 2004
    Verlag: Springer Us
    ISBN: 978-0-306-48189-5
    Medium: Buch
    96,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bhanu / Lin / Krawiec | Evolutionary Synthesis of Pattern Recognition Systems | Buch | Sack Fachmedien

    Bhanu / Lin / Krawiec Evolutionary Synthesis of Pattern Recognition Systems

    2005. Auflage 2005
    Verlag: Springer
    ISBN: 978-0-387-21295-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giunchiglia / Walsh | SAT 2005 | Buch | Sack Fachmedien

    Giunchiglia / Walsh SAT 2005

    Satisfiability Research in the Year 2005
    2006. Auflage 2006
    Verlag: Springer
    ISBN: 978-1-4020-4552-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Navas / Chakraborty | Verified Software. Theories, Tools, and Experiments | Buch | Sack Fachmedien

    Navas / Chakraborty Verified Software. Theories, Tools, and Experiments

    11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-41599-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parker / Biere | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Parker / Biere Tools and Algorithms for the Construction and Analysis of Systems

    26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-45189-9
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Christakis / Schrammel / Polikarpova | Software Verification | Buch | Sack Fachmedien

    Christakis / Schrammel / Polikarpova Software Verification

    12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-63617-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zenil | Cellular Automata and Discrete Complex Systems | Buch | Sack Fachmedien

    Zenil Cellular Automata and Discrete Complex Systems

    26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10-12, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer International Publishing
    ISBN: 978-3-030-61587-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tasson / Kiefer | Foundations of Software Science and Computation Structures | Buch | Sack Fachmedien

    Tasson / Kiefer Foundations of Software Science and Computation Structures

    24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-71994-4
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sacerdoti Coen / Hanus | Functional and Constraint Logic Programming | Buch | Sack Fachmedien

    Sacerdoti Coen / Hanus Functional and Constraint Logic Programming

    28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-75332-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Massink / Cleophas | Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops | Buch | Sack Fachmedien

    Massink / Cleophas Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops

    ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-67219-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Méry / Raschke | Rigorous State-Based Methods | Buch | Sack Fachmedien

    Méry / Raschke Rigorous State-Based Methods

    8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-030-77542-1
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Legay | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Margaria / Legay Tools and Algorithms for the Construction and Analysis of Systems

    23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-662-54576-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Amblard / Retoré / de Groote | Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) | Buch | Sack Fachmedien

    Amblard / Retoré / de Groote Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016)

    9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-53825-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kakas / Michael | Logics in Artificial Intelligence | Buch | Sack Fachmedien

    Kakas / Michael Logics in Artificial Intelligence

    15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-48757-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Margaria | Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques | Buch | Sack Fachmedien

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

    7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-47165-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lecomte / Ribeiro | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Lecomte / Ribeiro Formal Methods: Foundations and Applications

    19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-49814-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Artho / Peled / Legay | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Artho / Peled / Legay Automated Technology for Verification and Analysis

    14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-46519-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kühn / De Nicola | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Kühn / De Nicola Software Engineering and Formal Methods

    14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-41590-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Castor | Programming Languages | Buch | Sack Fachmedien

    Liu / Castor Programming Languages

    20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-45278-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prasad / Ghosh | Logic and Its Applications | Buch | Sack Fachmedien

    Prasad / Ghosh Logic and Its Applications

    7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-662-54068-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Drewes | Implementation and Application of Automata | Buch | Sack Fachmedien

    Drewes Implementation and Application of Automata

    20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-22359-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pasareanu / Kroening / Pasareanu | Computer Aided Verification | Buch | Sack Fachmedien

    Pasareanu / Kroening / Pasareanu Computer Aided Verification

    27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-21689-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stefani / Krivine | Reversible Computation | Buch | Sack Fachmedien

    Stefani / Krivine Reversible Computation

    7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-20859-6
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Viswanathan / Graf | Formal Techniques for Distributed Objects, Components, and Systems | Buch | Sack Fachmedien

    Viswanathan / Graf Formal Techniques for Distributed Objects, Components, and Systems

    35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-19194-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Naumann | Unifying Theories of Programming | Buch | Sack Fachmedien

    Naumann Unifying Theories of Programming

    5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-14805-2
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schneider / Fricker | Requirements Engineering: Foundation for Software Quality | Buch | Sack Fachmedien

    Schneider / Fricker Requirements Engineering: Foundation for Software Quality

    21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings
    2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-16100-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vitek | Programming Languages and Systems | Buch | Sack Fachmedien

    Vitek Programming Languages and Systems

    24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
    2015
    Verlag: Springer
    ISBN: 978-3-662-46668-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shi / Tan / Zhang | Simulated Evolution and Learning | Buch | Sack Fachmedien

    Shi / Tan / Zhang Simulated Evolution and Learning

    11th International Conference, SEAL 2017, Shenzhen, China, November 10-13, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-68758-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brankovic / Smyth / Ryan | Combinatorial Algorithms | Buch | Sack Fachmedien

    Brankovic / Smyth / Ryan Combinatorial Algorithms

    28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-78824-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nerode / Artemov | Logical Foundations of Computer Science | Buch | Sack Fachmedien

    Nerode / Artemov Logical Foundations of Computer Science

    International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-27682-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dediu / Truthe / Janoušek | Language and Automata Theory and Applications | Buch | Sack Fachmedien

    Dediu / Truthe / Janoušek Language and Automata Theory and Applications

    10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-29999-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huisman / Ábrahám | Integrated Formal Methods | Buch | Sack Fachmedien

    Huisman / Ábrahám Integrated Formal Methods

    12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-33692-3
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lindley / Sannella / McBride | A List of Successes That Can Change the World | Buch | Sack Fachmedien

    Lindley / Sannella / McBride A List of Successes That Can Change the World

    Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-30935-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rovatsos / Julian / Vouros | Multi-Agent Systems and Agreement Technologies | Buch | Sack Fachmedien

    Rovatsos / Julian / Vouros Multi-Agent Systems and Agreement Technologies

    13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-33508-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martí-Oliet / Talcott / Ölveczky | Logic, Rewriting, and Concurrency | Buch | Sack Fachmedien

    Martí-Oliet / Talcott / Ölveczky Logic, Rewriting, and Concurrency

    Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23164-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Geldenhuys / Fischer | Model Checking Software | Buch | Sack Fachmedien

    Geldenhuys / Fischer Model Checking Software

    22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-23403-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ranise / Lutz | Frontiers of Combining Systems | Buch | Sack Fachmedien

    Ranise / Lutz Frontiers of Combining Systems

    10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-24245-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Safranek / Abate | Hybrid Systems Biology | Buch | Sack Fachmedien

    Safranek / Abate Hybrid Systems Biology

    Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers
    1. Auflage 2015
    Verlag: Springer International Publishing
    ISBN: 978-3-319-26915-3
    Medium: Buch
    51,36 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Minas / Echahed | Graph Transformation | Buch | Sack Fachmedien

    Minas / Echahed Graph Transformation

    9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-40529-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tkachuk / Rayadurgam | NASA Formal Methods | Buch | Sack Fachmedien

    Tkachuk / Rayadurgam NASA Formal Methods

    8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-40647-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Roscoe / Cornélio | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Roscoe / Cornélio Formal Methods: Foundations and Applications

    18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-29472-8
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Câmpeanu / Shallit / Manea | Descriptional Complexity of Formal Systems | Buch | Sack Fachmedien

    Câmpeanu / Shallit / Manea Descriptional Complexity of Formal Systems

    18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-41113-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aher / Kupke / Hole | Logic, Language, and Computation | Buch | Sack Fachmedien

    Aher / Kupke / Hole Logic, Language, and Computation

    10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
    2015
    Verlag: Springer
    ISBN: 978-3-662-46905-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silva / Bouajjani | Formal Techniques for Distributed Objects, Components, and Systems | Buch | Sack Fachmedien

    Silva / Bouajjani Formal Techniques for Distributed Objects, Components, and Systems

    37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-60224-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Füllsack | Gleichzeitige Ungleichzeitigkeiten | Buch | Sack Fachmedien

    Füllsack Gleichzeitige Ungleichzeitigkeiten

    Eine Einführung in die Komplexitätsforschung
    2011
    Verlag: VS Verlag für Sozialwissenschaften
    ISBN: 978-3-531-17952-0
    Medium: Buch
    74,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aloni / Kimmelman / Westera | Logic, Language and Meaning | Buch | Sack Fachmedien

    Aloni / Kimmelman / Westera Logic, Language and Meaning

    18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-31481-0
    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