Vai al contenuto principale della pagina

Coalgebraic Methods in Computer Science : 15. IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings / Daniela Petrişan, Jurriaan Rot editors



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Coalgebraic Methods in Computer Science : 15. IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings / Daniela Petrişan, Jurriaan Rot editors Visualizza cluster
Pubblicazione: Cham, : Springer, 2020
Titolo uniforme: Coalgebraic Methods in Computer Science  
Descrizione fisica: xv, 201 p. : ill. ; 24 cm
Soggetto topico: 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
68-XX - Computer science [MSC 2020]
68Q65 - Abstract data types; algebraic specification [MSC 2020]
Soggetto non controllato: Artificial Intelligence
Boolean algebra
Boolean functions
Coalgebra
Computer programming
Computer vision
Databases
Dynamical systems
Formal logic
Functors
Game Theory
Image processing
Mathematics
Matrix algebra
Semantical models
Semantics
Persona (resp. second.): Petrişan, Daniela
Rot, Jurriaan
Titolo autorizzato: Coalgebraic Methods in Computer Science  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: VAN00248772
Lo trovi qui: Univ. Vanvitelli
Localizzazioni e accesso elettronico http://doi.org/10.1007/978-3-030-57201-3
Opac: Controlla la disponibilità qui
Serie: Lecture notes in computer science Berlin [etc.] . -Springer ; 12094