Ergebnisse filtern
Fachgebiet
Medium
  • 9414
  • 1017
  • 31
  • 13
Erscheinungsjahr
  • 1
  • 52
  • 548
  • 785
  • 631
  • 483
  • 430
  • 439
  • 422
  • 536
  • 318
  • 452
  • 303
  • 442
  • 398
  • 505
  • 246
  • 510
  • 232
  • 253
  • 260
  • 222
  • 262
  • 225
  • 224
  • 184
  • 162
  • 123
  • 109
  • 97
  • 80
  • 81
  • 72
  • 60
  • 68
  • 39
  • 55
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 6
  • 5
  • 4
  • 4
  • 3
  • 4
  • 8
  • 14
  • 3
  • 3
  • 4
  • 9
  • 10
  • 3
  • 4
  • 4
  • 10
  • 5
  • 3
  • 9
  • 5
  • 4
  • 3
  • 3
  • 4
  • 4
  • 8
  • 3
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 3
  • 8
  • 3
  • 4
  • 5
  • 7
  • 4
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 6
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 7
  • 4
  • 4
  • 7
  • 5
  • 6
  • 10
  • 3
  • 7
  • 3
  • 3
  • 3
  • 5
  • 9
  • 23
  • 3
  • 12
  • 5
  • 5
  • 7
  • 4
  • 4
  • 3
  • 4
  • 6
  • 8
  • 4
  • 4
  • 4
  • 4
  • 7
  • 3
  • 3
  • 8
  • 4
  • 4
  • 3
  • 3
  • 5
  • 3
  • 6
  • 3
  • 3
  • 4
  • 4
  • 3
  • 6
  • 4
  • 3
  • 4
  • 21
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 7
  • 4
  • 3
  • 6
  • 3
  • 3
  • 12
  • 8
  • 4
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 4
  • 10
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 20
  • 3
  • 4
  • 4
  • 11
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 15
  • 3
  • 4
  • 16
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 3
  • 3
  • 3
  • 9
  • 4
  • 3
  • 10
  • 18
  • 4
  • 7
  • 17
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 20
  • 7
  • 5
  • 3
  • 3
  • 3
  • 11
  • 7
  • 6
  • 4
  • 12
  • 5
  • 3
  • 4
  • 13
  • 9
  • 4
  • 4
  • 6
  • 3
  • 3
  • 7
  • 4
  • 3
  • 3
  • 3
  • 18
  • 4
  • 4
  • 4
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 4
  • 3
  • 6
  • 3
  • 33
  • 4
  • 3
  • 9
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 6
  • 4
  • 5
  • 3
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 6
  • 3
  • 5
  • 5
  • 7
  • 3
  • 6
  • 4
  • 8
  • 6
  • 5
  • 12
  • 3
  • 9
  • 4
  • 4
  • 12
  • 3
  • 4
  • 7
  • 5
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 9
  • 6
  • 3
  • 3
  • 8
  • 9
  • 3
  • 3
  • 11
  • 4
  • 6
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 5
  • 3
  • 3
  • 4
  • 3
  • 5
  • 3
  • 4
  • 6
  • 3
  • 5
  • 3
  • 3
  • 10
  • 4
  • 4
  • 4
  • 6
  • 4
  • 7
  • 4
  • 3
  • 6
  • 6
  • 3
  • 4
  • 3
  • 7
  • 7
  • 3
  • 3
  • 3
  • 5
  • 9
  • 4
  • 3
  • 3
  • 5
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 6
  • 4
  • 6
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 5
  • 3
  • 5
  • 15
  • 5
  • 3
  • 3
  • 4
  • 4
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 13
  • 3
  • 5
  • 7
  • 3
  • 10
  • 6
  • 3
  • 8
  • 10
  • 7
  • 3
  • 7
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 7
  • 11
  • 4
  • 3
  • 15
  • 3
  • 3
  • 3
  • 4
  • 5
  • 6
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 4
  • 4
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 5
  • 9
  • 3
  • 5
  • 3
  • 3
  • 3
  • 5
  • 28
  • 23
  • 3
  • 4
  • 4
  • 4
  • 8
  • 3
  • 4
  • 4
  • 3
  • 6
  • 10
  • 3
  • 5
  • 3
  • 9
  • 4
  • 13
  • 5
  • 3
  • 5
  • 4
  • 3
  • 3
  • 18
  • 3
  • 3
  • 4
  • 6
  • 5
  • 5
  • 4
  • 18
  • 3
  • 3
  • 6
  • 5
  • 3
  • 4
  • 4
  • 3
  • 20
  • 6
  • 11
  • 3
  • 8
  • 3
  • 6
  • 5
  • 4
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 7
  • 13
  • 3
  • 5
  • 6
  • 6
  • 4
  • 6
  • 26
  • 6
  • 6
  • 10
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 4
  • 3
  • 3
  • 3
  • 3
  • 7
  • 4
  • 3
  • 9
  • 6
  • 8
  • 9
  • 4
  • 3
  • 39
  • 4
  • 10
  • 3
  • 3
  • 7
  • 3
  • 12
  • 3
  • 5
  • 3
  • 5
  • 10
  • 4
  • 5
  • 13
  • 4
  • 5
  • 5
  • 4
  • 3
  • 4
  • 5
  • 7
  • 14
  • 5
  • 3
  • 6
  • 5
  • 18
  • 4
  • 4
  • 3
  • 4
  • 8
  • 4
  • 3
  • 3
  • 10
  • 6
  • 6
  • 8
  • 8
  • 4
  • 3
  • 3
  • 6
  • 3
  • 3
  • 5
  • 6
  • 8
  • 8
  • 3
  • 7
  • 6
  • 3
  • 4
  • 5
  • 4
  • 10
  • 9
  • 5
  • 4
  • 4
  • 3
  • 8
  • 7
  • 10
  • 10
  • 4
  • 8
  • 9
  • 5
  • 9
  • 9
  • 9
  • 5
  • 5
  • 4
  • 7
  • 5
  • 4
  • 4
  • 19
  • 5
  • 4
  • 4
  • 4
  • 11
  • 5
  • 4
  • 5
  • 5
  • 5
  • 6
  • 4
  • 4
  • 4
  • 9
  • 4
  • 6
  • 4
  • 4
  • 7
  • 4
  • 4
  • 4
  • 8
  • 8
  • 7
  • 8
  • 15
  • 5
  • 5
  • 10
  • 8
  • 6
  • 10
  • 4
  • 8
  • 6
  • 7
  • 4
  • 10
  • 7
  • 11
  • 5
  • 4
  • 11
  • 9
  • 4
  • 7
  • 61
  • 4
  • 14
  • 4
  • 4
  • 7
  • 5
  • 9
  • 18
  • 5
  • 6
  • 6
  • 12
  • 12
  • 17
  • 6
  • 16
  • 4
  • 6
  • 11
  • 4
  • 24
  • 6
  • 5
  • 7
  • 5
  • 10
  • 12
  • 32
  • 4
  • 4
  • 4
  • 4
  • 7
  • 9
  • 7
  • 10
  • 15
  • 7
  • 4
  • 6
  • 6
  • 4
  • 6
  • 5
  • 4
  • 21
  • 27
  • 5
  • 4
  • 4
  • 4
  • 5
  • 20
  • 11
  • 4
  • 6
  • 4
  • 8
  • 5
  • 5
  • 7
  • 7
  • 4
  • 14
  • 7
  • 12
  • 11
  • 28
  • 9
  • 4
  • 4
  • 7
  • 5
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 7
  • 4
  • 14
  • 4
  • 6
  • 8
  • 5
  • 5
  • 13
  • 6
  • 4
  • 7
  • 4
  • 6
  • 7
  • 6
  • 4
  • 9
  • 4
  • 4
  • 6
  • 7
  • 5
  • 4
  • 21
  • 17
  • 4
  • 4
  • 8
  • 5
  • 7
  • 7
  • 6
  • 6
  • 9
  • 5
  • 8
  • 8
  • 5
  • 10
  • 10
  • 5
  • 4
  • 8
  • 5
  • 5
  • 14
  • 7
  • 7
  • 4
  • 11
  • 10
  • 6
  • 9
  • 20
  • 11
  • 5
  • 4
  • 9
  • 5
  • 5
  • 5
  • 8
  • 7
  • 4
  • 4
  • 6
  • 10
  • 4
  • 5
  • 7
  • 4
  • 8
  • 5
  • 4
  • 9
  • 8
  • 4
  • 4
  • 7
  • 5
  • 23
  • 16
  • 9
  • 5
  • 4
  • 4
  • 7
  • 16
  • 5
  • 4
  • 4
  • 4
  • 22
  • 5
  • 8
  • 4
  • 7
  • 4
  • 5
  • 4
  • 7
  • 6
  • 4
  • 10
  • 9
  • 4
  • 5
  • 5
  • 5
  • 4
  • 8
  • 10
  • 5
  • 7
  • 5
  • 4
  • 4
  • 16
  • 6
  • 6
  • 35
  • 44
  • 12
  • 13
  • 9
  • 12
  • 27
  • 6
  • 8
  • 4
  • 9
  • 9
  • 17
  • 6
  • 4
  • 4
  • 5
  • 8
  • 12
  • 7
  • 42
  • 5
  • 4
  • 5
  • 5
  • 7
  • 4
  • 4
  • 5
  • 9
  • 20
  • 7
  • 5
  • 7
  • 6
  • 34
  • 4
  • 7
  • 5
  • 8
  • 8
  • 4
  • 9
  • 10
  • 10
  • 6
  • 12
  • 4
  • 8
  • 5
  • 4
  • 6
  • 11
  • 6
  • 8
  • 6
  • 10
  • 4
  • 4
  • 7
  • 4
  • 9
  • 9
  • 14
  • 11
  • 5
  • 10
  • 13
  • 4
  • 7
  • 9
  • 8
  • 6
  • 12
  • 7
  • 4
  • 5
  • 6
  • 11
  • 4
  • 4
  • 4
  • 5
  • 5
  • 15
  • 14
  • 5
  • 9
  • 4
  • 8
  • 19
  • 4
  • 4
  • 12
  • 18
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 9
  • 7
  • 8
  • 18
  • 6
  • 12
  • 4
  • 4
  • 12
  • 5
  • 5
  • 9
  • 4
  • 6
  • 21
  • 4
  • 7
  • 4
  • 4
  • 10
  • 7
  • 4
  • 4
  • 6
  • 7
  • 9
  • 5
Verlag
  • 2
  • 3
  • 8
  • 4
  • 1
  • 3
  • 1
  • 51
  • 6
  • 438
  • 2
  • 1
  • 18
  • 3
  • 8
  • 4
  • 279
  • 2
  • 1
  • 9
  • 5
  • 1
  • 3
  • 3
  • 3
  • 41
  • 1
  • 84
  • 214
  • 4
  • 469
  • 716
  • 15
  • 1
  • 4
  • 1
  • 50
  • 91
  • 3
  • 3
  • 2
  • 4
  • 52
  • 34
  • 1
  • 5
  • 25
  • 1
  • 4
  • 3
  • 39
  • 5
  • 39
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 25
  • 1
  • 4
  • 1
  • 1
  • 33
  • 1
  • 1
  • 1
  • 1
  • 8
  • 13
  • 2
  • 3
  • 3
  • 26
  • 1
  • 6
  • 6
  • 2
  • 13
  • 1
  • 5
  • 1
  • 2
  • 2
  • 2
  • 1
  • 3
  • 2
  • 3
  • 3
  • 9
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 15
  • 1
  • 5
  • 27
  • 22
  • 36
  • 1
  • 1
  • 1
  • 2
  • 2
  • 15
  • 1
  • 5110
  • 188
  • 5
  • 528
  • 2
  • 2
  • 1
  • 71
  • 148
  • 1
  • 91
  • 1
  • 84
  • 233
  • 12
  • 25
  • 1
  • 1
  • 1
  • 278
  • 34
  • 112
  • 1
  • 1
  • 1
  • 24
  • 6
  • 1
  • 1
  • 5
  • 1
  • 86
  • 1
  • 4
  • 2
  • 1
  • 203
  • 2
  • 11
  • 1
  • 2
  • 23
  • 38
  • 1
  • 1
  • 2
  • 2
Preis
  • 260
  • 1532
  • 5226
  • 3457
Sprachen
  • 9540
  • 946
  • 2
Verfügbarkeit
  • 10343
  • 132
Eigenschaften
  • 7
  • 4
Katalog
  • 10475
  • 1710
10.475  Titel
    Davidrajuh | Petri Nets for Modeling Complex Discrete-Event Systems | Buch | Sack Fachmedien

    Davidrajuh Petri Nets for Modeling Complex Discrete-Event Systems

    An Approach Based on GPenSIM
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-966395-8
    Medium: Buch
    192,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cialdea Mayer / Pirri | Automated Reasoning with Analytic Tableaux and Related Methods | Buch | Sack Fachmedien

    Cialdea Mayer / Pirri Automated Reasoning with Analytic Tableaux and Related Methods

    International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-40787-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liblit | Cooperative Bug Isolation | Buch | Sack Fachmedien

    Liblit Cooperative Bug Isolation

    Winning Thesis of the 2005 ACM Doctoral Dissertation Competition
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-71877-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Silhavy | Software Engineering and Algorithms | Buch | Sack Fachmedien

    Silhavy Software Engineering and Algorithms

    Proceedings of 10th Computer Science On-line Conference 2021, Vol. 1
    1. Auflage 2021
    Verlag: Springer International Publishing
    ISBN: 978-3-030-77441-7
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Trahan / Vaidyanathan | Dynamic Reconfiguration | Buch | Sack Fachmedien

    Trahan / Vaidyanathan Dynamic Reconfiguration

    Architectures and Algorithms
    2003
    Verlag: Springer
    ISBN: 978-1-4757-7769-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hlavicka / Maehle / Pataricza | Dependable Computing - EDDC-3 | Buch | Sack Fachmedien

    Hlavicka / Maehle / Pataricza Dependable Computing - EDDC-3

    Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66483-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bielikova / Friedrich / Gottlob | SOFSEM 2012: Theory and Practice of Computer Science | Buch | Sack Fachmedien

    Bielikova / Friedrich / Gottlob SOFSEM 2012: Theory and Practice of Computer Science

    38th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 21-27, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-27659-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Huisman / Wijs | Concise Guide to Software Verification | Buch | Sack Fachmedien

    Huisman / Wijs Concise Guide to Software Verification

    From Model Checking to Annotation Checking
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-30166-7
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Paszynski / Barnard / Zhang | Computational Science - ICCS 2025 Workshops | Buch | Sack Fachmedien

    Paszynski / Barnard / Zhang Computational Science - ICCS 2025 Workshops

    25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-97569-1
    Medium: Buch
    87,73 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gore / Leitsch / Nipkow | Automated Reasoning | Buch | Sack Fachmedien

    Gore / Leitsch / Nipkow Automated Reasoning

    First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42254-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Launchbury / Sansom | Functional Programming, Glasgow 1992 | Buch | Sack Fachmedien

    Launchbury / Sansom Functional Programming, Glasgow 1992

    Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992
    Softcover Nachdruck of the original 1. Auflage 1993
    Verlag: Springer
    ISBN: 978-3-540-19820-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Watson / Kourie | The Correctness-by-Construction Approach to Programming | Buch | Sack Fachmedien

    Watson / Kourie The Correctness-by-Construction Approach to Programming

    2012
    Verlag: Springer
    ISBN: 978-3-642-44854-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartocci / Ramakrishnan | Model Checking Software | Buch | Sack Fachmedien

    Bartocci / Ramakrishnan Model Checking Software

    20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-39175-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lin / Jin | Advances in Computer Science and Information Engineering | Buch | Sack Fachmedien

    Lin / Jin Advances in Computer Science and Information Engineering

    Volume 2
    2012
    Verlag: Springer
    ISBN: 978-3-642-30222-0
    Medium: Buch
    481,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Banerjee / Prasanna / Sinha | High Performance Computing - HiPC'99 | Buch | Sack Fachmedien

    Banerjee / Prasanna / Sinha High Performance Computing - HiPC'99

    6th International Conference, Calcutta, India, December 17-20, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66907-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krätschmer | Retrospektive Diagnose von Fehlerursachen an Antriebsstrangprüfständen mithilfe künstlicher Intelligenz | Buch | Sack Fachmedien

    Krätschmer Retrospektive Diagnose von Fehlerursachen an Antriebsstrangprüfständen mithilfe künstlicher Intelligenz

    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-658-44003-9
    Medium: Buch
    84,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koch / Krishnamurthy / McAllister | Reconfigurable Computing: Architectures, Tools and Applications | Buch | Sack Fachmedien

    Koch / Krishnamurthy / McAllister Reconfigurable Computing: Architectures, Tools and Applications

    7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19474-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Villar | Embedded Systems Specification and Design Languages | Buch | Sack Fachmedien

    Villar Embedded Systems Specification and Design Languages

    Selected Contributions from FDL'07
    1. Auflage. Softcover version of original hardcover Auflage 2008
    Verlag: Springer Netherlands
    ISBN: 978-90-481-7834-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nesmachnow / Hernández Callejo | Smart Cities | Buch | Sack Fachmedien

    Nesmachnow / Hernández Callejo Smart Cities

    6th Ibero-American Congress, ICSC-Cities 2023, Mexico City and Cuernavaca, Mexico, November 13-17, 2023, Revised Selected Papers
    1. Auflage 2024
    Verlag: Springer
    ISBN: 978-3-031-52516-2
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Herber / Wijs | Integrated Formal Methods | Buch | Sack Fachmedien

    Herber / Wijs Integrated Formal Methods

    18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-47704-1
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Corporaal / Moreira | Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor | Buch | Sack Fachmedien

    Corporaal / Moreira Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor

    2014
    Verlag: Springer International Publishing
    ISBN: 978-3-319-01245-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    McGeoch | Experimental Algorithms | Buch | Sack Fachmedien

    McGeoch Experimental Algorithms

    7th International Workshop, WEA 2008 Provincetown, MA, USA, May 30 - June 1, 2008 Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-68548-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Rayadurgam / Tkachuk | NASA Formal Methods | Buch | Sack Fachmedien

    Rayadurgam / Tkachuk NASA Formal Methods

    8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-40647-3
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Maciaszek / Filipe | Evaluation of Novel Approaches to Software Engineering | Buch | Sack Fachmedien

    Maciaszek / Filipe Evaluation of Novel Approaches to Software Engineering

    10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-30242-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gruber / Keller | HPC@Green IT | Buch | Sack Fachmedien

    Gruber / Keller HPC@Green IT

    Green High Performance Computing Methods
    2010
    Verlag: Springer
    ISBN: 978-3-642-42636-0
    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