1. Algorithmic decision theory : 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings /: 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings. (2015) Editors: Walsh, Toby Other Names: ADT (Conference), 4th Record Type: Book Extent: 1 online resource (xii, 594 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Algorithmic game theory : 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015, Proceedings /: 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015, Proceedings. (2015) Editors: Hoefer, Martin Other Names: SAGT (Symposium), 8th Record Type: Book Extent: 1 online resource (xi, 288 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Big-data analytics and cloud computing : theory, algorithms and applications /: theory, algorithms and applications. (2015) Editors: Trovati, Marcello; (Professor of computing), Hill, Richard; Anjum, Ashiq; Zhu, Shao Ying; Liu, Lu, 1980- Record Type: Book Extent: 1 online resource (xvi, 169 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures /: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures. (2015) Editors: Bernardo, Marco; Johnsen, Einar Broch Other Names: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 15th Record Type: Book Extent: 1 online resource (vii, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Graph structures for knowledge representation and reasoning : 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, revised selected papers /: 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, revised selected papers. (2015) Editors: Croitoru, Madalina; Marquis, Pierre; (Computer scientist), Rudolph, Sebastian; Stapleton, Gem Other Names: GKR (Conference), 4th Record Type: Book Extent: 1 online resource, illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Measures of complexity : festschrift for Alexey Chervonenkis /: festschrift for Alexey Chervonenkis. (2015) Editors: Vovk, Vladimir, 1960-; Papadopoulos, Harris; Gammerman, A (Alexander) Other Names: Chervonenkis, Alexey honouree. Record Type: Book Extent: 1 online resource (xxxi, 399 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Random walks, random fields, and disordered systems. (2015) Authors: Bovier, Anton, 1957-; Brydges, David; Coja-Oghlan, Amin; Ioffe, Dmitry; Lawler, Gregory F, 1955- Editors: Biskup, Marek; Černý, Jiří; Kotecký, R (Roman) Record Type: Book Extent: 1 online resource (xiii, 239 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Software engineering and formal methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised selected papers /: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised selected papers. (2015) Editors: Bianculli, Domenico; Calinescu, Radu C, 1968-; Rumpe, Bernhard Other Names: International Conference on Software Engineering and Formal Methods, 13th; ATSE (Workshop), 6th; HOFM (Workshop), 2nd; MoKMaSD (Workshop), 4th; VERY*SCART (Workshop), 1st Record Type: Book Extent: 1 online resource (xxix, 325 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗