Treffer
1 - 6
von
6
Weiter zum Inhalt
Menü
Startseite
0
in der Merkliste
(Voll)
Ihr Konto
Abmelden
Anmelden (Ausleihkonto)
Fragen?
Sprache
English
Deutsch
Suche
Bibliothekskatalog
Artikel und mehr
BASE
Alle Felder
Titel
Verfasser
Schlagwort
Signatur
Mediennummer
ISBN/ISSN
Suchen
Erweitert
Verfasser
Meseguer, José
Treffer
1 - 6
von
6
Treffer weiter einschränken
Treffer pro Seite
20
10
20
40
60
80
100
Sortieren
Relevanz
Relevanz
Jahr, neueste zuerst
Jahr, älteste zuerst
Signatur
Verfasser
Titel
Aktion-Buttons
Alle Treffer auswählen
E-Mail
Export
Drucken
Speichern
In die Merkliste
Treffer
Bitte wählen Sie die Treffernummer 1
1
Related models of polymorphism
von
Meseguer
,
José
Veröffentlicht 1988
Signatur:
Wird geladen...
Standort:
Wird geladen...
Buch
Wird geladen...
In die Merkliste
Aus der Merkliste entfernen
Als Favorit speichern
Gespeichert in:
Bitte wählen Sie die Treffernummer 2
2
Deduction with many-sorted rewrite
von
Meseguer
,
José
,
Goguen, Joseph 1941-2006
Veröffentlicht 1985
Signatur:
Wird geladen...
Standort:
Wird geladen...
Buch
Wird geladen...
In die Merkliste
Aus der Merkliste entfernen
Als Favorit speichern
Gespeichert in:
Bitte wählen Sie die Treffernummer 3
3
Unifying functional, object oriented and relational programming with logical semantics
von
Goguen, Joseph 1941-2006
,
Meseguer
,
José
Veröffentlicht 1987
Signatur:
Wird geladen...
Standort:
Wird geladen...
Buch
Wird geladen...
In die Merkliste
Aus der Merkliste entfernen
Als Favorit speichern
Gespeichert in:
Bitte wählen Sie die Treffernummer 4
4
Order-sorted unification
von
Meseguer
,
José
1950-
,
Goguen, Joseph 1941-2006
,
Smolka, Gert 1955-
Veröffentlicht 1987
Signatur:
Wird geladen...
Standort:
Wird geladen...
Buch
Wird geladen...
In die Merkliste
Aus der Merkliste entfernen
Als Favorit speichern
Gespeichert in:
Bitte wählen Sie die Treffernummer 5
5
Protocols, Strands, and Logic : Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday
Veröffentlicht 2021
Signatur:
Wird geladen...
Standort:
Wird geladen...
Wird geladen...
Volltext
Springer Lecture Notes in Computer Science 2021 (ZDB-2-LNC)
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2021 (ZDB-2-SCS)
Bei Problemen beim Zugriff auf diese Online-Quelle beachten Sie unsere Hinweise zum Zugriff auf lizenzierte
Angebote von außerhalb des Campus
.
E-Book
Wird geladen...
In die Merkliste
Aus der Merkliste entfernen
Als Favorit speichern
Gespeichert in:
Bitte wählen Sie die Treffernummer 6
6
Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows
Veröffentlicht 2019
Signatur:
Wird geladen...
Standort:
Wird geladen...
Wird geladen...
Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2019 (ZDB-2-SCS)
Springer Lecture Notes in Computer Science 2016-2020 (ZDB-2-LNC)
Bei Problemen beim Zugriff auf diese Online-Quelle beachten Sie unsere Hinweise zum Zugriff auf lizenzierte
Angebote von außerhalb des Campus
.
E-Book
Wird geladen...
In die Merkliste
Aus der Merkliste entfernen
Als Favorit speichern
Gespeichert in:
Aktion-Buttons
Alle Treffer auswählen
E-Mail
Export
Drucken
Speichern
In die Merkliste
Suchwerkzeuge:
RSS-Feed abonnieren
—
Diese Suche als E-Mail versenden
—
Suche speichern
Titel nicht in der Bibliothek vorhanden?
Zur Anschaffung vorschlagen
oder
per Fernleihe bestellen
.
Zurück
Treffer weiter einschränken
nur Zeitschriftentitel, Zeitungen
nur Online-Publikationen
Format
Buch
4
E-Book
2
Fachbibliothek
Linguistik (15)
4
Verfasser
Meseguer, José
5
Goguen, Joseph 1941-2006
3
Dougherty, Daniel
1
Guttman, Joshua D.
1
Landwehr, Carl E.
1
Meseguer, José 1950-
1
Mödersheim, Sebastian Alexander
1
Pavlovic, Dusko
1
Rowe, Paul
1
Smolka, Gert 1955-
1
Alle anzeigen …
Sprache
Englisch
3
Erscheinungsjahr
Von:
Bis:
×
Wird geladen...