Ergebnisse filtern
Fachgebiet
Medium
  • 10733
  • 2628
Erscheinungsjahr
  • 317
  • 1018
  • 1052
  • 804
  • 630
  • 387
  • 402
  • 441
  • 417
  • 426
  • 417
  • 438
  • 399
  • 439
  • 441
  • 399
  • 370
  • 271
  • 247
  • 277
  • 291
  • 223
  • 447
  • 590
  • 263
  • 252
  • 179
  • 176
  • 135
  • 135
  • 137
  • 121
  • 112
  • 99
  • 75
  • 84
  • 57
  • 60
  • 46
  • 49
  • 33
  • 26
  • 19
  • 16
  • 18
  • 29
  • 20
  • 12
  • 8
  • 13
  • 10
  • 15
  • 13
  • 5
Autoren
  • 6
  • 6
  • 5
  • 6
  • 7
  • 8
  • 7
  • 13
  • 12
  • 6
  • 11
  • 12
  • 11
  • 20
  • 8
  • 23
  • 7
  • 10
  • 6
  • 8
  • 10
  • 11
  • 8
  • 13
  • 31
  • 52
  • 7
  • 48
  • 7
  • 7
  • 6
  • 6
  • 20
  • 17
  • 12
  • 6
  • 46
  • 6
  • 6
  • 7
  • 10
  • 6
  • 18
  • 7
  • 6
  • 8
  • 8
  • 9
  • 9
  • 7
  • 6
  • 7
  • 10
  • 10
  • 6
  • 20
  • 6
  • 9
  • 21
  • 12
  • 8
  • 8
  • 18
  • 12
  • 11
  • 7
  • 57
  • 19
  • 13
  • 7
  • 9
  • 11
  • 10
  • 7
  • 8
  • 6
  • 7
  • 10
  • 9
  • 8
  • 15
  • 13
  • 18
  • 12
  • 16
  • 7
  • 8
  • 6
  • 46
  • 15
  • 9
  • 7
  • 7
  • 10
  • 19
  • 7
  • 11
  • 12
  • 13
  • 7
  • 7
  • 18
  • 11
  • 9
  • 25
  • 6
  • 17
  • 6
  • 12
  • 13
  • 6
  • 11
  • 8
  • 13
  • 7
  • 8
  • 49
  • 11
  • 61
  • 7
  • 13
  • 9
  • 20
  • 20
  • 11
  • 7
  • 25
  • 9
  • 48
  • 11
  • 15
  • 13
  • 9
  • 11
  • 8
  • 17
  • 6
  • 10
  • 15
  • 10
  • 11
  • 46
  • 9
  • 12
  • 11
  • 18
  • 8
  • 10
  • 7
  • 16
  • 10
  • 7
  • 8
  • 7
  • 8
  • 23
  • 12
  • 7
  • 19
  • 11
  • 7
  • 10
  • 6
  • 8
  • 22
  • 22
  • 8
  • 9
  • 6
  • 6
  • 7
  • 9
  • 16
  • 25
  • 9
  • 9
  • 7
  • 6
  • 11
  • 7
  • 7
  • 7
  • 11
  • 6
  • 11
  • 19
  • 12
  • 7
  • 11
  • 11
  • 10
  • 53
  • 47
  • 8
  • 30
  • 6
  • 11
  • 22
  • 11
  • 26
  • 17
  • 7
  • 7
  • 8
  • 12
  • 8
  • 20
  • 7
  • 7
  • 7
  • 11
  • 7
  • 31
  • 7
  • 6
  • 18
  • 54
  • 14
  • 9
  • 19
  • 13
  • 9
  • 11
  • 12
  • 24
  • 9
  • 8
  • 9
  • 6
  • 11
  • 20
  • 14
  • 12
  • 6
  • 6
  • 6
  • 11
  • 9
  • 12
  • 16
  • 17
  • 68
  • 44
  • 11
  • 6
  • 27
  • 13
  • 22
  • 34
  • 109
  • 7
  • 14
  • 10
  • 6
  • 8
  • 6
  • 22
  • 8
  • 9
  • 23
  • 16
  • 7
  • 8
  • 7
  • 6
  • 11
  • 21
  • 9
  • 15
  • 9
  • 8
  • 10
  • 6
  • 8
  • 15
  • 7
  • 53
  • 6
  • 13
  • 6
  • 10
  • 7
  • 7
  • 16
  • 27
  • 8
  • 9
  • 8
  • 25
  • 46
  • 11
  • 7
  • 6
  • 14
  • 19
  • 15
  • 8
  • 7
  • 9
  • 6
  • 9
  • 6
  • 13
  • 19
  • 9
  • 6
  • 6
  • 10
  • 7
  • 84
  • 6
  • 14
  • 14
  • 8
  • 10
  • 7
  • 8
  • 8
  • 19
  • 6
  • 12
  • 12
  • 11
  • 24
  • 7
  • 8
  • 15
  • 10
  • 6
  • 14
  • 6
  • 7
  • 21
  • 17
  • 7
  • 6
  • 6
  • 8
  • 13
  • 6
  • 6
  • 9
  • 6
  • 17
  • 9
  • 7
  • 6
  • 11
  • 6
  • 18
  • 7
  • 6
  • 8
  • 7
  • 11
  • 6
  • 13
  • 12
  • 16
  • 6
  • 6
  • 8
  • 6
  • 9
  • 10
  • 10
  • 7
  • 7
  • 8
  • 37
  • 6
  • 10
  • 13
  • 6
  • 9
  • 6
  • 30
  • 8
  • 9
  • 6
  • 20
  • 44
  • 7
  • 6
  • 6
  • 11
  • 12
  • 19
  • 6
  • 34
  • 6
  • 14
  • 9
  • 6
  • 7
  • 18
  • 6
  • 18
  • 6
  • 6
  • 27
  • 41
  • 23
  • 14
  • 8
  • 28
  • 7
  • 6
  • 14
  • 10
  • 7
  • 34
  • 6
  • 6
  • 15
  • 37
  • 47
  • 6
  • 8
  • 9
  • 8
  • 9
  • 9
  • 19
  • 11
  • 6
  • 17
  • 6
  • 10
  • 7
  • 8
  • 8
  • 6
  • 7
  • 9
  • 7
  • 17
  • 8
  • 90
  • 30
  • 33
  • 7
  • 17
  • 8
  • 6
  • 23
  • 7
  • 7
  • 7
  • 8
  • 19
  • 8
  • 8
  • 7
  • 13
  • 18
  • 6
  • 19
  • 6
  • 9
  • 7
  • 7
  • 7
  • 7
  • 11
  • 15
  • 7
  • 20
  • 7
  • 22
  • 6
  • 29
  • 9
  • 11
  • 7
  • 7
  • 83
  • 8
  • 6
  • 22
  • 7
  • 9
  • 6
  • 6
  • 14
  • 28
  • 10
  • 15
  • 6
  • 12
  • 6
  • 10
  • 7
  • 6
  • 10
  • 6
  • 22
  • 9
  • 6
  • 9
  • 27
  • 10
  • 6
  • 7
  • 6
  • 14
  • 15
  • 17
  • 6
  • 19
  • 22
  • 20
  • 11
  • 23
  • 7
  • 8
  • 12
  • 9
  • 6
  • 12
  • 9
  • 10
  • 33
  • 8
  • 10
  • 7
  • 44
  • 36
  • 6
  • 8
  • 6
  • 9
  • 10
  • 22
  • 10
  • 6
  • 7
  • 6
  • 7
  • 8
  • 10
  • 12
  • 8
  • 9
  • 6
  • 12
  • 7
  • 27
  • 9
  • 8
  • 6
  • 7
  • 11
  • 10
  • 12
  • 9
  • 16
  • 6
  • 6
  • 10
  • 7
  • 42
  • 7
  • 13
  • 13
  • 6
  • 8
  • 6
  • 20
  • 6
  • 8
  • 7
  • 15
  • 6
  • 7
  • 10
  • 7
  • 7
  • 9
  • 9
  • 101
  • 14
  • 8
  • 6
  • 10
  • 7
  • 9
  • 20
  • 8
  • 10
  • 6
  • 7
  • 10
  • 14
  • 55
  • 16
  • 6
  • 20
  • 6
  • 7
  • 16
  • 9
  • 13
  • 7
  • 6
  • 6
  • 8
  • 11
  • 6
  • 8
  • 7
  • 9
  • 9
  • 11
  • 8
  • 7
  • 8
  • 10
  • 8
  • 13
  • 61
  • 8
  • 8
  • 21
  • 6
  • 9
  • 6
  • 20
  • 15
  • 6
  • 7
  • 6
  • 13
  • 7
  • 17
  • 16
  • 19
  • 11
  • 18
  • 9
  • 7
  • 12
  • 34
  • 12
  • 10
  • 10
  • 17
  • 8
  • 6
  • 7
  • 25
  • 6
  • 13
  • 17
  • 17
  • 6
  • 6
  • 13
  • 11
  • 6
  • 18
  • 8
  • 18
  • 8
  • 9
  • 21
  • 9
  • 25
  • 9
  • 10
  • 6
  • 12
  • 6
  • 16
  • 7
  • 6
  • 13
  • 17
  • 10
  • 10
  • 7
  • 6
  • 7
  • 7
  • 20
  • 6
  • 9
  • 10
  • 7
  • 7
  • 8
  • 14
  • 31
  • 7
  • 17
  • 8
  • 7
  • 11
  • 24
  • 6
  • 10
  • 10
  • 11
  • 6
  • 122
  • 7
  • 9
  • 10
  • 7
  • 30
  • 14
  • 9
  • 6
  • 23
  • 11
  • 9
  • 11
  • 15
  • 10
  • 28
  • 8
  • 123
  • 6
  • 57
  • 15
  • 13
  • 12
  • 120
  • 31
  • 15
  • 8
  • 13
  • 8
  • 13
  • 6
  • 15
  • 16
  • 14
  • 12
  • 7
  • 6
  • 6
  • 6
  • 10
  • 11
  • 12
  • 13
  • 120
  • 10
  • 15
  • 28
  • 12
  • 18
  • 11
  • 6
  • 12
  • 6
  • 26
  • 16
  • 13
  • 10
  • 8
  • 10
  • 7
  • 12
  • 6
  • 10
  • 29
  • 9
  • 7
  • 14
  • 6
  • 6
  • 6
  • 7
  • 12
  • 15
  • 6
  • 34
  • 9
  • 6
  • 7
  • 6
  • 7
  • 7
  • 15
  • 11
  • 8
  • 11
  • 10
  • 18
  • 7
  • 20
  • 40
  • 16
  • 9
  • 11
  • 10
  • 25
  • 10
  • 12
  • 10
  • 16
  • 12
  • 8
  • 12
  • 11
  • 6
  • 50
  • 9
  • 42
  • 7
  • 15
  • 10
  • 13
  • 9
  • 13
  • 13
  • 6
  • 9
  • 26
  • 7
  • 10
  • 8
  • 10
  • 11
  • 12
  • 22
  • 8
  • 23
  • 35
  • 6
  • 9
  • 15
  • 29
  • 14
  • 18
  • 33
  • 70
  • 12
  • 21
  • 21
  • 10
  • 15
  • 8
  • 9
  • 20
  • 22
  • 18
  • 12
  • 9
  • 12
  • 72
  • 25
  • 15
  • 12
  • 7
  • 17
  • 19
  • 9
  • 10
  • 17
  • 8
  • 15
  • 14
  • 8
  • 6
  • 16
  • 16
  • 10
  • 10
  • 16
  • 6
  • 120
  • 6
  • 12
  • 6
  • 14
  • 19
  • 8
  • 6
  • 7
  • 6
  • 6
  • 8
  • 6
  • 17
  • 11
  • 6
  • 12
  • 43
  • 7
  • 12
  • 9
  • 7
  • 18
  • 9
  • 17
  • 25
  • 12
  • 14
  • 27
  • 9
  • 8
  • 8
  • 6
  • 20
  • 8
  • 25
  • 8
  • 13
  • 7
  • 8
  • 11
  • 9
  • 8
  • 11
  • 10
  • 8
  • 7
  • 33
  • 8
  • 17
  • 8
  • 12
  • 7
  • 7
  • 9
  • 8
  • 9
  • 7
  • 10
  • 7
  • 17
  • 13
  • 11
  • 7
  • 20
  • 17
  • 7
  • 6
  • 7
  • 17
  • 11
  • 29
  • 12
  • 6
  • 20
  • 6
  • 6
  • 6
  • 30
  • 8
  • 12
  • 6
  • 7
  • 14
  • 10
  • 6
  • 9
  • 20
  • 7
  • 9
  • 7
  • 8
  • 63
  • 16
  • 6
  • 7
  • 10
  • 7
  • 28
  • 7
  • 6
  • 7
  • 6
  • 58
  • 20
  • 80
  • 8
  • 23
  • 8
  • 13
  • 8
  • 9
  • 9
  • 6
  • 38
  • 7
  • 9
  • 7
  • 23
  • 22
  • 21
  • 11
  • 10
  • 6
  • 15
  • 15
  • 30
Verlag
  • 3
  • 11583
  • 36
  • 1550
  • 1
  • 14
  • 3
  • 3
  • 127
  • 1
  • 1
  • 39
Preis
  • 47
  • 488
  • 10546
  • 2280
Sprachen
  • 13353
  • 19
  • 15
Verfügbarkeit
  • 13343
  • 18
Eigenschaften
  • 22
Katalog
  • 13361
  • 551
13.361  Treffer  für „Lecture Notes in Computer Science“
    Mira / Sanchez-Andres | Engineering Applications of Bio-Inspired Artificial Neural Networks | Buch | Sack Fachmedien

    Mira / Sanchez-Andres Engineering Applications of Bio-Inspired Artificial Neural Networks

    International Work-Conference on Artificial and Natural Neural Networks, IWANN'99, Alicante, Spain, June 2-4, 1999, Proceedings, Volume II
    Erscheinungsjahr 1999
    Verlag: Springer
    ISBN: 978-3-540-66068-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Tomlin / Greenstreet | Hybrid Systems: Computation and Control | Buch | Sack Fachmedien

    Tomlin / Greenstreet Hybrid Systems: Computation and Control

    5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings
    1. Auflage 2002
    Verlag: Springer
    ISBN: 978-3-540-43321-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giese / Karsai / Lee | Model-Based Engineering of Embedded Real-Time Systems | Buch | Sack Fachmedien

    Giese / Karsai / Lee Model-Based Engineering of Embedded Real-Time Systems

    International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-16276-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Quirchmayr / Schweighofer / Bench-Capon | Database and Expert Systems Applications | Buch | Sack Fachmedien

    Quirchmayr / Schweighofer / Bench-Capon Database and Expert Systems Applications

    Erscheinungsjahr 1998
    Verlag: Springer
    ISBN: 978-3-540-64950-2
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Garcia-Castro / Fensel / Antoniou | The Semantic Web: ESWC 2011 Workshops | Buch | Sack Fachmedien

    Garcia-Castro / Fensel / Antoniou The Semantic Web: ESWC 2011 Workshops

    Workshops at the 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Greece, May 29-30, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-25952-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Claypool / Uhlig | Passive and Active Network Measurement | Buch | Sack Fachmedien

    Claypool / Uhlig Passive and Active Network Measurement

    9th International Conference, PAM 2008, Cleveland, OH, USA, April 29-30, 2008, Proceedings
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-79231-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Berekovic / Müller-Schloer / Hochberger | Architecture of Computing Systems - ARCS 2009 | Buch | Sack Fachmedien

    Berekovic / Müller-Schloer / Hochberger Architecture of Computing Systems - ARCS 2009

    22nd International Conference, Delft, The Netherlands, March 10-13, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00453-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Iwamura / Shafait | Camera-Based Document Analysis and Recognition | Buch | Sack Fachmedien

    Iwamura / Shafait Camera-Based Document Analysis and Recognition

    4th International Workshop, CBDAR 2011, Beijing, China, September 22, 2011, Revised Selected Papers
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-29363-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Lin / Tsudik / Wang | Cryptology and Network Security | Buch | Sack Fachmedien

    Lin / Tsudik / Wang Cryptology and Network Security

    10th International Conference, CANS 2011, Sanya, China, December 10-12, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-25512-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kobayashi | Programming Languages and Systems | Buch | Sack Fachmedien

    Kobayashi Programming Languages and Systems

    4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-48937-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jedrzejowicz / Nguyen / Hoang | Computational Collective IntelligenceTechnologies and Applications | Buch | Sack Fachmedien

    Jedrzejowicz / Nguyen / Hoang Computational Collective IntelligenceTechnologies and Applications

    Third International Conference, ICCCI 2011, Gdynia, Poland, September 21-23, 2011, Proceedings, Part I
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-23934-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zhou / Batina / Li | Applied Cryptography and Network Security Workshops | Buch | Sack Fachmedien

    Zhou / Batina / Li Applied Cryptography and Network Security Workshops

    ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings
    1. Auflage 2023
    Verlag: Springer
    ISBN: 978-3-031-41180-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bampis / Megow | Approximation and Online Algorithms | Buch | Sack Fachmedien

    Bampis / Megow Approximation and Online Algorithms

    17th International Workshop, WAOA 2019, Munich, Germany, September 12-13, 2019, Revised Selected Papers
    1. Auflage 2020
    Verlag: Springer
    ISBN: 978-3-030-39478-3
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Margaria / Steffen | Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques | eBook | Sack Fachmedien
    E-Book

    Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

    7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
    1. Auflage 2016
    Verlag: Springer International Publishing
    ISBN: 978-3-319-47166-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    96,29 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Agha / Igarashi / Kobayashi | Concurrent Objects and Beyond | eBook | Sack Fachmedien
    E-Book

    Agha / Igarashi / Kobayashi Concurrent Objects and Beyond

    Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-662-44471-9
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Bai / Persichetti | Public-Key Cryptography - PKC 2026 | Buch | Sack Fachmedien

    Bai / Persichetti Public-Key Cryptography - PKC 2026

    29th IACR International Conference on Practice and Theory of Public-Key Cryptography, West Palm Beach, FL, USA, May 25-28, 2026, Proceedings, Part II
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-26733-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Yung / Gai / Meng | Application Intelligence and Blockchain Security | Buch | Sack Fachmedien

    Yung / Gai / Meng Application Intelligence and Blockchain Security

    7th International Conference, AIBlock 2025, Beijing, China, July 19-20, 2025, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer Nature Switzerland AG
    ISBN: 978-3-032-16167-3
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Andrikopoulos / Pautasso / Ali | Software Architecture | eBook | Sack Fachmedien
    E-Book

    Andrikopoulos / Pautasso / Ali Software Architecture

    19th European Conference, ECSA 2025, Limassol, Cyprus, September 15–19, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer International Publishing
    ISBN: 978-3-032-02138-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    78,10 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Omatu / Rocha / Bravo | Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living | Buch | Sack Fachmedien

    Omatu / Rocha / Bravo Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living

    10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-02480-1
    Medium: Buch
    160,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chen / He / Xie | Network and System Security | eBook | Sack Fachmedien
    E-Book

    Chen / He / Xie Network and System Security

    19th International Conference, NSS 2025, Wuhan, China, December 5–7, 2025, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer Singapore
    ISBN: 978-981-956419-4
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    78,10 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Johnsen / Schaefer | Software Engineering and Formal Methods | Buch | Sack Fachmedien

    Johnsen / Schaefer Software Engineering and Formal Methods

    16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-92969-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Diaz | Automata, Languages and Programming | Buch | Sack Fachmedien

    Diaz Automata, Languages and Programming

    10th Colloquium Barcelona, Spain, July 18-22, 1983
    Erscheinungsjahr 1983
    Verlag: Springer
    ISBN: 978-3-540-12317-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bramer / Stahl | Artificial Intelligence XLII | eBook | Sack Fachmedien
    E-Book

    Bramer / Stahl Artificial Intelligence XLII

    45th SGAI International Conference on Artificial Intelligence, AI 2025, Cambridge, UK, December 16-18, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer International Publishing
    ISBN: 978-3-032-11402-0
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    69,54 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Barrett / Davies / Kahsai | NASA Formal Methods | eBook | Sack Fachmedien
    E-Book

    Barrett / Davies / Kahsai NASA Formal Methods

    9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
    1. Auflage 2017
    Verlag: Springer International Publishing
    ISBN: 978-3-319-57288-8
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb
    Anastasi / Bellini / Elisabetta | Methodologies and Technologies for Networked Enterprises | eBook | Sack Fachmedien
    E-Book

    Anastasi / Bellini / Elisabetta Methodologies and Technologies for Networked Enterprises

    ArtDeco: Adaptive Infrastructures for Decentralised Organisations
    Erscheinungsjahr 2012
    Verlag: Springer
    ISBN: 978-3-642-31739-2
    Medium: eBook
    Format: PDF
     Kopierschutz: 1 - PDF Watermark
    53,49 € (inkl. MwSt.)
    sofort verfügbar
    Bereits im Warenkorb

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