Search

Subject Computer logic

41. Structured object-oriented formal language and method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers /: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers. (2018)

Editors:
Tian, Cong; Nagoya, Fumiko; Liu, Shaoying, 1960-; Duan, Zhenhua
Other Names:
SOFL+MSVL (Workshop), 7th
Record Type:
Book
Extent:
1 online resource (x, 219 pages), 66 illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

42. Theory and applications of formal argumentation : third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised selected papers /: third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised selected papers. (2015)

Editors:
(Lecturer in Computer Science), Black, Elizabeth; Modgil, Sanjay; Oren, Nir
Other Names:
TAFA (Workshop), 3rd
Record Type:
Book
Extent:
1 online resource (x, 261 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

43. Machines, computations, and universality : 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /: 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings. (2015)

Editors:
Durand-Lose, Jérôme; Nagy, Benedek
Other Names:
MCU (Conference), 7th
Record Type:
Book
Extent:
1 online resource (xx, 199 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

45. Computer safety, reliability, and security : SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings /: SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings. (2020)

Other Names:
Casimiro, Antonio; Ortmeier, Frank; Schoitsch, Erwin; Bitsch, Friedemann; Ferreira, Pedro; SAFECOMP (Conference), 39th; DECSoS (Workshop), 15th; DepDevOps (Workshop), 1st; USDAI (Workshop), 1st; WAISE (Workshop), 3rd
Record Type:
Book
Extent:
1 online resource
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

46. Knowledge engineering and knowledge management : EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19-23, 2016, Revised selected papers /: EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19-23, 2016, Revised selected papers. (2017)

Editors:
Ciancarini, Paolo, 1959-; Poggi, Francesco; Horridge, Matthew; Zhao, Jun; Groza, Tudor; Suarez-Figueroa, Mari Carmen; Aquin, Mathieu d'; Presutti, Valentina
Other Names:
EKM (Workshop), 2nd; Drift-a-LOD (Workshop), 1st; EKAW (Conference), 20th, jointly held conference
Record Type:
Book
Extent:
1 online resource (xiv, 288 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

48. Software engineering and formal methods : SEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, revised selected papers /: SEFM 2019 collocated workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, revised selected papers. ([2020])

Editors:
(Computer scientist), Cámara, Javier; Steffen, Martin
Other Names:
International Conference on Software Engineering and Formal Methods, 17th; CoSim-CPS (Workshop), 3rd; ASYDE (Workshop); CIFMA (Workshop); International Workshop on the Foundations of Coordination Languages and Software Architectures, 17th
Record Type:
Book
Extent:
1 online resource
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗