Search

Subject Computer Science

1431. Speech and computer : 17th International Conference, SPECOM 2015, Athens, Greece, September 20-24, 2015, Proceedings /: 17th International Conference, SPECOM 2015, Athens, Greece, September 20-24, 2015, Proceedings. (2015)

Editors:
Ronzhin, A. L (Andreĭ Leonidovich); Potapova, Rodmonga; Fakotakis, Nikos
Other Names:
International Conference Speech and Computer, 17th
Record Type:
Book
Extent:
1 online resource (xvi, 506 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

1434. Queueing theory and network applications : 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings /: 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings. (2018)

Editors:
Takahashi, Y (Yutaka), 1951-; Phung-Duc, Tuan; Wittevrongel, Sabine; Yue, Wuyi
Other Names:
QTNA (Conference), 13th
Record Type:
Book
Extent:
1 online resource (xii, 251 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

1436. Computers helping people with special needs. 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings /: 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings. Part I : (2018)

Editors:
Miesenberger, Klaus, 1966-; Kouroupetroglou, Georgios
Other Names:
International Conference on Computers Helping People with Special Needs, 16th
Record Type:
Book
Extent:
1 online resource (xxx, 654 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

1437. Logic, language, information, and computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings /: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings. (2017)

Editors:
Kennedy, Juliette, 1955-; Queiroz, Ruy J. G. B. de
Other Names:
Workshop on Logic, Language, Information and Computation, 24th
Record Type:
Book
Extent:
1 online resource (x, 401 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

1438. PRICAI 2018. trends in artificial intelligence : 15th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28-31, 2018, Proceedings /: trends in artificial intelligence : 15th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28-31, 2018, Proceedings. Part I : (2018)

Editors:
Geng, Xin; Kang, Byeong-Ho
Other Names:
Pacific Rim International Conference on Artificial Intelligence, 15th
Record Type:
Book
Extent:
1 online resource (xxix, 1086 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

1439. Electronic participation : 9th IFIP WG 8.5 International Conference, ePart 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings /: 9th IFIP WG 8.5 International Conference, ePart 2017, St. Petersburg, Russia, September 4-7, 2017, Proceedings. (2017)

Editors:
Parycek, Peter; Charalabidis, Yannis, 1967-; Chugunov, A. V (Andreĭ Vladimirovich); (Lecturer in information management), Panagiotopoulos, Panos; Pardo, Theresa; Sæbø, Øystein; Tambouris, Efthimios
Other Names:
ePart (Conference), 9th
Record Type:
Book
Extent:
1 online resource (xiv, 161 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

1440. Interactive theorem proving : 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /: 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. (2018)

Editors:
Avigad, Jeremy; Mahboubi, Assia
Other Names:
ITP (Conference), 9th; Federated Logic Conference
Record Type:
Book
Extent:
1 online resource (xvii, 642 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗