Search

Subject Computer logic

33. Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /: verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings. ([2016])

Editors:
Bloem, Roderick P; Arbel, Eli
Other Names:
International Haifa Verification Conference, 12th
Record Type:
Book
Extent:
1 online resource (xvi, 211 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

35. Information and Communication Technologies in Education, Research, and Industrial Applications : 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers /: 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers. (2018)

Editors:
Bassiliades, Nick; Ermolayev, Vadim; Fill, Hans-Georg; Yakovyna, Vitaliy; Mayr, H. C (Heinrich Christian); Nikitchenko, Mykola; Zholtkevych, Grygoriy; Spivakovsky, Aleksander
Other Names:
ICTERI (Conference), 13th
Record Type:
Book
Extent:
1 online resource (XIV, 255 pages), 102 illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

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