Campusbibliothek

Ihre Suche erzielte 26 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Automata, languages and programming 2 Saarbrücken, July 29 - Aug. 2, 1974 von Reihen: ; 14 | Lecture notes in computer science ; 14
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch, Englisch, Französisch Verlag: Berlin Heidelberg [u.a.] Springer 1974
Online-Ressourcen:
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 14.
Vormerken Zum Korb hinzufügen
2.
Computability and decidability an introduction for students of computer science J. Loeckx von Reihen: Lecture notes in economics and mathematical systems ; 68
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1972
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (7)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNE 68 1.Ex, ...
Vormerken Zum Korb hinzufügen
3.
Mechanical construction of bounded-context parsers for Chomsky 0-type languages by J. Loeckx von Reihen: ; 1969,3 | Philips' Gloeilampenfabrieken Philips journal of research / Supplements ; 1969,3 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Eindhoven Philips Research Laboratories 1969
Hochschulschriftenvermerk: Zugl.: Louvain, Univ., Diss., 1968
Online-Ressourcen:
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) LOE j 1969:1 1.Ex.
Vormerken Zum Korb hinzufügen
4.
OBSCURE a specification environment for abstract data types by Thomas Lehmann; Jacques Loeckx von Reihen: ; 1987,6 | Universität des Saarlandes Technischer Bericht / A ; 1987,6 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken 1987
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 87/06.
Vormerken Zum Korb hinzufügen
5.
A bibliography on formal languages and related topics ed. by Jacques Loeckx von Reihen: ; 1972,2 | Universität des Saarlandes Bericht / A ; 1972,2 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Univ. 1972
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 72/02.
Vormerken Zum Korb hinzufügen
6.
Algorithmic specifications a new specification method for abstract data types by Jacques Loeckx von Reihen: ; 1981,14 | Universität des Saarlandes Bericht / A ; 1981,14 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Saarbrücken Fachber. 10, Informatik, Univ. des Saarlandes 1981
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 81/14.
Vormerken Zum Korb hinzufügen
7.
Some properties of implementations of abstract data types by Jacques Loeckx von Reihen: ; 1980,14 | Universität des Saarlandes Bericht / A ; 1980,14 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Saarbrücken Fachber. 10, Informatik, Univ. des Saarlandes 1980
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 80/14.
Vormerken Zum Korb hinzufügen
8.
Implementations of abstract data types and their correctness proofs by Jacques Loeckx von Reihen: ; 1980,13 | Universität des Saarlandes Bericht / A ; 1980,13 |
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Saarbrücken Fachber. 10, Informatik, Univ. des Saarlandes 1980
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 80/13.
Vormerken Zum Korb hinzufügen
9.
OBSCURE, a specification language for abstract data types by Thomas Lehmann and Jacques Loeckx von Reihen: ; 1990,19 | Universität des Saarlandes Technischer Bericht / A ; 1990,19 |
Materialtyp: Text 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
10.
OBSCURE eine Spezifikations- und Verifikationsumgebung Jacques Loeckx von Reihen: ; 1989,6 | Universität des Saarlandes Technischer Bericht / A ; 1989,6 |
Materialtyp: Text 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
11.
A calculus for proving properties of while-programs Ingrid Glasner; Jacques Loeckx von Reihen: ; 1978,9 | Universität des Saarlandes Bericht / A ; 1978,9 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Fachbereich 10 der Univ. des Saarlandes 1978
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 78/09.
Vormerken Zum Korb hinzufügen
12.
Algorithmic specifications a constructive specification method for abstract data types Jacques Loeckx von Reihen: ; 1984,3 | Universität des Saarlandes Bericht / A ; 1984,3 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Fachbereich Angewandte Mathematik und Informatik, Universität des Saarlandes 1984
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 84/03.
Vormerken Zum Korb hinzufügen
13.
A note on the equational calculus for many-sorted algebras with possibly empty carrier sets by Jacques Loeckx and Bernd Mahr von Reihen: ; 1985,1 | Universität des Saarlandes Bericht / A ; 1985,1 |
Materialtyp: Text 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
14.
The algorithmic specification method of abstract data types an overview by Jacques Loeckx von Reihen: ; 1985,7 | Universität des Saarlandes Technischer Bericht / A ; 1985,7 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Univ. des Saarlandes, Fachrichtung 10.2, Informatik 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/07.
Vormerken Zum Korb hinzufügen
15.
OBSCURE an interactive specification language for model-oriented specification methods; (extended abstracts) by Claus-Werner Lermen and Jacques Loeckx von Reihen: ; 1985,12 | Universität des Saarlandes Technischer Bericht / A ; 1985,12 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Univ. des Saarlandes, Fachrichtung 10.2, Informatik 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/12.
Vormerken Zum Korb hinzufügen
16.
A formal description of the specification language OBSCURE by Jacques Loeckx von Reihen: ; 1985,15 | Universität des Saarlandes Technischer Bericht / A ; 1985,15 |
Materialtyp: Text 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/15.
Vormerken Zum Korb hinzufügen
17.
The semantics of nested while-programs Jacques Loeckx von Reihen: ; 1977,1 | Universität des Saarlandes Interner Bericht ; 1977,1 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Universität des Saarlandes, Fachbereich 10 1977
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) JL-77-1.
Vormerken Zum Korb hinzufügen
18.
The specification language of OBSURE Thomas Lehmann and Jacques Loeckx von Reihen: ; 1987,7 | Universität des Saarlandes Technischer Bericht / A ; 1987,7 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken 1987
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 87/07.
Vormerken Zum Korb hinzufügen
19.
A few comments on a correctness proof of a program for the "McCarthy Airline" reservation system by W. Barth and J. Loeckx von Reihen: ; 1976,1 | Universität des Saarlandes Bericht / A ; 1976,1 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Fachbereich Angewandte Mathematik und Informatik, Univ. des Saarlandes 1976
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 76/01.
Vormerken Zum Korb hinzufügen
20.
Formale Korrektheitsbeweise für While-Programme von Jacques Loeckx von Reihen: ; 1976,4 | Universität des Saarlandes Interner Bericht ; 1976,3 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Saarbrücken Fachbereich 10, Angewandte Mathematik und Informatik der Univ. des Saarlandes 1976
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) JL-76-3.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha