Search

Subject Programming Techniques

72. 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) ↗

73. Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018)

Editors:
Johnsen, Einar Broch; Schaefer, Ina
Other Names:
International Conference on Software Engineering and Formal Methods, 16th; STAF (Federation of conferences)
Record Type:
Book
Extent:
1 online resource (xiv, 303 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

74. Mathematical software -- ICMS 2018 : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings /: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings. (2018)

Editors:
Davenport, James Harold, 1953-; Kauers, Manuel; Labahn, G (George), 1951-; Urban, Josef
Other Names:
International Congress of Mathematical Software, 6th
Record Type:
Book
Extent:
1 online resource (xix, 508 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

75. Modelling foundations and applications : 14th European Conference, ECMFA 2018, held as part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings /: 14th European Conference, ECMFA 2018, held as part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings. (2018)

Editors:
Pierantonio, Alfonso; Trujillo, Salvador
Other Names:
ECMFA (Conference), 14th; STAF (Federation of conferences)
Record Type:
Book
Extent:
1 online resource (xvi, 311 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

76. Theory and practice of model transformation : 11th International Conference, ICMT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings /: 11th International Conference, ICMT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings. (2018)

Editors:
Rensink, Arend; Sánchez Cuadrado, Jesús
Other Names:
ICMT (Conference), 11th; STAF (Federation of conferences)
Record Type:
Book
Extent:
1 online resource (xii, 195 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

77. Graph transformation : 11th International Conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings /: 11th International Conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings. (2018)

Editors:
Lambers, Leen; (Professor of Software Engineering), Weber, Jens
Other Names:
ICGT (Conference), 11th; STAF (Federation of conferences)
Record Type:
Book
Extent:
1 online resource (xvi, 179 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗