Ergebnisse filtern
Fachgebiet
Medium
  • 9465
  • 1056
  • 31
  • 13
Erscheinungsjahr
  • 3
  • 63
  • 610
  • 786
  • 634
  • 487
  • 430
  • 440
  • 424
  • 534
  • 317
  • 454
  • 303
  • 446
  • 398
  • 505
  • 246
  • 511
  • 232
  • 252
  • 260
  • 222
  • 262
  • 225
  • 224
  • 184
  • 162
  • 123
  • 109
  • 97
  • 80
  • 81
  • 72
  • 60
  • 68
  • 39
  • 56
  • 35
  • 24
  • 14
  • 13
  • 7
  • 7
  • 4
  • 6
  • 6
  • 1
  • 3
  • 4
  • 1
  • 2
  • 1
  • 2
  • 1
Autoren
  • 6
  • 6
  • 4
  • 4
  • 3
  • 3
  • 4
  • 8
  • 14
  • 3
  • 3
  • 4
  • 9
  • 10
  • 3
  • 4
  • 4
  • 10
  • 5
  • 3
  • 9
  • 5
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 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
  • 4
  • 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
  • 3
  • 4
  • 3
  • 4
  • 3
  • 3
  • 6
  • 3
  • 6
  • 4
  • 3
  • 6
  • 3
  • 33
  • 4
  • 3
  • 9
  • 3
  • 5
  • 3
  • 4
  • 3
  • 7
  • 7
  • 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
  • 4
  • 12
  • 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
  • 3
  • 3
  • 8
  • 10
  • 7
  • 3
  • 7
  • 3
  • 3
  • 4
  • 9
  • 3
  • 3
  • 5
  • 7
  • 11
  • 4
  • 3
  • 16
  • 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
  • 4
  • 3
  • 3
  • 19
  • 6
  • 11
  • 3
  • 7
  • 3
  • 6
  • 4
  • 4
  • 3
  • 4
  • 4
  • 4
  • 5
  • 3
  • 7
  • 13
  • 4
  • 6
  • 6
  • 4
  • 6
  • 26
  • 6
  • 6
  • 10
  • 4
  • 3
  • 3
  • 3
  • 4
  • 6
  • 4
  • 3
  • 7
  • 4
  • 3
  • 9
  • 6
  • 8
  • 9
  • 4
  • 3
  • 39
  • 4
  • 10
  • 3
  • 3
  • 7
  • 3
  • 12
  • 3
  • 5
  • 3
  • 4
  • 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
  • 5
  • 6
  • 8
  • 8
  • 7
  • 4
  • 6
  • 4
  • 5
  • 4
  • 10
  • 9
  • 5
  • 4
  • 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
  • 6
  • 4
  • 4
  • 9
  • 4
  • 7
  • 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
  • 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
  • 6
  • 4
  • 7
  • 5
  • 4
  • 4
  • 4
  • 5
  • 4
  • 6
  • 7
  • 4
  • 17
  • 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
  • 6
  • 9
  • 20
  • 13
  • 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
  • 14
  • 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
  • 9
  • 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
  • 4
  • 5
  • 5
  • 15
  • 14
  • 5
  • 9
  • 4
  • 8
  • 19
  • 4
  • 6
  • 12
  • 18
  • 5
  • 9
  • 6
  • 4
  • 7
  • 4
  • 9
  • 7
  • 8
  • 18
  • 6
  • 12
  • 4
  • 4
  • 12
  • 5
  • 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
  • 439
  • 2
  • 10
  • 18
  • 3
  • 2
  • 6
  • 4
  • 281
  • 2
  • 1
  • 11
  • 4
  • 1
  • 3
  • 3
  • 3
  • 41
  • 1
  • 84
  • 214
  • 4
  • 478
  • 752
  • 15
  • 1
  • 4
  • 1
  • 51
  • 91
  • 1
  • 3
  • 2
  • 4
  • 52
  • 33
  • 1
  • 5
  • 25
  • 1
  • 4
  • 3
  • 39
  • 5
  • 39
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 25
  • 1
  • 4
  • 1
  • 1
  • 33
  • 1
  • 1
  • 1
  • 1
  • 8
  • 12
  • 2
  • 3
  • 3
  • 24
  • 2
  • 6
  • 1
  • 15
  • 2
  • 1
  • 13
  • 1
  • 5
  • 1
  • 2
  • 2
  • 2
  • 1
  • 3
  • 2
  • 3
  • 3
  • 10
  • 1
  • 3
  • 13
  • 1
  • 2
  • 1
  • 2
  • 8
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 15
  • 1
  • 5
  • 27
  • 22
  • 36
  • 1
  • 1
  • 1
  • 2
  • 2
  • 15
  • 1
  • 5669
  • 169
  • 2
  • 241
  • 2
  • 2
  • 1
  • 40
  • 36
  • 1
  • 56
  • 1
  • 84
  • 160
  • 12
  • 25
  • 1
  • 1
  • 1
  • 292
  • 34
  • 111
  • 1
  • 1
  • 24
  • 6
  • 1
  • 1
  • 5
  • 1
  • 86
  • 1
  • 5
  • 2
  • 1
  • 202
  • 2
  • 12
  • 1
  • 2
  • 23
  • 40
  • 1
  • 1
  • 2
  • 2
Preis
  • 270
  • 1567
  • 5247
  • 3481
Sprachen
  • 9631
  • 946
  • 2
Verfügbarkeit
  • 10424
  • 141
Eigenschaften
  • 10
  • 4
Katalog
  • 10565
  • 1719
10.565  Titel
    Cabot / Gómez / Teniente | Conceptual Modeling Perspectives | Buch | Sack Fachmedien

    Cabot / Gómez / Teniente Conceptual Modeling Perspectives

    Softcover Nachdruck of the original 1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-88404-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Patel / Sutherland / Miller | Business Object Design and Implementation II | Buch | Sack Fachmedien

    Patel / Sutherland / Miller Business Object Design and Implementation II

    OOPSLA'96, OOPSLA'97 and OOPSLA'98 Workshop Proceedings
    1. Auflage 1998
    Verlag: Springer
    ISBN: 978-1-85233-108-5
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ramesh / Sivakumar | Foundations of Software Technology and Theoretical Computer Science | Buch | Sack Fachmedien

    Ramesh / Sivakumar Foundations of Software Technology and Theoretical Computer Science

    17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings
    Erscheinungsjahr 1997
    Verlag: Springer
    ISBN: 978-3-540-63876-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alhir | Guide to Applying the UML | Buch | Sack Fachmedien

    Alhir Guide to Applying the UML

    2002
    Verlag: Springer
    ISBN: 978-0-387-95209-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xu / Xie | Essential Spectrum-based Fault Localization | Buch | Sack Fachmedien

    Xu / Xie Essential Spectrum-based Fault Localization

    1. Auflage 2021
    Verlag: Springer Nature Singapore
    ISBN: 978-981-336-181-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ruhe / Zhang | Search Based Software Engineering | Buch | Sack Fachmedien

    Ruhe / Zhang Search Based Software Engineering

    5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39741-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kurki-Suonio | A Practical Theory of Reactive Systems | Buch | Sack Fachmedien

    Kurki-Suonio A Practical Theory of Reactive Systems

    Incremental Modeling of Dynamic Behaviors
    2005
    Verlag: Springer Berlin Heidelberg
    ISBN: 978-3-540-23342-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Godefroid | Partial-Order Methods for the Verification of Concurrent Systems | Buch | Sack Fachmedien

    Godefroid Partial-Order Methods for the Verification of Concurrent Systems

    An Approach to the State-Explosion Problem
    Erscheinungsjahr 1996
    Verlag: Springer
    ISBN: 978-3-540-60761-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moodie | Pro Apache Ant | Buch | Sack Fachmedien

    Moodie Pro Apache Ant

    1. Auflage 2005
    Verlag: Apress
    ISBN: 978-1-59059-559-6
    Medium: Buch
    46,35 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bartlang | Architecture and Methods for Flexible Content Management in Peer-to-Peer Systems | Buch | Sack Fachmedien

    Bartlang Architecture and Methods for Flexible Content Management in Peer-to-Peer Systems

    2010
    Verlag: Vieweg+Teubner Verlag
    ISBN: 978-3-8348-1023-6
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Albers / Alt / Näher | Efficient Algorithms | Buch | Sack Fachmedien

    Albers / Alt / Näher Efficient Algorithms

    Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-03455-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hertzberger / Hoekstra / Williams | High-Performance Computing and Networking | Buch | Sack Fachmedien

    Hertzberger / Hoekstra / Williams High-Performance Computing and Networking

    9th International Conference, HPCN Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001, Proceedings
    1. Auflage 2001
    Verlag: Springer
    ISBN: 978-3-540-42293-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Darzentas / Vouros / Vosinakis | Artificial Intelligence: Theories, Models and Applications | Buch | Sack Fachmedien

    Darzentas / Vouros / Vosinakis Artificial Intelligence: Theories, Models and Applications

    5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-87880-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hutchison / Katz | Self-Organizing Systems | Buch | Sack Fachmedien

    Hutchison / Katz Self-Organizing Systems

    Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-74916-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Piskac / Rakamaric / Rakamaric | Computer Aided Verification | Buch | Sack Fachmedien

    Piskac / Rakamaric / Rakamaric Computer Aided Verification

    37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-98681-9
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Panigrahi / Suganthan / Das | Swarm, Evolutionary, and Memetic Computing | Buch | Sack Fachmedien

    Panigrahi / Suganthan / Das Swarm, Evolutionary, and Memetic Computing

    6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-48958-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vlietstra | Dictionary of Acronyms and Technical Abbreviations | Buch | Sack Fachmedien

    Vlietstra Dictionary of Acronyms and Technical Abbreviations

    For Information and Communication Technologies and Related Areas
    2. Auflage 2001
    Verlag: Springer
    ISBN: 978-1-4471-1083-5
    Medium: Buch
    106,99 € (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 VII
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-960779-2
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gopalakrishnan / Qadeer | Computer Aided Verification | Buch | Sack Fachmedien

    Gopalakrishnan / Qadeer Computer Aided Verification

    23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22109-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 1-3 Werktage
    Bereits im Warenkorb
    McCool / Reinders / Robison | Structured Parallel Programming | Buch | Sack Fachmedien

    McCool / Reinders / Robison Structured Parallel Programming

    Patterns for Efficient Computation
    Erscheinungsjahr 2012
    Verlag: Elsevier Science
    ISBN: 978-0-12-415993-8
    Medium: Buch
    55,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Piskac / Rakamaric / Rakamaric | Computer Aided Verification | Buch | Sack Fachmedien

    Piskac / Rakamaric / Rakamaric Computer Aided Verification

    37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-98678-9
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Morazán | Programming-Based Formal Languages and Automata Theory | Buch | Sack Fachmedien

    Morazán Programming-Based Formal Languages and Automata Theory

    Design, Implement, Validate, and Prove
    1. Auflage 2024
    Verlag: Springer International Publishing
    ISBN: 978-3-031-43972-8
    Medium: Buch
    64,19 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Brooks / Craig | Practical Industrial Cybersecurity | Buch | Sack Fachmedien

    Brooks / Craig Practical Industrial Cybersecurity

    Ics, Industry 4.0, and Iiot
    1. Auflage 2022
    Verlag: Wiley
    ISBN: 978-1-119-88302-9
    Medium: Buch
    46,50 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jing / Chen / Xu | Intelligent Software Defect Prediction | Buch | Sack Fachmedien

    Jing / Chen / Xu Intelligent Software Defect Prediction

    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-981-99-2841-5
    Medium: Buch
    181,89 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Turban | Tool-Based Requirement Traceability between Requirement and Design Artifacts | Buch | Sack Fachmedien

    Turban Tool-Based Requirement Traceability between Requirement and Design Artifacts

    2013
    Verlag: Springer
    ISBN: 978-3-8348-2473-8
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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