131. Command Line Fundamentals : Learn to use the Unix command-line tools and Bash shell scripting /: Learn to use the Unix command-line tools and Bash shell scripting. (2018) Authors: N, Vivek Record Type: Book Extent: 1 online resource (314 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
132. Modern C : Efficient and Scalable Application Development : Leverage the modern features of C++ to overcome difficulties in various stages of application development /: Efficient and Scalable Application Development : Leverage the modern features of C++ to overcome difficulties in various stages of application development. (2018) Authors: Grimes, Richard; Bancila, Marius Record Type: Book Extent: 1 online resource (702 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
133. Serverless Integration Design Patterns with Azure : Build powerful cloud solutions that sustain next-generation products /: Build powerful cloud solutions that sustain next-generation products. (2019) Authors: Kumar, Abhishek; Mahendrakar, Srinivasa Record Type: Book Extent: 1 online resource (494 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
134. Finite difference methods, theory and applications : 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised selected papers /: 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised selected papers. (2015) Editors: Dimov, Ivan, 1963-; Faragó, I (István); Vulkov, Lubin Other Names: International Conference on Finite Difference Methods: Theory and Applications, 6th Record Type: Book Extent: 1 online resource (xi, 434 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
135. Collaborative quality assurance in information systems development : the interaction of software development techniques and team cognition /: the interaction of software development techniques and team cognition. ([2016]) Authors: Spohrer, Kai Record Type: Book Extent: 1 online resource (243 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
136. Computer aided verification. 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings /: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part II : (2015) Editors: Kroening, Daniel; Păsăreanu, Corina S Other Names: CAV (Conference), 27th Record Type: Book Extent: 1 online resource (xviii, 469 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
137. Fundamentals of computation theory : 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings /: 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings. (2015) Editors: Kosowski, Adrian; Walukiewicz, Igor Other Names: FCT (Symposium), 20th Record Type: Book Extent: 1 online resource (xix, 395 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
138. Search-based software engineering : 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings /: 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings. ([2015]) Editors: Barros, Márcio; Labiche, Yvan Other Names: SSBSE (Symposium), 7th Record Type: Book Extent: 1 online resource (xv, 355 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
139. Symbolic and quantitative approaches to reasoning with uncertainty : 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings /: 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings. (2015) Editors: Destercke, Sébastien; Denoeux, Thierry Other Names: European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 13th Record Type: Book Extent: 1 online resource (xiii, 554 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
140. Patterns of HCI design and HCI design of patterns : bridging HCI design and model-driven software engineering /: bridging HCI design and model-driven software engineering. ([2015]) Authors: Seffah, Ahmed Other Names: Forbrig, Peter contributor. Record Type: Book Extent: 1 online resource (xvii, 272 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗