Ergebnisse filtern
Fachgebiet
Medium
  • 3363
  • 1255
  • 5
  • 4
Erscheinungsjahr
  • 1
  • 24
  • 277
  • 337
  • 330
  • 280
  • 306
  • 341
  • 486
  • 229
  • 195
  • 137
  • 141
  • 75
  • 67
  • 42
  • 179
  • 112
  • 111
  • 76
  • 66
  • 51
  • 61
  • 74
  • 67
  • 61
  • 61
  • 46
  • 29
  • 56
  • 37
  • 20
  • 25
  • 15
  • 18
  • 17
  • 18
  • 17
  • 20
  • 15
  • 13
  • 13
  • 15
  • 6
  • 8
  • 9
  • 9
  • 5
  • 3
  • 4
  • 3
  • 1
  • 2
  • 3
  • 3
  • 2
  • 2
  • 1
Autoren
  • 3
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 21
  • 3
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 5
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 3
  • 3
  • 7
  • 2
  • 2
  • 28
  • 16
  • 2
  • 3
  • 8
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 7
  • 4
  • 2
  • 4
  • 3
  • 2
  • 4
  • 3
  • 4
  • 11
  • 48
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 4
  • 3
  • 3
  • 6
  • 5
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 9
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 11
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 15
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 5
  • 5
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 3
  • 4
  • 2
  • 6
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 8
  • 5
  • 2
  • 5
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 3
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 9
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 9
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 12
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 6
  • 3
  • 6
  • 10
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 8
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 9
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 4
  • 5
  • 3
  • 3
  • 11
  • 3
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 9
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 6
  • 5
  • 6
  • 4
  • 7
  • 3
  • 3
  • 3
  • 7
  • 6
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 7
  • 3
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 9
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 4
  • 5
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 16
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 5
  • 10
  • 3
  • 4
  • 9
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 5
  • 7
  • 3
  • 4
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 5
  • 3
  • 4
Verlag
  • 3
  • 1
  • 873
  • 11
  • 7
  • 1
  • 14
  • 1
  • 1
  • 10
  • 1
  • 2
  • 60
  • 1
  • 66
  • 62
  • 2
  • 3
  • 95
  • 1198
  • 1
  • 1
  • 3
  • 1
  • 14
  • 53
  • 2
  • 16
  • 16
  • 2
  • 3
  • 1
  • 3
  • 3
  • 2
  • 2
  • 39
  • 2
  • 2
  • 13
  • 13
  • 9
  • 2
  • 2
  • 5
  • 2
  • 7
  • 1
  • 8
  • 1
  • 8
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 4
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 6
  • 17
  • 94
  • 4
  • 9
  • 1
  • 2
  • 2
  • 2
  • 2
  • 436
  • 376
  • 204
  • 3
  • 32
  • 29
  • 14
  • 19
  • 62
  • 5
  • 3
  • 13
  • 1
  • 1
  • 1
  • 1
  • 55
  • 19
  • 165
  • 85
  • 2
  • 8
  • 1
  • 9
  • 1
  • 2
  • 1
  • 5
  • 1
  • 2
  • 2
  • 115
  • 1
  • 1
  • 1
  • 86
  • 4
  • 8
  • 2
  • 1
  • 23
  • 9
  • 1
  • 1
  • 2
Preis
  • 326
  • 1771
  • 1829
  • 701
Sprachen
  • 3977
  • 649
  • 5
Verfügbarkeit
  • 4505
  • 122
Eigenschaften
  • 4
Katalog
  • 4627
  • 151
4.627  Titel
    Johnsen / Bonsangue | Formal Methods for Open Object-Based Distributed Systems | Buch | Sack Fachmedien

    Johnsen / Bonsangue Formal Methods for Open Object-Based Distributed Systems

    9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-72919-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Voronkov | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Voronkov Rewriting Techniques and Applications

    19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70588-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reps / Bauer / Sagiv | Program Analysis and Compilation, Theory and Practice | Buch | Sack Fachmedien

    Reps / Bauer / Sagiv Program Analysis and Compilation, Theory and Practice

    Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-71315-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Calude / Hagiya / Morita | Unconventional Computation | Buch | Sack Fachmedien

    Calude / Hagiya / Morita Unconventional Computation

    9th International Conference, UC 2010, Tokyo, Japan, June 21-25, 2010, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-13522-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Corne / Frisco / Salomaa | Membrane Computing | Buch | Sack Fachmedien

    Corne / Frisco / Salomaa Membrane Computing

    9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers
    2009
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-95884-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Muller / Bezivin | The Unified Modeling Language. <<UML>>'98: Beyond the Notation | Buch | Sack Fachmedien

    Muller / Bezivin The Unified Modeling Language. <<UML>>'98: Beyond the Notation

    First International Workshop, Mulhouse, France, June 3-4, 1998, Selected Papers
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66252-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Burns / Wellings / Lister | A Review of Ada Tasking | Buch | Sack Fachmedien

    Burns / Wellings / Lister A Review of Ada Tasking

    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-18008-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kluge | Implementation of Functional Languages | Buch | Sack Fachmedien

    Kluge Implementation of Functional Languages

    8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16-18, 1996, Selected Papers
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63237-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Palsberg / Majumdar | Model Checking Software | Buch | Sack Fachmedien

    Havelund / Palsberg / Majumdar Model Checking Software

    15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-85113-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rosolini / Moggi | Category Theory and Computer Science | Buch | Sack Fachmedien

    Rosolini / Moggi Category Theory and Computer Science

    7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63455-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jouannaud | Rewriting Techniques and Applications | Buch | Sack Fachmedien

    Jouannaud Rewriting Techniques and Applications

    Dijon, France, May 20-22, 1985
    1985
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-15976-6
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Abelson / Sussman | Struktur und Interpretation von Computerprogrammen | Buch | Sack Fachmedien

    Abelson / Sussman Struktur und Interpretation von Computerprogrammen

    Eine Informatik-Einführung
    4., durchgesehene Auflage 2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42342-3
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barnes | Ada 95 Rationale | Buch | Sack Fachmedien

    Barnes Ada 95 Rationale

    The Language - The Standard Libraries
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63143-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jackson / Boulton | Theorem Proving in Higher Order Logics | Buch | Sack Fachmedien

    Jackson / Boulton Theorem Proving in Higher Order Logics

    14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42525-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ohori | Programming Languages and Systems | Buch | Sack Fachmedien

    Ohori Programming Languages and Systems

    First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003, Proceedings
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-20536-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deutz | Mambo | Buch | Sack Fachmedien

    Deutz Mambo

    Installation, Administration, Anwendung und Entwicklung
    2005
    Verlag: Springer
    ISBN: 978-3-540-22158-6
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paige | Theory and Practice of Model Transformations | Buch | Sack Fachmedien

    Paige Theory and Practice of Model Transformations

    Second International Conference, ICMT 2009, Zürich, Switzerland, June 29-30, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-02407-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Padmanabhan / McCune | Automated Deduction in Equational Logic and Cubic Curves | Buch | Sack Fachmedien

    Padmanabhan / McCune Automated Deduction in Equational Logic and Cubic Curves

    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-61398-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Papazoglou / Metzger / Pohl | Service Research Challenges and Solutions for the Future Internet | Buch | Sack Fachmedien

    Papazoglou / Metzger / Pohl Service Research Challenges and Solutions for the Future Internet

    S-Cube - Towards Engineering, Managing and Adapting Service-Based Systems
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-17598-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Puebla / Hermenegildo | Static Analysis | Buch | Sack Fachmedien

    Puebla / Hermenegildo Static Analysis

    9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-44235-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seidl | Programming Languages and Systems | Buch | Sack Fachmedien

    Seidl Programming Languages and Systems

    21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-28868-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Woodcock / Oliveira | Formal Methods: Foundations and Applications | Buch | Sack Fachmedien

    Woodcock / Oliveira Formal Methods: Foundations and Applications

    12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
    1. Auflage. 2009
    Verlag: Springer
    ISBN: 978-3-642-10451-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kulczycki / Edwards | Formal Foundations of Reuse and Domain Engineering | Buch | Sack Fachmedien

    Kulczycki / Edwards Formal Foundations of Reuse and Domain Engineering

    11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-04210-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Horacek / Wolska / Metais | Natural Language Processing and Information Systems | Buch | Sack Fachmedien

    Horacek / Wolska / Metais Natural Language Processing and Information Systems

    14th International Conference on Applications of Natural Language to Information Systems , NLDB 2009, Saarbrücken, Germany, June 24-26, 2009. Revised Papers
    2010
    Verlag: Springer
    ISBN: 978-3-642-12549-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hartel | Functional Programming Languages in Education | Buch | Sack Fachmedien

    Hartel Functional Programming Languages in Education

    1st International Symposium FPLE '95 Nijmegen, The Netherlands, December 4-6, 1995. Proceedings
    1995
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60675-8
    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