Ihre Suche erzielte 6 Treffer.

Ergebnisse
	1.	Fundamentals of algebraic specification 1 Equations and initial semantics H. Ehrig; B. Mahr von Ehrig, Hartmut [aut] Mahr, Bernd [aut] Reihen: ; 6 \| European Association for Theoretical Computer Science EATCS monographs on theoretical computer sciences ; 6 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg Springer 1985 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) EATCS 6 2.Ex, ... Nicht verfügbar: Gebäude E1 4 (MPI-INF): restricted use (1). Gebäude E1 5 (MPI-SWS SB): restricted use (1). Vormerken Zum Korb hinzufügen (Entfernen)
	2.	Fundamentals of algebraic specification 2 Module specifications and constraints H. Ehrig; B. Mahr von Ehrig, Hartmut [aut] Mahr, Bernd [aut] Ehrig, Hartmut [oth] Reihen: ; 21 \| European Association for Theoretical Computer Science EATCS monographs on theoretical computer sciences ; 21 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Heidelberg Springer 1990 Online-Ressourcen: Cover Zentralblatt MATH Inhaltstext 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) EATCS 21 2.Ex, ... Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1). Vormerken Zum Korb hinzufügen (Entfernen)
	3.	A note on the equational calculus for many-sorted algebras with possibly empty carrier sets by Jacques Loeckx and Bernd Mahr von Loeckx, Jacques, 1931-2020 [aut] Mahr, Bernd [aut] Reihen: ; 1985,1 \| Universität des Saarlandes Bericht / A ; 1985,1 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Saarbrücken Fachbereich Angewandte Mathematik und Informatik, Univ. des Saarlandes 1985 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 85/01. Vormerken Zum Korb hinzufügen (Entfernen)
	4.	A decade of TAPSOFT aspects of progress and prospects in theory and practice of software development Hartmut Ehrig; Bernd Mahr. Technische Universität Berlin, Fachbereich 13, Informatik von Ehrig, Hartmut [aut] Mahr, Bernd [aut] Reihen: ; 199501 \| Technische Universität Berlin Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin, Fachbereich 13, Informatik ; 199501 \| Materialtyp: Text; Format: Druck Sprache: Englisch Verlag: Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 [1995] 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) Berlin TU Nr.95-1. Vormerken Zum Korb hinzufügen (Entfernen)
	5.	Algebraische Komplexität des allgemeinen Wegeproblems in Graphen Bernd Mahr von Mahr, Bernd [aut] Reihen: ; 197914 \| Technische Universität Berlin Bericht / Technische Universität Berlin, Fachbereich 20, Informatik ; 197914 \| Materialtyp: Text; Format: Druck Sprache: Deutsch Verlag: Berlin Univ.-Bibliothek d. Techn. Univ., Abt. Publ. 1979 Hochschulschriftenvermerk: Zugl.: Berlin, Techn. Univ., Fachbereich 20 - Informatik, Diss., 1979. Verfügbarkeit: Nicht verfügbar: Gebäude E1 4 (MPI-INF): restricted use (1). Zum Korb hinzufügen (Entfernen)
	6.	Fundamentals of algebraic specification H. Ehrig; B. Mahr von Ehrig, Hartmut [aut] Mahr, Bernd [aut] Reihen: EATCS monographs on theoretical computer science ; ... Materialtyp: Gesamtaufnahme Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1985- Verfügbarkeit: Keine Exemplare verfügbar. Zum Korb hinzufügen (Entfernen)

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha