Ergebnisse filtern
Fachgebiet
Medium
  • 4172
Erscheinungsjahr
  • 55
  • 243
  • 184
  • 128
  • 47
  • 21
  • 41
  • 48
  • 65
  • 52
  • 59
  • 80
  • 67
  • 80
  • 84
  • 62
  • 141
  • 141
  • 146
  • 207
  • 193
  • 136
  • 211
  • 221
  • 183
  • 180
  • 120
  • 119
  • 85
  • 100
  • 95
  • 83
  • 68
  • 67
  • 50
  • 67
  • 38
  • 41
  • 30
  • 32
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 3
  • 2
  • 2
  • 6
  • 2
  • 3
  • 8
  • 3
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 5
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 15
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 4
  • 2
  • 3
  • 2
  • 6
  • 3
  • 2
  • 2
  • 4
  • 2
  • 6
  • 3
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 4
  • 2
  • 3
  • 7
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 5
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 3
  • 6
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 5
  • 2
  • 4
  • 5
  • 4
  • 6
  • 4
  • 2
  • 2
  • 10
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 12
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 9
  • 4
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 9
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 6
  • 3
  • 2
  • 3
  • 4
  • 3
  • 3
  • 2
  • 4
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 6
  • 3
  • 5
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 6
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 7
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 10
  • 2
  • 2
  • 8
  • 7
  • 2
  • 2
  • 2
  • 2
  • 13
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 33
  • 27
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 13
  • 4
  • 2
  • 9
  • 2
  • 3
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 16
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 4
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 8
  • 6
  • 3
  • 3
  • 4
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 4
  • 7
  • 4
  • 3
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 12
  • 6
  • 22
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 9
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 6
  • 7
  • 5
  • 11
  • 3
  • 3
  • 6
  • 3
  • 8
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 5
  • 3
  • 3
  • 15
  • 5
  • 4
  • 3
  • 5
  • 3
  • 6
  • 5
  • 4
  • 4
  • 7
  • 4
  • 4
  • 5
  • 4
  • 3
  • 4
  • 3
  • 6
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 6
  • 5
  • 4
  • 3
  • 4
  • 6
  • 6
  • 3
  • 3
  • 5
  • 6
  • 3
  • 4
  • 4
  • 3
  • 6
  • 7
  • 3
  • 6
  • 4
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 4
  • 7
  • 5
  • 6
  • 7
  • 5
  • 3
  • 5
  • 5
  • 5
  • 3
  • 3
  • 7
  • 3
  • 4
  • 12
  • 5
  • 4
  • 7
  • 3
  • 5
  • 4
  • 3
  • 3
  • 8
  • 3
  • 5
  • 5
  • 5
  • 3
  • 3
  • 4
  • 7
  • 3
  • 4
  • 3
  • 4
  • 4
  • 7
  • 4
  • 3
  • 3
  • 3
  • 6
  • 3
  • 3
  • 3
  • 6
  • 7
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 7
  • 3
  • 5
  • 5
  • 5
  • 11
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 12
  • 3
  • 8
  • 4
  • 4
  • 3
  • 4
  • 10
  • 3
  • 5
  • 3
  • 4
  • 10
  • 21
  • 7
  • 5
  • 4
  • 6
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 4
  • 5
  • 3
  • 6
  • 5
  • 4
  • 9
  • 5
  • 6
  • 5
  • 4
  • 7
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 6
  • 4
  • 5
  • 3
  • 5
  • 17
  • 3
  • 6
  • 3
  • 4
  • 5
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 5
  • 7
  • 4
  • 3
  • 3
  • 7
  • 3
  • 3
  • 6
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 3
  • 6
  • 3
  • 5
  • 3
  • 3
  • 6
  • 5
  • 3
  • 7
  • 4
  • 9
  • 18
  • 7
  • 6
  • 4
  • 3
  • 6
  • 4
  • 6
  • 3
  • 6
  • 5
  • 3
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 7
  • 3
  • 6
  • 6
  • 6
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 4
  • 6
  • 6
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 5
  • 6
  • 3
  • 3
  • 3
  • 4
  • 5
  • 6
  • 3
  • 10
  • 9
  • 7
  • 4
  • 4
  • 31
  • 4
  • 11
  • 3
  • 3
  • 12
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 5
  • 4
  • 4
  • 3
  • 5
  • 20
  • 8
  • 6
  • 3
  • 9
  • 3
  • 5
  • 33
  • 3
  • 5
  • 5
  • 4
  • 3
  • 8
  • 8
  • 18
  • 6
  • 7
  • 3
  • 6
  • 3
  • 9
  • 4
  • 6
  • 4
  • 9
  • 4
  • 5
  • 5
  • 4
  • 3
  • 18
  • 6
  • 3
  • 5
  • 12
  • 6
  • 4
  • 4
  • 3
  • 10
  • 3
  • 5
  • 7
  • 3
  • 4
  • 4
  • 20
  • 6
  • 4
  • 6
  • 4
  • 4
  • 4
  • 6
  • 3
Verlag
  • 4143
  • 1
  • 1
  • 3
  • 24
Preis
  • 13
  • 145
  • 3239
  • 775
Sprachen
  • 4172
  • 5
Verfügbarkeit
  • 4169
  • 3
Eigenschaften
  • 2
Katalog
  • 4172
  • 237
4.172  Treffer  für „Lecture Notes in Computer Science“
    Marcus / Rosenzweig / Soares | Design, User Experience, and Usability | Buch | Sack Fachmedien

    Marcus / Rosenzweig / Soares Design, User Experience, and Usability

    12th International Conference, DUXU 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part IV
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-35707-7
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schmidt | Automated Deduction - CADE-22 | Buch | Sack Fachmedien

    Schmidt Automated Deduction - CADE-22

    22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02958-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bjorner / Oest | Towards a Formal Description of Ada | Buch | Sack Fachmedien

    Bjorner / Oest Towards a Formal Description of Ada

    1. Auflage 1980
    Verlag: Springer
    ISBN: 978-3-540-10283-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koucheryavy / Aziz | Internet of Things, Smart Spaces, and Next Generation Networks and Systems | Buch | Sack Fachmedien

    Koucheryavy / Aziz Internet of Things, Smart Spaces, and Next Generation Networks and Systems

    24th International Conference, NEW2AN 2024, and 17th Conference, ruSMART 2024, Marrakesh, Morocco, December 11-12, 2024, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-95298-2
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen / Rückert | Services and Visualization: Towards User-Friendly Design | Buch | Sack Fachmedien

    Margaria / Steffen / Rückert Services and Visualization: Towards User-Friendly Design

    ACos'98, VISUAL'98, AIN'97, Selected Papers
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64367-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sangiovanni-Vincentelli / Sifakis | Embedded Software | Buch | Sack Fachmedien

    Sangiovanni-Vincentelli / Sifakis Embedded Software

    Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44307-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bassiliades / Gottlob / Sadri | Rule Technologies: Foundations, Tools, and Applications | Buch | Sack Fachmedien

    Bassiliades / Gottlob / Sadri Rule Technologies: Foundations, Tools, and Applications

    9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-21541-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Müller-Olm | Modular Compiler Verification | Buch | Sack Fachmedien

    Müller-Olm Modular Compiler Verification

    A Refinement-Algebraic Approach Advocating Stepwise Abstraction
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63406-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ali Babar / Gorton | Software Architecture | Buch | Sack Fachmedien

    Ali Babar / Gorton Software Architecture

    4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15113-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Godefroid | Model Checking Software | Buch | Sack Fachmedien

    Godefroid Model Checking Software

    12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-28195-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Foresti / Jajodia | Data and Applications Security and Privacy XXIV | Buch | Sack Fachmedien

    Foresti / Jajodia Data and Applications Security and Privacy XXIV

    24th Annual IFIP WG 11.3 Working Conference, Rome, Italy, June 21-23, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13738-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Singh / Rao / Wooldridge | Intelligent Agents IV: Agent Theories, Architectures, and Languages | Buch | Sack Fachmedien

    Singh / Rao / Wooldridge Intelligent Agents IV: Agent Theories, Architectures, and Languages

    4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64162-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sergey | Programming Languages and Systems | Buch | Sack Fachmedien

    Sergey Programming Languages and Systems

    31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-99335-1
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Steffen | Bridging the Gap Between AI and Reality | Buch | Sack Fachmedien

    Steffen Bridging the Gap Between AI and Reality

    First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-46001-2
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goldberg / Kulikov | Experimental Algorithms | Buch | Sack Fachmedien

    Goldberg / Kulikov Experimental Algorithms

    15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-38850-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    De Raedt / Frasconi / Kersting | Probabilistic Inductive Logic Programming | Buch | Sack Fachmedien

    De Raedt / Frasconi / Kersting Probabilistic Inductive Logic Programming

    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-78651-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Comuzzi / Grigori / Sellami | Cooperative Information Systems | Buch | Sack Fachmedien

    Comuzzi / Grigori / Sellami Cooperative Information Systems

    30th International Conference, CoopIS 2024, Porto, Portugal, November 19-21, 2024, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-81374-0
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Papatriantafilou / Hunel | Principles of Distributed Systems | Buch | Sack Fachmedien

    Papatriantafilou / Hunel Principles of Distributed Systems

    7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22667-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    van Eekelen / Shkaravska | Foundational and Practical Aspects of Resource Analysis | Buch | Sack Fachmedien

    van Eekelen / Shkaravska Foundational and Practical Aspects of Resource Analysis

    First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, Revised Selected Papers
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15330-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Suri | Mobile Agents | Buch | Sack Fachmedien

    Suri Mobile Agents

    6th International Conference, MA 2002, Barcelona, Spain, October 22-25, 2002, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-00085-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baader | Term Rewriting and Applications | Buch | Sack Fachmedien

    Baader Term Rewriting and Applications

    18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-73447-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Haddad / Pomello | Application and Theory of Petri Nets | Buch | Sack Fachmedien

    Haddad / Pomello Application and Theory of Petri Nets

    33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-31130-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ciancarini / Nierstrasz / Yonezawa | Object-Based Models and Languages for Concurrent Systems | Buch | Sack Fachmedien

    Ciancarini / Nierstrasz / Yonezawa Object-Based Models and Languages for Concurrent Systems

    ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994. Selected Papers
    Erscheinungsjahr 1995
    Verlag: Springer
    ISBN: 978-3-540-59450-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bowen / Hinchey | ZUM '95: The Z Formal Specification Notation | Buch | Sack Fachmedien

    Bowen / Hinchey ZUM '95: The Z Formal Specification Notation

    9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
    1. Auflage 1995
    Verlag: Springer
    ISBN: 978-3-540-60271-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taft / Duff / Brukardt | Ada 2012 Reference Manual. Language and Standard Libraries | Buch | Sack Fachmedien

    Taft / Duff / Brukardt Ada 2012 Reference Manual. Language and Standard Libraries

    International Standard ISO/IEC 8652/2012 (E)
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-642-45418-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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