Ergebnisse filtern
Fachgebiet
Medium
  • 9656
  • 1629
  • 29
  • 12
Erscheinungsjahr
  • 8
  • 275
  • 1148
  • 1227
  • 568
  • 418
  • 352
  • 389
  • 369
  • 425
  • 322
  • 433
  • 296
  • 442
  • 408
  • 514
  • 250
  • 517
  • 238
  • 253
  • 261
  • 223
  • 256
  • 222
  • 222
  • 181
  • 161
  • 119
  • 107
  • 98
  • 84
  • 81
  • 71
  • 63
  • 68
  • 38
  • 56
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 6
  • 5
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 14
  • 3
  • 3
  • 4
  • 9
  • 10
  • 3
  • 4
  • 4
  • 10
  • 4
  • 3
  • 9
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 10
  • 3
  • 5
  • 3
  • 3
  • 6
  • 4
  • 4
  • 4
  • 3
  • 8
  • 4
  • 5
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 6
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 7
  • 9
  • 5
  • 10
  • 3
  • 7
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 9
  • 23
  • 3
  • 16
  • 5
  • 6
  • 7
  • 4
  • 3
  • 4
  • 3
  • 4
  • 6
  • 9
  • 4
  • 4
  • 7
  • 4
  • 3
  • 4
  • 7
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 6
  • 4
  • 3
  • 4
  • 23
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 7
  • 3
  • 7
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 12
  • 8
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 4
  • 11
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 20
  • 3
  • 4
  • 4
  • 13
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 16
  • 3
  • 4
  • 16
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 9
  • 4
  • 3
  • 3
  • 10
  • 18
  • 4
  • 7
  • 16
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 7
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 12
  • 7
  • 5
  • 3
  • 3
  • 3
  • 11
  • 7
  • 3
  • 6
  • 5
  • 12
  • 5
  • 3
  • 4
  • 13
  • 9
  • 4
  • 4
  • 9
  • 3
  • 3
  • 8
  • 4
  • 3
  • 3
  • 3
  • 3
  • 20
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 6
  • 3
  • 33
  • 4
  • 3
  • 8
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 7
  • 4
  • 3
  • 5
  • 3
  • 6
  • 8
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 5
  • 7
  • 3
  • 6
  • 4
  • 8
  • 6
  • 5
  • 14
  • 3
  • 8
  • 4
  • 4
  • 12
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 9
  • 6
  • 3
  • 3
  • 8
  • 3
  • 9
  • 3
  • 4
  • 12
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 10
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 4
  • 3
  • 6
  • 6
  • 3
  • 4
  • 4
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 3
  • 9
  • 3
  • 5
  • 3
  • 3
  • 5
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 5
  • 8
  • 6
  • 3
  • 6
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 5
  • 15
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 13
  • 5
  • 7
  • 3
  • 10
  • 4
  • 3
  • 8
  • 10
  • 7
  • 3
  • 7
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 3
  • 5
  • 7
  • 15
  • 4
  • 3
  • 17
  • 3
  • 5
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 11
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 5
  • 9
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 5
  • 29
  • 23
  • 3
  • 4
  • 3
  • 4
  • 4
  • 8
  • 4
  • 3
  • 4
  • 4
  • 6
  • 10
  • 5
  • 9
  • 13
  • 4
  • 5
  • 18
  • 6
  • 5
  • 4
  • 17
  • 5
  • 4
  • 16
  • 5
  • 11
  • 7
  • 6
  • 4
  • 4
  • 7
  • 10
  • 6
  • 6
  • 4
  • 4
  • 5
  • 25
  • 7
  • 5
  • 9
  • 4
  • 8
  • 4
  • 7
  • 4
  • 9
  • 7
  • 8
  • 8
  • 4
  • 38
  • 4
  • 7
  • 10
  • 7
  • 12
  • 4
  • 5
  • 5
  • 9
  • 4
  • 5
  • 13
  • 4
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 7
  • 9
  • 5
  • 6
  • 5
  • 18
  • 4
  • 4
  • 4
  • 8
  • 4
  • 10
  • 6
  • 6
  • 8
  • 8
  • 5
  • 6
  • 4
  • 5
  • 6
  • 8
  • 8
  • 8
  • 4
  • 6
  • 4
  • 5
  • 10
  • 9
  • 5
  • 4
  • 8
  • 7
  • 10
  • 10
  • 4
  • 8
  • 10
  • 5
  • 9
  • 9
  • 4
  • 9
  • 5
  • 5
  • 4
  • 7
  • 4
  • 6
  • 19
  • 5
  • 4
  • 4
  • 5
  • 11
  • 5
  • 4
  • 7
  • 5
  • 6
  • 6
  • 5
  • 4
  • 9
  • 4
  • 6
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 4
  • 8
  • 8
  • 7
  • 8
  • 15
  • 5
  • 5
  • 10
  • 8
  • 6
  • 9
  • 4
  • 7
  • 6
  • 7
  • 4
  • 10
  • 6
  • 11
  • 5
  • 8
  • 12
  • 9
  • 7
  • 63
  • 4
  • 14
  • 4
  • 4
  • 7
  • 5
  • 9
  • 9
  • 5
  • 6
  • 6
  • 4
  • 12
  • 12
  • 18
  • 6
  • 16
  • 6
  • 11
  • 6
  • 4
  • 24
  • 6
  • 7
  • 7
  • 5
  • 10
  • 12
  • 32
  • 4
  • 5
  • 5
  • 4
  • 4
  • 6
  • 6
  • 9
  • 4
  • 7
  • 10
  • 15
  • 7
  • 4
  • 6
  • 6
  • 4
  • 6
  • 4
  • 21
  • 27
  • 5
  • 4
  • 4
  • 4
  • 20
  • 11
  • 4
  • 6
  • 4
  • 8
  • 5
  • 4
  • 5
  • 7
  • 7
  • 4
  • 13
  • 7
  • 12
  • 11
  • 28
  • 10
  • 6
  • 4
  • 7
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 7
  • 4
  • 5
  • 9
  • 4
  • 4
  • 6
  • 8
  • 7
  • 5
  • 13
  • 6
  • 7
  • 4
  • 7
  • 4
  • 6
  • 7
  • 6
  • 9
  • 4
  • 4
  • 6
  • 7
  • 4
  • 5
  • 4
  • 21
  • 17
  • 4
  • 4
  • 8
  • 5
  • 7
  • 5
  • 8
  • 6
  • 6
  • 9
  • 5
  • 8
  • 8
  • 7
  • 10
  • 4
  • 10
  • 5
  • 4
  • 8
  • 5
  • 5
  • 14
  • 4
  • 8
  • 7
  • 4
  • 4
  • 11
  • 10
  • 6
  • 6
  • 9
  • 4
  • 18
  • 13
  • 5
  • 4
  • 10
  • 5
  • 4
  • 5
  • 8
  • 7
  • 4
  • 5
  • 6
  • 10
  • 4
  • 7
  • 4
  • 8
  • 5
  • 4
  • 7
  • 8
  • 4
  • 4
  • 7
  • 5
  • 23
  • 6
  • 9
  • 5
  • 4
  • 4
  • 7
  • 15
  • 5
  • 4
  • 4
  • 4
  • 24
  • 6
  • 8
  • 4
  • 7
  • 4
  • 5
  • 4
  • 7
  • 6
  • 4
  • 10
  • 9
  • 4
  • 4
  • 5
  • 5
  • 4
  • 4
  • 10
  • 12
  • 5
  • 7
  • 5
  • 4
  • 4
  • 4
  • 7
  • 16
  • 6
  • 4
  • 4
  • 4
  • 40
  • 49
  • 12
  • 4
  • 9
  • 12
  • 22
  • 10
  • 8
  • 5
  • 9
  • 9
  • 13
  • 6
  • 4
  • 4
  • 5
  • 5
  • 12
  • 7
  • 42
  • 5
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 9
  • 20
  • 7
  • 5
  • 5
  • 8
  • 32
  • 4
  • 6
  • 5
  • 8
  • 10
  • 4
  • 9
  • 10
  • 10
  • 6
  • 10
  • 4
  • 8
  • 4
  • 7
  • 4
  • 6
  • 11
  • 6
  • 8
  • 6
  • 13
  • 10
  • 4
  • 4
  • 7
  • 4
  • 9
  • 9
  • 14
  • 11
  • 6
  • 11
  • 13
  • 4
  • 7
  • 9
  • 8
  • 7
  • 12
  • 4
  • 7
  • 4
  • 4
  • 5
  • 6
  • 4
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 16
  • 14
  • 5
  • 12
  • 4
  • 8
  • 19
  • 4
  • 4
  • 12
  • 18
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 9
  • 7
  • 7
  • 18
  • 6
  • 12
  • 4
  • 4
  • 12
  • 5
  • 5
  • 5
  • 9
  • 4
  • 6
  • 21
  • 4
  • 7
  • 4
  • 4
  • 10
  • 7
  • 4
  • 4
  • 6
  • 7
  • 8
  • 7
Verlag
  • 2
  • 3
  • 5
  • 3
  • 1
  • 3
  • 1
  • 51
  • 7
  • 463
  • 3
  • 2
  • 18
  • 3
  • 8
  • 3
  • 285
  • 2
  • 22
  • 2
  • 1
  • 3
  • 3
  • 3
  • 73
  • 1
  • 91
  • 217
  • 4
  • 500
  • 1320
  • 15
  • 1
  • 1
  • 1
  • 56
  • 102
  • 1
  • 3
  • 1
  • 1
  • 34
  • 4
  • 2
  • 56
  • 30
  • 1
  • 1
  • 25
  • 1
  • 4
  • 3
  • 14
  • 5
  • 38
  • 4
  • 2
  • 1
  • 6
  • 1
  • 1
  • 3
  • 25
  • 1
  • 1
  • 4
  • 1
  • 1
  • 31
  • 1
  • 1
  • 1
  • 17
  • 49
  • 4
  • 3
  • 2
  • 16
  • 2
  • 6
  • 1
  • 1
  • 18
  • 2
  • 1
  • 11
  • 4
  • 1
  • 5
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 11
  • 1
  • 3
  • 24
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 15
  • 1
  • 4
  • 28
  • 22
  • 3
  • 37
  • 1
  • 1
  • 1
  • 1
  • 2
  • 16
  • 1
  • 6149
  • 45
  • 27
  • 1
  • 1
  • 1
  • 6
  • 8
  • 4
  • 1
  • 41
  • 1
  • 126
  • 104
  • 1
  • 5
  • 22
  • 1
  • 293
  • 37
  • 142
  • 6
  • 1
  • 24
  • 6
  • 1
  • 4
  • 1
  • 86
  • 1
  • 5
  • 2
  • 166
  • 3
  • 10
  • 1
  • 24
  • 22
  • 1
  • 1
  • 2
  • 2
Preis
  • 428
  • 1973
  • 5352
  • 3573
Sprachen
  • 10388
  • 949
  • 2
Verfügbarkeit
  • 11174
  • 152
Eigenschaften
  • 11
  • 4
Katalog
  • 11326
  • 1766
11.326  Titel
    Sabharwal / Wadhwa | Automation through Chef Opscode | Buch | Sack Fachmedien

    Sabharwal / Wadhwa Automation through Chef Opscode

    A Hands-on Approach to Chef
    1. Auflage 2014
    Verlag: Apress
    ISBN: 978-1-4302-6295-4
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Geist / Tronci | Correct Hardware Design and Verification Methods | Buch | Sack Fachmedien

    Geist / Tronci Correct Hardware Design and Verification Methods

    12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-20363-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grieskamp / Weise | Formal Approaches to Software Testing | Buch | Sack Fachmedien

    Grieskamp / Weise Formal Approaches to Software Testing

    5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-34454-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfahl / Gonzalez Huerta / Klünder | Product-Focused Software Process Improvement | Buch | Sack Fachmedien

    Pfahl / Gonzalez Huerta / Klünder Product-Focused Software Process Improvement

    25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-78385-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lambers / Uchitel | Fundamental Approaches to Software Engineering | Buch | Sack Fachmedien

    Lambers / Uchitel Fundamental Approaches to Software Engineering

    26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-30825-3
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler / Petre / Sere | Integrated Formal Methods | Buch | Sack Fachmedien

    Butler / Petre / Sere Integrated Formal Methods

    Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-43703-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gotsman / Sokolova | Formal Techniques for Distributed Objects, Components, and Systems | Buch | Sack Fachmedien

    Gotsman / Sokolova Formal Techniques for Distributed Objects, Components, and Systems

    40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-50085-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Omicini / Tolksdorf / Zambonelli | Engineering Societies in the Agents World | Buch | Sack Fachmedien

    Omicini / Tolksdorf / Zambonelli Engineering Societies in the Agents World

    First International Workshop, ESAW 2000, Berlin, Germany, August 21, 2000. Revised Papers
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41477-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Karmouch / Magedanz / Delgado | Mobile Agents for Telecommunication Applications | Buch | Sack Fachmedien

    Karmouch / Magedanz / Delgado Mobile Agents for Telecommunication Applications

    4th International Workshop, MATA 2002 Barcelona, Spain, October 23-24, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00021-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dubois | Tests and Proofs | Buch | Sack Fachmedien

    Dubois Tests and Proofs

    Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02948-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lan / Mei / Jiang | Intelligent Robotics and Applications | Buch | Sack Fachmedien

    Lan / Mei / Jiang Intelligent Robotics and Applications

    17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VI
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-960791-4
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Achilleos / Fuentes / Papadopoulos | Reuse and Software Quality | Buch | Sack Fachmedien

    Achilleos / Fuentes / Papadopoulos Reuse and Software Quality

    21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-66458-8
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Zhang | Engineering Trustworthy Software Systems | Buch | Sack Fachmedien

    Liu / Zhang Engineering Trustworthy Software Systems

    First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-29627-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Loucopoulos | Advanced Information Systems Engineering | Buch | Sack Fachmedien

    Loucopoulos Advanced Information Systems Engineering

    4th International Conference CAiSE '92, Manchester, UK, May 12-15, 1992. Proceedings
    Erscheinungsjahr 1992
    Verlag: Springer
    ISBN: 978-3-540-55481-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leue / Systä | Scenarios: Models, Transformations and Tools | Buch | Sack Fachmedien

    Leue / Systä Scenarios: Models, Transformations and Tools

    International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-26189-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biondi / Given-Wilson / Legay | Model Checking Software | Buch | Sack Fachmedien

    Biondi / Given-Wilson / Legay Model Checking Software

    26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-30922-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ahrendt / Beckert / Bubel | Deductive Software Verification - The KeY Book | Buch | Sack Fachmedien

    Ahrendt / Beckert / Bubel Deductive Software Verification - The KeY Book

    From Theory to Practice
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-49811-9
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kozen / Shankland | Mathematics of Program Construction | Buch | Sack Fachmedien

    Kozen / Shankland Mathematics of Program Construction

    7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-22380-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bertot / Castéran | Interactive Theorem Proving and Program Development | Buch | Sack Fachmedien

    Bertot / Castéran Interactive Theorem Proving and Program Development

    Coq'Art: The Calculus of Inductive Constructions
    1. Auflage. Softcover version of original hardcover Auflage 2004
    Verlag: Springer
    ISBN: 978-3-642-05880-6
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Schäfer / Engels | Programmentwicklungsumgebungen | Buch | Sack Fachmedien

    Schäfer / Engels Programmentwicklungsumgebungen

    Konzepte und Realisierung
    1989
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-519-02487-3
    Medium: Buch
    49,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Finkbeiner / Pu / Zhang | Automated Technology for Verification and Analysis | Buch | Sack Fachmedien

    Finkbeiner / Pu / Zhang Automated Technology for Verification and Analysis

    13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-24952-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Grechenig / Tscheligi | Human Computer Interaction | Buch | Sack Fachmedien

    Grechenig / Tscheligi Human Computer Interaction

    Vienna Conference, VCHCI '93, Fin de Siecle, Vienna, Austria, September 20-22, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57312-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nori / Veni Madhavan | Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Nori / Veni Madhavan Foundations of Software Technology and Theoretical Computer Science

    Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings
    1. Auflage 1990
    Verlag: Springer
    ISBN: 978-3-540-53487-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Noda / Ando / Brugali | Simulation, Modeling, and Programming for Autonomous Robots | Buch | Sack Fachmedien

    Noda / Ando / Brugali Simulation, Modeling, and Programming for Autonomous Robots

    Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-34326-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ribeiro / Pfahringer / Japkowicz | Machine Learning and Knowledge Discovery in Databases. Research Track | Buch | Sack Fachmedien

    Ribeiro / Pfahringer / Japkowicz Machine Learning and Knowledge Discovery in Databases. Research Track

    European Conference, ECML PKDD 2025, Porto, Portugal, September 15-19, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-05961-1
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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