Ergebnisse
|
1.
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
Leveraging applications of formal methods, verification and validation 7th international symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings Part 2 Discussion, dissemination, applications Tiziana Margaria, Bernhard Steffen (eds.) von Reihen: ; 995300 | Lecture notes in computer science ; 9953
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: [Cham] Springer [2016]
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 9953.
|
|
9.
|
|
|
10.
|
Tools and algorithms for the construction and analysis of systems first international workshop ; Aarhus, Denmark, May 19 - 20, 1995 ; selected papers TACAS '95. E. Brinksma ... (ed.) von
- Brinksma, Ed, 1957- [oth]
- Cleaveland, Walter R, 1961- [HerausgeberIn]
- Larsen, Kim Guldstrand, 1957- [HerausgeberIn]
- Margaria-Steffen, Tiziana, 1964- [HerausgeberIn]
- Steffen, Bernhard, 1958- [HerausgeberIn]
- TACAS 1 1995 Århus [oth]
Reihen: ; 101900 | Lecture notes in computer science ; 1019
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: Berlin [u.a.] Springer 1995
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1019.
|
|
11.
|
SOFSEM 2017: theory and practice of computer science 43nd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017 : proceedings Bernhard Steffenk, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria (eds.) von
- SOFSEM 43. 2017 Limerick [VerfasserIn]
- Steffen, Bernhard, 1958- [HerausgeberIn]
- Baier, Christel [HerausgeberIn]
- Brand, Mark van den [HerausgeberIn]
- Eder, Johann, 1958- [HerausgeberIn]
- Hinchey, Mike, 1969- [HerausgeberIn]
- Margaria-Steffen, Tiziana, 1964- [HerausgeberIn]
- van den Brand, Mark [HerausgeberIn]
- Margaria, Tiziana [HerausgeberIn]
Reihen: ; 10139 | Lecture notes in computer science ; 10139
Materialtyp: Text; Format:
Druck Sprache: Englisch Verlag: Cham Springer [2017]
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 10139.
|
|
12.
|
|
|
13.
|
|
|
14.
|
|
|
15.
|
|
|
16.
|
|