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 : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings [Elektronische Ressource]

Kahl, Wolfram
Griffin, Timothy G

2012

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

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 – 2 von 2

Suche als RSS-Feed

Aktive Filter

SchlagwortHOL

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(2)

Autor / Autorin

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

Erscheinungsform

Monographie
(2)

Schlagwort

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

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
(2)

Art des Inhalts

Sonstiges
(2)

Menü

Weitere Dienste

Einstellungen

Relational and Algebraic Methods in Computer Science : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings [Elektronische Ressource]

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