Search

Author/Creator (Computer scientist), Hospodár, Michal

1. Descriptional complexity of formal systems : 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, proceedings /: 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, proceedings. (2019)

Editors:
(Computer scientist), Hospodár, Michal; Jirásková, Galina; Konstantinidis, Stavros
Other Names:
DCFS (Workshop), 21st
Record Type:
Book
Extent:
1 online resource (x, 299 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

2. Implementation and application of automata : 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings /: 24th International Conference, CIAA 2019, Košice, Slovakia, July 22-25, 2019, Proceedings. ([2019])

Editors:
(Computer scientist), Hospodár, Michal; Jirásková, Galina
Other Names:
CIAA (Conference), 24th
Record Type:
Book
Extent:
1 online resource (xvi, 249 pages), illustrations (some color)
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

Limit your search

  • (Computer scientist), Hospodár, Michal 2