Search

Subject Computer Science

931. Machine learning, optimization, and big data : first International Workshop, MOD 2015, Taormina, Sicily, Italy, July 21-23, 2015, Revised selected papers /: first International Workshop, MOD 2015, Taormina, Sicily, Italy, July 21-23, 2015, Revised selected papers. (2015)

Editors:
Pardalos, P. M (Panos M.), 1954-; (Professor of Computer Science), Pavone, Mario; Farinella, Giovanni Maria; Cutello, Vincenzo
Other Names:
MOD (Workshop), 1st
Record Type:
Book
Extent:
1 online resource (xv, 372 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

932. Trust, privacy and security in digital business : 12th International Conference, TrustBus 2015, Valencia, Spain, September 1-2, 2015, Proceedings /: 12th International Conference, TrustBus 2015, Valencia, Spain, September 1-2, 2015, Proceedings. (2015)

Editors:
Fischer-Hübner, Simone; Lambrinoudakis, Costas; López, Javier
Other Names:
TrustBus (Conference), 12th
Record Type:
Book
Extent:
1 online resource (xii, 235 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

933. International Conference on Security and Privacy in Communication Networks. 10th International ICST Conference, SecureComm 2014, Beijing, China, September 24-26, 2014, revised selected papers /: 10th International ICST Conference, SecureComm 2014, Beijing, China, September 24-26, 2014, revised selected papers. Part I : (2015)

Editors:
Tian, Jing, 1979-; Jing, Jiwu; Srivatsa, Mudhakar
Other Names:
SecureComm
Record Type:
Book
Extent:
1 online resource (xix, 635 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

934. Augmented environments for computer-assisted interventions : 10th International Workshop, AE-CAI 2015, held in conjunction with MICCAI 2015, Munich, Germany, October 9, 2015. Proceedings /: 10th International Workshop, AE-CAI 2015, held in conjunction with MICCAI 2015, Munich, Germany, October 9, 2015. Proceedings. (2015)

Editors:
Linte, Cristian A; Yaniv, Ziv R; Fallavollita, Pascal
Other Names:
AE-CAI (Workshop), 10th; International Conference on Medical Image Computing and Computer-Assisted Intervention, 17th
Record Type:
Book
Extent:
1 online resource (xii, 149 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

936. Internet science : third international conference, INSCI 2016, Florence, Italy, September 12-14, 2016, proceedings /: third international conference, INSCI 2016, Florence, Italy, September 12-14, 2016, proceedings. (2016)

Editors:
Bagnoli, Franco; Satsiou, Anna; Stavrakakis, Ioannis, 1960-; Nesi, Paolo; Pacini, Giovanna; Welp, Yanina; Tiropanis, Thanassis; DiFranzo, Dominic
Other Names:
INSCI (Conference), 3rd
Record Type:
Book
Extent:
1 online resource (xi, 328 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

937. Economics of grids, clouds, systems, and services : 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015. Revised selected papers /: 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015. Revised selected papers. (2016)

Editors:
(Computer scientist), Altmann, Jörn; Silaghi, Gheorghe Cosmin; Rana, Omer
Other Names:
GECON (Conference), 12th
Record Type:
Book
Extent:
1 online resource (xv, 323 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

938. High performance computing : 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings /: 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings. (2016)

Editors:
Kunkel, Julian Martin; Balaki, Pavan; Dongarra, J. J
Other Names:
ISC High Performance (Conference), 31st
Record Type:
Book
Extent:
1 online resource (xv, 506 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

939. Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /: formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings. (2016)

Editors:
Beek, Maurice H. ter; Gnesi, Stefania, 1954-; Knapp, Alexander, 1971-
Other Names:
International Workshop on Formal Methods for Industrial Critical Systems, 21st; International Workshop on Automated Verification of Critical Systems, 16th
Record Type:
Book
Extent:
1 online resource (xvi, 247 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

940. Deep learning and data labeling for medical applications : first International Workshop, LABELS 2016, and second International Workshop, DLMIA 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings /: first International Workshop, LABELS 2016, and second International Workshop, DLMIA 2016, held in conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings. (2016)

Editors:
Carneiro, Gustavo; Mateus, Diana; Peter, Loïc; Bradley, Andrew; Tavares, João Manuel R. S; Belagiannis, Vasileios; Papa, João Paulo; Nascimento, Jacinto C; Loog, Marco; Lü, Zhi; Cardoso, Jaime S (Jaime dos Santos); Cornebise, Julien
Other Names:
LABELS (Workshop), 1st; DLMIA (Workshop), 2nd; International Conference on Medical Image Computing and Computer-Assisted Intervention, 19th
Record Type:
Book
Extent:
1 online resource (xiii, 280 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗