Ergebnisse filtern
Fachgebiet
Medium
  • 10580
Erscheinungsjahr
  • 288
  • 808
  • 847
  • 618
  • 482
  • 288
  • 287
  • 313
  • 318
  • 268
  • 303
  • 274
  • 305
  • 304
  • 290
  • 261
  • 266
  • 250
  • 225
  • 254
  • 275
  • 229
  • 369
  • 303
  • 257
  • 252
  • 175
  • 172
  • 130
  • 138
  • 134
  • 114
  • 109
  • 94
  • 73
  • 86
  • 58
  • 57
  • 45
  • 46
  • 31
  • 26
  • 17
  • 12
  • 16
  • 25
  • 19
  • 12
  • 7
  • 12
  • 10
  • 12
  • 12
  • 4
Autoren
  • 5
  • 4
  • 6
  • 6
  • 4
  • 5
  • 5
  • 6
  • 7
  • 4
  • 9
  • 7
  • 4
  • 12
  • 9
  • 12
  • 7
  • 4
  • 4
  • 4
  • 4
  • 11
  • 9
  • 4
  • 6
  • 5
  • 6
  • 17
  • 4
  • 14
  • 5
  • 8
  • 5
  • 4
  • 4
  • 6
  • 5
  • 9
  • 8
  • 5
  • 4
  • 5
  • 5
  • 4
  • 5
  • 5
  • 14
  • 4
  • 27
  • 36
  • 7
  • 5
  • 32
  • 4
  • 5
  • 4
  • 4
  • 4
  • 5
  • 6
  • 5
  • 13
  • 4
  • 5
  • 15
  • 11
  • 4
  • 4
  • 4
  • 7
  • 39
  • 9
  • 7
  • 4
  • 4
  • 6
  • 4
  • 5
  • 4
  • 5
  • 6
  • 4
  • 4
  • 4
  • 4
  • 9
  • 4
  • 6
  • 5
  • 16
  • 8
  • 6
  • 4
  • 5
  • 6
  • 6
  • 5
  • 8
  • 5
  • 8
  • 9
  • 4
  • 6
  • 12
  • 8
  • 7
  • 5
  • 11
  • 4
  • 7
  • 4
  • 4
  • 6
  • 4
  • 17
  • 6
  • 6
  • 6
  • 11
  • 5
  • 4
  • 4
  • 7
  • 5
  • 4
  • 4
  • 9
  • 7
  • 5
  • 8
  • 22
  • 4
  • 4
  • 11
  • 5
  • 5
  • 8
  • 4
  • 6
  • 40
  • 4
  • 4
  • 7
  • 4
  • 18
  • 18
  • 6
  • 4
  • 5
  • 5
  • 8
  • 9
  • 4
  • 4
  • 4
  • 6
  • 5
  • 7
  • 4
  • 5
  • 4
  • 4
  • 11
  • 4
  • 5
  • 4
  • 6
  • 5
  • 5
  • 9
  • 10
  • 6
  • 4
  • 13
  • 8
  • 4
  • 13
  • 13
  • 16
  • 4
  • 6
  • 4
  • 5
  • 4
  • 4
  • 6
  • 11
  • 5
  • 39
  • 14
  • 9
  • 5
  • 4
  • 4
  • 9
  • 4
  • 5
  • 8
  • 7
  • 16
  • 4
  • 11
  • 8
  • 4
  • 5
  • 5
  • 14
  • 6
  • 4
  • 13
  • 8
  • 4
  • 6
  • 9
  • 4
  • 4
  • 24
  • 4
  • 16
  • 4
  • 10
  • 10
  • 5
  • 4
  • 9
  • 7
  • 7
  • 4
  • 4
  • 4
  • 34
  • 4
  • 12
  • 41
  • 13
  • 8
  • 10
  • 14
  • 8
  • 4
  • 20
  • 9
  • 38
  • 4
  • 8
  • 14
  • 16
  • 4
  • 12
  • 4
  • 4
  • 6
  • 12
  • 10
  • 8
  • 39
  • 5
  • 4
  • 5
  • 5
  • 10
  • 8
  • 9
  • 4
  • 5
  • 5
  • 12
  • 9
  • 6
  • 4
  • 6
  • 4
  • 17
  • 8
  • 7
  • 14
  • 6
  • 5
  • 4
  • 4
  • 6
  • 6
  • 14
  • 21
  • 7
  • 5
  • 5
  • 11
  • 8
  • 6
  • 11
  • 11
  • 24
  • 6
  • 7
  • 6
  • 6
  • 4
  • 7
  • 4
  • 7
  • 4
  • 6
  • 4
  • 5
  • 6
  • 8
  • 15
  • 10
  • 6
  • 8
  • 9
  • 5
  • 49
  • 39
  • 6
  • 23
  • 4
  • 8
  • 15
  • 4
  • 25
  • 11
  • 19
  • 4
  • 4
  • 8
  • 6
  • 7
  • 6
  • 4
  • 27
  • 11
  • 43
  • 7
  • 7
  • 4
  • 14
  • 8
  • 9
  • 5
  • 6
  • 10
  • 12
  • 4
  • 8
  • 4
  • 4
  • 4
  • 6
  • 8
  • 4
  • 6
  • 5
  • 4
  • 4
  • 4
  • 7
  • 14
  • 13
  • 4
  • 4
  • 9
  • 7
  • 4
  • 9
  • 11
  • 5
  • 6
  • 4
  • 14
  • 4
  • 52
  • 38
  • 4
  • 5
  • 4
  • 22
  • 10
  • 16
  • 24
  • 83
  • 4
  • 5
  • 11
  • 4
  • 4
  • 6
  • 5
  • 16
  • 4
  • 9
  • 4
  • 6
  • 19
  • 9
  • 5
  • 12
  • 9
  • 5
  • 5
  • 15
  • 5
  • 4
  • 7
  • 5
  • 4
  • 6
  • 8
  • 5
  • 12
  • 40
  • 6
  • 4
  • 10
  • 4
  • 10
  • 4
  • 4
  • 4
  • 4
  • 4
  • 8
  • 16
  • 6
  • 7
  • 7
  • 19
  • 39
  • 8
  • 18
  • 5
  • 8
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 4
  • 8
  • 5
  • 6
  • 13
  • 15
  • 4
  • 8
  • 4
  • 4
  • 8
  • 5
  • 72
  • 4
  • 4
  • 6
  • 6
  • 4
  • 7
  • 10
  • 4
  • 4
  • 6
  • 7
  • 4
  • 4
  • 15
  • 4
  • 12
  • 4
  • 11
  • 18
  • 4
  • 6
  • 10
  • 4
  • 5
  • 6
  • 4
  • 4
  • 6
  • 4
  • 4
  • 9
  • 4
  • 17
  • 9
  • 9
  • 5
  • 8
  • 13
  • 5
  • 13
  • 4
  • 7
  • 5
  • 4
  • 15
  • 6
  • 6
  • 10
  • 8
  • 10
  • 5
  • 4
  • 4
  • 7
  • 8
  • 7
  • 9
  • 4
  • 4
  • 28
  • 4
  • 12
  • 5
  • 8
  • 4
  • 25
  • 4
  • 8
  • 4
  • 12
  • 33
  • 5
  • 6
  • 11
  • 15
  • 5
  • 33
  • 6
  • 7
  • 12
  • 7
  • 12
  • 6
  • 5
  • 12
  • 5
  • 17
  • 28
  • 5
  • 16
  • 7
  • 8
  • 14
  • 14
  • 25
  • 5
  • 13
  • 24
  • 38
  • 6
  • 6
  • 5
  • 7
  • 7
  • 5
  • 12
  • 5
  • 6
  • 6
  • 5
  • 11
  • 7
  • 8
  • 14
  • 23
  • 68
  • 12
  • 17
  • 6
  • 13
  • 7
  • 8
  • 12
  • 14
  • 9
  • 6
  • 10
  • 13
  • 8
  • 18
  • 19
  • 5
  • 26
  • 9
  • 5
  • 63
  • 15
  • 6
  • 7
  • 12
  • 20
  • 5
  • 7
  • 9
  • 5
  • 9
  • 13
  • 6
  • 7
  • 25
  • 6
  • 9
  • 11
  • 13
  • 6
  • 14
  • 12
  • 13
  • 13
  • 17
  • 6
  • 11
  • 10
  • 5
  • 23
  • 5
  • 37
  • 26
  • 5
  • 7
  • 5
  • 9
  • 9
  • 5
  • 20
  • 10
  • 7
  • 6
  • 6
  • 8
  • 19
  • 7
  • 7
  • 8
  • 10
  • 7
  • 5
  • 25
  • 11
  • 10
  • 8
  • 5
  • 5
  • 16
  • 5
  • 6
  • 9
  • 8
  • 8
  • 6
  • 10
  • 7
  • 76
  • 9
  • 5
  • 5
  • 7
  • 13
  • 6
  • 6
  • 5
  • 12
  • 7
  • 41
  • 7
  • 5
  • 15
  • 7
  • 5
  • 5
  • 10
  • 5
  • 10
  • 6
  • 6
  • 9
  • 6
  • 7
  • 8
  • 10
  • 6
  • 8
  • 5
  • 11
  • 7
  • 7
  • 12
  • 44
  • 6
  • 6
  • 21
  • 8
  • 19
  • 18
  • 5
  • 13
  • 13
  • 15
  • 15
  • 8
  • 12
  • 6
  • 6
  • 8
  • 21
  • 14
  • 6
  • 14
  • 8
  • 19
  • 7
  • 8
  • 6
  • 19
  • 8
  • 7
  • 15
  • 5
  • 11
  • 6
  • 15
  • 7
  • 24
  • 5
  • 5
  • 6
  • 6
  • 12
  • 13
  • 12
  • 8
  • 6
  • 11
  • 6
  • 10
  • 8
  • 27
  • 6
  • 12
  • 6
  • 7
  • 20
  • 8
  • 7
  • 10
  • 89
  • 6
  • 6
  • 7
  • 5
  • 19
  • 6
  • 5
  • 5
  • 6
  • 22
  • 13
  • 8
  • 10
  • 7
  • 21
  • 5
  • 90
  • 6
  • 50
  • 11
  • 11
  • 9
  • 89
  • 19
  • 5
  • 14
  • 12
  • 9
  • 5
  • 8
  • 9
  • 20
  • 11
  • 7
  • 5
  • 10
  • 5
  • 5
  • 8
  • 7
  • 11
  • 89
  • 5
  • 7
  • 19
  • 10
  • 8
  • 12
  • 12
  • 15
  • 6
  • 12
  • 9
  • 5
  • 11
  • 5
  • 9
  • 6
  • 22
  • 17
  • 6
  • 11
  • 6
  • 14
  • 6
  • 24
  • 6
  • 7
  • 6
  • 5
  • 5
  • 14
  • 8
  • 7
  • 5
  • 19
  • 15
  • 20
  • 27
  • 6
  • 18
  • 10
  • 5
  • 11
  • 11
  • 12
  • 8
  • 5
  • 8
  • 6
  • 36
  • 8
  • 41
  • 17
  • 11
  • 5
  • 11
  • 10
  • 22
  • 7
  • 12
  • 10
  • 13
  • 16
  • 21
  • 6
  • 6
  • 5
  • 25
  • 11
  • 24
  • 48
  • 10
  • 7
  • 18
  • 8
  • 9
  • 5
  • 6
  • 18
  • 20
  • 16
  • 7
  • 5
  • 8
  • 53
  • 24
  • 12
  • 9
  • 6
  • 15
  • 7
  • 5
  • 12
  • 5
  • 13
  • 6
  • 11
  • 8
  • 15
  • 12
  • 7
  • 5
  • 17
  • 12
  • 7
  • 89
  • 10
  • 13
  • 5
  • 15
  • 8
  • 7
  • 18
  • 8
  • 5
  • 28
  • 5
  • 11
  • 5
  • 6
  • 15
  • 7
  • 13
  • 18
  • 8
  • 10
  • 6
  • 19
  • 6
  • 5
  • 6
  • 6
  • 16
  • 6
  • 20
  • 9
  • 12
  • 6
  • 6
  • 7
  • 8
  • 8
  • 5
  • 6
  • 25
  • 11
  • 10
  • 5
  • 8
  • 6
  • 6
  • 5
  • 8
  • 15
  • 10
  • 6
  • 5
  • 5
  • 5
  • 18
  • 5
  • 9
  • 5
  • 10
  • 6
  • 8
  • 28
  • 15
  • 14
  • 5
  • 16
  • 10
  • 5
  • 6
  • 10
  • 10
  • 18
  • 7
  • 6
  • 6
  • 48
  • 6
  • 5
  • 6
  • 5
  • 5
  • 19
  • 7
  • 47
  • 15
  • 67
  • 5
  • 16
  • 8
  • 9
  • 5
  • 5
  • 5
  • 32
  • 7
  • 8
  • 20
  • 22
  • 22
  • 6
  • 10
  • 5
  • 11
  • 10
  • 7
  • 21
Verlag
  • 2
  • 10534
  • 3
  • 3
  • 1
  • 2
  • 2
  • 1
  • 32
Preis
  • 42
  • 394
  • 8088
  • 2056
Sprachen
  • 10575
  • 16
  • 13
Verfügbarkeit
  • 10571
  • 9
Eigenschaften
  • 11
Katalog
  • 10580
  • 561
10.580  Treffer  für „Lecture Notes in Computer Science“
    Aberer / Flache / Jager | Social Informatics | Buch | Sack Fachmedien

    Aberer / Flache / Jager Social Informatics

    4th International Conference, SocInfo 2012, Lausanne, Switzerland, December 5-7, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-35385-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dong / Du / Ibarra | Algorithms and Computation | Buch | Sack Fachmedien

    Dong / Du / Ibarra Algorithms and Computation

    20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-10630-9
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Kruse / Moral | Symbolic and Quantitative Approaches to Reasoning and Uncertainty | Buch | Sack Fachmedien

    Clarke / Kruse / Moral Symbolic and Quantitative Approaches to Reasoning and Uncertainty

    European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993. Proceedings
    Erscheinungsjahr 1993
    Verlag: Springer
    ISBN: 978-3-540-57395-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xu / De / Zhong | Artificial Intelligence and Mobile Services - AIMS 2020 | Buch | Sack Fachmedien

    Xu / De / Zhong Artificial Intelligence and Mobile Services - AIMS 2020

    9th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-59604-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Cuellar / Lopez / Barthe | Security and Trust Management | Buch | Sack Fachmedien

    Cuellar / Lopez / Barthe Security and Trust Management

    6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-22443-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Goodloe / Person | NASA Formal Methods | Buch | Sack Fachmedien

    Goodloe / Person NASA Formal Methods

    4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-28890-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Koucheryavy / Aziz | Internet of Things, Smart Spaces, and Next Generation Networks and Systems | Buch | Sack Fachmedien

    Koucheryavy / Aziz Internet of Things, Smart Spaces, and Next Generation Networks and Systems

    24th International Conference, NEW2AN 2024, and 17th Conference, ruSMART 2024, Marrakesh, Morocco, December 11-12, 2024, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-95295-1
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hooman | Specification and Compositional Verification of Real-Time Systems | Buch | Sack Fachmedien

    Hooman Specification and Compositional Verification of Real-Time Systems

    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54947-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Benninghofen / Kemmerich / Richter | Systems of Reductions | Buch | Sack Fachmedien

    Benninghofen / Kemmerich / Richter Systems of Reductions

    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18598-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pechoucek / Petta / Varga | Multi-Agent Systems and Applications IV | Buch | Sack Fachmedien

    Pechoucek / Petta / Varga Multi-Agent Systems and Applications IV

    4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings
    1. Auflage 2005
    Verlag: Springer
    ISBN: 978-3-540-29046-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Özgün / Zinova | Language, Logic, and Computation | Buch | Sack Fachmedien

    Özgün / Zinova Language, Logic, and Computation

    13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-030-98478-6
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Royer | A Connotational Theory of Program Structure | Buch | Sack Fachmedien

    Royer A Connotational Theory of Program Structure

    1. Auflage 1987
    Verlag: Springer
    ISBN: 978-3-540-18253-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vilhjálmsson / Kopp / Marsella | Intelligent Virtual Agents | Buch | Sack Fachmedien

    Vilhjálmsson / Kopp / Marsella Intelligent Virtual Agents

    11th International Conference, IVA 2011, Reykjavik, Iceland, September 15-17, 2011. Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23973-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hung / D´Souza | Distributed Computing and Internet Technology | Buch | Sack Fachmedien

    Hung / D´Souza Distributed Computing and Internet Technology

    16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020, Proceedings
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-36986-6
    Medium: Buch
    85,59 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Thanos / Borri / Candela | Digital Libraries: Research and Development | Buch | Sack Fachmedien

    Thanos / Borri / Candela Digital Libraries: Research and Development

    First International DELOS Conference, Pisa, Italy, February 13-14, 2007, Revised Selected Papers
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-77087-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jung / Wang / Toyoda | Database Systems for Advanced Applications | Buch | Sack Fachmedien

    Jung / Wang / Toyoda Database Systems for Advanced Applications

    31st International Conference, DASFAA 2026, Jeju, South Korea, April 27-30, 2026, Proceedings, Part V
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-9203-74-1
    Medium: Buch
    104,85 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Collart-Dutilleul / Haxthausen / Lecomte | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | Buch | Sack Fachmedien

    Collart-Dutilleul / Haxthausen / Lecomte Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

    4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-05813-4
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Moral / Pivert / Sánchez | Scalable Uncertainty Management | Buch | Sack Fachmedien

    Moral / Pivert / Sánchez Scalable Uncertainty Management

    11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-67581-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dinh / Thai | Computing and Combinatorics | Buch | Sack Fachmedien

    Dinh / Thai Computing and Combinatorics

    22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-42633-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Crochemore / Paterson | Combinatorial Pattern Matching | Buch | Sack Fachmedien

    Crochemore / Paterson Combinatorial Pattern Matching

    10th Annual Symposium, CPM 99, Warwick University, UK, July 22-24, 1999 Proceedings
    1. Auflage 1999
    Verlag: Springer
    ISBN: 978-3-540-66278-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Birk / Demiris | Learning Robots | Buch | Sack Fachmedien

    Birk / Demiris Learning Robots

    6th European Workshop EWLR-6, Brighton, England, August 1-2, 1997 Proceedings
    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-65480-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bundy | Automated Deduction - CADE-12 | Buch | Sack Fachmedien

    Bundy Automated Deduction - CADE-12

    12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings
    Erscheinungsjahr 1994
    Verlag: Springer
    ISBN: 978-3-540-58156-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dowek / Heering / Meinke | Higher-Order Algebra, Logic, and Term Rewriting | Buch | Sack Fachmedien

    Dowek / Heering / Meinke Higher-Order Algebra, Logic, and Term Rewriting

    Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
    1. Auflage 1996
    Verlag: Springer
    ISBN: 978-3-540-61254-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles | Buch | Sack Fachmedien

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

    11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I
    1. Auflage 2022
    Verlag: Springer
    ISBN: 978-3-031-19848-9
    Medium: Buch
    90,94 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Ganzinger | ESOP '88 | Buch | Sack Fachmedien

    Ganzinger ESOP '88

    2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
    1. Auflage 1988
    Verlag: Springer
    ISBN: 978-3-540-19027-1
    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