Treffer
1 - 7
von
7
Weiter zum Inhalt
Menü
Startseite
0
in der Merkliste
(Voll)
Ihr Konto
Abmelden
Anmelden (Ausleihkonto)
Fragen?
Sprache
English
Deutsch
Suche
Bibliothekskatalog
Artikel und mehr
BASE
Alle Felder
Titel
Person / Institution
Schlagwort
Signatur
Mediennummer
ISBN/ISSN
Suchen
Erweitert
Verfasser
Legay, Axel
Treffer
1 - 7
von
7
Treffer weiter einschränken
Treffer pro Seite
20
10
20
40
60
80
100
Sortieren
Relevanz
Relevanz
Jahr, neueste zuerst
Jahr, älteste zuerst
Signatur
Verfasser
Titel
Aktion-Buttons
Alle Treffer auswählen
E-Mail
Export
Drucken
Speichern
In die Merkliste
Treffer
Bitte wählen Sie die Treffernummer 1
1
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice...
Veröffentlicht 2017
Signatur:
Wird geladen...
Standort:
Wird geladen...
Wird geladen...
Volltext
Springer Lecture Notes in Computer Science 2016-2020 (ZDB-2-LNC)
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (ZDB-2-SCS)
Bei Problemen beim Zugriff auf diese Online-Quelle beachten Sie unsere Hinweise zum Zugriff auf lizenzierte
Angebote von außerhalb des Campus
.
E-Book
Wird geladen...
In die Merkliste
Aus der Merkliste entfernen
Als Favorit speichern
Gespeichert in:
Bitte wählen Sie die Treffernummer 2
2
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice...
Veröffentlicht 2017
Signatur:
Wird geladen...
Standort:
Wird geladen...
Wird geladen...
Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (ZDB-2-SCS)
Springer Lecture Notes in Computer Science 2016-2020 (ZDB-2-LNC)
Bei Problemen beim Zugriff auf diese Online-Quelle beachten Sie unsere Hinweise zum Zugriff auf lizenzierte
Angebote von außerhalb des Campus
.
E-Book
Wird geladen...
In die Merkliste
Aus der Merkliste entfernen
Als Favorit speichern
Gespeichert in:
Bitte wählen Sie die Treffernummer 3
3
Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
Veröffentlicht 2016
Signatur:
Wird geladen...
Standort:
Wird geladen...
Wird geladen...
Volltext
Inhaltsverzeichnis
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2016 (ZDB-2-SCS)
Springer Lecture Notes in Computer Science 2016-2020 (ZDB-2-LNC)
Bei Problemen beim Zugriff auf diese Online-Quelle beachten Sie unsere Hinweise zum Zugriff auf lizenzierte
Angebote von außerhalb des Campus
.
E-Book
Wird geladen...
In die Merkliste
Aus der Merkliste entfernen
Als Favorit speichern
Gespeichert in:
Bitte wählen Sie die Treffernummer 4
4
Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Veröffentlicht 2019
Signatur:
Wird geladen...
Standort:
Wird geladen...
Wird geladen...
Volltext
Springer Lecture Notes in Computer Science 2016-2020 (ZDB-2-LNC)
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (ZDB-2-SCS)
Bei Problemen beim Zugriff auf diese Online-Quelle beachten Sie unsere Hinweise zum Zugriff auf lizenzierte
Angebote von außerhalb des Campus
.
E-Book
Wird geladen...
In die Merkliste
Aus der Merkliste entfernen
Als Favorit speichern
Gespeichert in:
Bitte wählen Sie die Treffernummer 5
5
Risks and Security of Internet and Systems : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers
Veröffentlicht 2017
Signatur:
Wird geladen...
Standort:
Wird geladen...
Wird geladen...
Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (ZDB-2-SCS)
Springer Lecture Notes in Computer Science 2016-2020 (ZDB-2-LNC)
Bei Problemen beim Zugriff auf diese Online-Quelle beachten Sie unsere Hinweise zum Zugriff auf lizenzierte
Angebote von außerhalb des Campus
.
E-Book
Wird geladen...
In die Merkliste
Aus der Merkliste entfernen
Als Favorit speichern
Gespeichert in:
Bitte wählen Sie die Treffernummer 6
6
Models, Algorithms, Logics and Tools : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Veröffentlicht 2017
Signatur:
Wird geladen...
Standort:
Wird geladen...
Wird geladen...
Volltext
Inhaltsverzeichnis
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2017 (ZDB-2-SCS)
Springer Lecture Notes in Computer Science 2016-2020 (ZDB-2-LNC)
Bei Problemen beim Zugriff auf diese Online-Quelle beachten Sie unsere Hinweise zum Zugriff auf lizenzierte
Angebote von außerhalb des Campus
.
E-Book
Wird geladen...
In die Merkliste
Aus der Merkliste entfernen
Als Favorit speichern
Gespeichert in:
Bitte wählen Sie die Treffernummer 7
7
Risks and Security of Internet and Systems : 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers
Veröffentlicht 2018
Signatur:
Wird geladen...
Standort:
Wird geladen...
Wird geladen...
Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2018 (ZDB-2-SCS)
Springer Lecture Notes in Computer Science 2016-2020 (ZDB-2-LNC)
Bei Problemen beim Zugriff auf diese Online-Quelle beachten Sie unsere Hinweise zum Zugriff auf lizenzierte
Angebote von außerhalb des Campus
.
E-Book
Wird geladen...
In die Merkliste
Aus der Merkliste entfernen
Als Favorit speichern
Gespeichert in:
Aktion-Buttons
Alle Treffer auswählen
E-Mail
Export
Drucken
Speichern
In die Merkliste
Suchwerkzeuge:
RSS-Feed abonnieren
—
Diese Suche als E-Mail versenden
—
Suche speichern
Titel nicht in der Bibliothek vorhanden?
Zur Anschaffung vorschlagen
oder
per Fernleihe bestellen
.
Zurück
Treffer weiter einschränken
nur Zeitschriftentitel, Zeitungen
nur Online-Publikationen
Format
E-Book
7
Person / Institution
Legay, Axel
7
Cuppens, Frédéric
2
Cuppens, Nora
2
Lanet, Jean-Louis
2
Margaria, Tiziana
2
Aceto, Luca
1
Artho, Cyrille
1
Bacci, Giorgio
1
Bacci, Giovanni
1
Biondi, Fabrizio
1
Garcia-Alfaro, Joaquin
1
Given-Wilson, Thomas
1
Ingólfsdóttir, Anna
1
Mardare, Radu
1
Peled, Doron
1
Alle anzeigen …
Sprache
Englisch
7
Erscheinungsjahr
Von:
Bis:
×
Wird geladen...