Ergebnisse filtern
Fachgebiet
Medium
  • 3363
  • 1255
  • 5
  • 4
Erscheinungsjahr
  • 1
  • 26
  • 276
  • 338
  • 329
  • 280
  • 306
  • 340
  • 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
  • 47
  • 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
  • 61
  • 66
  • 62
  • 2
  • 3
  • 94
  • 1197
  • 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
  • 93
  • 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
  • 167
  • 86
  • 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
  • 1769
  • 1830
  • 702
Sprachen
  • 3978
  • 648
  • 5
Verfügbarkeit
  • 4506
  • 121
Eigenschaften
  • 4
Katalog
  • 4627
  • 151
4.627  Titel
    Guenter / Lee | Symbolic Dynamics and Geometry | Buch | Sack Fachmedien

    Guenter / Lee Symbolic Dynamics and Geometry

    Using D* in Graphics and Game Programming
    1. Auflage 2020
    Verlag: Taylor & Francis Ltd
    ISBN: 978-0-367-65930-1
    Medium: Buch
    51,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mineau / Ganter | Conceptual Structures: Logical, Linguistic, and Computational Issues | Buch | Sack Fachmedien

    Mineau / Ganter Conceptual Structures: Logical, Linguistic, and Computational Issues

    8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67859-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaufmann / Paulson | Interactive Theorem Proving | Buch | Sack Fachmedien

    Kaufmann / Paulson Interactive Theorem Proving

    First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-14051-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Boer / Bonsangue / Hallerstede | Formal Methods for Components and Objects | Buch | Sack Fachmedien

    de Boer / Bonsangue / Hallerstede Formal Methods for Components and Objects

    8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
    2010
    Verlag: Springer
    ISBN: 978-3-642-17070-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martell / Paech | Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs | Buch | Sack Fachmedien

    Martell / Paech Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs

    14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-89777-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Real / Vardanega | Reliable Software Technologies - Ada-Europe 2010 | Buch | Sack Fachmedien

    Real / Vardanega Reliable Software Technologies - Ada-Europe 2010

    15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-13549-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Arts / Pena | Implementation of Functional Languages | Buch | Sack Fachmedien

    Arts / Pena Implementation of Functional Languages

    14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-40190-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Münch / Yang / Schäfer | New Modeling Concepts for Today's Software Processes | Buch | Sack Fachmedien

    Münch / Yang / Schäfer New Modeling Concepts for Today's Software Processes

    International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-14346-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hüllermeier / Kruse / Hoffmann | Information Processing and Management of Uncertainty in Knowledge-Based Systems | Buch | Sack Fachmedien

    Hüllermeier / Kruse / Hoffmann Information Processing and Management of Uncertainty in Knowledge-Based Systems

    13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part II
    2010
    Verlag: Springer
    ISBN: 978-3-642-14057-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hermenegildo / Garrigue | Functional and Logic Programming | Buch | Sack Fachmedien

    Hermenegildo / Garrigue Functional and Logic Programming

    9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-78968-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    David / Alla | Discrete, Continuous, and Hybrid Petri Nets | Buch | Sack Fachmedien

    David / Alla Discrete, Continuous, and Hybrid Petri Nets

    2. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-10668-2
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vitor / Pontelli | Practical Aspects of Declarative Languages | Buch | Sack Fachmedien

    Vitor / Pontelli Practical Aspects of Declarative Languages

    Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66992-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gent | Principles and Practice of Constraint Programming - CP 2009 | Buch | Sack Fachmedien

    Gent Principles and Practice of Constraint Programming - CP 2009

    15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-04243-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ito / Halstead | Parallel Lisp: Languages and Systems | Buch | Sack Fachmedien

    Ito / Halstead Parallel Lisp: Languages and Systems

    US/Japan Workshop on Parallel Lisp, Sendai, Japan, June 5-8, 1989, Proceedings
    1990
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-52782-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Boley | A Tight, Practical Integration of Relations and Functions | Buch | Sack Fachmedien

    Boley A Tight, Practical Integration of Relations and Functions

    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66644-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kaiser | C++ mit Visual Studio 2019 | Buch | Sack Fachmedien

    Kaiser C++ mit Visual Studio 2019

    C++17 für Studierende und erfahrene Programmierer
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-662-59475-9
    Medium: Buch
    84,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Filipe / Maciaszek / Shishkov | Software and Data Technologies | Buch | Sack Fachmedien

    Filipe / Maciaszek / Shishkov Software and Data Technologies

    Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers
    2009
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-88654-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Queiroz / Dawar | Logic, Language, Information and Computation | Buch | Sack Fachmedien

    de Queiroz / Dawar Logic, Language, Information and Computation

    17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-13823-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hentenryck | Static Analysis | Buch | Sack Fachmedien

    Hentenryck Static Analysis

    4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings
    1997
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-63468-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hutter / Ullmann / Stephan | Applied Formal Methods - FM-Trends 98 | Buch | Sack Fachmedien

    Hutter / Ullmann / Stephan Applied Formal Methods - FM-Trends 98

    International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings
    1999
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-66462-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Igarashi / Jhala | Programming Languages and Systems | Buch | Sack Fachmedien

    Igarashi / Jhala Programming Languages and Systems

    10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings
    2012
    Verlag: Springer
    ISBN: 978-3-642-35181-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Toussaint | Ada in Europe | Buch | Sack Fachmedien

    Toussaint Ada in Europe

    Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995
    1996
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-60757-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Podelski / Cook | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Podelski / Cook Verification, Model Checking, and Abstract Interpretation

    8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
    2007
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-69735-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mattern | Total vernetzt | Buch | Sack Fachmedien

    Mattern Total vernetzt

    Szenarien einer informatisierten Welt
    2003
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-00213-0
    Medium: Buch
    66,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morgan / Leucker | Theoretical Aspects of Computing - ICTAC 2009 | Buch | Sack Fachmedien

    Morgan / Leucker Theoretical Aspects of Computing - ICTAC 2009

    6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-03465-7
    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