Ergebnisse filtern
Fachgebiet
Medium
  • 127
Erscheinungsjahr
  • 4
  • 13
  • 13
  • 9
  • 2
  • 1
  • 2
  • 1
  • 2
  • 2
  • 3
  • 3
  • 2
  • 1
  • 3
  • 1
  • 1
  • 1
  • 3
  • 15
  • 14
  • 11
  • 5
  • 5
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
Autoren
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 3
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 4
  • 1
  • 2
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 2
  • 3
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 3
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 2
  • 2
  • 1
  • 2
  • 1
  • 1
  • 1
Verlag
  • 125
  • 1
  • 1
Preis
  • 7
  • 112
  • 8
Sprachen
  • 127
Verfügbarkeit
  • 121
  • 6
Katalog
  • 127
  • 2
127  Treffer  für „Lecture Notes in Computer Science“
    Hoang / André / Li | Formal Methods and Software Engineering | Buch | Sack Fachmedien

    Hoang / André / Li Formal Methods and Software Engineering

    27th International Conference on Formal Engineering Methods, ICFEM 2026, Southampton, UK, November 17–20, 2026, Proceedings
    Erscheinungsjahr 2026
    Verlag: Springer
    ISBN: 978-981-9280-43-8
    Medium: Buch
    79,17 € (inkl. MwSt.)
    vorbestellbar
    Bereits im Warenkorb
    Leuschel / Ishikawa | Rigorous State-Based Methods | Buch | Sack Fachmedien

    Leuschel / Ishikawa Rigorous State-Based Methods

    11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings
    Erscheinungsjahr 2025
    Verlag: Springer
    ISBN: 978-3-031-94532-8
    Medium: Buch
    139,09 € (inkl. MwSt.)
    Lieferzeit ca. 10 Werktage
    Bereits im Warenkorb

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