141. Unternehmens-IT für die Digitalisierung 4.0 : Herausforderungen, Lösungsansätze und Leitfäden /: Herausforderungen, Lösungsansätze und Leitfäden. (2017) Authors: Weber, Herbert; Viehmann, Johannes Record Type: Book Extent: 1 online resource (252 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
142. Verification and evaluation of computer and communication systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings /: 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings. (2018) Editors: Atig, Mohamed Faouzi; Bensalem, Saddek; Bliudze, Simon; Monsuez, Bruno Other Names: VECoS (Conference), 12th Record Type: Book Extent: 1 online resource (xiv, 219 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
143. Verified software : theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised selected papers /: theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised selected papers. (2018) Editors: Piskac, Ruzica; Rümmer, Philipp Other Names: VSTTE (Conference), 10th Record Type: Book Extent: 1 online resource (xvi, 345 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
144. Verified software : theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers /: theories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised selected papers. (2017) Editors: Paskevich, Andrei; Wies, Thomas Other Names: VSTTE (Conference), 9th Record Type: Book Extent: 1 online resource (xiii, 211 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
145. Version Control with Git and GitHub : Discover the most popular source control solutions used by developers worldwide /: Discover the most popular source control solutions used by developers worldwide. (2018) Authors: Magana, Alex; Muli, Joseph Record Type: Book Extent: 1 online resource (344 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
146. Vision Quanten-Internet : Ultraschnell und hackersicher /: Ultraschnell und hackersicher. (2019) Authors: Fürnkranz, Gösta Record Type: Book Extent: 1 online resource (297 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
147. Wagl Business Plan Volume I. (2018) Authors: Wulff, Harry Record Type: Book Extent: 1 online resource (96 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
148. Will We Ever Have a Quantum Computer?. (2020) Authors: Dyakonov, Mikhail I Record Type: Book Extent: 1 online resource (49 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
149. Working with Legacy Systems : A practical guide to looking after and maintaining the systems we inherit /: A practical guide to looking after and maintaining the systems we inherit. (2019) Authors: Annett, Robert Record Type: Book Extent: 1 online resource (152 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
150. World of computing : a primer companion for the digital age /: a primer companion for the digital age. ([2018]) Authors: O'Regan, Gerard Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗