Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
 

Ergebnis der Suche nach: tit all "Algorithms"



Treffer 217 von 406 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/911263888
Titel Verification of optimizing algorithms based on naive denotational semantics / Gerhard Kock. Gesellschaft für Mathematik und Datenverarbeitung mbH
Person(en) Kock, Gerhard (Verfasser)
Verlag Sankt Augustin : GMD
Zeitliche Einordnung Erscheinungsdatum: 1991
Umfang/Format 27 S. ; 30 cm
ISBN/Einband/Preis kart. : DM 15.00
Beziehungen Gesellschaft für Mathematik und Datenverarbeitung: Arbeitspapiere der GMD ; 556
Anmerkungen Literaturverz. S. 25 - 27
Status nach VGG: vergriffen
Sachgruppe(n) 28 Informatik, Datenverarbeitung

Frankfurt Signatur: DKb 91/3166
Bereitstellung in Frankfurt
Leipzig Signatur: SB 10218-556
Bereitstellung in Leipzig




Treffer 217 von 406
< < > <


E-Mail-IconAdministration