Ergebnisse filtern
Fachgebiet
Medium
  • 10062
  • 1628
  • 32
  • 11
Erscheinungsjahr
  • 1
  • 161
  • 552
  • 1205
  • 1212
  • 560
  • 411
  • 347
  • 374
  • 359
  • 412
  • 320
  • 431
  • 296
  • 442
  • 408
  • 513
  • 248
  • 518
  • 236
  • 254
  • 262
  • 224
  • 257
  • 223
  • 222
  • 178
  • 162
  • 119
  • 107
  • 94
  • 84
  • 80
  • 72
  • 60
  • 68
  • 38
  • 55
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 4
  • 3
  • 4
  • 3
  • 8
  • 14
  • 3
  • 3
  • 4
  • 9
  • 10
  • 3
  • 4
  • 4
  • 10
  • 4
  • 3
  • 10
  • 4
  • 4
  • 3
  • 3
  • 3
  • 4
  • 4
  • 3
  • 10
  • 3
  • 5
  • 3
  • 3
  • 9
  • 4
  • 4
  • 4
  • 3
  • 8
  • 5
  • 5
  • 3
  • 7
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 6
  • 4
  • 4
  • 5
  • 4
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 7
  • 11
  • 5
  • 10
  • 4
  • 7
  • 3
  • 4
  • 3
  • 4
  • 4
  • 5
  • 3
  • 9
  • 23
  • 3
  • 23
  • 5
  • 6
  • 7
  • 5
  • 3
  • 3
  • 4
  • 3
  • 4
  • 6
  • 8
  • 4
  • 4
  • 7
  • 4
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 6
  • 4
  • 3
  • 4
  • 23
  • 3
  • 6
  • 4
  • 4
  • 3
  • 4
  • 7
  • 3
  • 3
  • 7
  • 4
  • 3
  • 10
  • 3
  • 3
  • 4
  • 12
  • 8
  • 4
  • 4
  • 4
  • 4
  • 3
  • 6
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 6
  • 3
  • 4
  • 10
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 21
  • 3
  • 4
  • 4
  • 13
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 3
  • 3
  • 16
  • 3
  • 4
  • 16
  • 4
  • 8
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 10
  • 3
  • 3
  • 3
  • 8
  • 4
  • 3
  • 5
  • 10
  • 19
  • 4
  • 9
  • 16
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 7
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 11
  • 10
  • 5
  • 3
  • 3
  • 3
  • 3
  • 11
  • 7
  • 6
  • 3
  • 5
  • 12
  • 5
  • 3
  • 4
  • 13
  • 10
  • 4
  • 4
  • 10
  • 3
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 3
  • 20
  • 4
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 8
  • 4
  • 33
  • 4
  • 3
  • 8
  • 3
  • 4
  • 5
  • 3
  • 3
  • 4
  • 3
  • 7
  • 7
  • 4
  • 3
  • 5
  • 5
  • 3
  • 6
  • 8
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 8
  • 5
  • 7
  • 3
  • 6
  • 4
  • 8
  • 6
  • 5
  • 16
  • 3
  • 8
  • 4
  • 4
  • 12
  • 3
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 9
  • 6
  • 3
  • 3
  • 8
  • 8
  • 3
  • 9
  • 3
  • 4
  • 12
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 3
  • 4
  • 3
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 10
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 9
  • 4
  • 3
  • 6
  • 8
  • 3
  • 4
  • 4
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 4
  • 9
  • 3
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 5
  • 8
  • 6
  • 6
  • 4
  • 4
  • 4
  • 5
  • 15
  • 5
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 7
  • 13
  • 6
  • 7
  • 10
  • 7
  • 4
  • 8
  • 10
  • 6
  • 4
  • 7
  • 4
  • 9
  • 5
  • 7
  • 22
  • 6
  • 4
  • 17
  • 4
  • 5
  • 4
  • 5
  • 6
  • 5
  • 5
  • 12
  • 4
  • 4
  • 5
  • 4
  • 5
  • 4
  • 6
  • 5
  • 9
  • 4
  • 4
  • 7
  • 29
  • 25
  • 4
  • 4
  • 8
  • 5
  • 9
  • 8
  • 12
  • 5
  • 19
  • 5
  • 4
  • 16
  • 4
  • 16
  • 4
  • 9
  • 7
  • 5
  • 4
  • 4
  • 7
  • 10
  • 6
  • 7
  • 4
  • 4
  • 7
  • 27
  • 9
  • 5
  • 9
  • 7
  • 4
  • 8
  • 4
  • 4
  • 7
  • 4
  • 9
  • 7
  • 11
  • 8
  • 4
  • 41
  • 9
  • 10
  • 7
  • 12
  • 5
  • 5
  • 9
  • 4
  • 5
  • 13
  • 4
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 7
  • 9
  • 5
  • 6
  • 5
  • 20
  • 4
  • 5
  • 4
  • 9
  • 4
  • 10
  • 6
  • 6
  • 8
  • 8
  • 6
  • 4
  • 6
  • 4
  • 4
  • 6
  • 8
  • 8
  • 11
  • 4
  • 6
  • 4
  • 4
  • 5
  • 10
  • 10
  • 5
  • 6
  • 8
  • 6
  • 7
  • 10
  • 10
  • 4
  • 8
  • 10
  • 5
  • 9
  • 9
  • 4
  • 9
  • 5
  • 9
  • 4
  • 7
  • 4
  • 4
  • 19
  • 10
  • 4
  • 4
  • 4
  • 5
  • 11
  • 5
  • 7
  • 8
  • 6
  • 5
  • 8
  • 4
  • 10
  • 4
  • 6
  • 4
  • 4
  • 12
  • 4
  • 4
  • 4
  • 4
  • 4
  • 8
  • 7
  • 8
  • 16
  • 7
  • 5
  • 10
  • 8
  • 6
  • 9
  • 4
  • 7
  • 6
  • 7
  • 4
  • 10
  • 8
  • 13
  • 5
  • 7
  • 8
  • 12
  • 9
  • 7
  • 67
  • 4
  • 4
  • 14
  • 4
  • 4
  • 7
  • 5
  • 10
  • 7
  • 5
  • 7
  • 6
  • 4
  • 12
  • 14
  • 18
  • 6
  • 16
  • 4
  • 4
  • 6
  • 11
  • 6
  • 4
  • 4
  • 24
  • 6
  • 10
  • 7
  • 5
  • 4
  • 10
  • 10
  • 12
  • 37
  • 4
  • 5
  • 15
  • 5
  • 4
  • 4
  • 6
  • 6
  • 9
  • 4
  • 7
  • 4
  • 10
  • 15
  • 7
  • 4
  • 7
  • 6
  • 4
  • 6
  • 4
  • 4
  • 23
  • 27
  • 5
  • 4
  • 4
  • 4
  • 20
  • 11
  • 6
  • 6
  • 4
  • 5
  • 8
  • 5
  • 5
  • 8
  • 7
  • 5
  • 13
  • 7
  • 12
  • 11
  • 31
  • 10
  • 8
  • 4
  • 9
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 7
  • 5
  • 5
  • 9
  • 4
  • 4
  • 4
  • 6
  • 8
  • 7
  • 5
  • 12
  • 6
  • 10
  • 4
  • 4
  • 7
  • 4
  • 7
  • 7
  • 6
  • 9
  • 4
  • 4
  • 7
  • 9
  • 4
  • 5
  • 5
  • 4
  • 21
  • 21
  • 4
  • 4
  • 12
  • 5
  • 7
  • 5
  • 8
  • 7
  • 6
  • 9
  • 5
  • 8
  • 8
  • 7
  • 10
  • 4
  • 10
  • 5
  • 4
  • 7
  • 5
  • 5
  • 15
  • 4
  • 8
  • 7
  • 4
  • 4
  • 11
  • 10
  • 6
  • 9
  • 4
  • 4
  • 21
  • 15
  • 5
  • 6
  • 4
  • 9
  • 10
  • 4
  • 5
  • 8
  • 7
  • 4
  • 5
  • 7
  • 10
  • 4
  • 4
  • 5
  • 7
  • 4
  • 4
  • 8
  • 8
  • 4
  • 7
  • 4
  • 8
  • 5
  • 4
  • 4
  • 7
  • 7
  • 23
  • 5
  • 9
  • 5
  • 4
  • 4
  • 7
  • 15
  • 6
  • 4
  • 4
  • 4
  • 4
  • 24
  • 6
  • 4
  • 8
  • 4
  • 7
  • 4
  • 4
  • 5
  • 4
  • 7
  • 7
  • 4
  • 12
  • 10
  • 4
  • 4
  • 5
  • 5
  • 8
  • 4
  • 4
  • 10
  • 11
  • 5
  • 7
  • 5
  • 4
  • 4
  • 4
  • 9
  • 16
  • 6
  • 4
  • 4
  • 4
  • 47
  • 56
  • 12
  • 4
  • 9
  • 12
  • 12
  • 22
  • 9
  • 5
  • 9
  • 9
  • 13
  • 6
  • 4
  • 4
  • 7
  • 5
  • 11
  • 7
  • 48
  • 5
  • 5
  • 5
  • 8
  • 4
  • 4
  • 5
  • 9
  • 20
  • 7
  • 5
  • 4
  • 5
  • 13
  • 35
  • 4
  • 6
  • 5
  • 4
  • 8
  • 10
  • 4
  • 11
  • 10
  • 10
  • 4
  • 6
  • 14
  • 4
  • 8
  • 4
  • 7
  • 4
  • 6
  • 11
  • 6
  • 8
  • 6
  • 6
  • 4
  • 4
  • 15
  • 10
  • 4
  • 4
  • 5
  • 7
  • 4
  • 13
  • 13
  • 14
  • 11
  • 6
  • 11
  • 13
  • 4
  • 7
  • 9
  • 9
  • 7
  • 12
  • 4
  • 7
  • 4
  • 5
  • 5
  • 4
  • 11
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 5
  • 16
  • 14
  • 5
  • 12
  • 4
  • 8
  • 19
  • 4
  • 12
  • 12
  • 4
  • 18
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 9
  • 7
  • 7
  • 18
  • 8
  • 6
  • 14
  • 4
  • 4
  • 12
  • 5
  • 5
  • 6
  • 9
  • 4
  • 6
  • 22
  • 4
  • 7
  • 10
  • 4
  • 10
  • 9
  • 4
  • 4
  • 6
  • 7
  • 8
  • 7
Verlag
  • 2
  • 3
  • 5
  • 4
  • 1
  • 3
  • 1
  • 52
  • 6
  • 503
  • 1
  • 44
  • 18
  • 3
  • 8
  • 4
  • 287
  • 1
  • 21
  • 1
  • 1
  • 3
  • 4
  • 3
  • 69
  • 1
  • 94
  • 1
  • 226
  • 1
  • 525
  • 1325
  • 15
  • 1
  • 1
  • 2
  • 59
  • 98
  • 2
  • 6
  • 1
  • 1
  • 4
  • 2
  • 1
  • 54
  • 35
  • 1
  • 25
  • 1
  • 4
  • 3
  • 12
  • 5
  • 26
  • 4
  • 2
  • 1
  • 6
  • 1
  • 1
  • 3
  • 1
  • 25
  • 1
  • 2
  • 4
  • 1
  • 1
  • 33
  • 1
  • 1
  • 2
  • 1
  • 9
  • 48
  • 4
  • 4
  • 5
  • 17
  • 2
  • 6
  • 1
  • 1
  • 18
  • 2
  • 1
  • 11
  • 2
  • 1
  • 5
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 11
  • 1
  • 3
  • 17
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 2
  • 2
  • 2
  • 1
  • 16
  • 1
  • 7
  • 28
  • 22
  • 3
  • 38
  • 1
  • 1
  • 1
  • 1
  • 2
  • 16
  • 1
  • 6491
  • 30
  • 7
  • 1
  • 1
  • 1
  • 1
  • 7
  • 1
  • 22
  • 35
  • 1
  • 124
  • 90
  • 3
  • 2
  • 21
  • 1
  • 1
  • 290
  • 28
  • 108
  • 41
  • 1
  • 24
  • 6
  • 1
  • 3
  • 1
  • 86
  • 1
  • 5
  • 2
  • 183
  • 3
  • 9
  • 1
  • 24
  • 55
  • 1
  • 1
  • 2
  • 2
Preis
  • 377
  • 2038
  • 5571
  • 3747
Sprachen
  • 10779
  • 964
  • 2
Verfügbarkeit
  • 11436
  • 297
Eigenschaften
  • 5
  • 2
Katalog
  • 11733
  • 1829
11.733  Titel
    Smith | C++ Toolkit for Engineers and Scientists | Buch | Sack Fachmedien

    Smith C++ Toolkit for Engineers and Scientists

    2. Auflage 1999
    Verlag: Springer Netherlands
    ISBN: 978-0-387-98797-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paskevich / Wies | Verified Software. Theories, Tools, and Experiments | Buch | Sack Fachmedien

    Paskevich / Wies Verified Software. Theories, Tools, and Experiments

    9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-72307-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Felderer / Méndez Fernández / Turhan | Product-Focused Software Process Improvement | Buch | Sack Fachmedien

    Felderer / Méndez Fernández / Turhan Product-Focused Software Process Improvement

    18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-69925-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tan / Shi / Tang | Advances in Swarm Intelligence | Buch | Sack Fachmedien

    Tan / Shi / Tang Advances in Swarm Intelligence

    9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-93814-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rensink / Sánchez Cuadrado | Theory and Practice of Model Transformation | Buch | Sack Fachmedien

    Rensink / Sánchez Cuadrado Theory and Practice of Model Transformation

    11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-93316-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gallardo / Merino | Model Checking Software | Buch | Sack Fachmedien

    Gallardo / Merino Model Checking Software

    25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94110-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Di Marzo Serugendo / Loreti | Coordination Models and Languages | Buch | Sack Fachmedien

    Di Marzo Serugendo / Loreti Coordination Models and Languages

    20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-92407-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hlinený / Dvorák / Jaroš | Mathematical and Engineering Methods in Computer Science | Buch | Sack Fachmedien

    Hlinený / Dvorák / Jaroš Mathematical and Engineering Methods in Computer Science

    9th International Doctoral Workshop, MEMICS 2014, Tel¿, Czech Republic, October 17--19, 2014, Revised Selected Papers
    2014
    Verlag: Springer
    ISBN: 978-3-319-14895-3
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Butler / Conchon / Zaïdi | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Butler / Conchon / Zaïdi Formal Methods and Software Engineering

    17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
    1. Auflage 2015
    Verlag: Springer
    ISBN: 978-3-319-25422-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Petrenko / Voronkov | Perspectives of System Informatics | Buch | Sack Fachmedien

    Petrenko / Voronkov Perspectives of System Informatics

    11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-74312-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Iklé / Kolonin / Bennett | Artificial General Intelligence | Buch | Sack Fachmedien

    Iklé / Kolonin / Bennett Artificial General Intelligence

    18th International Conference, AGI 2025, Reykjavic, Iceland, August 10-13, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-00799-5
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    Yevtushenko / Cavalli / Yenigün | Testing Software and Systems | Buch | Sack Fachmedien

    Yevtushenko / Cavalli / Yenigün Testing Software and Systems

    29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67548-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fantechi / Lecomte / Romanovsky | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | Buch | Sack Fachmedien

    Fantechi / Lecomte / Romanovsky Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-68498-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Parashar | Grid Computing - GRID 2002 | Buch | Sack Fachmedien

    Parashar Grid Computing - GRID 2002

    Third International Workshop, Baltimore, MD, USA, November 18, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00133-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Swart | Relational Methods in Computer Science | Buch | Sack Fachmedien

    de Swart Relational Methods in Computer Science

    6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001 Revised Papers
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00315-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Peled / Vardi | Formal Techniques for Networked and Distributed Systems - FORTE 2002 | Buch | Sack Fachmedien

    Peled / Vardi Formal Techniques for Networked and Distributed Systems - FORTE 2002

    22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
    Erscheinungsjahr 2002
    Verlag: Springer
    ISBN: 978-3-540-00141-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Fonseca / Fleming / Zitzler | Evolutionary Multi-Criterion Optimization | Buch | Sack Fachmedien

    Fonseca / Fleming / Zitzler Evolutionary Multi-Criterion Optimization

    Second International Conference, EMO 2003, Faro, Portugal, April 8-11, 2003, Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-01869-8
    Medium: Buch
    213,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Barringer | A Survey of Verification Techniques for Parallel Programs | Buch | Sack Fachmedien

    Barringer A Survey of Verification Techniques for Parallel Programs

    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15239-2
    Medium: Buch
    24,60 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Staunstrup | Program Specification | Buch | Sack Fachmedien

    Staunstrup Program Specification

    Proceedings of a Workshop Aarhus, Denmark, August 1981
    1. Auflage 1982
    Verlag: Springer
    ISBN: 978-3-540-11490-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ghanea-Hercock | Applied Evolutionary Algorithms in Java | Buch | Sack Fachmedien

    Ghanea-Hercock Applied Evolutionary Algorithms in Java

    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-1-4684-9526-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sherman | Paragon | Buch | Sack Fachmedien

    Sherman Paragon

    A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types
    1. Auflage 1985
    Verlag: Springer
    ISBN: 978-3-540-15212-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dori | Model-Based Systems Engineering with OPM and SysML | Buch | Sack Fachmedien

    Dori Model-Based Systems Engineering with OPM and SysML

    Softcover Nachdruck of the original 1. Auflage 2016
    Verlag: Springer
    ISBN: 978-1-4939-8014-7
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bibel / Schmitt | Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications | Buch | Sack Fachmedien

    Bibel / Schmitt Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-0-7923-5131-3
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Olaru / Nardin / Sorici | Distributed AI in the Modern World | Buch | Sack Fachmedien

    Olaru / Nardin / Sorici Distributed AI in the Modern World

    Technical and Social Aspects of Interacting Intelligent Agents
    Erscheinungsjahr 2026
    Verlag: Elsevier Science
    ISBN: 978-0-443-44679-5
    Medium: Buch
    172,50 € (inkl. MwSt.)
    Lieferzeit ca. 3 bis 4 Wochen
    Bereits im Warenkorb
    Molitorisz | Musterbasierte Parallelisierung sequenzieller Anwendungen | Buch | Sack Fachmedien

    Molitorisz Musterbasierte Parallelisierung sequenzieller Anwendungen

    Konzept und Implementierung eines Verfahrens zur Softwaretransformation
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-658-15094-5
    Medium: Buch
    59,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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