Ergebnisse filtern
Fachgebiet
Medium
  • 3612
Erscheinungsjahr
  • 99
  • 477
  • 463
  • 81
  • 41
  • 25
  • 41
  • 48
  • 54
  • 60
  • 63
  • 44
  • 39
  • 47
  • 48
  • 48
  • 125
  • 97
  • 125
  • 159
  • 154
  • 115
  • 193
  • 175
  • 153
  • 134
  • 92
  • 72
  • 56
  • 44
  • 54
  • 36
  • 35
  • 20
  • 13
  • 21
  • 15
  • 19
  • 4
  • 8
  • 4
  • 7
  • 1
  • 2
  • 1
Autoren
  • 2
  • 3
  • 6
  • 9
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 5
  • 6
  • 2
  • 4
  • 2
  • 4
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 7
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 5
  • 2
  • 3
  • 2
  • 8
  • 4
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 4
  • 3
  • 3
  • 2
  • 4
  • 2
  • 4
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 8
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 6
  • 2
  • 4
  • 2
  • 2
  • 11
  • 2
  • 3
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 5
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 8
  • 2
  • 2
  • 3
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 4
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 5
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 3
  • 6
  • 2
  • 4
  • 2
  • 2
  • 3
  • 4
  • 7
  • 4
  • 2
  • 6
  • 14
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 8
  • 16
  • 2
  • 3
  • 4
  • 2
  • 3
  • 3
  • 5
  • 7
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 2
  • 6
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 3
  • 3
  • 7
  • 3
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 11
  • 3
  • 15
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 3
  • 7
  • 2
  • 3
  • 2
  • 16
  • 8
  • 18
  • 2
  • 3
  • 15
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 10
  • 2
  • 3
  • 3
  • 4
  • 6
  • 7
  • 2
  • 13
  • 2
  • 2
  • 9
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 5
  • 4
  • 3
  • 9
  • 3
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 5
  • 6
  • 3
  • 3
  • 2
  • 2
  • 3
  • 15
  • 10
  • 6
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 4
  • 7
  • 2
  • 2
  • 2
  • 8
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 8
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 5
  • 3
  • 4
  • 8
  • 3
  • 3
  • 8
  • 8
  • 3
  • 3
  • 3
  • 21
  • 20
  • 3
  • 3
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 3
  • 3
  • 27
  • 3
  • 3
  • 3
  • 3
  • 10
  • 3
  • 8
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 6
  • 3
  • 5
  • 8
  • 6
  • 7
  • 3
  • 8
  • 4
  • 4
  • 4
  • 4
  • 6
  • 3
  • 3
  • 3
  • 30
  • 3
  • 4
  • 32
  • 4
  • 3
  • 7
  • 3
  • 3
  • 3
  • 37
  • 4
  • 3
  • 4
  • 3
  • 13
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 8
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 5
  • 4
  • 3
  • 3
  • 3
  • 5
  • 5
  • 3
  • 9
  • 5
  • 3
  • 3
  • 4
  • 12
  • 4
  • 3
  • 15
  • 3
  • 4
  • 7
  • 4
  • 3
  • 3
  • 3
  • 3
  • 4
  • 37
  • 3
  • 4
  • 4
  • 5
  • 9
  • 3
  • 5
  • 4
  • 4
  • 5
  • 8
  • 3
  • 7
  • 5
  • 4
  • 9
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 5
  • 5
  • 3
  • 5
  • 6
  • 3
  • 3
  • 11
  • 3
  • 4
  • 9
  • 8
  • 7
  • 17
  • 4
  • 5
  • 3
  • 3
  • 26
  • 7
  • 3
  • 5
  • 3
  • 3
  • 3
  • 3
  • 7
  • 3
  • 4
  • 3
  • 7
  • 3
  • 3
  • 20
  • 5
  • 3
  • 4
  • 3
  • 3
  • 4
  • 7
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 7
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 3
  • 3
  • 4
  • 7
  • 11
  • 4
  • 12
  • 4
  • 3
  • 3
  • 3
  • 3
  • 17
  • 7
  • 3
  • 10
  • 5
  • 5
  • 3
  • 10
  • 3
  • 3
  • 4
  • 7
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 85
  • 3
  • 16
  • 15
  • 4
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 7
  • 8
  • 4
  • 3
  • 4
  • 18
  • 3
  • 18
  • 3
  • 3
  • 3
  • 15
  • 5
  • 8
  • 6
  • 6
  • 4
  • 3
  • 4
  • 6
  • 9
  • 5
  • 6
  • 5
  • 4
  • 3
  • 18
  • 7
  • 3
  • 3
  • 3
  • 7
  • 3
  • 3
  • 4
  • 4
  • 3
  • 4
  • 10
  • 3
  • 9
  • 3
  • 6
  • 8
  • 3
  • 5
  • 10
  • 4
  • 3
  • 3
  • 8
  • 4
  • 3
  • 4
  • 3
  • 3
  • 3
  • 3
  • 3
  • 5
  • 4
  • 4
  • 3
  • 3
  • 7
  • 3
  • 18
  • 4
  • 3
  • 7
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 4
  • 4
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 6
  • 3
  • 3
  • 33
  • 3
  • 12
  • 5
  • 6
  • 8
  • 4
  • 4
  • 3
  • 8
  • 9
  • 4
  • 4
  • 4
  • 4
  • 3
  • 4
  • 4
  • 3
  • 5
  • 3
  • 4
  • 5
  • 4
  • 4
  • 7
  • 3
  • 7
  • 7
  • 5
  • 4
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 5
  • 3
  • 16
  • 5
  • 3
  • 5
  • 13
  • 4
  • 3
  • 6
  • 3
  • 5
  • 4
  • 8
  • 3
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 3
  • 7
  • 7
  • 3
  • 13
  • 3
  • 3
  • 3
  • 3
  • 3
  • 8
  • 3
  • 5
  • 4
  • 3
  • 3
  • 4
  • 3
  • 7
  • 12
  • 3
  • 3
  • 3
  • 3
  • 4
  • 5
  • 3
  • 7
  • 5
  • 5
  • 4
  • 8
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 3
  • 7
  • 4
  • 4
  • 3
  • 3
  • 4
  • 12
  • 5
  • 86
  • 3
  • 10
  • 3
  • 3
  • 3
  • 4
  • 3
  • 6
  • 3
  • 3
  • 4
  • 6
  • 5
  • 86
  • 4
  • 3
  • 3
  • 4
  • 4
  • 3
  • 24
  • 3
  • 11
  • 86
  • 3
  • 3
  • 5
  • 7
  • 4
  • 4
  • 3
  • 4
  • 5
  • 3
  • 3
  • 8
  • 5
  • 3
  • 8
  • 86
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 10
  • 5
  • 3
  • 3
  • 6
  • 4
  • 14
  • 6
  • 5
  • 3
  • 3
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 3
  • 4
  • 3
  • 3
  • 4
  • 5
  • 3
  • 3
  • 15
  • 3
  • 17
  • 3
  • 4
  • 3
  • 3
  • 6
  • 5
  • 3
  • 5
  • 10
  • 3
  • 5
  • 11
  • 10
  • 8
  • 3
  • 3
  • 7
  • 8
  • 4
  • 3
  • 5
  • 5
  • 15
  • 3
  • 6
  • 6
  • 3
  • 22
  • 9
  • 8
  • 3
  • 6
  • 3
  • 15
  • 4
  • 6
  • 6
  • 6
  • 10
  • 3
  • 7
  • 14
  • 4
  • 6
  • 9
  • 86
  • 5
  • 4
  • 4
  • 8
  • 9
  • 3
  • 3
  • 4
  • 3
  • 9
  • 3
  • 6
  • 3
  • 4
  • 3
  • 3
  • 6
  • 6
  • 18
  • 4
  • 4
  • 6
  • 21
  • 5
  • 10
  • 4
  • 4
  • 3
  • 4
  • 18
  • 4
  • 44
  • 4
  • 4
  • 4
  • 27
  • 4
  • 14
  • 33
  • 15
  • 4
  • 6
  • 3
  • 18
  • 7
  • 20
  • 14
  • 4
  • 4
  • 10
  • 4
  • 4
Verlag
  • 3
  • 3580
  • 1
  • 1
  • 2
  • 3
  • 1
  • 21
Preis
  • 1
  • 77
  • 2829
  • 705
Sprachen
  • 3612
  • 1
Verfügbarkeit
  • 3610
  • 2
Eigenschaften
  • 4
Katalog
  • 3612
  • 336
3.612  Treffer  für „Lecture Notes in Computer Science“
    Gurfinkel / Heule | Tools and Algorithms for the Construction and Analysis of Systems | Buch | Sack Fachmedien

    Gurfinkel / Heule Tools and Algorithms for the Construction and Analysis of Systems

    31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-90652-7
    Medium: Buch
    42,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Desai / Cirne | Job Scheduling Strategies for Parallel Processing | Buch | Sack Fachmedien

    Desai / Cirne Job Scheduling Strategies for Parallel Processing

    19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016, Revised Selected Papers
    1. Auflage 2017
    Verlag: Springer
    ISBN: 978-3-319-61755-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Følstad / Papadopoulos / Araujo | Chatbots and Human-Centered AI | Buch | Sack Fachmedien

    Følstad / Papadopoulos / Araujo Chatbots and Human-Centered AI

    8th International Workshop, CONVERSATIONS 2024, Thessaloniki, Greece, December 4-5, 2024, Revised Selected Papers
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-88044-5
    Medium: Buch
    128,39 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Burkhard / Lindemann / Verbrugge | Multi-Agent Systems and Applications V | Buch | Sack Fachmedien

    Burkhard / Lindemann / Verbrugge Multi-Agent Systems and Applications V

    5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75253-0
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Nicholas / Mayfield | Intelligent Hypertext | Buch | Sack Fachmedien

    Nicholas / Mayfield Intelligent Hypertext

    Advanced Techniques for the World Wide Web
    1. Auflage 1997
    Verlag: Springer
    ISBN: 978-3-540-63637-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Shyamasundar / Huang / He | Blockchain - ICBC 2025 | Buch | Sack Fachmedien

    Shyamasundar / Huang / He Blockchain - ICBC 2025

    8th International Conference, Held as Part of the Services Conference Federation, SCF 2025, Hong Kong, China, September 27-30, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-06175-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Erdogmus / Weng | COTS-Based Software Systems | Buch | Sack Fachmedien

    Erdogmus / Weng COTS-Based Software Systems

    Second International Conference, ICCBSS 2003 Ottawa, Canada, February 10-13, 2003
    1. Auflage 2003
    Verlag: Springer
    ISBN: 978-3-540-00562-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    America | Parallel Database Systems | Buch | Sack Fachmedien

    America Parallel Database Systems

    PRISMA Workshop, Noordwijk, The Netherlands, September 24-26, 1990. Proceedings.
    1. Auflage 1991
    Verlag: Springer
    ISBN: 978-3-540-54132-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dinur / Dolev / Lodha | Cyber Security Cryptography and Machine Learning | Buch | Sack Fachmedien

    Dinur / Dolev / Lodha Cyber Security Cryptography and Machine Learning

    Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21-22, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-94146-2
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Zincir-Heywood / Bonfante / Debbabi | Foundations and Practice of Security | Buch | Sack Fachmedien

    Zincir-Heywood / Bonfante / Debbabi Foundations and Practice of Security

    11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13-15, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-18418-6
    Medium: Buch
    70,61 € (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 IX
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-960788-4
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Reynolds / Tasiran | Verified Software. Theories, Tools and Experiments | Buch | Sack Fachmedien

    Reynolds / Tasiran Verified Software. Theories, Tools and Experiments

    15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
    2024
    Verlag: Springer
    ISBN: 978-3-031-66063-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baras / Papavassiliou / Tsiropoulou | Game Theory and AI for Security | Buch | Sack Fachmedien

    Baras / Papavassiliou / Tsiropoulou Game Theory and AI for Security

    16th International Conference, GameSec 2025, Athens, Greece, October 13-15, 2025, Proceedings, Part I
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-08063-9
    Medium: Buch
    70,61 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bhasin / Mendelson / Nandi | Security, Privacy, and Applied Cryptography Engineering | Buch | Sack Fachmedien

    Bhasin / Mendelson / Nandi Security, Privacy, and Applied Cryptography Engineering

    9th International Conference, SPACE 2019, Gandhinagar, India, December 3-7, 2019, Proceedings
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-35868-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kerschbaum / Paraboschi | Data and Applications Security and Privacy XXXII | Buch | Sack Fachmedien

    Kerschbaum / Paraboschi Data and Applications Security and Privacy XXXII

    32nd Annual IFIP WG 11.3 Conference, DBSec 2018, Bergamo, Italy, July 16-18, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-319-95728-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Xiang / Stojmenovic / Apduhan | Algorithms and Architectures for Parallel Processing | Buch | Sack Fachmedien

    Xiang / Stojmenovic / Apduhan Algorithms and Architectures for Parallel Processing

    12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-33077-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Carlet / Hasan / Saraswat | Security, Privacy, and Applied Cryptography Engineering | Buch | Sack Fachmedien

    Carlet / Hasan / Saraswat Security, Privacy, and Applied Cryptography Engineering

    6th International Conference, SPACE 2016, Hyderabad, India, December 14-18, 2016, Proceedings
    1. Auflage 2016
    Verlag: Springer
    ISBN: 978-3-319-49444-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Vicente / Hutchison | Management of Multimedia Networks and Services | Buch | Sack Fachmedien

    Vicente / Hutchison Management of Multimedia Networks and Services

    7th IFIP/IEEE International Conference, MMNS 2004, San Diego, CA, USA, October 3-6, 2004. Proceedings
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-23239-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hoepman / Verbauwhede | Radio Frequency Identification: Security and Privacy Issues | Buch | Sack Fachmedien

    Hoepman / Verbauwhede Radio Frequency Identification: Security and Privacy Issues

    8th International Workshop, RFIDSec 2012, Nijmegen, The Netherlands, July 2-3, 2012, Revised Selected Papers
    1. Auflage 2013
    Verlag: Springer
    ISBN: 978-3-642-36139-5
    Medium: Buch
    49,22 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Baresi / Dustdar / Gall | Ubiquitous Mobile Information and Collaboration Systems | Buch | Sack Fachmedien

    Baresi / Dustdar / Gall Ubiquitous Mobile Information and Collaboration Systems

    Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers
    1. Auflage 2004
    Verlag: Springer
    ISBN: 978-3-540-24100-3
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Chamberlain / Taha / Törngren | Cyber Physical Systems. Model-Based Design | Buch | Sack Fachmedien

    Chamberlain / Taha / Törngren Cyber Physical Systems. Model-Based Design

    8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers
    1. Auflage 2019
    Verlag: Springer
    ISBN: 978-3-030-23702-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Galster / Scandurra / Mikkonen | Software Architecture | Buch | Sack Fachmedien

    Galster / Scandurra / Mikkonen Software Architecture

    18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings
    2024
    Verlag: Springer
    ISBN: 978-3-031-70796-4
    Medium: Buch
    80,24 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gruschka | Secure IT Systems | Buch | Sack Fachmedien

    Gruschka Secure IT Systems

    23rd Nordic Conference, NordSec 2018, Oslo, Norway, November 28-30, 2018, Proceedings
    1. Auflage 2018
    Verlag: Springer
    ISBN: 978-3-030-03637-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Asarin / Bouyer | Formal Modeling and Analysis of Timed Systems | Buch | Sack Fachmedien

    Asarin / Bouyer Formal Modeling and Analysis of Timed Systems

    4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings
    1. Auflage 2006
    Verlag: Springer
    ISBN: 978-3-540-45026-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Havelund / Penix / Visser | SPIN Model Checking and Software Verification | Buch | Sack Fachmedien

    Havelund / Penix / Visser SPIN Model Checking and Software Verification

    7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
    1. Auflage 2000
    Verlag: Springer
    ISBN: 978-3-540-41030-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