Katalog der Deutschen Nationalbibliothek

Neuigkeiten Unsere Lesesäle sind unter den geltenden Hygiene- und Abstandsregelungen für den eingeschränkten Benutzungsbetrieb geöffnet. Für den Zutritt ist eine Reservierungsbestätigung erforderlich. Das Reservierungssystem und alle weiteren Hinweise zur Benutzung finden Sie auf der Startseite unserer Homepage. Achtung: Die Bereitstellungszeit für bestellte Medien beträgt aktuell 5 Tage!
 
 

Ergebnis der Suche nach: nid=101644012X



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://d-nb.info/gnd/101644012X
Person Knapp, Alexander
Akademischer Grad Prof. Dr.
Andere Namen Knapp, A.
Quelle Internet
Weitere Angaben Tätig an der Universität Augsburg, Institut für Informatik, Software & Systems Engineering
Typ Person (piz)
Autor von 12 Publikationen
  1. Book Review: André Platzer: Logical foundations of cyber-physical systems. Springer International Publishing, 2018, XXXI+639 pp, ISBN: 978-3-319-63587-3 (Hardcover, $39.99)
    Knapp, Alexander. - Augsburg : Universität Augsburg, 2020
  2. MiniBrass: soft constraints for MiniZinc
    Schiendorfer, Alexander. - Augsburg : Universität Augsburg, 2018
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration