Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Introduction to algorithms"
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1363067907 |
Titel | An Introduction to Certifying Algorithms |
Person(en) |
Alkassar, Eyad (Verfasser) Böhme, Sascha (Verfasser) Mehlhorn, Kurt (Verfasser) Rizkallah, Christine (Verfasser) Schweitzer, Pascal (Verfasser) |
Umfang/Format | Online-Ressource |
Persistent Identifier |
URN: urn:nbn:de:101:1-2504150401078.965030668759 DOI: 10.1524/itit.2011.0655 |
Zeitliche Einordnung | Erscheinungsdatum: 01.12.2011 |
Sprache(n) | Englisch (eng) |
Beziehungen | Enthalten in: Information technology (Bd. 53, 2011, Nr. 6: 287-293) |
Online-Zugriff | Archivobjekt öffnen |
