Search

Subject 005.1015113

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. Developments in language theory : 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings /: 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings. (2019)

Editors:
Hofman, Piotrek; Skrzypczak, Michał
Other Names:
Conference on Developments in Language Theory, 23rd
Record Type:
Book
Extent:
1 online resource (x, 319 pages), illustrations (some color)
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

4. Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. (2016)

Editors:
Albert, Elvira; Lanese, Ivan
Other Names:
FORTE Conference, 36th
Record Type:
Book
Extent:
1 online resource (XVI, 275 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

5. 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) ↗

6. Language and automata theory and applications : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings /: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. ([2018])

Editors:
Klein, Shmuel Tomi; Martín Vide, Carlos; Shapira, Dana
Other Names:
LATA (Conference), 12th
Record Type:
Book
Extent:
1 online resource (x, 321 pages), 39 illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

8. Model-Based Safety and Assessment : 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings /: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings. (2019)

Editors:
(Professor of Computer Science), Papadopoulos, Yiannis; Aslansefat, Koorosh; Katsaros, Panagiotis, 1969-; Bozzano, Marco
Other Names:
IMBSA (Symposium), 6th
Record Type:
Book
Extent:
1 online resource (xi, 380 pages), illustrations (some color)
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

9. Software engineering and formal methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised selected papers /: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised selected papers. ([2018])

Editors:
Cerone, Antonio; Roveri, Marco
Other Names:
International Conference on Software Engineering and Formal Methods, 15th; DataMod (Symposium), 6th; FAACS (Workshop), 1st; MSE (Workshop), 1st; CoSim-CPS (Workshop), 1st; International Workshop on the Foundations of Coordination Languages and Software Architectures, 15th
Record Type:
Book
Extent:
1 online resource (x, 592 pages), 204 illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

10. Structured object-oriented formal language and method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised selected papers /: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised selected papers. (2015)

Editors:
Liu, Shaoying, 1960-; Duan, Zhenhua
Other Names:
SOFL+MSVL (Workshop), 4th
Record Type:
Book
Extent:
1 online resource (viii, 189 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

Limit your search