Ihre Suche erzielte 6 Treffer.

Ergebnisse
	1.	The alpha automatic programming system ed. by A. P. Yershov. Transl. by J. McWilliam von Eršov, Andrej P, 1931-1988 [Hrsg.] MacWilliam, J [oth] Reihen: ; 700 \| Automatic Programming Information Centre APIC studies in data processing ; 700 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: London [u.a.] Acad. Press 1971 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) YER a 1971:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Wissensbasierte Verfahren zur Synthese mathematischer Beweise eine kombinatorische Anwendung von Jutta Eusterbrock von Eusterbrock, Jutta [aut] Reihen: ; 10 \| Dissertationen zur künstlichen Intelligenz ; 10 Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Sankt Augustin Infix 1992 Hochschulschriftenvermerk: Zugl.: Stuttgart, Univ., Diss., 1992 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 10, ... Vormerken Zum Korb hinzufügen (Entfernen)
	3.	Automatic instrumentation of object oriented programs Martin Gergeleit von Gergeleit, Martin [aut] Reihen: ; 82600 \| Gesellschaft für Mathematik und Datenverarbeitung Arbeitspapiere der GMD ; 826 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Sankt Augustin Ges. für Mathematik und Datenverarbeitung 1994 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. 826. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	Automatic program construction techniques [editors] Alan W. Biermann, Gérard Guiho, Yves Kodratoff von Biermann, Alan W, 1939- [oth] Guiho, Gérard, 1945- [oth] Kodratoff, Yves [oth] U.S. Army Research and Standardization Group [oth] Centre national de la recherche scientifique (France) [oth] Institut national de recherche en informatique et en automatique (France) [oth] Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: New York, N.Y. Macmillan u.a. c1984 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) BIE a 1984:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Partial evaluation and mixed computation proceedings of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernaes, Denmark, 18-24 October, 1987 ed. by Dines Bjørner ... von Bjoerner, Dines [Hrsg.] Ershou, A. P [Hrsg.] Jones, Neil D [Hrsg.] IFIP TC2 Workshop on Partial Evaluation and Mixed Computation [oth] Workshop on Partial Evaluation and Mixed Computation 1987 Avernaes [oth] Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Amsterdam [u.a.] North-Holland 1988 Online-Ressourcen: Inhaltsverzeichnis Zentralblatt MATH Inhaltstext 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) PEMC 1987 1. Vormerken Zum Korb hinzufügen (Entfernen)
	6.	The synthesizer generator reference manual Thomas W. Reps; Tim Teitelbaum von Reps, Thomas W, 1956- [aut] Teitelbaum, Tim [aut] Reihen: Texts and monographs in computer science Auflage: 3. ed. Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: New York Heidelberg [u.a.] Springer 1989 Online-Ressourcen: Zentralblatt MATH Inhaltstext 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) REP th 1989:1 1.Ex. Vormerken Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha