> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Formalisierung schematischer Algorithmen Beteiligte: Dold, Axel [VerfasserIn] Erschienen: Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010 Erschienen in: Ulmer Informatik-Berichte ; 94,10 Umfang: Online-Ressource Sprache: Deutsch Identifikator: RVK-Notation: SS 5525 : Ulmer Informatik-Berichte Schlagwörter: Computer algorithms ; Formalisierung Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang