Search

Subject Software engineering

841. Perspectives of system informatics : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised selected papers /: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised selected papers. (2016)

Editors:
Mazzara, Manuel; Voronkov, Andrei, 1959-
Other Names:
Veith, Helmut honouree.; International Andrei Ershov Memorial Conference, 10th
Record Type:
Book
Extent:
1 online resource (x, 341 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

843. Mathematics of program construction : 12th International Conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015. Proceedings /: 12th International Conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015. Proceedings. (2015)

Editors:
Hinze, Ralf; Voigtländer, Janis, 1977-
Other Names:
MPC (Conference), 12th
Record Type:
Book
Extent:
1 online resource (xiv, 323 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

845. System analysis and modeling : languages, methods, and tools for systems engineering : 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018, proceedings /: languages, methods, and tools for systems engineering : 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018, proceedings. (2018)

Editors:
Khendek, Ferhat; Gotzhein, Reinhard
Other Names:
SAM (Workshop : System analysis), 10th
Record Type:
Book
Extent:
1 online resource (xii, 247 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

846. OR 2.0 context-aware operating theaters, computer assisted robotic endoscopy, clinical image-based procedures, and skin image analysis : first International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, third International Workshop, ISIC 2018, held in conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings /: first International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, third International Workshop, ISIC 2018, held in conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings. (2018)

Editors:
Stoyanov, Danail; Taylor, Zeike; Sarikaya, Duygu; McLeod, Jonathan; González Ballester, Miguel Angel; Codella, Noel C. F
Other Names:
OR 2.0 (Workshop), 1st; CARE (Workshop), 5th; CLIP (Workshop), 7th; ISIC (Workshop), 3rd; International Conference on Medical Image Computing and Computer-Assisted Intervention, 21st
Record Type:
Book
Extent:
1 online resource (xxii, 323 pages)
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

847. Computer vision -- ECCV 2018. 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings /: 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings. Part XVI : (2018)

Editors:
Ferrari, Vittorio; Hebert, Martial; Sminchisescu, Cristian; Weiss, Yair
Other Names:
European Conference on Computer Vision, 15th
Record Type:
Book
Extent:
1 online resource (xxxi, 871 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

848. Computer vision -- ECCV 2018. 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings /: 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings. Part XI : (2018)

Editors:
Ferrari, Vittorio; Hebert, Martial; Sminchisescu, Cristian; Weiss, Yair
Other Names:
European Conference on Computer Vision, 15th
Record Type:
Book
Extent:
1 online resource (xxxi, 847 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗