Ergebnisse filtern
Fachgebiet
Medium
  • 4447
  • 26
  • 9
Erscheinungsjahr
  • 1
  • 1
  • 25
  • 67
  • 54
  • 50
  • 70
  • 117
  • 134
  • 99
  • 135
  • 91
  • 142
  • 104
  • 120
  • 53
  • 243
  • 80
  • 167
  • 282
  • 199
  • 272
  • 230
  • 235
  • 211
  • 188
  • 139
  • 112
  • 109
  • 101
  • 86
  • 91
  • 81
  • 58
  • 58
  • 63
  • 38
  • 47
  • 27
  • 17
  • 18
  • 10
  • 4
  • 2
  • 8
  • 8
  • 4
  • 3
  • 2
  • 1
  • 2
  • 3
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
Autoren
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 4
  • 2
  • 17
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 5
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 6
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 13
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 11
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 11
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 13
  • 2
  • 3
  • 3
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 8
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 7
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 6
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 6
  • 2
  • 4
  • 6
  • 2
  • 6
  • 2
  • 5
  • 2
  • 3
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 8
  • 8
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 25
  • 9
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 18
  • 5
  • 3
  • 2
  • 9
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 8
  • 2
  • 4
  • 2
  • 3
  • 5
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 17
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 8
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 9
  • 4
  • 4
  • 5
  • 5
  • 5
  • 6
  • 3
  • 9
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 7
  • 4
  • 4
  • 3
  • 3
  • 5
  • 7
  • 4
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 4
  • 4
  • 5
  • 5
  • 10
  • 6
  • 3
  • 6
  • 5
  • 3
  • 5
  • 3
  • 5
  • 7
  • 5
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 5
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 11
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 4
  • 4
  • 5
  • 5
  • 5
  • 5
  • 4
  • 5
  • 4
  • 3
  • 8
  • 5
  • 3
  • 3
  • 6
  • 4
  • 5
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 6
  • 5
  • 5
  • 3
  • 3
  • 3
  • 3
  • 10
  • 5
  • 8
  • 4
  • 4
  • 4
  • 8
  • 4
  • 3
  • 9
  • 8
  • 3
  • 9
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 6
  • 5
  • 8
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 21
  • 5
  • 5
  • 3
  • 12
  • 10
  • 5
  • 4
  • 3
  • 5
  • 6
  • 5
  • 5
  • 6
  • 6
  • 5
  • 4
  • 4
  • 5
  • 5
  • 6
  • 4
  • 6
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 5
  • 3
  • 7
  • 3
  • 5
  • 3
  • 5
  • 4
  • 3
  • 4
  • 4
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 6
  • 3
  • 6
  • 15
  • 7
  • 7
  • 3
  • 3
  • 3
  • 7
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 6
  • 5
  • 5
  • 4
  • 8
  • 3
  • 3
  • 11
  • 4
  • 7
  • 4
  • 3
  • 5
  • 3
  • 4
  • 7
  • 6
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 12
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 17
  • 5
  • 3
  • 3
  • 6
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 11
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 5
  • 5
  • 9
  • 4
  • 6
  • 10
  • 3
  • 9
  • 3
  • 5
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 9
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 9
  • 3
  • 3
  • 4
  • 7
  • 7
  • 5
  • 3
  • 4
  • 3
  • 3
  • 8
  • 3
  • 5
  • 3
  • 6
  • 4
  • 49
  • 11
  • 3
  • 4
  • 4
  • 5
  • 7
  • 3
  • 3
  • 19
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 4
  • 4
  • 6
  • 3
  • 5
  • 3
  • 6
  • 7
  • 5
  • 4
  • 6
  • 3
  • 5
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 9
  • 15
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 21
  • 7
  • 4
  • 3
  • 9
  • 4
  • 6
  • 5
  • 3
  • 11
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 24
  • 4
  • 5
  • 3
  • 10
  • 5
  • 4
  • 3
  • 4
  • 10
  • 4
  • 8
  • 5
  • 4
  • 4
  • 8
  • 5
  • 4
  • 5
  • 6
  • 5
  • 4
  • 3
  • 4
  • 3
  • 5
Verlag
  • 4
  • 3
  • 3
  • 9
  • 5
  • 4
  • 11
  • 1
  • 1
  • 2
  • 22
  • 4
  • 1
  • 1
  • 10
  • 40
  • 6
  • 3
  • 1
  • 3
  • 9
  • 8
  • 1
  • 1
  • 2
  • 3
  • 10
  • 2
  • 1
  • 2
  • 9
  • 1
  • 8
  • 1
  • 7
  • 1
  • 3
  • 3
  • 2
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 2
  • 5
  • 2
  • 652
  • 2167
  • 1
  • 658
  • 1
  • 6
  • 3
  • 223
  • 54
  • 127
  • 223
  • 8
  • 40
  • 3
  • 2
  • 1
  • 2
  • 7
  • 4
  • 5
  • 1
  • 35
  • 2
  • 27
  • 1
  • 1
  • 2
Preis
  • 14
  • 207
  • 2744
  • 1517
Sprachen
  • 4341
  • 136
  • 13
Verfügbarkeit
  • 4461
  • 21
Eigenschaften
  • 1
Katalog
  • 4482
  • 200
4.482  Titel
    Teng / Lee | Algorithms and Computation | Buch | Sack Fachmedien

    Teng / Lee Algorithms and Computation

    11th International Conference, ISAAC 2000, Taipei, Taiwan, December 18-20, 2000. Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41255-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov / Parigot | Logic for Programming and Automated Reasoning | Buch | Sack Fachmedien

    Voronkov / Parigot Logic for Programming and Automated Reasoning

    7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-41285-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Blanck / Hertling / Brattka | Computability and Complexity in Analysis | Buch | Sack Fachmedien

    Blanck / Hertling / Brattka Computability and Complexity in Analysis

    4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42197-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cassez / Ryan / Jard | Modeling and Verification of Parallel Processes | Buch | Sack Fachmedien

    Cassez / Ryan / Jard Modeling and Verification of Parallel Processes

    4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42787-2
    Medium: Buch
    45,96 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margenov / Yalamov / Wasniewski | Large-Scale Scientific Computing | Buch | Sack Fachmedien

    Margenov / Yalamov / Wasniewski Large-Scale Scientific Computing

    Third International Conference, LSSC 2001, Sozopol, Bulgaria, June 6-10, 2001. Revised Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43043-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fribourg | Computer Science Logic | Buch | Sack Fachmedien

    Fribourg Computer Science Logic

    15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42554-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lau | Logic Based Program Synthesis and Transformation | Buch | Sack Fachmedien

    Lau Logic Based Program Synthesis and Transformation

    10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42127-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alexandrov / Dongarra / Tan | Computational Science ¿ ICCS 2001 | Buch | Sack Fachmedien

    Alexandrov / Dongarra / Tan Computational Science ¿ ICCS 2001

    International Conference San Francisco, CA, USA, May 28¿30, 2001 Proceedings, Part I
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42232-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nareyek | Constraint-Based Agents | Buch | Sack Fachmedien

    Nareyek Constraint-Based Agents

    An Architecture for Constraint-Based Modeling and Local-Search-Based Reasoning for Planning and Scheduling in Open and Dynamic Worlds
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42258-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Küsters | Non-Standard Inferences in Description Logics | Buch | Sack Fachmedien

    Küsters Non-Standard Inferences in Description Logics

    From Foundations and Definitions to Algorithms and Analysis
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42397-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cousot | Static Analysis | Buch | Sack Fachmedien

    Cousot Static Analysis

    8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001. Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42314-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silverman | Cryptography and Lattices | Buch | Sack Fachmedien

    Silverman Cryptography and Lattices

    International Conference, CaLC 2001, Providence, RI, USA, March 29-30, 2001. Revised Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42488-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wang | Computing and Combinatorics | Buch | Sack Fachmedien

    Wang Computing and Combinatorics

    7th Annual International Conference, COCOON 2001, Guilin, China, August 20-23, 2001, Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42494-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sgall / Kolman / Pultr | Mathematical Foundations of Computer Science 2001 | Buch | Sack Fachmedien

    Sgall / Kolman / Pultr Mathematical Foundations of Computer Science 2001

    26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42496-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brodal / Marchetti-Spaccamela / Frigioni | Algorithm Engineering | Buch | Sack Fachmedien

    Brodal / Marchetti-Spaccamela / Frigioni Algorithm Engineering

    5th International Workshop, WAE 2001 Aarhus, Denmark, August 28-31, 2001 Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42500-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beckert / Bonsangue / Damiani | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    Beckert / Bonsangue / Damiani Formal Methods for Components and Objects

    10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
    2013
    Verlag: Springer
    ISBN: 978-3-642-35886-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kania / Czerwinski | Finite State Machine Logic Synthesis for Complex Programmable Logic Devices | Buch | Sack Fachmedien

    Kania / Czerwinski Finite State Machine Logic Synthesis for Complex Programmable Logic Devices

    2013
    Verlag: Springer
    ISBN: 978-3-642-36165-4
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Derrick / Treharne / Gnesi | Integrated Formal Methods | Buch | Sack Fachmedien

    Derrick / Treharne / Gnesi Integrated Formal Methods

    9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-30728-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Slavkovik / Lassiter | New Directions in Logic, Language, and Computation | Buch | Sack Fachmedien

    Slavkovik / Lassiter New Directions in Logic, Language, and Computation

    ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-31466-7
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seshia / Parthasarathy | Computer Aided Verification | Buch | Sack Fachmedien

    Seshia / Parthasarathy Computer Aided Verification

    24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-31423-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bordihn / Truthe / Kutrib | Languages Alive | Buch | Sack Fachmedien

    Bordihn / Truthe / Kutrib Languages Alive

    Essays dedicated to Jürgen Dassow on the Occasion of His 65th Birthday
    2012
    Verlag: Springer
    ISBN: 978-3-642-31643-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hähnle / Knoop / Steffen | Leveraging Applications of Formal Methods, Verification, and Validation | Buch | Sack Fachmedien

    Hähnle / Knoop / Steffen Leveraging Applications of Formal Methods, Verification, and Validation

    International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
    2012
    Verlag: Springer
    ISBN: 978-3-642-34780-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen / Margaria | Leveraging Applications of Formal Methods, Verification and Validation | Buch | Sack Fachmedien

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

    5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
    2012
    Verlag: Springer
    ISBN: 978-3-642-34031-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Davis / Voronkov / Fehnker | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Davis / Voronkov / Fehnker Logic for Programming, Artificial Intelligence, and Reasoning

    20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-48898-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Badouel / Darondeau / Bernardinello | Petri Net Synthesis | Buch | Sack Fachmedien

    Badouel / Darondeau / Bernardinello Petri Net Synthesis

    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-662-47966-7
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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