Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=005*
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/986191345 |
Art des Inhalts | Konferenzschrift, 2007, Bergen (Norwegen) |
Titel | Algebra and coalgebra in computer science : second international conference ; proceedings / CALCO 2007, Bergen, Norway, August 20 - 24, 2007. Till Mossakowski ... (ed.) |
Person(en) | Mossakowski, Till (Mitwirkender) |
Organisation(en) | CALCO (2 : 2007 : Bergen) (Herausgebendes Organ) |
Verlag | Berlin ; Heidelberg : Springer |
Zeitliche Einordnung | Erscheinungsdatum: 2007 |
Umfang/Format | Online-Ressource (PDF) |
Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: Algebra and coalgebra in computer science |
Persistent Identifier |
URN: urn:nbn:de:1111-200708028749 DOI: 10.1007/978-3-540-73859-6 |
URL |
https://link.springer.com/book/10.1007/w21201724723 (Verlag) http://dx.doi.org/10.1007/978-3-540-73859-6 (Resolving-System) |
ISBN/Einband/Preis | 978-3-540-73859-6 |
Sprache(n) | Englisch (eng) |
Beziehungen | Lecture notes in computer science ; 4624 |
Anmerkungen | Lizenzpflichtig |
Schlagwörter |
Theoretische Informatik ; Koalgebra ; Kongress ; Bergen Theoretische Informatik ; Algebra ; Kongress ; Bergen Formale Methode ; Kongress ; Bergen |
DDC-Notation | 005.101512 [DDC22ger] |
Sachgruppe(n) | 004 Informatik ; 510 Mathematik |
Online-Zugriff | Archivobjekt öffnen |
