Ergebnisse filtern
Fachgebiet
Medium
  • 11100
Erscheinungsjahr
  • 5
  • 714
  • 795
  • 838
  • 621
  • 478
  • 292
  • 308
  • 310
  • 315
  • 279
  • 324
  • 306
  • 305
  • 298
  • 290
  • 282
  • 282
  • 256
  • 210
  • 262
  • 273
  • 229
  • 360
  • 305
  • 253
  • 254
  • 176
  • 178
  • 134
  • 137
  • 133
  • 116
  • 106
  • 93
  • 73
  • 88
  • 59
  • 57
  • 45
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 5
  • 4
  • 4
  • 5
  • 4
  • 4
  • 4
  • 5
  • 4
  • 4
  • 9
  • 11
  • 28
  • 10
  • 7
  • 4
  • 4
  • 4
  • 4
  • 4
  • 5
  • 8
  • 10
  • 4
  • 4
  • 4
  • 6
  • 17
  • 6
  • 15
  • 4
  • 8
  • 5
  • 4
  • 4
  • 4
  • 4
  • 5
  • 9
  • 9
  • 6
  • 4
  • 5
  • 5
  • 4
  • 5
  • 5
  • 14
  • 4
  • 33
  • 36
  • 7
  • 41
  • 5
  • 4
  • 4
  • 5
  • 5
  • 6
  • 6
  • 5
  • 16
  • 4
  • 21
  • 13
  • 4
  • 4
  • 6
  • 4
  • 6
  • 4
  • 7
  • 39
  • 13
  • 6
  • 4
  • 6
  • 4
  • 5
  • 4
  • 7
  • 5
  • 7
  • 4
  • 5
  • 4
  • 10
  • 4
  • 7
  • 17
  • 8
  • 7
  • 4
  • 5
  • 4
  • 6
  • 4
  • 6
  • 6
  • 8
  • 24
  • 4
  • 8
  • 10
  • 10
  • 11
  • 7
  • 6
  • 4
  • 4
  • 12
  • 6
  • 4
  • 4
  • 5
  • 4
  • 19
  • 5
  • 4
  • 7
  • 15
  • 6
  • 12
  • 5
  • 5
  • 5
  • 10
  • 7
  • 4
  • 4
  • 8
  • 4
  • 25
  • 4
  • 4
  • 4
  • 10
  • 5
  • 11
  • 5
  • 6
  • 40
  • 4
  • 6
  • 4
  • 4
  • 4
  • 8
  • 6
  • 20
  • 18
  • 6
  • 4
  • 4
  • 4
  • 8
  • 6
  • 11
  • 9
  • 4
  • 4
  • 4
  • 7
  • 5
  • 10
  • 4
  • 4
  • 5
  • 4
  • 7
  • 10
  • 4
  • 4
  • 4
  • 6
  • 5
  • 7
  • 12
  • 12
  • 9
  • 4
  • 12
  • 7
  • 8
  • 16
  • 7
  • 4
  • 4
  • 4
  • 6
  • 10
  • 39
  • 17
  • 8
  • 6
  • 4
  • 4
  • 8
  • 5
  • 7
  • 7
  • 16
  • 5
  • 9
  • 4
  • 15
  • 6
  • 6
  • 11
  • 4
  • 9
  • 24
  • 4
  • 15
  • 8
  • 4
  • 11
  • 4
  • 4
  • 10
  • 6
  • 6
  • 4
  • 7
  • 34
  • 4
  • 12
  • 41
  • 13
  • 8
  • 17
  • 19
  • 4
  • 11
  • 4
  • 46
  • 9
  • 38
  • 4
  • 10
  • 14
  • 12
  • 4
  • 4
  • 12
  • 6
  • 11
  • 10
  • 6
  • 4
  • 5
  • 39
  • 5
  • 11
  • 8
  • 12
  • 4
  • 4
  • 4
  • 4
  • 7
  • 12
  • 13
  • 6
  • 5
  • 5
  • 4
  • 15
  • 4
  • 6
  • 14
  • 6
  • 7
  • 4
  • 4
  • 6
  • 4
  • 25
  • 26
  • 15
  • 27
  • 9
  • 7
  • 5
  • 8
  • 4
  • 5
  • 6
  • 6
  • 5
  • 16
  • 13
  • 24
  • 6
  • 4
  • 6
  • 4
  • 6
  • 4
  • 4
  • 4
  • 7
  • 4
  • 8
  • 4
  • 9
  • 7
  • 4
  • 4
  • 4
  • 4
  • 7
  • 15
  • 10
  • 4
  • 10
  • 10
  • 4
  • 4
  • 5
  • 48
  • 40
  • 9
  • 41
  • 4
  • 8
  • 16
  • 7
  • 8
  • 34
  • 13
  • 5
  • 5
  • 18
  • 8
  • 6
  • 5
  • 10
  • 26
  • 15
  • 43
  • 78
  • 7
  • 7
  • 15
  • 6
  • 8
  • 5
  • 6
  • 9
  • 15
  • 5
  • 8
  • 7
  • 6
  • 6
  • 6
  • 8
  • 6
  • 5
  • 5
  • 5
  • 5
  • 20
  • 17
  • 6
  • 11
  • 6
  • 12
  • 8
  • 5
  • 5
  • 7
  • 20
  • 67
  • 30
  • 8
  • 20
  • 17
  • 25
  • 105
  • 11
  • 6
  • 8
  • 15
  • 12
  • 6
  • 7
  • 19
  • 15
  • 5
  • 11
  • 8
  • 6
  • 15
  • 7
  • 5
  • 6
  • 5
  • 5
  • 14
  • 5
  • 42
  • 6
  • 10
  • 8
  • 6
  • 9
  • 16
  • 6
  • 7
  • 7
  • 23
  • 39
  • 17
  • 8
  • 5
  • 10
  • 5
  • 15
  • 5
  • 16
  • 15
  • 6
  • 5
  • 7
  • 95
  • 5
  • 10
  • 6
  • 5
  • 8
  • 5
  • 7
  • 15
  • 5
  • 15
  • 8
  • 5
  • 19
  • 11
  • 7
  • 5
  • 8
  • 6
  • 11
  • 17
  • 15
  • 11
  • 7
  • 13
  • 5
  • 7
  • 13
  • 7
  • 10
  • 5
  • 6
  • 13
  • 6
  • 7
  • 5
  • 5
  • 10
  • 5
  • 8
  • 11
  • 5
  • 15
  • 8
  • 7
  • 11
  • 42
  • 12
  • 5
  • 7
  • 24
  • 6
  • 16
  • 38
  • 6
  • 9
  • 12
  • 15
  • 10
  • 33
  • 6
  • 7
  • 6
  • 7
  • 7
  • 18
  • 6
  • 7
  • 11
  • 6
  • 16
  • 36
  • 21
  • 8
  • 10
  • 5
  • 17
  • 23
  • 5
  • 78
  • 13
  • 22
  • 47
  • 5
  • 6
  • 10
  • 5
  • 7
  • 5
  • 5
  • 10
  • 7
  • 5
  • 12
  • 6
  • 7
  • 7
  • 5
  • 9
  • 7
  • 6
  • 5
  • 16
  • 90
  • 13
  • 44
  • 7
  • 12
  • 6
  • 8
  • 5
  • 8
  • 14
  • 10
  • 11
  • 5
  • 5
  • 5
  • 9
  • 10
  • 5
  • 18
  • 19
  • 8
  • 27
  • 5
  • 6
  • 5
  • 78
  • 17
  • 6
  • 7
  • 9
  • 22
  • 5
  • 8
  • 5
  • 6
  • 32
  • 6
  • 9
  • 25
  • 6
  • 5
  • 5
  • 13
  • 12
  • 13
  • 14
  • 15
  • 14
  • 13
  • 16
  • 78
  • 11
  • 9
  • 24
  • 36
  • 26
  • 5
  • 5
  • 5
  • 7
  • 8
  • 11
  • 17
  • 6
  • 7
  • 9
  • 14
  • 5
  • 5
  • 6
  • 10
  • 20
  • 8
  • 6
  • 6
  • 10
  • 5
  • 7
  • 15
  • 7
  • 5
  • 35
  • 13
  • 9
  • 8
  • 7
  • 6
  • 21
  • 7
  • 9
  • 13
  • 7
  • 8
  • 10
  • 96
  • 6
  • 7
  • 7
  • 5
  • 9
  • 12
  • 6
  • 7
  • 5
  • 7
  • 7
  • 11
  • 37
  • 7
  • 5
  • 16
  • 9
  • 5
  • 9
  • 6
  • 5
  • 14
  • 5
  • 21
  • 25
  • 5
  • 9
  • 5
  • 6
  • 8
  • 6
  • 8
  • 9
  • 6
  • 7
  • 5
  • 7
  • 7
  • 5
  • 8
  • 48
  • 7
  • 20
  • 6
  • 6
  • 42
  • 14
  • 7
  • 6
  • 16
  • 20
  • 11
  • 16
  • 15
  • 8
  • 11
  • 9
  • 27
  • 12
  • 6
  • 11
  • 7
  • 6
  • 5
  • 20
  • 6
  • 10
  • 6
  • 15
  • 16
  • 5
  • 5
  • 7
  • 6
  • 13
  • 7
  • 11
  • 6
  • 7
  • 13
  • 5
  • 8
  • 24
  • 5
  • 6
  • 39
  • 9
  • 8
  • 10
  • 6
  • 5
  • 17
  • 8
  • 6
  • 8
  • 7
  • 30
  • 6
  • 14
  • 6
  • 7
  • 38
  • 7
  • 9
  • 10
  • 5
  • 90
  • 7
  • 6
  • 9
  • 5
  • 6
  • 33
  • 15
  • 8
  • 78
  • 16
  • 11
  • 8
  • 5
  • 12
  • 11
  • 20
  • 18
  • 9
  • 9
  • 93
  • 6
  • 48
  • 5
  • 11
  • 11
  • 8
  • 6
  • 89
  • 16
  • 20
  • 12
  • 7
  • 9
  • 17
  • 13
  • 6
  • 9
  • 5
  • 5
  • 8
  • 5
  • 90
  • 5
  • 6
  • 16
  • 8
  • 7
  • 81
  • 12
  • 16
  • 16
  • 11
  • 9
  • 7
  • 10
  • 13
  • 5
  • 7
  • 8
  • 22
  • 18
  • 8
  • 5
  • 5
  • 6
  • 15
  • 7
  • 28
  • 5
  • 7
  • 8
  • 5
  • 6
  • 5
  • 5
  • 14
  • 8
  • 6
  • 9
  • 8
  • 16
  • 7
  • 10
  • 22
  • 29
  • 6
  • 6
  • 20
  • 12
  • 7
  • 13
  • 12
  • 33
  • 8
  • 5
  • 5
  • 13
  • 8
  • 36
  • 8
  • 52
  • 11
  • 8
  • 6
  • 13
  • 12
  • 7
  • 22
  • 5
  • 17
  • 17
  • 17
  • 18
  • 5
  • 5
  • 23
  • 14
  • 29
  • 62
  • 10
  • 16
  • 19
  • 8
  • 9
  • 7
  • 24
  • 6
  • 19
  • 16
  • 7
  • 6
  • 19
  • 10
  • 62
  • 6
  • 81
  • 24
  • 12
  • 6
  • 13
  • 15
  • 7
  • 7
  • 7
  • 12
  • 13
  • 5
  • 12
  • 7
  • 15
  • 13
  • 7
  • 6
  • 10
  • 10
  • 89
  • 11
  • 5
  • 18
  • 6
  • 16
  • 5
  • 5
  • 7
  • 15
  • 8
  • 8
  • 9
  • 32
  • 5
  • 11
  • 9
  • 5
  • 8
  • 12
  • 13
  • 18
  • 7
  • 10
  • 6
  • 36
  • 6
  • 5
  • 6
  • 15
  • 19
  • 14
  • 12
  • 6
  • 6
  • 8
  • 8
  • 6
  • 5
  • 6
  • 22
  • 7
  • 16
  • 10
  • 6
  • 6
  • 8
  • 5
  • 6
  • 6
  • 5
  • 6
  • 14
  • 12
  • 8
  • 5
  • 5
  • 18
  • 5
  • 10
  • 13
  • 6
  • 5
  • 9
  • 5
  • 19
  • 25
  • 14
  • 6
  • 14
  • 21
  • 19
  • 5
  • 7
  • 5
  • 12
  • 6
  • 10
  • 18
  • 10
  • 6
  • 42
  • 6
  • 8
  • 6
  • 7
  • 5
  • 23
  • 6
  • 5
  • 48
  • 41
  • 65
  • 41
  • 5
  • 11
  • 6
  • 11
  • 6
  • 20
  • 32
  • 7
  • 26
  • 19
  • 20
  • 7
  • 7
  • 6
  • 5
  • 10
  • 9
  • 7
  • 6
  • 19
Verlag
  • 4
  • 11030
  • 3
  • 4
  • 2
  • 11
  • 4
  • 1
  • 5
  • 36
Preis
  • 42
  • 393
  • 8401
  • 2264
Sprachen
  • 11095
  • 16
  • 13
Verfügbarkeit
  • 10816
  • 284
Eigenschaften
  • 5
Katalog
  • 11100
  • 592
11.100  Treffer  für „Lecture Notes in Computer Science“
    Bikakis / Fodor / Roman | Rules on the Web: From Theory to Applications | Buch | Sack Fachmedien

    Bikakis / Fodor / Roman Rules on the Web: From Theory to Applications

    8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-09869-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Herskovic / Hoppe / Ziegler | Collaboration and Technology | Buch | Sack Fachmedien

    Herskovic / Hoppe / Ziegler Collaboration and Technology

    18th International Conference, CRIWG 2012, Raesfeld, Germany, September 16-19, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33283-8
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Polychronakis / Meier | Detection of Intrusions and Malware, and Vulnerability Assessment | Buch | Sack Fachmedien

    Polychronakis / Meier Detection of Intrusions and Malware, and Vulnerability Assessment

    14th International Conference, DIMVA 2017, Bonn, Germany, July 6-7, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-60875-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alexander / D'Ambra / Belloum | Euro-Par 2011: Parallel Processing Workshops | Buch | Sack Fachmedien

    Alexander / D'Ambra / Belloum Euro-Par 2011: Parallel Processing Workshops

    CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 -- September 2, 2011, Revised Selected Papers, Part I
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29736-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Istrail / Waterman / Clark | Computational Methods for SNPs and Haplotype Inference | Buch | Sack Fachmedien

    Istrail / Waterman / Clark Computational Methods for SNPs and Haplotype Inference

    DIMACS/RECOMB Satellite Workshop, Piscataway, NJ, USA, November 21-22, 2002, Revised Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21249-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Atzmueller / Chin / Helic | Modeling and Mining Ubiquitous Social Media | Buch | Sack Fachmedien

    Atzmueller / Chin / Helic Modeling and Mining Ubiquitous Social Media

    International Workshops MSM 2011, Boston, MA, USA, October 9, 2011, and MUSE 2011, Athens, Greece, September 5, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33683-6
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nascimento / Sellis / Cheng | Spatial and Temporal Databases | Buch | Sack Fachmedien

    Nascimento / Sellis / Cheng Spatial and Temporal Databases

    13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013, Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-40234-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pfenning | Logic Programming and Automated Reasoning | Buch | Sack Fachmedien

    Pfenning Logic Programming and Automated Reasoning

    5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58216-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Luque / Margalef / Benítez | Euro-Par 2008 Parallel Processing | Buch | Sack Fachmedien

    Luque / Margalef / Benítez Euro-Par 2008 Parallel Processing

    14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008, Proceedings
    1. Auflage 2008
    Verlag: Springer
    ISBN: 978-3-540-85450-0
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Sastry / Chakraborty | Communication Systems and Networks | Buch | Sack Fachmedien

    Sastry / Chakraborty Communication Systems and Networks

    9th International Conference, COMSNETS 2017, Bengaluru, India, January 4-8, 2017, Revised Selected Papers and Invited Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67234-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gaiti / Pujolle / Al-Shaer | Autonomic Networking | Buch | Sack Fachmedien

    Gaiti / Pujolle / Al-Shaer Autonomic Networking

    First International IFIP TC6 Conference, AN 2006, Paris, France, September 27-29, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45891-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Alur / Pappas | Hybrid Systems: Computation and Control | Buch | Sack Fachmedien

    Alur / Pappas Hybrid Systems: Computation and Control

    7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-21259-1
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Squillero / Burelli | Applications of Evolutionary Computation | Buch | Sack Fachmedien

    Squillero / Burelli Applications of Evolutionary Computation

    19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-31203-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jacobsen | Middleware 2004 | Buch | Sack Fachmedien

    Jacobsen Middleware 2004

    ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-20, 2004, Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23428-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cuellar | Smart Grid Security | Buch | Sack Fachmedien

    Cuellar Smart Grid Security

    Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-10328-0
    Medium: Buch
    42,80 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Semenov / Singh / Yang | Computational Data and Social Networks | Buch | Sack Fachmedien

    Semenov / Singh / Yang Computational Data and Social Networks

    14th International Conference, CSoNet 2025, Danang, Vietnam, December 14–16, 2025, Proceedings Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-9246-45-8
    Medium: Buch
    70,61 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Santoro / Schmidt / Matera | End-User Development | Buch | Sack Fachmedien

    Santoro / Schmidt / Matera End-User Development

    10th International Symposium, IS-EUD 2025, Munich, Germany, June 16-18, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-95451-1
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Krogstie / Rinderle-Ma / Kappel | Advanced Information Systems Engineering | Buch | Sack Fachmedien

    Krogstie / Rinderle-Ma / Kappel Advanced Information Systems Engineering

    37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-94573-1
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Weger / Deneuville / Horlemann | Code-Based Cryptography | Buch | Sack Fachmedien

    Weger / Deneuville / Horlemann Code-Based Cryptography

    12th International Workshop, CBCrypto 2024, Zurich, Switzerland, May 25-26, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-90228-4
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Beyer / Hartmanns / Kordon | TOOLympics Challenge 2023 | Buch | Sack Fachmedien

    Beyer / Hartmanns / Kordon TOOLympics Challenge 2023

    Updates, Results, Successes of the Formal-Methods Competitions
    2024
    Verlag: Springer
    ISBN: 978-3-031-67694-9
    Medium: Buch
    58,84 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Patil / Krishnan / Shyamasundar | Information Systems Security | Buch | Sack Fachmedien

    Patil / Krishnan / Shyamasundar Information Systems Security

    20th International Conference, ICISS 2024, Jaipur, India, December 16-20, 2024, Proceedings
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-80019-1
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giacobazzi / Gorla | Static Analysis | Buch | Sack Fachmedien

    Giacobazzi / Gorla Static Analysis

    31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-74775-5
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification | Buch | Sack Fachmedien

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

    12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
    2024
    Verlag: Springer
    ISBN: 978-3-031-75379-4
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shankaranarayanan / Sankaranarayanan / Trivedi | Verification, Model Checking, and Abstract Interpretation | Buch | Sack Fachmedien

    Shankaranarayanan / Sankaranarayanan / Trivedi Verification, Model Checking, and Abstract Interpretation

    26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-82702-0
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Broccia / Cerone | From Data to Models and Back | Buch | Sack Fachmedien

    Broccia / Cerone From Data to Models and Back

    11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-87216-7
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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