Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: tit all "Introduction to algorithms"
Treffer 6 von 16
|
|
| 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 |
Treffer 6 von 16
Administration
