Zum Hauptinhalt springen
Landesbibliothekszentrum Rheinland-Pfalz
LBZ-Katalog PLUS

Suchergebnisse

LBZ-Katalog

Aufsätze und mehr
15 Treffer

Suchmaske

Suchtipp für den Bereich Aufsätze und mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Art der Quelle

Thema

Inhaltsanbieter

15 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    The SafeCap Project on Railway Safety Verification and Capacity Simulation
    Iliasov, Alexei ; Lopatkin, Ilya ; et al.
    2013
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning
    Di Giandomenico, Felicita ; Fantechi, Alessandro ; et al.
    2013
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Optimizing Verification of Structurally Evolving Algebraic Petri Nets
    Khan, Yasir Imtiaz ; Hutchison, David [Ed.] ; et al.
    2013
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Static Analysis Approach for Defect Detection in Multithreaded C/C++ Programs
    Moiseev, Mikhail ; Hutchison, David [Ed.] ; et al.
    2013
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    A New Approach to Software Reliability
    Maevsky, Dmitry A. ; Hutchison, David [Ed.] ; et al.
    2013
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Engineering a Platform for Mission Planning of Autonomous and Resilient Quadrotors
    Di Ruscio, Davide ; Malavolta, Ivano ; et al.
    2013
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Preliminary Contributions Towards Auto-resilience
    De Florio, Vincenzo ; Hutchison, David [Ed.] ; et al.
    2013
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Formal Development and Quantitative Assessment of a Resilient Multi-robotic System
    Tarasyuk, Anton ; Pereverzeva, Inna ; et al.
    2013
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Supporting the Evolution of Free and Open Source Software Distributions
    Di Ruscio, Davide ; Pelliccione, Patrizio ; et al.
    2013
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Towards Agile Development of Critical Software
    Górski, Janusz ; Łukasiewicz, Katarzyna ; et al.
    2013
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Synthesis of Resilient Choreographies
    Autili, Marco ; Di Salle, Amleto ; et al.
    2013
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    A Case Study in Refinement-Based Modelling of a Resilient Control System
    Prokhorova, Yuliya ; Troubitsyna, Elena ; et al.
    2013
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Modeling of Autonomous Vehicle Operation in Intelligent Transportation Systems
    Woodard, Mark ; Sedigh, Sahra ; et al.
    2013
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Security-Informed Safety: If It’s Not Secure, It’s Not Safe
    Bloomfield, Robin ; Netkachova, Kateryna ; et al.
    2013
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Empirical Assessment of Resilience
    Pataricza, András ; Kocsis, Imre ; et al.
    2013
    Online E-Book
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?

Weitere Kataloge

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -