Ihre Suche erzielte 2 Treffer.

Ergebnisse
	1.	Generating parallel code from high-level neural network descriptions GMD-Forschungszentrum Informationstechnik GmbH. Gerd Kock ... [Verantwortl. für dieses H.: Peter Behr] von Kock, Gerd [oth] Behr, Peter [Hrsg.] Reihen: ; 1018 \| GMD-Forschungszentrum Informationstechnik Arbeitspapiere der GMD ; 1018 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Sankt Augustin GMD-Publ.-Vertrieb 1996 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) St Augustin GMD Arbeitspapier Nr. 1018. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Spezifikation und Verifikation von Optimierungsalgorithmen für imperative Programme Gerd Kock von Kock, Gerd [aut] Reihen: ; 201 \| Gesellschaft für Mathematik und Datenverarbeitung Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 201 \| Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: München Wien Oldenbourg 1992 Hochschulschriftenvermerk: Zugl.: Karlsruhe, Univ., Diss., 1991 Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) St Augustin GMD Bericht (Nr. 201). Vormerken Zum Korb hinzufügen (Entfernen)

Präzisieren Sie die Suche