161. Algorithmic aspects of cloud computing : first International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised selected papers /: first International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised selected papers. (2016) Editors: Karydis, Ioannis; Sioutas, Spyros; Triantafillou, Peter, 1963-; Tsoumakos, Dimitrios Other Names: ALGOCLOUD (Workshop), 1st Record Type: Book Extent: 1 online resource (xiv, 193 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
162. Hybrid systems biology : Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised selected papers /: Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised selected papers. (2015) Editors: Abate, Alessandro; Šafránek, David Other Names: HSB (Workshop), 4th Record Type: Book Extent: 1 online resource (xiv, 249 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
163. Web Services, Formal Methods, and Behavioral Types : 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers /: 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers. (2016) Editors: Hildebrandt, Thomas; Ravara, António; Werf, Jan Martijn van der; Weidlich, Matthias Other Names: WS-FM (Workshop), 11th; International Symposium on Web Services, Formal Methods and Behavioural Types Record Type: Book Extent: 1 online resource (xvii, 167 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
164. Retrogame archeology : exploring old computer games /: exploring old computer games. ([2016]) Authors: Aycock, John Daniel, 1970- Record Type: Book Extent: 1 online resource (xix, 222 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
165. Parallel processing and applied mathematics. 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015, Revised selected papers /: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015, Revised selected papers. Part I : (2016) Editors: Wyrzykowski, Roman Other Names: PPAM (Conference), 11th Record Type: Book Extent: 1 online resource (xxiv, 622 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
166. Structured object-oriented formal language and method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers /: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers. (2016) Editors: Liu, Shaoying, 1960-; Duan, Zhenhua Other Names: SOFL+MSVL (Workshop), 5th Record Type: Book Extent: 1 online resource (viii, 219 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
167. Parallel processing and applied mathematics. 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015, Revised selected papers /: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015, Revised selected papers. Part II : (2016) Editors: Wyrzykowski, Roman Other Names: PPAM (Conference), 11th Record Type: Book Extent: 1 online resource (xxiv, 622 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
168. Logic-based program synthesis and transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised selected papers /: 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised selected papers. (2015) Editors: Falaschi, Moreno Other Names: LOPSTR (Symposium), 25th Record Type: Book Extent: 1 online resource (xvii, 385 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
169. Integrated formal methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. (2016) Editors: Ábrahám, Erika; Huisman, Marieke Other Names: International Conference on Integrated Formal Methods, 12th Record Type: Book Extent: 1 online resource (xiv, 538 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
170. Numerical simulation in physics and engineering : lecture notes of the XVI 'Jacques-Louis Lions' Spanish-French School /: lecture notes of the XVI 'Jacques-Louis Lions' Spanish-French School. (2016) Editors: Higueras, Inmaculada; Roldán, Teo; Torrens, Juan José Other Names: Spanish-French Jacques-Louis Lions School on Numerical Simulation in Physics and Engineering, 16th Record Type: Book Extent: 1 online resource (ix, 251 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗