1. Einstieg in Java und OOP : Grundelemente, Objektorientierung, Design-Patterns und Aspektorientierung /: Grundelemente, Objektorientierung, Design-Patterns und Aspektorientierung. (2020) Authors: Silberbauer, Christian Record Type: Book Extent: 1 online resource (156 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Implementing effective code reviews : how to build and maintain clean code /: how to build and maintain clean code. (2020) Other Names: Carullo, Giuliana Record Type: Book Extent: 1 online resource (196 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Formal methods for industrial critical systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings /: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings. (2020) Other Names: Beek, Maurice H. ter; Ničković, Dejan; FMICS (Conference), 25th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Functional and Logic Programming : 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings /: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings. (2020) Editors: Nakano, Keisuke; Sagonas, Konstantinos Record Type: Book Extent: 1 online resource (221 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Rust for the IoT : building Internet of Things apps with Rust and Raspberry Pi /: building Internet of Things apps with Rust and Raspberry Pi. ([2020]) Authors: Nusairat, Joseph Faisal Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Spring Quick Reference Guide : A Pocket Handbook for Spring Framework, Spring Boot, and More /: A Pocket Handbook for Spring Framework, Spring Boot, and More. (2020) Authors: Davis, Adam L Record Type: Book Extent: 1 online resource (253 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Python lernen in abgeschlossenen Lerneinheiten : Programmieren für Einsteiger mit vielen Beispielen /: Programmieren für Einsteiger mit vielen Beispielen. (2020) Authors: Dörn, Sebastian Record Type: Book Extent: 1 online resource (141 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings /: 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings. (2020) Editors: Ahrendt, Wolfgang; Wehrheim, Heike Record Type: Book Extent: 1 online resource (181 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Automated reasoning 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings.: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings. Part I (2020) Other Names: Peltier, Nicholas; Sofronie-Stokkermans, Viorica; IJCAR (Conference), 10th Record Type: Book Extent: 1 online resource (553 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Hands-on booting learn the boot process of Linux, Windows, and Unix /: learn the boot process of Linux, Windows, and Unix. (2020) Other Names: Babar, Yogesh Record Type: Book Extent: 1 online resource (476 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗