Building structured theories

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
In: Lecture Notes in Computer Science, 6663, S. 1-21

Ereignis
Veröffentlichung
(wo)
Augsburg
(wer)
Universität Augsburg
(wann)
2011
Ereignis
Veröffentlichung
(wo)
Berlin
(wer)
Springer
(wann)
2011
Urheber

DOI
10.1007/978-3-642-21070-9_1
URN
urn:nbn:de:bvb:384-opus4-587822
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
14.08.2025, 10:53 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

Entstanden

  • 2011

Ähnliche Objekte (12)

The Linear Algebra of UTP

The Linear Algebra of UTP

Deductive Hardware Design: A Functional Approach

Deductive Hardware Design: A Functional Approach

Lazy Kleene Algebra

Lazy Kleene Algebra

Ideal Stream Algebra

Ideal Stream Algebra

An Algebraic Approach to Systolic Circuits

An Algebraic Approach to Systolic Circuits

Knowledge and Games in Modal Semirings

Knowledge and Games in Modal Semirings

Relational geometry modelling execution of structured programs

Relational geometry modelling execution of structured programs

Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...

Monografie

Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...

Unendliche Objekte und Geflechte

Hochschulschrift

Unendliche Objekte und Geflechte

Knowledge and games in modal semirings

Knowledge and games in modal semirings

An algebraic approach to systolic circuits

An algebraic approach to systolic circuits

Calculating with acyclic and cyclic lists

Calculating with acyclic and cyclic lists

Verbundene Objekte