111. Algorithms to live by : the computer science of human decisions /: the computer science of human decisions. ([2016]) Authors: Christian, Brian, 1984- Other Names: Griffiths, Tom, 1978- Record Type: Book Extent: 1 online resource (x, 351 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
112. Grunt Cookbook : Over 80 hands-on recipes for streamlining development, management, and deployment with Grunt /: Over 80 hands-on recipes for streamlining development, management, and deployment with Grunt. (2015) Authors: Botha, Jurie-Jan Record Type: Book Extent: 1 online resource (1 volume), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
113. Design and control of swarm dynamics. ([2016]) Authors: Bouffanais, Roland Record Type: Book Extent: 1 online resource, color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
114. Algorithms and architectures for parallel processing : 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings /: 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings. (2017) Editors: Ibrahim, Shadi; Choo, Kim-Kwang Raymond; Yan, Zheng; Pedrycz, Witold, 1953- Other Names: International Conference on Algorithms and Architectures for Parallel Processing, 17th Record Type: Book Extent: 1 online resource (xxiii, 829 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
115. Advanced technologies in practical applications for national security. ([2018]) Other Names: Nawrat, Aleksander; Bereska, Damian; Jędrasiak, Karol Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
116. Computer algebra and materials physics : a practical guidebook to group theoretical computations in materials science /: a practical guidebook to group theoretical computations in materials science. (2018) Authors: Kikuchi, Akihito Record Type: Book Extent: 1 online resource (159 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
117. Theory and applications of satisfiability testing -- SAT 2018 : 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /: 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. (2018) Editors: Beyersdorff, Olaf; Wintersteiger, Christoph M Other Names: SAT (Conference), 21st; Federated Logic Conference Record Type: Book Extent: 1 online resource (xix, 452 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
118. 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) ↗
119. Advances in computer algebra : in honour of Sergei Abramov's' 70th birthday, WWCA 2016, Waterloo, Ontario, Canada /: in honour of Sergei Abramov's' 70th birthday, WWCA 2016, Waterloo, Ontario, Canada. (2018) Editors: Schneider, Carsten Q, 1972-; Zima, E. V (Evgeniĭ Viktorovich) Other Names: Abramov, Sergei honouree.; Waterloo Workshop in Computer Algebra Record Type: Book Extent: 1 online resource (xi, 280 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
120. Fundamentals of the theory of computation : principles and practice /: principles and practice. (©1998) Other Names: Greenlaw, Raymond; Hoover, H. James Record Type: Book Extent: 1 online resource (xvi, 336 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗