1. Combinatorics on words : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /: 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings. (2015) Editors: Manea, Florin; Nowotka, Dirk Other Names: WORDS (Conference), 10th Record Type: Book Extent: 1 online resource (xviii, 237 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Interactive theorem proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings. (2015) Editors: Urban, Christian; Zhang, Xingyuan Other Names: ITP (Conference), 6th Record Type: Book Extent: 1 online resource (xi, 469 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Logic, language, information, and computation : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings. (2015) Editors: De Paiva, Valeria; Queiroz, Ruy J. G. B. de; Moss, Lawrence Stuart, 1959-; Leivant, Daniel Maurice Raphaël; Oliveira, Anjolina G. de Other Names: Workshop on Logic, Language, Information and Computation, 22nd Record Type: Book Extent: 1 online resource (xx, 201 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Logic, rewriting, and concurrency : essays dedicated to José Meseguer on the occasion of his 65th birthday /: essays dedicated to José Meseguer on the occasion of his 65th birthday. ([2015]) Editors: Martí-Oliet, N (Narciso); Ölveczky, Peter Csaba; Talcott, Carolyn L Other Names: Meseguer, José honouree. Record Type: Book Extent: 1 online resource (xi, 634 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Models of strategic reasoning : logics, games, and communities /: logics, games, and communities. (2015) Editors: Van Benthem, Johan; Ghosh, Sujata; Verbrugge, Rineke Record Type: Book Extent: 1 online resource (xi, 333 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Theory and applications of models of computation : 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings /: 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings. (2015) Editors: (Computer networks scientist), Jain, Rahul; Jain, Sanjay, 1965 February 22; Stephan, Frank (Frank Christian) Other Names: TAMC (Conference), 12th Record Type: Book Extent: 1 online resource (xii, 466 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Transmitting and gaining data : Rudolf Ahlswede's lectures on information theory 2 /: Rudolf Ahlswede's lectures on information theory 2. ([2014]) Authors: Ahlswede, Rudolf, 1938- Editors: Ahlswede, Rudolf, 1938- Record Type: Book Extent: 1 online resource (xvii, 461 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗