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
    Ravn / Liu | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Ravn / Liu Automated Technology for Verification and Analysis

    7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
    2009
    Verlag: Springer
    ISBN: 978-3-642-04760-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dawar / Veith | Computer Science Logic | Buch | Sack Fachmedien

    Dawar / Veith Computer Science Logic

    24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-15204-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haemmerlé / Eklund | Conceptual Structures: Knowledge Visualization and Reasoning | Buch | Sack Fachmedien

    Haemmerlé / Eklund Conceptual Structures: Knowledge Visualization and Reasoning

    16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings
    2008
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-70595-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Talcott / Arbab | Coordination Models and Languages | Buch | Sack Fachmedien

    Talcott / Arbab Coordination Models and Languages

    5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43410-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Houstis / Papatheodorou / Polychronopoulos | Supercomputing | Buch | Sack Fachmedien

    Houstis / Papatheodorou / Polychronopoulos Supercomputing

    1st International Conference, Athens, Greece, June 8-12, 1987; Proceedings
    1988
    Verlag: Springer
    ISBN: 978-3-540-18991-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Matthiessen / Unterstein | Relationale Datenbanken und SQL in Theorie und Praxis | Buch | Sack Fachmedien

    Matthiessen / Unterstein Relationale Datenbanken und SQL in Theorie und Praxis

    5. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28985-9
    Medium: Buch
    39,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pepper / Hofstedt | Funktionale Programmierung | Buch | Sack Fachmedien

    Pepper / Hofstedt Funktionale Programmierung

    Sprachdesign und Programmiertechnik
    2006. 2006
    Verlag: Springer-Verlag GmbH
    ISBN: 978-3-540-20959-1
    Medium: Buch
    32,99 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Fuchs | Controlled Natural Language | Buch | Sack Fachmedien

    Fuchs Controlled Natural Language

    Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009, Revised Papers
    2010
    Verlag: Springer
    ISBN: 978-3-642-14417-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hughes | Functional Programming Languages and Computer Architecture | Buch | Sack Fachmedien

    Hughes Functional Programming Languages and Computer Architecture

    5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings
    1991
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-54396-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Borgida / Yu / Chaudhri | Conceptual Modeling: Foundations and Applications | Buch | Sack Fachmedien

    Borgida / Yu / Chaudhri Conceptual Modeling: Foundations and Applications

    Essays in Honor of John Mylopoulos
    2009
    Verlag: Springer
    ISBN: 978-3-642-02462-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kirby / Sjoberg / Dearle | Persistent Object Systems: Design, Implementation, and Use | Buch | Sack Fachmedien

    Kirby / Sjoberg / Dearle Persistent Object Systems: Design, Implementation, and Use

    9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers
    2001
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-42735-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wagenpfeil | Moderne Software-Entwicklung mit Java und JEE | Buch | Sack Fachmedien

    Wagenpfeil Moderne Software-Entwicklung mit Java und JEE

    Ein praxisorientiertes Lehrbuch für effiziente Programmierung
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-662-66581-7
    Medium: Buch
    44,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bakker / Treleaven / Nijman | PARLE Parallel Architectures and Languages Europe | Buch | Sack Fachmedien

    Bakker / Treleaven / Nijman PARLE Parallel Architectures and Languages Europe

    Vol. 2: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings
    1987
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-17945-0
    Medium: Buch
    50,28 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Croitoru / Ferré / Lukose | Conceptual Structures: From Information to Intelligence | Buch | Sack Fachmedien

    Croitoru / Ferré / Lukose Conceptual Structures: From Information to Intelligence

    18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-14196-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Seipel / Wolf / Hanus | Applications of Declarative Programming and Knowledge Management | Buch | Sack Fachmedien

    Seipel / Wolf / Hanus Applications of Declarative Programming and Knowledge Management

    17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers
    2009
    Verlag: Springer
    ISBN: 978-3-642-00674-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Botsch | Maschinelles Lernen - Grundlagen und Anwendungen | Buch | Sack Fachmedien

    Botsch Maschinelles Lernen - Grundlagen und Anwendungen

    Mit Beispielen in Python
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-662-67276-1
    Medium: Buch
    39,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Smolka | Programming Languages and Systems | Buch | Sack Fachmedien

    Smolka Programming Languages and Systems

    9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25- April 2, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67262-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Palamidessi / Meinke / Glaser | Principles of Declarative Programming | Buch | Sack Fachmedien

    Palamidessi / Meinke / Glaser Principles of Declarative Programming

    10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings
    1998
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-65012-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Habel | Hyperedge Replacement: Grammars and Languages | Buch | Sack Fachmedien

    Habel Hyperedge Replacement: Grammars and Languages

    1992
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-56005-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rauchwerger | Languages and Compilers for Parallel Computing | Buch | Sack Fachmedien

    Rauchwerger Languages and Compilers for Parallel Computing

    16th International Workshop, LCPC 2003, College Sation, TX, USA, October 2-4, 2003, Revised Papers
    2004
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-21199-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Touili / Cook / Jackson | Computer Aided Verification | Buch | Sack Fachmedien

    Touili / Cook / Jackson Computer Aided Verification

    22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-14294-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Mohnen / Arts | Implementation of Functional Languages | Buch | Sack Fachmedien

    Mohnen / Arts Implementation of Functional Languages

    13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers
    2002
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43537-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taft / Ploedereder / Duff | Consolidated Ada Reference Manual | Buch | Sack Fachmedien

    Taft / Ploedereder / Duff Consolidated Ada Reference Manual

    Language and Standard Libraries
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-43038-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Watt | Compiler Construction | Buch | Sack Fachmedien

    Watt Compiler Construction

    9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings
    2000
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-67263-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferreira / Löwe / Mayordomo | Programs, Proofs, Processes | Buch | Sack Fachmedien

    Ferreira / Löwe / Mayordomo Programs, Proofs, Processes

    6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings
    2010
    Verlag: Springer
    ISBN: 978-3-642-13961-1
    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