Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Die Lesesäle für Geisteswissenschaften, Naturwissenschaften, der Alte Lesesaal Technik und der Anne-Frank-Shoah-Lesesaal in Leipzig schließen am 04.02.2026 wegen einer Veranstaltung bereits um 15 Uhr. Die weiteren Lesesäle sowie die Servicetheke sind zu den regulären Zeiten geöffnet. //
The humanities reading room, the natural science reading room, the old technology reading room and the reading room of the Anne-Frank-Shoah-Library will close at 15:00 on 4 February 2026 due to an event. The other reading rooms and the service desk will be open during regular hours.
 
 

Ergebnis der Suche nach: Viktor

Zurück zur Trefferliste


Treffer 767 von 7844 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/132278405
Person Schuppan, Viktor
Zeit Lebensdaten: 1973-
Geografischer Bezug Geburtsort: München
Beruf(e) Informatiker
Typ Person (piz)
Autor von 2 Publikationen
  1. Survey on Directed Model Checking
    Edelkamp, Stefan. - Konstanz : Bibliothek der Universität Konstanz, 2010
  2. Liveness checking as safety checking to find shortest counterexamples to linear time properties
    Schuppan, Viktor. - München : Verl. Dr. Hut, 2006, 1. Aufl.





Treffer 767 von 7844
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration