Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Author 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520889.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Programming models for parallel computing
Programming models for parallel computing
Author 
Balaji, Pavan, 1980- editor.
Preferred Shelf Number 
QA76.58 P78 2015
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
3. 
Cover image for Cloud-computing data-intensive computing and scheduling
Cloud-computing data-intensive computing and scheduling
Author 
Magouls̈, F. (Frďřic) Pan, Jie, 1979- Teng, Fei.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Scaling up machine learning : parallel and distributed approaches
Scaling up machine learning : parallel and distributed approaches
Author 
Bekkerman, Ron, editor. Bilenko, Mikhail, 1978- editor. Langford, John, 1975- editor.
Preferred Shelf Number 
Q325.5 .S28 2012
Electronic Access 
https://doi.org/10.1017/CBO9781139042918
Format: 
Availability 
Online Library~1
Available:
Copies: