Fachgebiet
Medium
  • 3849
  • 1260
  • 5
  • 2
Erscheinungsjahr
  • 43
  • 173
  • 259
  • 1089
  • 221
  • 198
  • 201
  • 214
  • 201
  • 210
  • 198
  • 179
  • 121
  • 131
  • 74
  • 72
  • 54
  • 187
  • 115
  • 119
  • 74
  • 68
  • 57
  • 68
  • 82
  • 80
  • 72
  • 70
  • 50
  • 35
  • 64
  • 43
  • 22
  • 31
  • 16
  • 20
  • 17
  • 19
  • 17
  • 20
  • 15
  • 13
  • 12
  • 15
  • 6
  • 8
  • 9
  • 9
  • 6
  • 4
  • 4
  • 3
  • 1
  • 4
  • 4
  • 4
  • 3
  • 3
  • 1
  • 1
Autoren
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 6
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 5
  • 2
  • 2
  • 5
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 5
  • 2
  • 4
  • 2
  • 9
  • 2
  • 2
  • 8
  • 3
  • 3
  • 7
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 8
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 4
  • 74
  • 8
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 4
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 3
  • 5
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 4
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 9
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 7
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 5
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 3
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 10
  • 5
  • 2
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 7
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 16
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 5
  • 5
  • 3
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 6
  • 3
  • 4
  • 2
  • 6
  • 2
  • 5
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 3
  • 3
  • 4
  • 8
  • 13
  • 10
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 10
  • 3
  • 3
  • 6
  • 3
  • 7
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 8
  • 3
  • 8
  • 5
  • 3
  • 3
  • 5
  • 3
  • 5
  • 10
  • 13
  • 12
  • 12
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 6
  • 12
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 8
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 8
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 11
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 6
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 8
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 6
  • 4
  • 4
  • 6
  • 4
  • 9
  • 3
  • 3
  • 4
  • 5
  • 9
  • 5
  • 6
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 4
  • 7
  • 3
  • 7
  • 5
  • 5
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 13
  • 3
  • 3
  • 3
  • 7
  • 5
  • 7
  • 3
  • 3
  • 11
  • 3
  • 4
  • 3
  • 8
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 5
  • 4
  • 5
  • 4
  • 4
  • 5
  • 4
  • 5
Verlag
  • 7
  • 1
  • 1
  • 1
  • 1001
  • 11
  • 35
  • 1
  • 1
  • 37
  • 9
  • 5
  • 1
  • 2
  • 102
  • 79
  • 173
  • 1
  • 2
  • 145
  • 1217
  • 1
  • 1
  • 1
  • 1
  • 24
  • 52
  • 2
  • 2
  • 1
  • 1
  • 24
  • 2
  • 15
  • 11
  • 2
  • 3
  • 1
  • 4
  • 1
  • 3
  • 2
  • 1
  • 2
  • 26
  • 2
  • 2
  • 49
  • 22
  • 1
  • 4
  • 2
  • 1
  • 1
  • 3
  • 5
  • 16
  • 5
  • 1
  • 43
  • 3
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 4
  • 14
  • 1
  • 5
  • 1
  • 2
  • 1
  • 2
  • 1
  • 2
  • 7
  • 17
  • 92
  • 4
  • 13
  • 1
  • 2
  • 1
  • 2
  • 2
  • 2
  • 1202
  • 6
  • 2
  • 3
  • 7
  • 1
  • 5
  • 6
  • 22
  • 22
  • 1
  • 1
  • 3
  • 10
  • 1
  • 1
  • 1
  • 2
  • 81
  • 13
  • 74
  • 21
  • 11
  • 1
  • 9
  • 2
  • 1
  • 1
  • 3
  • 3
  • 1
  • 114
  • 4
  • 11
  • 1
  • 55
  • 10
  • 9
  • 2
  • 1
  • 20
  • 4
  • 1
  • 3
  • 1
  • 3
Preis
  • 324
  • 1859
  • 2055
  • 878
Sprachen
  • 4410
  • 706
  • 4
  • 1
Verfügbarkeit
  • 4947
  • 169
Eigenschaften
  • 2
Katalog
  • 5116
  • 185
5.116  Titel


    Plümer Termination Proofs for Logic Programs

    Erscheinungsjahr 1990
    Verlag: Springer
    ISBN: 978-3-540-52837-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Leroy / Ohori Types in Compilation

    Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64925-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Amaral Languages and Compilers for Parallel Computing

    21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-89739-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Carter / Ferrante Languages and Compilers for Parallel Computing

    12th International Workshop, LCPC'99 La Jolla, CA, USA, August 4-6, 1999 Proceedings
    Erscheinungsjahr 2000
    Verlag: Springer
    ISBN: 978-3-540-67858-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Mosses CASL Reference Manual

    The Complete Documentation of the Common Algebraic Specification Language
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21301-7
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Gutknecht / Weck Modular Programming Languages

    Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-67958-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bonanno / Löwe / van der Hoek Logic and the Foundations of Game and Decision Theory - LOFT 8

    8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-15163-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Paun / Salomaa New Trends in Formal Languages

    Control, Cooperation, and Combinatorics
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-62844-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Tannen / Wong / Libkin In Search of Elegance in the Theory and Practice of Computation

    Essays dedicated to Peter Buneman
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-41659-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bothner / Kähler Programmieren in PROLOG

    Eine umfassende und praxisgerechte Einführung
    1. Auflage 1991
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-528-05158-7
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Grumberg / Veith 25 Years of Model Checking

    History, Achievements, Perspectives
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-69849-4
    Medium: Buch
    37,44 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Martin-Vide / Otto / Fernau Language and Automata Theory and Applications

    Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008, Revised Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88281-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Böszörményi / Schojer Modular Programming Languages

    Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40796-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    The Munich Project CIP

    Volume I: The Wide Spectrum Language CIP-L
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15187-6
    Medium: Buch
    32,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Lämmel / Visser / Saraiva Generative and Transformational Techniques in Software Engineering II

    International Summer School, GTTSE 2007, Braga, Portugal, July 2-7. 2007, Revised Papers
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-88642-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Mittelbach Programmierkurs TURBO-PASCAL

    Version 6.0
    1. Auflage 1992
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-02981-6
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Sakaibara / Kobayashi / Sato Grammatical Inference: Algorithms and Applications

    8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45264-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Schrijvers / Frühwirth Constraint Handling Rules

    Current Research Topics
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-92242-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Müller Practical JSF in Java EE 8

    Web Applications ¿in Java for the Enterprise
    1. Auflage 2018
    Verlag: Apress
    ISBN: 978-1-4842-3029-9
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Dittrich / Guerrini / Merlo Objects and Databases

    International Symposium, Sophia Antipolis, France, June 13, 2000. Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-41664-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Henz Objects for Concurrent Constraint Programming

    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-0-7923-8038-2
    Medium: Buch
    235,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Bramer Artificial Intelligence. An International Perspective

    An International Perspective
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03225-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Midkiff / Moreira / Gupta Languages and Compilers for Parallel Computing

    13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers
    Erscheinungsjahr 2001
    Verlag: Springer
    ISBN: 978-3-540-42862-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Giacobazzi / Berdine / Mastroeni Verification, Model Checking, and Abstract Interpretation

    14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-35872-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

    Strauss Getting Started with Visual Studio 2022

    Learning and Implementing New Features
    Third Auflage
    Verlag: Apress
    ISBN: 979-8-8688-2113-4
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb



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