Ergebnisse filtern
Fachgebiet
Medium
  • 2163
Erscheinungsjahr
  • 4
  • 121
  • 150
  • 136
  • 109
  • 40
  • 22
  • 24
  • 35
  • 30
  • 28
  • 47
  • 42
  • 37
  • 49
  • 37
  • 29
  • 70
  • 65
  • 59
  • 76
  • 66
  • 59
  • 118
  • 106
  • 94
  • 78
  • 60
  • 50
  • 39
  • 29
  • 36
  • 34
  • 27
  • 31
  • 19
  • 31
  • 17
  • 15
  • 8
  • 10
  • 4
  • 7
  • 4
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
Autoren
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 3
  • 4
  • 7
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 9
  • 3
  • 2
  • 2
  • 6
  • 5
  • 4
  • 4
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 10
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 7
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 3
  • 7
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 4
  • 5
  • 2
  • 2
  • 9
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 4
  • 3
  • 3
  • 4
  • 2
  • 3
  • 3
  • 3
  • 2
  • 3
  • 3
  • 12
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 8
  • 6
  • 4
  • 2
  • 4
  • 2
  • 5
  • 3
  • 4
  • 5
  • 2
  • 4
  • 3
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 3
  • 4
  • 3
  • 2
  • 3
  • 3
  • 3
  • 5
  • 4
  • 3
  • 4
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 3
  • 3
  • 3
  • 6
  • 12
  • 5
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 2
  • 6
  • 2
  • 2
  • 5
  • 2
  • 2
  • 3
  • 3
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 16
  • 25
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 13
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 6
  • 3
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 6
  • 3
  • 2
  • 4
  • 4
  • 2
  • 10
  • 5
  • 2
  • 2
  • 3
  • 6
  • 2
  • 2
  • 2
  • 3
  • 23
  • 2
  • 2
  • 3
  • 6
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 3
  • 5
  • 2
  • 3
  • 4
  • 3
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 7
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 2
  • 5
  • 3
  • 3
  • 3
  • 5
  • 3
  • 5
  • 3
  • 3
  • 2
  • 3
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 5
  • 2
  • 3
  • 2
  • 3
  • 6
  • 2
  • 3
  • 4
  • 2
  • 3
  • 2
  • 4
  • 2
  • 4
  • 7
  • 2
  • 3
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 8
  • 5
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 2
  • 3
  • 2
  • 4
  • 8
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 4
  • 6
  • 8
  • 5
  • 3
  • 3
  • 5
  • 2
  • 3
  • 2
  • 2
  • 5
  • 2
  • 4
  • 2
  • 9
  • 2
  • 12
  • 2
  • 3
  • 3
  • 7
  • 2
  • 2
  • 6
  • 2
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 6
  • 4
  • 2
  • 2
  • 2
  • 4
  • 6
  • 2
  • 3
  • 2
  • 3
  • 3
  • 2
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 7
  • 7
  • 2
  • 8
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 3
  • 4
  • 4
  • 5
  • 2
  • 5
  • 2
  • 12
  • 27
  • 2
  • 3
  • 2
  • 2
  • 4
  • 3
  • 3
  • 2
  • 2
  • 4
  • 2
  • 2
  • 4
  • 2
  • 5
  • 2
  • 4
  • 2
  • 2
  • 2
  • 4
  • 2
  • 12
  • 3
  • 4
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 6
  • 2
  • 3
  • 3
  • 6
  • 2
  • 2
  • 6
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 6
  • 2
  • 17
  • 2
  • 2
  • 5
  • 4
  • 2
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 3
  • 3
  • 3
  • 2
  • 5
  • 3
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 4
  • 2
  • 2
  • 4
  • 6
  • 2
  • 4
  • 2
  • 6
  • 2
  • 5
  • 2
  • 2
  • 2
  • 4
  • 8
  • 2
  • 2
  • 3
  • 3
  • 2
  • 8
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 4
  • 2
  • 2
  • 2
  • 2
  • 8
  • 22
  • 2
  • 3
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 6
  • 3
  • 3
  • 2
  • 2
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 5
  • 3
  • 2
  • 4
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 2
  • 4
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 10
  • 2
  • 2
  • 4
  • 3
  • 5
  • 2
  • 2
  • 3
  • 5
  • 2
  • 2
  • 2
  • 2
  • 2
  • 7
  • 2
  • 3
  • 3
  • 3
  • 2
  • 4
  • 2
  • 2
  • 2
  • 2
  • 3
  • 4
  • 2
  • 6
  • 2
  • 2
  • 2
  • 2
  • 14
  • 9
  • 2
  • 2
  • 3
  • 2
  • 3
  • 4
  • 11
  • 6
  • 2
  • 2
  • 2
  • 4
  • 4
  • 2
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 4
  • 5
  • 4
  • 4
  • 2
  • 3
  • 2
  • 5
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 4
  • 3
  • 2
  • 10
  • 2
  • 2
  • 2
  • 2
  • 2
  • 3
  • 3
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 8
  • 2
  • 2
  • 13
  • 17
  • 2
  • 3
  • 4
  • 9
  • 3
  • 3
  • 2
  • 5
  • 2
  • 2
  • 2
  • 2
  • 4
  • 2
  • 3
  • 2
  • 2
  • 2
  • 2
  • 39
  • 3
  • 2
  • 4
  • 4
  • 2
  • 4
  • 4
  • 3
  • 4
  • 6
  • 4
  • 2
  • 2
  • 4
  • 4
  • 2
  • 2
  • 2
  • 3
  • 2
  • 5
  • 3
  • 5
  • 3
  • 4
  • 2
  • 10
  • 2
  • 2
  • 2
  • 19
  • 3
  • 2
  • 3
  • 2
  • 2
  • 3
  • 7
  • 3
  • 2
  • 2
  • 5
  • 2
  • 5
  • 4
  • 3
  • 12
  • 4
  • 4
  • 4
  • 4
  • 6
  • 4
  • 3
  • 5
  • 4
  • 3
  • 3
  • 3
  • 3
  • 6
  • 3
  • 8
  • 3
  • 4
  • 3
  • 3
  • 7
  • 3
  • 5
  • 3
  • 3
  • 5
  • 3
  • 4
  • 5
  • 3
  • 4
  • 11
  • 6
  • 3
  • 3
  • 3
  • 4
  • 6
  • 3
  • 5
  • 5
  • 5
  • 5
  • 3
  • 5
  • 7
  • 4
  • 4
  • 3
  • 4
  • 6
  • 3
  • 4
  • 19
  • 3
  • 4
  • 10
  • 4
  • 3
  • 3
  • 3
  • 5
Verlag
  • 2
  • 2142
  • 1
  • 11
  • 1
  • 6
Preis
  • 4
  • 102
  • 1727
  • 330
Sprachen
  • 2163
Verfügbarkeit
  • 2111
  • 52
Katalog
  • 2163
  • 135
2.163  Treffer  für „Lecture Notes in Computer Science“
    André / Wang / Zhan | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    André / Wang / Zhan Formal Methods and Software Engineering

    26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-981-954212-3
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Jones / Pihlajasaari / Sun | FM 2014: Formal Methods | Buch | Sack Fachmedien

    Jones / Pihlajasaari / Sun FM 2014: Formal Methods

    19th International Symposium, Singapore, May 12-16, 2014. Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-06409-3
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Avgeriou / Zdun | Software Architecture | Buch | Sack Fachmedien

    Avgeriou / Zdun Software Architecture

    8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings
    Erscheinungsjahr 2014
    Verlag: Springer
    ISBN: 978-3-319-09969-9
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kosmatov / Kovács | Integrated Formal Methods | Buch | Sack Fachmedien

    Kosmatov / Kovács Integrated Formal Methods

    19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings
    2025
    Verlag: Springer
    ISBN: 978-3-031-76553-7
    Medium: Buch
    149,79 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Julian / Camacho / Yin | Intelligent Data Engineering and Automated Learning - IDEAL 2024 | Buch | Sack Fachmedien

    Julian / Camacho / Yin Intelligent Data Engineering and Automated Learning - IDEAL 2024

    25th International Conference, Valencia, Spain, November 20-22, 2024, Proceedings, Part I
    Erscheinungsjahr 2024
    Verlag: Springer
    ISBN: 978-3-031-77730-1
    Medium: Buch
    96,29 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Endrullis / Tichy | Graph Transformation | Buch | Sack Fachmedien

    Endrullis / Tichy Graph Transformation

    18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-94705-6
    Medium: Buch
    69,54 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Clarke / Agha | Coordination Models and Languages | Buch | Sack Fachmedien

    Clarke / Agha Coordination Models and Languages

    12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-13413-5
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Pandurangan / Kumar / Ming | Wireless Algorithms, Systems, and Applications | Buch | Sack Fachmedien

    Pandurangan / Kumar / Ming Wireless Algorithms, Systems, and Applications

    5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings
    1. Auflage 2010
    Verlag: Springer
    ISBN: 978-3-642-14653-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Liu / Bestavros / Du | Wireless Algorithms, Systems, and Applications | Buch | Sack Fachmedien

    Liu / Bestavros / Du Wireless Algorithms, Systems, and Applications

    4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-03416-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Kordon / Kermarrec | Reliable Software Technologies - Ada-Europe 2009 | Buch | Sack Fachmedien

    Kordon / Kermarrec Reliable Software Technologies - Ada-Europe 2009

    14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings
    Erscheinungsjahr 2009
    Verlag: Springer
    ISBN: 978-3-642-01923-4
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Dershowitz / Voronkov | Logic for Programming, Artificial Intelligence, and Reasoning | Buch | Sack Fachmedien

    Dershowitz / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning

    14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings
    Erscheinungsjahr 2007
    Verlag: Springer
    ISBN: 978-3-540-75558-6
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Gordon | Programming Languages and Systems | Buch | Sack Fachmedien

    Gordon Programming Languages and Systems

    19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
    1. Auflage. 2010
    Verlag: Springer
    ISBN: 978-3-642-11956-9
    Medium: Buch
    106,99 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Giese / Rosu | Formal Techniques for Distributed Systems | Buch | Sack Fachmedien

    Giese / Rosu Formal Techniques for Distributed Systems

    Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings
    1. Auflage 2012
    Verlag: Springer
    ISBN: 978-3-642-30792-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    France / Kuester / Bordbar | Modelling -- Foundation and Applications | Buch | Sack Fachmedien

    France / Kuester / Bordbar Modelling -- Foundation and Applications

    7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-21469-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Hummel / Sterbenz | Self-Organizing Systems | Buch | Sack Fachmedien

    Hummel / Sterbenz Self-Organizing Systems

    Third International Workshop, IWSOS 2008, Vienna, Austria, December 10-12, 2008
    Erscheinungsjahr 2008
    Verlag: Springer
    ISBN: 978-3-540-92156-1
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    de Moor / Schwartzbach | Compiler Construction | Buch | Sack Fachmedien

    de Moor / Schwartzbach Compiler Construction

    18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings
    1. Auflage 2009
    Verlag: Springer
    ISBN: 978-3-642-00721-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Binder / Bodden / Löwe | Software Composition | Buch | Sack Fachmedien

    Binder / Bodden / Löwe Software Composition

    12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
    Erscheinungsjahr 2013
    Verlag: Springer
    ISBN: 978-3-642-39613-7
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bocchi / Kulahcioglu Ozkan | Formal Techniques for Distributed Objects, Components, and Systems | Buch | Sack Fachmedien

    Bocchi / Kulahcioglu Ozkan Formal Techniques for Distributed Objects, Components, and Systems

    46th IFIP WG 6.1 International Conference, FORTE 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-28186-9
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Taft / Duff / Brukardt | Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and Indexes | Buch | Sack Fachmedien

    Taft / Duff / Brukardt Consolidated Ada 2022 Reference Manual. Volume 3 - Specialized Needs Annexes, Summaries, and Indexes

    Derived from Sources for International Standard ISO/IEC 8652:2023 (E) with 2025 Amendments
    Erscheinungsjahr 2027
    Verlag: Springer
    ISBN: 978-3-031-83734-0
    Medium: Buch
    79,17 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    De Giacomo / Li / Xiao | Theoretical Aspects of Software Engineering | Buch | Sack Fachmedien

    De Giacomo / Li / Xiao Theoretical Aspects of Software Engineering

    20th International Symposium, TASE 2026, Shanghai, China, July 4-6, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-30692-0
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Deshmukh / Havelund / Pinto | NASA Formal Methods | Buch | Sack Fachmedien

    Deshmukh / Havelund / Pinto NASA Formal Methods

    18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-3-032-28078-7
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Bonomi / Mandal / Robinson | Stabilization, Safety, and Security of Distributed Systems | Buch | Sack Fachmedien

    Bonomi / Mandal / Robinson Stabilization, Safety, and Security of Distributed Systems

    27th International Symposium, SSS 2025, Kathmandu, Nepal, October 9-11, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-11126-5
    Medium: Buch
    79,17 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    ter Beek / Collart-Dutilleul / Lecomte | Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification | Buch | Sack Fachmedien

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

    6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-032-10761-9
    Medium: Buch
    62,05 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Guelfi / Buchs | Rapid Integration of Software Engineering Techniques | Buch | Sack Fachmedien

    Guelfi / Buchs Rapid Integration of Software Engineering Techniques

    Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers
    1. Auflage 2007
    Verlag: Springer
    ISBN: 978-3-540-71875-8
    Medium: Buch
    53,49 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb
    Erlingsson / Wieringa / Zannone | Engineering Secure Software and Systems | Buch | Sack Fachmedien

    Erlingsson / Wieringa / Zannone Engineering Secure Software and Systems

    Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011, Proceedings
    1. Auflage 2011
    Verlag: Springer
    ISBN: 978-3-642-19124-4
    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