Ergebnisse filtern
Fachgebiet
Medium
  • 4299
Erscheinungsjahr
  • 4
  • 183
  • 234
  • 190
  • 131
  • 47
  • 26
  • 42
  • 51
  • 66
  • 47
  • 79
  • 76
  • 74
  • 79
  • 64
  • 66
  • 158
  • 121
  • 138
  • 198
  • 181
  • 139
  • 207
  • 220
  • 181
  • 184
  • 119
  • 118
  • 97
  • 100
  • 96
  • 82
  • 68
  • 67
  • 53
  • 70
  • 38
  • 41
  • 30
  • 32
  • 20
  • 14
  • 11
  • 9
  • 13
  • 17
  • 11
  • 1
  • 1
  • 2
  • 2
  • 1
Autoren
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 8
  • 3
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 7
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 13
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 6
  • 5
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 5
  • 3
  • 5
  • 3
  • 4
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 4
  • 2
  • 2
  • 10
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 9
  • 3
  • 7
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 9
  • 2
  • 6
  • 2
  • 2
  • 2
  • 5
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 3
  • 4
  • 4
  • 4
  • 2
  • 10
  • 3
  • 3
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 12
  • 2
  • 4
  • 6
  • 3
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 8
  • 6
  • 5
  • 3
  • 2
  • 5
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 6
  • 2
  • 4
  • 3
  • 3
  • 5
  • 2
  • 8
  • 3
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 10
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 3
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 3
  • 6
  • 4
  • 3
  • 2
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 3
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 5
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 6
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 10
  • 5
  • 4
  • 2
  • 3
  • 7
  • 2
  • 2
  • 4
  • 3
  • 13
  • 2
  • 6
  • 3
  • 3
  • 4
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 2
  • 5
  • 5
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 38
  • 29
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 12
  • 3
  • 4
  • 3
  • 5
  • 6
  • 2
  • 7
  • 3
  • 4
  • 3
  • 3
  • 16
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 9
  • 6
  • 6
  • 3
  • 3
  • 4
  • 4
  • 5
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 4
  • 6
  • 3
  • 4
  • 4
  • 3
  • 4
  • 3
  • 10
  • 5
  • 3
  • 3
  • 4
  • 6
  • 6
  • 3
  • 25
  • 3
  • 3
  • 8
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 7
  • 3
  • 8
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 6
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 5
  • 3
  • 4
  • 11
  • 3
  • 4
  • 8
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 6
  • 4
  • 3
  • 5
  • 3
  • 3
  • 6
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 3
  • 4
  • 3
  • 4
  • 14
  • 5
  • 6
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 5
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 8
  • 8
  • 3
  • 4
  • 3
  • 3
  • 4
  • 7
  • 3
  • 3
  • 5
  • 8
  • 6
  • 5
  • 3
  • 10
  • 3
  • 7
  • 4
  • 5
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 3
  • 6
  • 6
  • 3
  • 8
  • 12
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 4
  • 9
  • 3
  • 3
  • 12
  • 3
  • 3
  • 3
  • 7
  • 3
  • 6
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 6
  • 8
  • 5
  • 4
  • 4
  • 6
  • 3
  • 3
  • 4
  • 3
  • 7
  • 5
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 7
  • 4
  • 7
  • 8
  • 3
  • 5
  • 3
  • 4
  • 5
  • 4
  • 3
  • 4
  • 10
  • 3
  • 3
  • 8
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 12
  • 5
  • 3
  • 11
  • 5
  • 4
  • 12
  • 28
  • 6
  • 5
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 6
  • 4
  • 3
  • 5
  • 4
  • 4
  • 5
  • 3
  • 12
  • 4
  • 4
  • 5
  • 3
  • 6
  • 4
  • 7
  • 6
  • 3
  • 5
  • 4
  • 3
  • 3
  • 9
  • 3
  • 3
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 19
  • 5
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 7
  • 6
  • 3
  • 3
  • 3
  • 5
  • 7
  • 3
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 6
  • 6
  • 4
  • 6
  • 4
  • 3
  • 6
  • 4
  • 3
  • 6
  • 4
  • 9
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 8
  • 22
  • 3
  • 6
  • 4
  • 3
  • 6
  • 3
  • 3
  • 5
  • 4
  • 6
  • 4
  • 3
  • 6
  • 4
  • 5
  • 4
  • 3
  • 3
  • 3
  • 7
  • 3
  • 5
  • 7
  • 3
  • 7
  • 3
  • 3
  • 3
  • 10
  • 3
  • 3
  • 3
  • 3
  • 5
  • 7
  • 3
  • 3
  • 3
  • 8
  • 4
  • 5
  • 4
  • 8
  • 6
  • 13
  • 9
  • 6
  • 3
  • 4
  • 30
  • 5
  • 11
  • 4
  • 12
  • 9
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 8
  • 8
  • 5
  • 4
  • 4
  • 4
  • 3
  • 5
  • 7
  • 4
  • 12
  • 21
  • 6
  • 4
  • 3
  • 9
  • 5
  • 4
  • 3
  • 40
  • 4
  • 3
  • 4
  • 4
  • 3
  • 3
  • 4
  • 9
  • 20
  • 5
  • 10
  • 6
  • 3
  • 13
  • 6
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 3
  • 4
  • 13
  • 4
  • 5
  • 4
  • 4
  • 19
  • 6
  • 3
  • 13
  • 5
  • 9
  • 5
  • 3
  • 3
  • 11
  • 4
  • 5
  • 4
  • 6
  • 22
  • 5
  • 11
  • 4
  • 6
  • 3
Verlag
  • 3
  • 4253
  • 1
  • 1
  • 13
  • 4
  • 6
  • 18
Preis
  • 13
  • 161
  • 3332
  • 793
Sprachen
  • 4299
  • 5
Verfügbarkeit
  • 4226
  • 73
Katalog
  • 4299
  • 242
4.299  Treffer  für „Lecture Notes in Computer Science“
    Guizzardi / Santoro / Mouratidis | Advanced Information Systems Engineering | Buch | Sack Fachmedien

    Guizzardi / Santoro / Mouratidis Advanced Information Systems Engineering

    36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-61056-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Indulska / Reinhartz-Berger / Cetina | Advanced Information Systems Engineering | Buch | Sack Fachmedien

    Indulska / Reinhartz-Berger / Cetina Advanced Information Systems Engineering

    35th International Conference, CAiSE 2023, Zaragoza, Spain, June 12-16, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-34559-3
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pahl / Vukovic / Yin | Service-Oriented Computing | Buch | Sack Fachmedien

    Pahl / Vukovic / Yin Service-Oriented Computing

    16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-03595-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lin | Programming Languages and Systems | Buch | Sack Fachmedien

    Lin Programming Languages and Systems

    17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-34174-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Biere / Parker | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Biere / Parker Tools and Algorithms for the Construction and Analysis of Systems

    26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-45236-0
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Marcus / Wang | Design, User Experience, and Usability. Application Domains | Buch | Sack Fachmedien

    Marcus / Wang Design, User Experience, and Usability. Application Domains

    8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part III
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-23537-6
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferreira / Musaev / Zhang | Services Computing - SCC 2019 | Buch | Sack Fachmedien

    Ferreira / Musaev / Zhang Services Computing - SCC 2019

    16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-23553-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Friggstad / Sack / Salavatipour | Algorithms and Data Structures | Buch | Sack Fachmedien

    Friggstad / Sack / Salavatipour Algorithms and Data Structures

    16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5-7, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-24765-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Attiogbé / Ben Yahia | Model and Data Engineering | Buch | Sack Fachmedien

    Attiogbé / Ben Yahia Model and Data Engineering

    10th International Conference, MEDI 2021, Tallinn, Estonia, June 21-23, 2021, Proceedings
    1. Auflage 2021
    Verlag: Springer
    ISBN: 978-3-030-78427-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Castiglioni / Francalanza | Formal Techniques for Distributed Objects, Components, and Systems | Buch | Sack Fachmedien

    Castiglioni / Francalanza Formal Techniques for Distributed Objects, Components, and Systems

    44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-62644-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ferrara / Krishnan | Data and Applications Security and Privacy XXXVIII | Buch | Sack Fachmedien

    Ferrara / Krishnan Data and Applications Security and Privacy XXXVIII

    38th Annual IFIP WG 11.3 Conference, DBSec 2024, San Jose, CA, USA, July 15-17, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-65171-7
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

    12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
    2024
    Verlag: Springer
    ISBN: 978-3-031-75386-2
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Application Areas | Buch | Sack Fachmedien

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

    12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
    2024
    Verlag: Springer
    ISBN: 978-3-031-75389-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Platzer / Rozier / Pradella | Formal Methods | Buch | Sack Fachmedien

    Platzer / Rozier / Pradella Formal Methods

    26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
    2025
    Verlag: Springer
    ISBN: 978-3-031-71176-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lipták / Moura / Figueroa | String Processing and Information Retrieval | Buch | Sack Fachmedien

    Lipták / Moura / Figueroa String Processing and Information Retrieval

    31st International Symposium, SPIRE 2024, Puerto Vallarta, Mexico, September 23-25, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-72199-1
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Espinosa / Klemm / de Supinski | Advancing OpenMP for Future Accelerators | Buch | Sack Fachmedien

    Espinosa / Klemm / de Supinski Advancing OpenMP for Future Accelerators

    20th International Workshop on OpenMP, IWOMP 2024, Perth, WA, Australia, September 23-25, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-72566-1
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Madeira / Knapp | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Madeira / Knapp Software Engineering and Formal Methods

    22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-77381-5
    Medium: Buch
    74,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / Jensen / Lengál | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Chen / Jensen / Lengál Verification, Model Checking, and Abstract Interpretation

    27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-15699-0
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martínez / Camacho / Yin | Intelligent Data Engineering and Automated Learning - IDEAL 2025 | Buch | Sack Fachmedien

    Martínez / Camacho / Yin Intelligent Data Engineering and Automated Learning - IDEAL 2025

    26th International Conference, Jaén, Spain, November 13-15, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-10485-4
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Martínez / Camacho / Yin | Intelligent Data Engineering and Automated Learning - IDEAL 2025 | Buch | Sack Fachmedien

    Martínez / Camacho / Yin Intelligent Data Engineering and Automated Learning - IDEAL 2025

    26th International Conference, Jaén, Spain, November 13-15, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-10488-5
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cezon / Wolfsthal | Towards a Service-Based Internet. ServiceWave 2010 Workshops | Buch | Sack Fachmedien

    Cezon / Wolfsthal Towards a Service-Based Internet. ServiceWave 2010 Workshops

    International Workshops, OCS, EMSOA, SMART, and EDBPM 2010, Ghent, Belgium, December 13-15, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22759-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Leavens / O'Hearn / Rajamani | Verified Software: Theories, Tools, Experiments | Buch | Sack Fachmedien

    Leavens / O'Hearn / Rajamani Verified Software: Theories, Tools, Experiments

    Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-15056-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Wyrzykowski / Dongarra / Paprzycki | Parallel Processing and Applied Mathematics | Buch | Sack Fachmedien

    Wyrzykowski / Dongarra / Paprzycki Parallel Processing and Applied Mathematics

    4th International Conference, PPAM 2001 Naleczow, Poland, September 9-12, 2001 Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer Netherlands
    ISBN: 978-3-540-43792-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Caelli / Amin / Duin | Structural, Syntactic, and Statistical Pattern Recognition | Buch | Sack Fachmedien

    Caelli / Amin / Duin Structural, Syntactic, and Statistical Pattern Recognition

    Joint IAPR International Workshops SSPR 2002 and SPR 2002, Windsor, Ontario, Canada, August 6-9, 2002. Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-44011-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pautasso / Tanter | Software Composition | Buch | Sack Fachmedien

    Pautasso / Tanter Software Composition

    7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-78788-4
    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