Search

Subject Software engineering

1262. Advanced concepts for intelligent vision systems : 19th International Conference, ACIVS 2018, Poitiers, France, September 24-27, 2018, Proceedings /: 19th International Conference, ACIVS 2018, Poitiers, France, September 24-27, 2018, Proceedings. (2018)

Editors:
Blanc-Talon, Jacques, 1962-; Helbert, David; Philips, Wilfried; Popescu, Dan, 1955-; Scheunders, Paul
Other Names:
ACIVS (Conference), 19th
Record Type:
Book
Extent:
1 online resource (xvii, 635 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

1263. Declarative programming and knowledge management : Conference on Declarative Programming, DECLARE 2017, unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised selected papers /: Conference on Declarative Programming, DECLARE 2017, unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised selected papers. (2018)

Editors:
Seipel, Dietmar; Hanus, Michael, 1959-; Abreu, Salvador, 1961-
Other Names:
DECLARE (Conference); International Conference on Applications of Declarative Programming and Knowledge Management, 21st; WLP (Workshop), 31st; WFLP (Workshop), 25th
Record Type:
Book
Extent:
1 online resource (x, 215 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

1264. Cloud computing and security. 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised selected papers /: 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised selected papers. Part VI : (2018)

Editors:
Sun, Xingming; Pan, Zhaoqing; Bertino, Elisa
Other Names:
ICCCS (Conference), 4th
Record Type:
Book
Extent:
1 online resource (xviii, 747 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

1265. Conceptual modeling : 37th International Conference, ER 2018, Xi'an, China, October 22-25, 2018, Proceedings /: 37th International Conference, ER 2018, Xi'an, China, October 22-25, 2018, Proceedings. (2018)

Editors:
Trujillo, Juan C; Davis, Karen (Karen C.); Du, Xiaoyong; Li, Zhanhuai; Ling, Tok Wang; Li, Guoliang; Lee, Mong Li
Other Names:
International Conference on Conceptual Modeling, 37th
Record Type:
Book
Extent:
1 online resource (xix, 636 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

1266. New trends in information and communications technology applications : third International Conference, NTICT 2018, Baghdad, Iraq, October 2-4, 2018, Proceedings /: third International Conference, NTICT 2018, Baghdad, Iraq, October 2-4, 2018, Proceedings. (2018)

Editors:
Al-mamory, Safaa O; Alwan, Jwan K; Hussein, Ali D
Other Names:
International Conference on New Trends in Information and Communications Technology Applications, 3rd
Record Type:
Book
Extent:
1 online resource (xii, 299 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

1267. Symposium on real-time and hybrid systems : essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday /: essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday. (2018)

Editors:
Jones, Cliff; (Professor of computer science), Wang, Ji; Zhan, Naijun
Other Names:
Zhou, Chaochen 1937- honouree.
Record Type:
Book
Extent:
1 online resource (xii, 263 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

1270. Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. (2018)

Editors:
Lahiri, Shuvendu; Wang, Chao, 1985-
Other Names:
ATVA (Symposium), 16th
Record Type:
Book
Extent:
1 online resource (xiii, 560 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗