141. Cyber physical systems : design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings /: design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings. ([2015]) Editors: Berger, Christian; Mousavi, Mohammad Reza, 1978- Other Names: CyPhy (Workshop), 5th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
142. Cyber physical systems : design, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised selected papers /: design, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised selected papers. (2017) Editors: (Professor of Software Engineering), Berger, Christian; Mousavi, Mohammad Reza, 1978-; Wisniewski, Rafael Other Names: CyPhy (Workshop), 6th Record Type: Book Extent: 1 online resource (xi, 127 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
143. C♯ 7 quick syntax reference : a pocket guide to the language, APIs and library /: a pocket guide to the language, APIs and library. ([2018]) Authors: (Web programmer), Olsson, Mikael Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
144. Dag Prawitz on proofs and meaning. ([2015]) Other Names: Wansing, H (Heinrich) Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
145. Das C++ Tutorial : Crash-Kurs und Repetitorium für Ingenieure und Naturwissenschaftler /: Crash-Kurs und Repetitorium für Ingenieure und Naturwissenschaftler. (2018) Authors: Stadler, Andreas; Tholen, Marco Record Type: Book Extent: 1 online resource (323 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
146. Data mining algorithms in C++ : data patterns and algorithms for modern applications /: data patterns and algorithms for modern applications. ([2018]) Authors: Masters, Timothy Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
147. Data structures and algorithms with Python. (2015) Authors: Lee, Kent D (Kent Derek); Hubbard, Steve Record Type: Book Extent: 1 online resource (xv, 363 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
148. Declarative programming and knowledge management : Conference on Declarative Programming, DECLARE 2017, unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised selected papers /: Conference on Declarative Programming, DECLARE 2017, unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised selected papers. (2018) Editors: Seipel, Dietmar; Hanus, Michael, 1959-; Abreu, Salvador, 1961- Other Names: DECLARE (Conference); International Conference on Applications of Declarative Programming and Knowledge Management, 21st; WLP (Workshop), 31st; WFLP (Workshop), 25th Record Type: Book Extent: 1 online resource (x, 215 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
149. Deep learning with Python : a hands-on introduction /: a hands-on introduction. (2017) Authors: Ketkar, Nikhil Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
150. Deep reinforcement learning fundamentals, research and applications /: fundamentals, research and applications. (2020) Other Names: Dong, Hao; Ding, Zihan; Zhang, Shanghang Record Type: Book Extent: 1 online resource (526 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗