171. Topics in theoretical computer science : second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings /: second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings. (2017) Editors: Mousavi, Mohammad Reza, 1978-; Sgall, Jiří, 1965- Other Names: IFIP WG 1.8 International Conference, 2nd Record Type: Book Extent: 1 online resource (xvii, 125 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
172. Transactions on large-scale data- and knowledge-centered systems XXXIV : special issue on consistency and inconsistency in data-centric applications /: special issue on consistency and inconsistency in data-centric applications. (2017) Editors: Hameurlain, Abdelkader; Küng, Josef, 1962-; Wagner, Roland; Decker, Hendrik Record Type: Book Extent: 1 online resource (ix, 185 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
173. Unconventional computation and natural computation : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings /: 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings. (2017) Editors: Patitz, Matthew J; Stannett, Mike Other Names: UCNC (Conference), 16th Record Type: Book Extent: 1 online resource (221 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
174. Unifying theories of programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised selected papers /: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised selected papers. (2017) Editors: Bowen, J. P (Jonathan Peter), 1956-; Zhu, Huibiao Other Names: UTP (Symposium), 6th Record Type: Book Extent: 1 online resource (ix, 217 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
175. Verification and evaluation of computer and communication systems : 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings /: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings. (2017) Editors: Barkaoui, Kamel; Boucheneb, Hanifa; Mili, Ali; Tahar, Sofiène, 1966- Other Names: VECoS (Conference), 11th Record Type: Book Extent: 1 online resource (xvi, 205 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
176. Verification, model checking, and abstract interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings /: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings. (2017) Editors: Bouajjani, Ahmed; Monniaux, David Other Names: VMCAI (Conference), 18th Record Type: Book Extent: 1 online resource (xvii, 560 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
177. Winning design! : LEGO MINDSTORMS EV3 design patterns for fun and competition /: LEGO MINDSTORMS EV3 design patterns for fun and competition. (2017) Authors: Trobaugh, James J Record Type: Book Extent: 1 online resource, color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗