Search

Subject Programming & scripting languages: general

171. OpenMP : memory, devices, and tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings /: memory, devices, and tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings. (2016)

Editors:
Maruyama, Naoya; De Supinski, Bronis R; Wahib, Mohamed
Other Names:
IWOMP (Conference), 12th
Record Type:
Book
Extent:
1 online resource (xi, 352 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

173. Leveraging applications of formal methods, verification and validation. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings /: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings. Foundational techniques : Part I, (2016)

Editors:
Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard
Other Names:
ISoLA (Symposium), 7th
Record Type:
Book
Extent:
1 online resource (xxiii, 974 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

174. High performance computing : ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P 3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised selected papers /: ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P 3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised selected papers. (2017)

Editors:
Kunkel, Julian Martin; Yokota, Rio; Taufer, Michela; Shalf, John
Other Names:
ISC High Performance (Conference), 32nd; VHPC (Workshop), 12th; International Workshop on Performance Portable Programming Models for Accelerators, 2nd; International Workshoop on Communication Architectures for HPC, Big Data, Deep Learning and Clouds and Extremen Scale, 3rd; International Worksh...
Record Type:
Book
Extent:
1 online resource (xx, 743 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

175. Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings /: 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings. (2017)

Editors:
Cimatti, Alessandro; Sirjani, Marjan
Other Names:
International Conference on Software Engineering and Formal Methods, 15th
Record Type:
Book
Extent:
1 online resource (xix, 410 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

177. Recent trends in algebraic development techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers /: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised selected papers. (2017)

Editors:
James, Phillip (Phillip D.); Roggenbach, Markus
Other Names:
WADT (Workshop), 23rd
Record Type:
Book
Extent:
1 online resource (x, 223 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

178. SDL 2017 : model-driven engineering for future internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings /: model-driven engineering for future internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings. (2017)

Editors:
Csöndes, Tibor; Kovács, Gábor; Réthy, György
Other Names:
SDL Forum, 18th
Record Type:
Book
Extent:
1 online resource (xi, 173 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

179. Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /: formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings. (2017)

Editors:
Petrucci, Laure; Seceleanu, Cristina; Cavalcanti, Ana
Other Names:
International Workshop on Formal Methods for Industrial Critical Systems, 22nd; International Workshop on Automated Verification of Critical Systems, 17th
Record Type:
Book
Extent:
1 online resource (xiv, 235 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

  • Programming & scripting languages: general 904