Ihre Suche erzielte 4 Treffer.

Ergebnisse
	1.	Generierung domänenspezifischer Wissensrepräsentationssysteme und Transformation von Wissensbasen mit einer Anwendung in der Rechtsinformatik von Andreas Strasser von Strasser, Andreas [aut] Reihen: ; 8 \| Dissertationen zur künstlichen Intelligenz ; 8 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Sankt Augustin Infix 1992 Hochschulschriftenvermerk: Teilw. zugl.: München, Techn. Univ., Diss., 1991 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Inhaltsverzeichnis Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) DISKI 8, ... Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Mathematics of program construction second international conference, Oxford, U.K., June 29 - July 3, 1992 ; proceedings R. S. Bird ... (eds.) von Bird, Richard, 1943- [Hrsg.] Morgan, Charles Carroll, 1952- [oth] Woodcock, Jim [oth] International Conference on Mathematics of Program Construction 2 1992 Oxford [oth] Reihen: ; 1992,0000,20 \| Mathematics of program construction ; 1992,2 \| Lecture notes in computer science ; 669 Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1993 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis Cover Zentralblatt MATH Inhaltstext Publisher description 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) LNCS 669. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Strukturbasierte Programmgenerierung für massiv parallele Rechensysteme Stephan Kindermann von Kindermann, Stephan [aut] Reihen: ; 30,5 \| Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung (Informatik) ; 3005 \| Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Erlangen Inst. für Math. Maschinen und Datenverarbeitung (Informatik) 1997 Hochschulschriftenvermerk: Zugl.: Erlangen, Nürnberg, Univ., Diss., 1997 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) Erlangen-Nürnberg UNI INF Arbeitsberichte Bd. 30/5. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Semantikgestützte Analyse, Entwicklung und Generierung von Programmen Workshop der GI-Fachgruppe 2.1.3, Schloss Rauischholzhausen, 10. - 11.3.1994 Arbeitsgruppe Informatik, Justus-Liebig-Universität Giessen. Gregor Snelting; Uwe Meyer (Hrsg.) von Gesellschaft für Informatik Fachgruppe Implementierung von Programmiersprachen [aut] Snelting, Gregor, 1958- [Hrsg.] Reihen: ; 199402 \| Justus-Liebig-Universität Gießen Bericht / Arbeitsgruppe Informatik, Justus-Liebig-Universität Giessen ; 199402 \| Materialtyp: Text; Format: Druck Sprache: Deutsch, Englisch Verlag: Giessen Arbeitsgruppe Informatik, Justus-Liebig-Univ. 1994 Online-Ressourcen: Inhaltsverzeichnis Inhaltsverzeichnis 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) Giessen UNI 9402. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha