UB Paderborn / Katalog / Suche / im Katalog

Katalog
Central Discovery Index

Sortiert nach

Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings [Elektronische Ressource]

Höfner, Peter
Jipsen, Peter
Kahl, Wolfram
Müller, Martin Eric

2014

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2014 (ZDB-2-SCS)
Einen weiteren Link anzeigen
Weniger anzeigen

1 – 1 von 1

Suche als RSS-Feed

Aktive Filter

SchlagwortAlgebraische Spezifikation

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(1)

Autor / Autorin

Höfner, Peter
(1)
Jipsen, Peter
(1)
Kahl, Wolfram
(1)
Müller, Martin Eric
(1)

Erscheinungsform

Monographie
(1)

Schlagwort

Algebra
(1)
Algebraische Methode
(1)
Artificial intelligence
(1)
Computational complexity
(1)
Computer science
(1)
HOL
(1)
Isabelle
(1)
Kleene-Algebra
(1)
Logic design
(1)
Mathematische Logik
(1)
Programmverifikation
(1)
Relationenalgebra
(1)
Software engineering
(1)

8 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

... in den letzten 12 Monaten
(0)
... in den letzten 3 Monaten
(0)
... im letzten Monat
(0)

Sprache

Englisch
(1)

Art des Inhalts

Sonstiges
(1)

Menü

Weitere Dienste

Einstellungen

Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings [Elektronische Ressource]

Aktive Filter

Suchergebnisse filtern