Algebra and coalgebra in computer science first international conference, CALCO 2005, Swansea, UK, September 3 - 6, 2005 ; proceedings José Luiz Fiadeiro ... (eds.)
Materialtyp:
TextVerlagsnummer: 11548133Sprache: Englisch Reihen: ; 362900 | Lecture notes in computer science ; 3629Verlag: Berlin Heidelberg [u.a.] Springer 2005Beschreibung: XI, 455 S. graph. Darst. 24 cmInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 3540286209
- 9783540286202
- Computer science -- Congresses -- Mathematics
- Algebra -- Congresses
- Algebra
- Algebra
- Formale Methode
- Formale Methode
- Koalgebra
- Koalgebra
- Theoretische Informatik
- Theoretische Informatik
- Theoretische Informatik
- Theoretische Informatik
- Theoretische Informatik
- Koalgebra
- Theoretische Informatik
- Algebra
- Formale Methode
- Theoretische Informatik
- Koalgebra
- Theoretische Informatik
- Algebra
- Formale Methode
- QA76.9.M35
- SS 4800
- *68-06
- 68Qxx
- 00B25
- 54.10
- 54.71
- Archivierung/Langzeitarchivierung gewährleistet PEBW
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Series (GF) | LNCS 3629 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000211046 |
A new biennial conference, merging CMCS, the International Workshop on Coalgebraic Methods in Computer Science, and WADT, the Workshop on Algebraic Development Techniques
Literaturangaben
Algebra and Coalgebra in Computer Science
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31