Search

Subject Computer software -- Mathematics -- Congresses

1. Coalgebraic methods in computer science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers /: 13th IFIP WG 1.3 International Workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers. (2016)

Editors:
Hasuo, Ichiro
Other Names:
Workshop on Coalgebraic Methods in Computer Science, 13th; ETAPS (Conference), 19th
Record Type:
Book
Extent:
1 online resource (ix, 235 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

2. Coalgebraic methods in computer science : 14th IFIP WG 1.3 International Workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised selected papers /: 14th IFIP WG 1.3 International Workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised selected papers. (2018)

Editors:
Cîrstea, Corina
Other Names:
Workshop on Coalgebraic Methods in Computer Science, 14th; ETAPS (Conference), 20th
Record Type:
Book
Extent:
1 online resource (ix, 235 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

3. Coalgebraic methods in computer science : 15th IFIP WG 1.3 International Workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, proceedings /: 15th IFIP WG 1.3 International Workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, proceedings. (2020)

Other Names:
Petrişan, Daniela; Rot, Jurriaan; Workshop on Coalgebraic Methods in Computer Science, 15th; ETAPS (Conference), 23rd
Record Type:
Book
Extent:
1 online resource
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

Limit your search

  • Computer software -- Mathematics -- Congresses 3