Ihre Suche erzielte 6 Treffer.

Ergebnisse
	1.	Analytic machines Thomas Chadzelek; Günter Hotz von Chadzelek, Thomas [aut] Hotz, Günter, 1931- [aut] Reihen: ; 97,12 \| Sonderforschungsbereich VLSI-Entwurfsmethoden und Parallelität Bericht / Sonderforschungsbereich 124 VLSI-Entwurfsmethoden und Parallelität, Universität Saarbrücken. Universität Kaiserslautern ; 97,12 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Saarbrücken Fachbereich 14, Informatik, Univ. des Saarlandes 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) Saarbrücken SFB 124 12/1997. Vormerken Zum Korb hinzufügen (Entfernen)
	2.	A new method for undecidability proofs of first order theories by Ralf Treinen von Treinen, Ralf [aut] Reihen: ; 1990,9 \| Universität des Saarlandes Technischer Bericht / A ; 1990,9 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Saarbrücken Fachbereich 14, Informatik, Univ. des Saarlandes 1990 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) FB 90/09. Vormerken Zum Korb hinzufügen (Entfernen)
	3.	OBSCURE, a specification language for abstract data types by Thomas Lehmann and Jacques Loeckx von Lehmann, Thomas [aut] Loeckx, Jacques, 1931-2020 [aut] Reihen: ; 1990,19 \| Universität des Saarlandes Technischer Bericht / A ; 1990,19 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Saarbrücken Fachbereich 14, Informatik, Univ. des Saarlandes 1990 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) FB 90/19. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	OBSCURE eine Spezifikations- und Verifikationsumgebung Jacques Loeckx von Loeckx, Jacques, 1931-2020 [aut] Reihen: ; 1989,6 \| Universität des Saarlandes Technischer Bericht / A ; 1989,6 \| Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Saarbrücken Fachbereich 14, Informatik, Univ. des Saarlandes 1989 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) FB 89/06. Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Tree grammars with multilinear interpretation Y. Guan, G. Hotz, A. Reichert von Guan, Yonggang [aut] Hotz, Günter, 1931- [aut] Reichert, A [aut] Reihen: ; 1992,1 \| Universität des Saarlandes Technischer Bericht / A ; 1992,1 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Saarbrücken Fachbereich 14, Informatik, Univ. des Saarlandes 1992 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) FB 92/01. Vormerken Zum Korb hinzufügen (Entfernen)
	6.	Bericht / Sonderforschungsbereich 124 VLSI-Entwurfsmethoden und Parallelität, Universität Saarbrücken. Universität Kaiserslautern = Report von Sonderforschungsbereich VLSI-Entwurfsmethoden und Parallelität [VerfasserIn] Materialtyp: Fortlaufende Ressource; Format: Druck ; Art der fortlaufenden Ressource: Reihen Sprache: Deutsch Verlag: Saarbrücken Fachbereich 14, Informatik, Univ. des Saarlandes 1983- Weitere Titel: Report Verfügbarkeit: Keine Exemplare verfügbar. Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha