Search

Subject Computer logic

62. Rewriting logic and its applications : 11th International Workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers /: 11th International Workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers. (2016)

Editors:
Lucanu, Dorel
Other Names:
WRLA (Conference), 11th; ETAPS (Conference), 19th
Record Type:
Book
Extent:
1 online resource (xiii, 185 pages)
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

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

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

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

66. Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings /: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings. (2017)

Editors:
Antonucci, Alessandro; Cholvy, Laurence; Papini, Odile
Other Names:
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 14th
Record Type:
Book
Extent:
1 online resource
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

69. Theory and applications of formal argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers /: 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised selected papers. (2018)

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

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