31. Essentials of administering Team Foundation Server 2015 : using TFS 2015 to accelerate your software development /: using TFS 2015 to accelerate your software development. (2015) Authors: Gauvin, Gary Record Type: Book Extent: 1 online resource (xvii, 188 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
32. Fields of logic and computation II : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday /: essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. (2015) Editors: Beklemishev, Lev Dmitrievich, 1967-; Blass, Andreas, 1947-; Dershowitz, Nachum; Finkbeiner, Bernd; Schulte, Wolfram Other Names: Gurevich, Yuri honouree.; Yurifest (Symposium), 2nd Record Type: Book Extent: 1 online resource (x, 319 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
33. 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) ↗
34. Formal aspects of component software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers /: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers. ([2015]) Editors: Lanese, Ivan; Madelaine, Eric Other Names: FACS (Symposium), 11th Record Type: Book Extent: 1 online resource (x, 385 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
35. Formal methods and software engineering : 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings /: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings. (2015) Editors: Butler, Michael, 1967-; Conchon, Sylvain; Zaïdi, Fatiha Other Names: International Conference on Formal Engineering Methods, 17th Record Type: Book Extent: 1 online resource (436 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
36. Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures /: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures. (2015) Editors: Bernardo, Marco; Johnsen, Einar Broch Other Names: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 15th Record Type: Book Extent: 1 online resource (vii, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
37. Formal techniques for safety-critical systems : third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised selected papers /: third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised selected papers. (2015) Editors: Artho, Cyrille; Ölveczky, Peter Csaba Other Names: International Workshop of Formal Techniques for Safety-Critical Systems, 3rd Record Type: Book Extent: 1 online resource (x, 257 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
38. 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) ↗
39. Genetic programming theory and practice XII. ([2015]) Editors: Riolo, Rick; Worzel, William P; Kotanchek, Mark Other Names: Workshop on Genetic Programming, Theory and Practice, 12th Record Type: Book Extent: 1 online resource (xii, 182 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
40. Globalizing domain-specific languages : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers /: International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers. (2015) Editors: Cheng, Betty H. C Other Names: Globalizing Domain-Specific Languages (Seminar) Record Type: Book Extent: 1 online resource (89 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗