Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Schairer, Axel."'
Autor:
Schairer, Axel.
University, Diss., 2006--Saarbrücken.
Erscheinungsjahr an der Haupttitelstelle: 2005.
Erscheinungsjahr an der Haupttitelstelle: 2005.
Publikováno v:
In Journal of Applied Logic 2007 5(2):303-332
Publikováno v:
In Electronic Notes in Theoretical Computer Science November 2001 58(2):203-216
Autor:
Schellhorn, Gerhard, Reif, Wolfgang, Schairer, Axel, Karger, Paul, Austel, Vernon, Toll, David
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3341::30a131bdcfadec8d72b51b011cbc6bf7
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/35649
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/35649
Autor:
Schellhorn, Gerhard, Reif, Wolfgang, Schairer, Axel, Karger, Paul, Austel, Vernon, Toll, David
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3341::0e594f9d2714709a8ebea4c41af37af0
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/35657
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/35657
Publikováno v:
Mechanizing Mathematical Reasoning; 2005, p452-475, 24p
Autor:
Cuppens, Frédéric, Deswarte, Yves, Gollmann, Dieter, Waidner, Michael, Schellhorn, Gerhard, Reif, Wolfgang, Schairer, Axel, Karger, Paul, Austel, Vernon, Toll, David
Publikováno v:
Computer Security - ESORICS 2000; 2000, p17-36, 20p
Autor:
Carbonell, Jaime G., Seikmann, Jörg, Goos, G., Hartmanis, J., Leeuwen, J., Smyth, Barry, Cunningham, Pádraig, Melis, Erica, Schairer, Axel
Publikováno v:
Advances in Case-Based Reasoning (9783540649908); 1998, p76-87, 12p
Autor:
Autexier, Serge, Hutter, Dieter, Langenstein, Bruno, Mantel, Heiko, Rock, Georg, Schairer, Axel, Stephan, Werner, Vogt, Roland, Wolpers, Andreas
Publikováno v:
International Journal on Software Tools for Technology Transfer; Sep2000, Vol. 3 Issue 1, p66-77, 12p