- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Lecture Notes in Computer Science, 1074, S. 163-184
- Ereignis
-
Veröffentlichung
- (wo)
-
Augsburg
- (wer)
-
Universität Augsburg, Springer
- (wann)
-
1996
- Urheber
- DOI
-
10.1007/3-540-61254-8_25
- URN
-
urn:nbn:de:bvb:384-opus4-235076
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:48 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Möller, Bernhard
- Universität Augsburg, Springer
Entstanden
- 1996
Ähnliche Objekte (12)
Knowledge and Games in Modal Semirings
Knowledge and games in modal semirings
Derivation of graph and pointer algorithms
Algebraic calculation of graph and sorting algorithms
Ordered and continuous models of higher-order specifications
An Algebraic Approach to Systolic Circuits
The Linear Algebra of UTP
Ideal Stream Algebra
Deductive Hardware Design: A Functional Approach
Lazy Kleene Algebra
Lazy Kleene Algebra
The linear algebra of UTP
Knowledge and Games in Modal Semirings
Knowledge and games in modal semirings
Derivation of graph and pointer algorithms
Algebraic calculation of graph and sorting algorithms
Ordered and continuous models of higher-order specifications
An Algebraic Approach to Systolic Circuits
The Linear Algebra of UTP
Ideal Stream Algebra
Deductive Hardware Design: A Functional Approach
Lazy Kleene Algebra
Lazy Kleene Algebra
The linear algebra of UTP
Knowledge and Games in Modal Semirings
Knowledge and games in modal semirings
Derivation of graph and pointer algorithms
Algebraic calculation of graph and sorting algorithms
Ordered and continuous models of higher-order specifications
An Algebraic Approach to Systolic Circuits
The Linear Algebra of UTP
Ideal Stream Algebra
Deductive Hardware Design: A Functional Approach
Lazy Kleene Algebra
Lazy Kleene Algebra