21. Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. (2017) Editors: Polikarpova, Nadia; Schneider, S. A (Steve A.) Other Names: International Conference on Integrated Formal Methods, 13th Record Type: Book Extent: 1 online resource (xxi, 438 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
22. Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing : IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part I /: IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part I. (2017) Editors: Lödding, Hermann; Riedel, Ralph; Thoben, K.-D; Von Cieminski, Gregor; Kiritsis, Dimitris Other Names: IFIP WG5.7 International Conference on Advances in Production Management Systems Record Type: Book Extent: 1 online resource (XXIV, 564 pages), 161 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
23. Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018) Editors: Johnsen, Einar Broch; Schaefer, Ina Other Names: International Conference on Software Engineering and Formal Methods, 16th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 303 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
24. Modelling foundations and applications : 14th European Conference, ECMFA 2018, held as part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings /: 14th European Conference, ECMFA 2018, held as part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings. (2018) Editors: Pierantonio, Alfonso; Trujillo, Salvador Other Names: ECMFA (Conference), 14th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xvi, 311 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
25. Computational Science and Its Applications -- ICCSA 2018. 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings /: 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings. Part V : (2018) Editors: Gervasi, Osvaldo Other Names: ICCSA (Conference), 18th Record Type: Book Extent: 1 online resource (xxxvi, 779 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
26. Computational science and its applications -- ICCSA 2018. 18th International Conference, Melbourne, VIC, Australia, July 2?5, 2018, Proceedings /: 18th International Conference, Melbourne, VIC, Australia, July 2?5, 2018, Proceedings. Part IV : (2018) Editors: Gervasi, Osvaldo Other Names: ICCSA (Conference), 18th Record Type: Book Extent: 1 online resource (xxxvii, 819 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
27. Computational science and its applications -- ICCSA 2018. 18th International Conference, Melbourne, VIC, Australia, July 2?5, 2018, Proceedings /: 18th International Conference, Melbourne, VIC, Australia, July 2?5, 2018, Proceedings. Part III : (2018) Editors: Gervasi, Osvaldo Other Names: ICCSA (Conference), 18th Record Type: Book Extent: 1 online resource (xxxv, 684 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
28. Computational science and its applications -- ICCSA 2018. 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings /: 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings. Part II : (2018) Editors: Gervasi, Osvaldo Other Names: ICCSA (Conference), 18th Record Type: Book Extent: 1 online resource (xxxvi, 785 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
29. Tests and proofs : 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 12th International Conference, TAP 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018) Editors: Dubois, Catherine; Wolff, Burkhart, 1962- Other Names: TAP (Conference), 12th; STAF (Federation of conferences) Record Type: Book Extent: 1 online resource (xiv, 185 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
30. Learn CentOS Linux network services. ([2016]) Authors: Vázquez, Antonio Record Type: Book Extent: 1 online resource (351 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗