Search

Subject Computer Science

1342. Information security and cryptology : 12th International Conference, Inscrypt 2016, Beijing, China, November 4-6, 2016, Revised selected papers /: 12th International Conference, Inscrypt 2016, Beijing, China, November 4-6, 2016, Revised selected papers. (2017)

Editors:
Chen, Kefei, 1959-; Lin, Dongdai; Yung, Moti
Other Names:
Inscrypt (Conference), 12th
Record Type:
Book
Extent:
1 online resource (xiii, 544 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

1343. AI 2017 : advances in artificial intelligence : 30th Australasian Joint Conference, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings /: advances in artificial intelligence : 30th Australasian Joint Conference, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings. (2017)

Editors:
Peng, Wei; Alahakoon, Damminda; Ph. D, Li, Xiaodong
Other Names:
Australasian Joint Conference on Artificial Intelligence, 30th
Record Type:
Book
Extent:
1 online resource (xiii, 376 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

1344. Natural and artificial computation for biomedicine and neuroscience : International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings.: International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings. Part I (2017)

Editors:
Ferrández Vicente, José Manuel; Álvarez, José R (José Ramón), 1965-; Paz López, Félix de la; Toledo Moreo, Fco. Javier; Adeli, Hojjat, 1950-
Other Names:
International Work-Conference on the Interplay Between Natural and Artificial Computation
Record Type:
Book
Extent:
1 online resource (xxii, 476 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

1345. Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers /: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers. (2017)

Editors:
Bogomolov, Sergiy; Martel, Matthieu; Prabhakar, Pavithra
Other Names:
NSV (Workshop), 9th; CAV (Conference), 28th, jointly held conference
Record Type:
Book
Extent:
1 online resource (vii, 107 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

1347. Relational and algebraic methods in computer science : 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings. (2017)

Editors:
Höfner, Peter; Pous, Damien; Struth, Georg
Other Names:
RAMiCS (Conference), 16th
Record Type:
Book
Extent:
1 online resource (xiv, 323 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

1348. Communication technologies for vehicles : 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings /: 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017, Proceedings. (2017)

Editors:
Pirovano, Alain; Berbineau, Marion; Vinel, Alexey; Guerber, Christophe; Roque, Damien; Mendizábal Samper, Jaizki; Bonneville, Hervé; Aniss, Hasnaâ; Ducourthial, Bertrand
Other Names:
Nets4Cars/Nets4Trains/Nets4Aircraft (Workshop), 12th
Record Type:
Book
Extent:
1 online resource (x, 143 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

1349. Applied reconfigurable computing : 13th International Symposium, ARC 2017, Delft, the Netherlands, April 3-7, 2017, Proceedings /: 13th International Symposium, ARC 2017, Delft, the Netherlands, April 3-7, 2017, Proceedings. (2017)

Editors:
Wong, Stephan, 1973-; Beck, Antônio Carlos; Bertels, Koen; Carro, Luigi
Other Names:
ARC (Symposium), 13th
Record Type:
Book
Extent:
1 online resource (xx, 332 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

1350. Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers /: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers. (2017)

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