1. 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) ↗
2. 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 II (2020) Other Names: Peltier, Nicholas; Sofronie-Stokkermans, Viorica; IJCAR (Conference), 10th Record Type: Book Extent: 1 online resource (521 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Beginning Ring Programming : From Novice to Professional /: From Novice to Professional. (2020) Authors: Ayouni, Mansour Record Type: Book Extent: 1 online resource (662 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. C++20 quick syntax reference a pocket guide to the language, APIs, and library /: a pocket guide to the language, APIs, and library. (2020) Other Names: (Web programmer), Olsson, Mikael Record Type: Book Extent: 1 online resource (209 p.) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Chatbot Research and Design : Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers /: Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19–20, 2019, Revised Selected Papers. (2020) Editors: Følstad, Asbjørn; Araujo, Theo; Papadopoulos, Symeon; Law, Effie Lai-Chong; Granmo, Ole-Christoffer; Luger, Ewa; Brandtzaeg, Petter Bae Record Type: Book Extent: 1 online resource (273 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Dynamic Logic. New Trends and Applications : Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings /: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings. (2020) Editors: Soares Barbosa, Luís; Baltag, Alexandru Record Type: Book Extent: 1 online resource (227 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. 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) ↗
8. 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) ↗
9. 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) ↗
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) ↗