Search

Subject Computer system performance

71. Euro-Par 2015 : Parallel Processing Workshops : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised selected papers /: Parallel Processing Workshops : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised selected papers. (2015)

Editors:
Hunold, Sascha
Other Names:
Costan, Alexandru; Gimenez, Domingo; Iosup, Alexandru; Ricci, Laura; Gomez Requena, Maria Engracia; Scarano, Vittorio; Varbanescu, Ana Lucia; Scott, Stephen L; Lankes, Stefan; Weidendorfer, Josef; Alexander, Michael; International EURO-PAR Conference, 21st
Record Type:
Book
Extent:
1 online resource (xliii, 839 pages), color illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

72. Euro-Par 2016 : Parallel Processing Workshops : Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised selected papers /: Parallel Processing Workshops : Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016, Revised selected papers. (2017)

Editors:
Desprez, Frédéric; Dutot, Pierre-François
Other Names:
International EURO-PAR Conference, 22nd; Euro-EDUPAR (Workshop), 2nd, jointly held conference; International Workshop on Algorithms, Models, and Tools for Parallel Computing on Heterogenous Networks, 14th, jointly held conference; IWMSE (Workshop), 5th, jointly held conference; Workshop on Large-...
Record Type:
Book
Extent:
1 online resource (xxxix, 829 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

73. Euro-Par 2017 : Parallel Processing Workshops : Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised selected papers /: Parallel Processing Workshops : Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised selected papers. (2018)

Editors:
Heras, Dora B; Bougé, Luc
Other Names:
International EURO-PAR Conference, 23rd
Record Type:
Book
Extent:
1 online resource (XVIII, 751 pages 247 illustrations), online resource
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

74. Evaluation of novel approaches to software engineering : 12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017, Revised selected papers /: 12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017, Revised selected papers. (2018)

Editors:
Damiani, Ernesto, 1960-; Spanoudakis, George; Maciaszek, Leszek
Other Names:
ENASE (Conference), 12th
Record Type:
Book
Extent:
1 online resource (xii, 275 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

76. Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings /: 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. (2018)

Editors:
Havelund, Klaus, 1955-; Peleska, Jan; Roscoe, A. W; Vink, Erik de
Other Names:
International Symposium of Formal Methods Europe, 22nd; Federated Logic Conference
Record Type:
Book
Extent:
1 online resource (xiv, 692 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

77. Formal methods : foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings /: foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29-December 1, 2017, Proceedings. (2017)

Editors:
Cavalheiro, Simone; Fiadeiro, José Luiz, 1961-
Other Names:
Brazilian Symposium on Formal Methods, 20th
Record Type:
Book
Extent:
1 online resource (x, 305 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

78. Formal methods and software engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. (2018)

Editors:
(Computer scientist), Sun, Jing; Sun, Meng
Other Names:
International Conference on Formal Engineering Methods, 20th
Record Type:
Book
Extent:
1 online resource (xxii, 474 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

79. Foundational and practical aspects of resource analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers /: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers. (2016)

Editors:
Eekelen, M. C. J. D. van; (Computer scientist), Dal Lago, Ugo
Other Names:
FOPARA (Workshop), 4th
Record Type:
Book
Extent:
1 online resource (ix, 127 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

80. Foundations of software science and computation structures : 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings /: 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings. (2018)

Editors:
Baier, Christel; (Computer scientist), Dal Lago, Ugo
Other Names:
FOSSACS (Conference), 21st; ETAPS (Conference), 21st
Record Type:
Book
Extent:
1 online resource (xv, 583 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

Limit your search