Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 380 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Semantic construction of intuitionistic logic by E. W. Beth von Reihen: ; 1019,11 | Koninklijke Nederlandse Akademie van Wetenschappen Mededelingen ; 1019,11 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Amsterdam Noord-Hollandsche Uitg. Maatschappij 1956
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) BETh e 1956:1 1.Ex.
Vormerken Zum Korb hinzufügen
2.
Complementary definitions of programming language semantics James E. Donahue von Reihen: ; 4200 | Lecture notes in computer science ; 42
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1976
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 42.
Vormerken Zum Korb hinzufügen
3.
Investigations in modal and tense logics with applications to problems in philosophy and linguistics Dov M. Gabbay von Reihen: ; 9200 | Synthese <Dordrecht> / Library ; 9200
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Dordrecht [u.a.] Reidel 1976
Online-Ressourcen:
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) GAB d 1976:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
4.
Studies in formal semantics intensionality, temporality, negation eds.: Franz Guenthner ... von Reihen: ; 3500 | North Holland linguistic series ; 35
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Amsterdam [u.a.] North-Holland Publ. Co. 1978
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) GUE f 1978:1 1.Ex.
Vormerken Zum Korb hinzufügen
5.
Formal semantics and pragmatics for natural languages ed. by F. Guenthner and S. J. Schmidt von Reihen: Classic titles in linguistics | ; 400 | Synthese <Dordrecht> / Language library ; 4
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Dordrecht [u.a.] Reidel 1979
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) SLL 4.
Vormerken Zum Korb hinzufügen
6.
First-order dynamic logic David Harel von Reihen: ; 6800 | Lecture notes in computer science ; 68
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1979
Hochschulschriftenvermerk: Zugl.: Cambridge (Mass.), Massachusetts Inst. of Technology, Diss., 1978
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 68.
Vormerken Zum Korb hinzufügen
7.
Semantics-directed compiler generation proceedings of a workshop, Aarhus, Denmark, January 14 - 18, 1980 ; [Workshop on Semantics-Directed Compiler Generation] ed. by Neil D. Jones von Reihen: ; 9400 | Lecture notes in computer science ; 94
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1980
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 94 1.Ex.
Vormerken Zum Korb hinzufügen
8.
Einführung in die Allgemeine Semantik Ulrich Stiehl von Reihen: ; 396 | Dalp-Taschenbücher ; 396
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Bern München Francke 1970
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) StIE u 1970:1 1.Ex.
Vormerken Zum Korb hinzufügen
9.
Algebraic semantics Irène Guessarian von Reihen: ; 9900 | Lecture notes in computer science ; 99
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1981
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 99.
Vormerken Zum Korb hinzufügen
10.
Mathematical logic in computer science Colloquium on Mathematical Logic in computer science, in Salgótarján between 10 - 15 September, 1978. ed. by B. Dömölki ... von Reihen: ; 26 | Bolyai János Matematikai Társulat Colloquia mathematica Societatis János Bolyai ; 26 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Amsterdam [u.a.] North-Holland Publ. Company 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) BOLYAI 26.
Vormerken Zum Korb hinzufügen
11.
An attribute grammar for the semantic analysis of Ada Jürgen Uhl ... von Reihen: ; 139 | Lecture notes in computer science ; 139
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1982
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 139.
Vormerken Zum Korb hinzufügen
12.
Axiomatising the logic of computer programming Robert Goldblatt von Reihen: ; 13000 | Lecture notes in computer science ; 130
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch, Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1982
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 130.
Vormerken Zum Korb hinzufügen
13.
Semantics of data types international symposium, Sophia-Antipolis, France, June 27 - 29, 1984 ; proceedings ed. by G. Kahn ... von Reihen: ; 17300 | Lecture notes in computer science ; 173
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 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) LNCS 173 1.Ex.
Vormerken Zum Korb hinzufügen
14.
Anaphora and definite descriptions two applications of game-theoretical semantics Jaakko Hintikka and Jack Kulas von Reihen: ; 2600 | Synthese <Dordrecht> / Language library ; 26
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Dordrecht Boston D. Reidel 1985
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) SLL 26.
Vormerken Zum Korb hinzufügen
15.
Symposium on Semantics of Algorithmic Languages ed. by E. Engeler von Reihen: ; 18800 | Lecture notes in mathematics ; 188
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin [u.a.] Springer 1971
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) LNM 188.
Vormerken Zum Korb hinzufügen
16.
Formal semantics of programming languages Courant Computer Science Symposium 2, September, 14-16, 1970 ed. by Randall Rustin von Reihen: Prentice-Hall series in automatic computation | ; 2 | Courant Computer Science Symposium Courant Computer Science Symposium ; 2 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Englewood Cliffs, NJ Prentice-Hall 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) CCSS 1970 2.
Vormerken Zum Korb hinzufügen
17.
Semantics of natural language ed. by Donald Davidson and Gilbert Harman von Reihen: ; 40,2 | Synthese <Dordrecht> / Library ; 4000
Auflage: 2. ed., 3. pr
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Dordrecht [u.a.] Reidel 1972
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) DAV d2 1972:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
18.
Semantics of concurrent computation proceedings of the International Symposium Evian, France, July 2 - 4, 1979 ed. by Gilles Kahn von Reihen: ; 7000 | Lecture notes in computer science ; 70
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1979
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 70 1.Ex.
Vormerken Zum Korb hinzufügen
19.
Essays in logical semantics Johan van Benthem von Reihen: ; 2900 | Studies in linguistics and philosophy ; 29
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Dordrecht Boston Lancaster Reidel 1986Copyright-Datum: © 1986
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) SLAP 29, ...
Vormerken Zum Korb hinzufügen
20.
Seminar on Concurrency Carnegie-Mellon University, Pittsburgh, PA, July 9 - 11, 1984 ed. by S. D. Brookes ... von Reihen: ; 19700 | Lecture notes in computer science ; 197
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1985
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 197.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha