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
  • 1306
  • 2088
  • 1
  • 588
  • 1
  • 3
  • 3
  • 1
  • 42
  • 85
  • 1
  • 110
  • 77
  • 205
  • 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
    Andersen / Nake | Computers and Signs | Buch | Sack Fachmedien

    Andersen / Nake Computers and Signs

    Prolegomena to a Semiotic Foundation of Computing Science
    1. Auflage 2007
    Verlag: SYNCHRON - Wissenschaftsverlag der Autoren
    ISBN: 978-3-935025-19-5
    Medium: Buch
    34,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stevenson | Programming Language Fundamentals by Example | Buch | Sack Fachmedien

    Stevenson Programming Language Fundamentals by Example

    1. Auflage 2006
    Verlag: CRC Press
    ISBN: 978-0-8493-7016-8
    Medium: Buch
    126,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hameurlain / Küng / Wagner | Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII | Buch | Sack Fachmedien

    Hameurlain / Küng / Wagner Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII

    Selected Papers from FDSE 2014
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-662-49174-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gössel | Angewandte Automatentheorie, Teil 2: Lineare Automaten und Schieberegister | Buch | Sack Fachmedien

    Gössel Angewandte Automatentheorie, Teil 2: Lineare Automaten und Schieberegister

    Nachdruck 2021
    Verlag: De Gruyter
    ISBN: 978-3-11-252609-5
    Medium: Buch
    109,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zlatev | Computational Methods for General Sparse Matrices | Buch | Sack Fachmedien

    Zlatev Computational Methods for General Sparse Matrices

    1. Auflage. Softcover version of original hardcover Auflage 1991
    Verlag: Springer Netherlands
    ISBN: 978-90-481-4086-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hinchey / Schmeck / Pagnoni | Biologically-Inspired Collaborative Computing | Buch | Sack Fachmedien

    Hinchey / Schmeck / Pagnoni Biologically-Inspired Collaborative Computing

    IFIP 20th World Computer Congress, Second IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, September 8-9, 2008, Milano, Italy
    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer US
    ISBN: 978-1-4419-3502-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ohlebusch | Advanced Topics in Term Rewriting | Buch | Sack Fachmedien

    Ohlebusch Advanced Topics in Term Rewriting

    Softcover Nachdruck of hardcover 1. Auflage 2002
    Verlag: Springer
    ISBN: 978-1-4419-2921-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schwartz / Cantone / Omodeo | Computational Logic and Set Theory | Buch | Sack Fachmedien

    Schwartz / Cantone / Omodeo Computational Logic and Set Theory

    Applying Formalized Logic to Analysis
    2011
    Verlag: Springer
    ISBN: 978-0-85729-807-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ohlebusch | Advanced Topics in Term Rewriting | Buch | Sack Fachmedien

    Ohlebusch Advanced Topics in Term Rewriting

    2002
    Verlag: Springer
    ISBN: 978-0-387-95250-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pietikäinen / Ahonen / Hadid | Computer Vision Using Local Binary Patterns | Buch | Sack Fachmedien

    Pietikäinen / Ahonen / Hadid Computer Vision Using Local Binary Patterns

    2011
    Verlag: Springer
    ISBN: 978-1-4471-2665-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martin / Bailey | ESL Models and their Application | Buch | Sack Fachmedien

    Martin / Bailey ESL Models and their Application

    Electronic System Level Design and Verification in Practice
    2010
    Verlag: Springer US
    ISBN: 978-1-4614-2541-0
    Medium: Buch
    119,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Robbins | The Cray X-MP/Model 24 | Buch | Sack Fachmedien

    Robbins The Cray X-MP/Model 24

    A Case Study in Pipelined Architecture and Vector Processing
    1989
    Verlag: Springer
    ISBN: 978-0-387-97089-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Warschawski | Kollektives Verhalten von Automaten | Buch | Sack Fachmedien

    Warschawski Kollektives Verhalten von Automaten

    Nachdruck 2021
    Verlag: De Gruyter
    ISBN: 978-3-11-257913-8
    Medium: Buch
    109,95 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bornat | Proof and Disproof in Formal Logic | Buch | Sack Fachmedien

    Bornat Proof and Disproof in Formal Logic

    Erscheinungsjahr 2005
    Verlag: OUP Oxford
    ISBN: 978-0-19-853026-8
    Medium: Buch
    62,00 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Merz / Kröger | Temporal Logic and State Systems | Buch | Sack Fachmedien

    Merz / Kröger Temporal Logic and State Systems

    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer
    ISBN: 978-3-642-08680-9
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vasyukevich | Asynchronous Operators of Sequential Logic: Venjunction & Sequention | Buch | Sack Fachmedien

    Vasyukevich Asynchronous Operators of Sequential Logic: Venjunction & Sequention

    Digital Circuit Analysis and Design
    2011
    Verlag: Springer
    ISBN: 978-3-642-26882-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lloyd | Logic for Learning | Buch | Sack Fachmedien

    Lloyd Logic for Learning

    Learning Comprehensible Theories from Structured Data
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42027-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Frau / Montseny | Computer Vision: Specialized Processors for Real-Time Image Analysis | Buch | Sack Fachmedien

    Frau / Montseny Computer Vision: Specialized Processors for Real-Time Image Analysis

    Workshop Proceedings Barcelona, Spain, September 1991
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57016-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Desmedt | Public Key Cryptography - PKC 2003 | Buch | Sack Fachmedien

    Desmedt Public Key Cryptography - PKC 2003

    6th International Workshop on Theory and Practice in Public Key Cryptography, Miami, FL, USA, January 6-8, 2003, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00324-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nielsen / Larsen | CONCUR 2001 - Concurrency Theory | Buch | Sack Fachmedien

    Nielsen / Larsen CONCUR 2001 - Concurrency Theory

    12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42497-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Budach | Fundamentals of Computation Theory | Buch | Sack Fachmedien

    Budach Fundamentals of Computation Theory

    8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54458-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kumar / Gavrilova / Tan | Computational Science and Its Applications - ICCSA 2003 | Buch | Sack Fachmedien

    Kumar / Gavrilova / Tan Computational Science and Its Applications - ICCSA 2003

    International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part II
    Erscheinungsjahr 2003
    Verlag: Springer
    ISBN: 978-3-540-40161-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lu / Boztas | Applied Algebra, Algebraic Algorithms and Error-Correcting Codes | Buch | Sack Fachmedien

    Lu / Boztas Applied Algebra, Algebraic Algorithms and Error-Correcting Codes

    17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-77223-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abramsky / Vollmer / Kontinen | Dependence Logic | Buch | Sack Fachmedien

    Abramsky / Vollmer / Kontinen Dependence Logic

    Theory and Applications
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-31801-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castro / van Renesse | Peer-to-Peer Systems IV | Buch | Sack Fachmedien

    Castro / van Renesse Peer-to-Peer Systems IV

    4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29068-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Somenzi / Hachtel | Logic Synthesis and Verification Algorithms | Buch | Sack Fachmedien

    Somenzi / Hachtel Logic Synthesis and Verification Algorithms

    Softcover Nachdruck of the original 1. Auflage 1996
    Verlag: Springer US
    ISBN: 978-1-4757-7036-0
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zwiers | Compositionality, Concurrency, and Partial Correctness | Buch | Sack Fachmedien

    Zwiers Compositionality, Concurrency, and Partial Correctness

    Proof Theories for Networks of Processes, and Their Relationship
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-50845-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reed / Gotzhein | System Analysis and Modeling: Language Profiles | Buch | Sack Fachmedien

    Reed / Gotzhein System Analysis and Modeling: Language Profiles

    5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68371-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asperti / Davenport / Buchberger | Mathematical Knowledge Management | Buch | Sack Fachmedien

    Asperti / Davenport / Buchberger Mathematical Knowledge Management

    Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00568-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McIlraith / Plexousakis / Harmelen | The Semantic Web - ISWC 2004 | Buch | Sack Fachmedien

    McIlraith / Plexousakis / Harmelen The Semantic Web - ISWC 2004

    Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23798-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gagniuc | Coding Examples from Simple to Complex | Buch | Sack Fachmedien

    Gagniuc Coding Examples from Simple to Complex

    Applications in Python(TM)
    2024
    Verlag: Springer Nature Switzerland
    ISBN: 978-3-031-53811-7
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grädel / Kahle | Computer Science Logic | Buch | Sack Fachmedien

    Grädel / Kahle Computer Science Logic

    23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-04026-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hanus | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Hanus Practical Aspects of Declarative Languages

    9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings
    Erscheinungsjahr 2006
    Verlag: Springer
    ISBN: 978-3-540-69608-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fisher / Governatori / van der Torre | Computational Logic in Multi-Agent Systems | Buch | Sack Fachmedien

    Fisher / Governatori / van der Torre Computational Logic in Multi-Agent Systems

    13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-32896-1
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vinay / Chandru | Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Vinay / Chandru Foundations of Software Technology and Theoretical Computer Science

    16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-62034-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seidl | Foundations of Software Science and Computational Structures | Buch | Sack Fachmedien

    Seidl Foundations of Software Science and Computational Structures

    10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71388-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nipkow / Barendregt | Types for Proofs and Programs | Buch | Sack Fachmedien

    Nipkow / Barendregt Types for Proofs and Programs

    International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-58085-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Katajainen / Hagerup | Algorithm Theory - SWAT 2004 | Buch | Sack Fachmedien

    Katajainen / Hagerup Algorithm Theory - SWAT 2004

    9th Scandinavian Workshop on Algorithm Theory, Humlebaek, Denmark, July 8-10, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-22339-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Aceto / Henzinger / Sgall | Automata, Languages and Programming | Buch | Sack Fachmedien

    Aceto / Henzinger / Sgall Automata, Languages and Programming

    38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2010. Proceedings, Part II
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22011-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Syre / Etiemble | PARLE '92. Parallel Architectures and Languages Europe | Buch | Sack Fachmedien

    Syre / Etiemble PARLE '92. Parallel Architectures and Languages Europe

    4th International PARLE Conference, Paris, France, June 15-18, 1992 Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55599-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hoffmann | Utilizing Problem Structure in Planning | Buch | Sack Fachmedien

    Hoffmann Utilizing Problem Structure in Planning

    A Local Search Approach
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20259-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Stuckey / Kameyama | Functional and Logic Programming | Buch | Sack Fachmedien

    Stuckey / Kameyama Functional and Logic Programming

    7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21402-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yu / He / Zhang | Advances in Neural Networks - ISNN 2009 | Buch | Sack Fachmedien

    Yu / He / Zhang Advances in Neural Networks - ISNN 2009

    6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part III
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-01512-0
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ohori / Hsiang | Advances in Computing Science - ASIAN'98 | Buch | Sack Fachmedien

    Ohori / Hsiang Advances in Computing Science - ASIAN'98

    4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65388-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tison | Trees in Algebra and Programming - CAAP '94 | Buch | Sack Fachmedien

    Tison Trees in Algebra and Programming - CAAP '94

    19th International Colloquium, Edinburgh, U.K., April 11 - 13, 1994. Proceedings
    1994
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57879-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lingas / Karlsson | Algorithm Theory - SWAT '96 | Buch | Sack Fachmedien

    Lingas / Karlsson Algorithm Theory - SWAT '96

    5th Scandinavian Workshop on Algorithm Theory, Reykjavik, Iceland, July 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61422-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ehrig / Weber / Reisig | Petri Net Technology for Communication-Based Systems | Buch | Sack Fachmedien

    Ehrig / Weber / Reisig Petri Net Technology for Communication-Based Systems

    Advances in Petri Nets
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20538-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tarski | Collected Papers | Buch | Sack Fachmedien

    Tarski Collected Papers

    Volume 3: 1945-1957
    1. Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-319-95422-6
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calude / Vajnovszki / Dinneen | Discrete Mathematics and Theoretical Computer Science | Buch | Sack Fachmedien

    Calude / Vajnovszki / Dinneen Discrete Mathematics and Theoretical Computer Science

    4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40505-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berry / Finkel / Comon | Computer Aided Verification | Buch | Sack Fachmedien

    Berry / Finkel / Comon Computer Aided Verification

    13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42345-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jünger / Rinaldi / Reinelt | Combinatorial Optimization -- Eureka, You Shrink! | Buch | Sack Fachmedien

    Jünger / Rinaldi / Reinelt Combinatorial Optimization -- Eureka, You Shrink!

    Papers Dedicated to Jack Edmonds. 5th International Workshop, Aussois, France, March 5-9, 2001, Revised Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00580-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    King | King, G: UNDERSTANDING & DESIGNING COMP | Buch | Sack Fachmedien

    King King, G: UNDERSTANDING & DESIGNING COMP

    Erscheinungsjahr 1995
    Verlag: Elsevier LTD, Oxford
    ISBN: 978-0-340-61419-8
    Medium: Buch
    55,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wagenknecht / Hielscher | Formale Sprachen, abstrakte Automaten und Compiler | Buch | Sack Fachmedien

    Wagenknecht / Hielscher Formale Sprachen, abstrakte Automaten und Compiler

    Lehr- und Arbeitsbuch für Grundstudium und Fortbildung
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-8348-0624-6
    Medium: Buch
    29,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salomaa / Rozenberg | Handbook of Formal Languages | Buch | Sack Fachmedien

    Salomaa / Rozenberg Handbook of Formal Languages

    Volume 2. Linear Modeling: Background and Application
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60648-2
    Medium: Buch
    246,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Staunstrup | Program Specification | Buch | Sack Fachmedien

    Staunstrup Program Specification

    Proceedings of a Workshop Aarhus, Denmark, August 1981
    1982
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-11490-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Choffrut | Automata Networks | Buch | Sack Fachmedien

    Choffrut Automata Networks

    LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings
    1988
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-19444-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davenport | EUROCAL '87 | Buch | Sack Fachmedien

    Davenport EUROCAL '87

    European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings
    1989
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-51517-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Volkert | Parallel Computation | Buch | Sack Fachmedien

    Volkert Parallel Computation

    Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993. Proceedings
    1993
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-57314-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wechler / Kirchner | Algebraic and Logic Programming | Buch | Sack Fachmedien

    Wechler / Kirchner Algebraic and Logic Programming

    Second International Conference, Nancy, France, October 1-3, 1990. Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-53162-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Levi / Kirchner | Algebraic and Logic Programming | Buch | Sack Fachmedien

    Levi / Kirchner Algebraic and Logic Programming

    Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings
    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-55873-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wasilewska | Logics for Computer Science | Buch | Sack Fachmedien

    Wasilewska Logics for Computer Science

    Classical and Non-Classical
    1. Auflage 2018
    Verlag: Springer International Publishing
    ISBN: 978-3-319-92590-5
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Salwicki / Kreczmar / Warpechowski | LOGLAN '88 - Report on the Programming Language | Buch | Sack Fachmedien

    Salwicki / Kreczmar / Warpechowski LOGLAN '88 - Report on the Programming Language

    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52325-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schumann | Automated Theorem Proving in Software Engineering | Buch | Sack Fachmedien

    Schumann Automated Theorem Proving in Software Engineering

    Softcover Nachdruck of hardcover 1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-642-08759-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bayro Corrochano | Geometric Computing for Perception Action Systems | Buch | Sack Fachmedien

    Bayro Corrochano Geometric Computing for Perception Action Systems

    Concepts, Algorithms, and Scientific Applications
    2001
    Verlag: Springer
    ISBN: 978-0-387-95191-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    LaMeres | Introduction to Logic Circuits & Logic Design with VHDL | Buch | Sack Fachmedien

    LaMeres Introduction to Logic Circuits & Logic Design with VHDL

    Third Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-42546-2
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganzinger | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Ganzinger Rewriting Techniques and Applications

    7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61464-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Konrad | Model Generation for Natural Language Interpretation and Analysis | Buch | Sack Fachmedien

    Konrad Model Generation for Natural Language Interpretation and Analysis

    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21069-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crespi Reghizzi / Morzenti / Breveglieri | Formal Languages and Compilation | Buch | Sack Fachmedien

    Crespi Reghizzi / Morzenti / Breveglieri Formal Languages and Compilation

    Third Auflage 2019
    Verlag: Springer International Publishing
    ISBN: 978-3-030-04878-5
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dehne / Tamassia / Gupta | Algorithms and Data Structures | Buch | Sack Fachmedien

    Dehne / Tamassia / Gupta Algorithms and Data Structures

    6th International Workshop, WADS'99 Vancouver, Canada, August 11-14, 1999 Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66279-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pavelka / Bartosek / Tel | SOFSEM'99: Theory and Practice of Informatics | Buch | Sack Fachmedien

    Pavelka / Bartosek / Tel SOFSEM'99: Theory and Practice of Informatics

    26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999 Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66694-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dandamudi | Hierarchical Scheduling in Parallel and Cluster Systems | Buch | Sack Fachmedien

    Dandamudi Hierarchical Scheduling in Parallel and Cluster Systems

    2003
    Verlag: Springer US
    ISBN: 978-0-306-47761-4
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nori / Biswas | Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Nori / Biswas Foundations of Software Technology and Theoretical Computer Science

    11th Conference, New Delhi, India, December 17-19, 1991. Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54967-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zheng / Jiang / Lan | Advances in Machine Vision, Image Processing, and Pattern Analysis | Buch | Sack Fachmedien

    Zheng / Jiang / Lan Advances in Machine Vision, Image Processing, and Pattern Analysis

    International Workshop on Intelligent Computing in Pattern Analysis/Synthesis, IWICPAS 2006, Xi'an, China, August 26-27, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37597-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karl / Wolisz / Willig | Wireless Sensor Networks | Buch | Sack Fachmedien

    Karl / Wolisz / Willig Wireless Sensor Networks

    First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20825-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Misra / Nipkow / Sekerinski | FM 2006: Formal Methods | Buch | Sack Fachmedien

    Misra / Nipkow / Sekerinski FM 2006: Formal Methods

    14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-37215-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Selman | Complexity Theory Retrospective | Buch | Sack Fachmedien

    Selman Complexity Theory Retrospective

    In Honor of Juris Hartmanis on the Occasion of His Sixtieth Birthday, July 5, 1988
    1990
    Verlag: Springer
    ISBN: 978-0-387-97350-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Meyer auf der Heide | Algorithms - ESA 2001 | Buch | Sack Fachmedien

    Meyer auf der Heide Algorithms - ESA 2001

    9th Annual European Symposium, Aarhus, Denmark, August 28-31, 2001, Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42493-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fernández Rivera / Doallo / Bubak | Grid Computing | Buch | Sack Fachmedien

    Fernández Rivera / Doallo / Bubak Grid Computing

    First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2003, Revised Papers
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21048-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Szalas / Penczek | Mathematical Foundations of Computer Science 1996 | Buch | Sack Fachmedien

    Szalas / Penczek Mathematical Foundations of Computer Science 1996

    21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61550-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Farach-Colton | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Farach-Colton Combinatorial Pattern Matching

    9th Annual Symposium, CPM'98, Piscataway, New Jersey, USA, July 20-22, 1998, Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-64739-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Anderson / Salas | Computational Aerosciences in the 21st Century | Buch | Sack Fachmedien

    Anderson / Salas Computational Aerosciences in the 21st Century

    Proceedings of the ICASE/LaRC/NSF/ARO Workshop, conducted by the Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, The National Science Foundation and the Army Research Office, April 22-24, 1998
    2000
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-6728-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sassone / Bruni | Trustworthy Global Computing | Buch | Sack Fachmedien

    Sassone / Bruni Trustworthy Global Computing

    6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-30064-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Higuchi / Weixin / Iwata | Evolvable Systems: From Biology to Hardware | Buch | Sack Fachmedien

    Higuchi / Weixin / Iwata Evolvable Systems: From Biology to Hardware

    First International Conference, ICES '96, Tsukuba, Japan, October 7 - 8, 1996, Revised Papers
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63173-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baresi / Heckel | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Baresi / Heckel Fundamental Approaches to Software Engineering

    9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-33093-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schildt / Kastner | Informatik | Buch | Sack Fachmedien

    Schildt / Kastner Informatik

    Aufgaben und Lösungen
    3., überarbeitete Auflage 2005
    Verlag: Springer Vienna
    ISBN: 978-3-211-21136-6
    Medium: Buch
    19,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Zimmermann / Goos | Vorlesungen über Informatik | Buch | Sack Fachmedien

    Zimmermann / Goos Vorlesungen über Informatik

    Band 1: Grundlagen und funktionales Programmieren
    4., überarbeitete Auflage 2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24405-9
    Medium: Buch
    24,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bezhanishvili / Richter / Löbner | Logic, Language, and Computation | Buch | Sack Fachmedien

    Bezhanishvili / Richter / Löbner Logic, Language, and Computation

    9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-36975-9
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yorav | Hardware and Software: Verification and Testing | Buch | Sack Fachmedien

    Yorav Hardware and Software: Verification and Testing

    Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-77964-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Panayiotopoulos / Vouros | Methods and Applications of Artificial Intelligence | Buch | Sack Fachmedien

    Panayiotopoulos / Vouros Methods and Applications of Artificial Intelligence

    Third Helenic Conference on AI, SETN 2004, Samos, Greece, May 5-8, 2004, Proceedings
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21937-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seth / Agrawal | FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Seth / Agrawal FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science

    22nd Conference Kanpur, India, December 12-14, 2002, Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00225-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cruz / Decker / Allemang | The Semantic Web - ISWC 2006 | Buch | Sack Fachmedien

    Cruz / Decker / Allemang The Semantic Web - ISWC 2006

    5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-49029-6
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Adamo | Multi-Threaded Object-Oriented MPI-Based Message Passing Interface | Buch | Sack Fachmedien

    Adamo Multi-Threaded Object-Oriented MPI-Based Message Passing Interface

    The ARCH Library
    1998
    Verlag: Springer US
    ISBN: 978-0-7923-8165-5
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Somenzi / Hunt, Jr. / Hunt | Computer Aided Verification | Buch | Sack Fachmedien

    Somenzi / Hunt, Jr. / Hunt Computer Aided Verification

    15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40524-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cellier / Ganter / Distel | Formal Concept Analysis | Buch | Sack Fachmedien

    Cellier / Ganter / Distel Formal Concept Analysis

    11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings
    2013
    Verlag: Springer
    ISBN: 978-3-642-38316-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gorton / Heinemann / Crnkovic | Component-Based Software Engineering | Buch | Sack Fachmedien

    Gorton / Heinemann / Crnkovic Component-Based Software Engineering

    9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-35628-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Prasanna / Bougé | High Performance Computing - HiPC 2004 | Buch | Sack Fachmedien

    Prasanna / Bougé High Performance Computing - HiPC 2004

    11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-24129-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bosák | Decompositions of Graphs | Buch | Sack Fachmedien

    Bosák Decompositions of Graphs

    1990
    Verlag: Springer Netherlands
    ISBN: 978-0-7923-0747-1
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rolim / Nikoletseas | Algorithmic Aspects of Wireless Sensor Networks | Buch | Sack Fachmedien

    Rolim / Nikoletseas Algorithmic Aspects of Wireless Sensor Networks

    Second International Workshop, ALGOSENSORS 2006, Venice, Italy, July 15, 2006, Revised Selected Papers
    2006
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69085-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hankin / Ciancarini | Coordination Languages and Models | Buch | Sack Fachmedien

    Hankin / Ciancarini Coordination Languages and Models

    First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings.
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61052-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barthe | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Barthe Formal Methods for Open Object-Based Distributed Systems

    10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-68862-4
    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