591. Theoretical computer science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings /: 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings. (2017) Editors: Du, Dingzhu; Li, Lian; Zhu, En; He, Kun Other Names: NCTCS (Conference), 35th Record Type: Book Extent: 1 online resource (xxi, 356 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
592. Theory and applications of satisfiability testing -- SAT 2018 : 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /: 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings. (2018) Editors: Beyersdorff, Olaf; Wintersteiger, Christoph M Other Names: SAT (Conference), 21st; Federated Logic Conference Record Type: Book Extent: 1 online resource (xix, 452 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
593. Bio-inspired computing. theories and applications : 13th International Conference, BIC-TA 2018, Beijing, China, November 2-4, 2018, Proceedings /: theories and applications : 13th International Conference, BIC-TA 2018, Beijing, China, November 2-4, 2018, Proceedings. Part I : (2018) Editors: Qiao, Jianyong; Zhao, Xinchao; Pan, Linqiang; Zuo, Xingquan; (Software engineer), Zhang, Xingyi; Zhang, Qingfu; Huang, Shanguo Other Names: International Conference on Bio-inspired Computing, Theories and Applications, 13th Record Type: Book Extent: 1 online resource (xviii, 521 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
594. Kryptologie : eine einführung in die wissenschaft vom verschlüsseln, Verbergen und Verheimlichen /: eine einführung in die wissenschaft vom verschlüsseln, Verbergen und Verheimlichen. (2015) Authors: Beutelspacher, Albrecht Record Type: Book Extent: 1 online resource (196 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
595. Guide to graph algorithms : sequential, parallel and distributed /: sequential, parallel and distributed. (2018) Authors: Erciyes, K Record Type: Book Extent: 1 online resource (xviii, 471 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
596. Artificial intelligence and soft computing. 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings /: 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings. Part I : (2017) Editors: Rutkowski, Leszek; Korytkowski, Marcin; Scherer, Rafał; Tadeusiewicz, Ryszard; Zadeh, Lotfi A (Lotfi Asker); Zurada, Jacek M Other Names: ICAISC (Conference), 16th Record Type: Book Extent: 1 online resource (xxiv, 776 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
597. Artificial intelligence and soft computing. 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings /: 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017, Proceedings. Part II : (2017) Editors: Rutkowski, Leszek; Korytkowski, Marcin; Scherer, Rafał; Tadeusiewicz, Ryszard; Zadeh, Lotfi A (Lotfi Asker); Zurada, Jacek M Other Names: ICAISC (Conference), 16th Record Type: Book Extent: 1 online resource (xxiv, 742 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
598. Programming in HTML and PHP : coding for scientists and engineers /: coding for scientists and engineers. (2017) Authors: Brooks, David R, 1941- Record Type: Book Extent: 1 online resource (xi, 293 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
599. Web information systems engineering -- WISE 2018. 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings /: 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings. Part I : (2018) Editors: Hacid, Hakim; Cellary, Wojciech; (Computer scientist), Wang, Hua; Paik, Hye-Young; Zhou, Rui Other Names: International Conference on Web Information Systems Engineering, 19th Record Type: Book Extent: 1 online resource (xx, 516 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
600. Datenbanken und SQL : Eine praxisorientierte Einführung mit Anwendungen in Oracle, SQL Server und MySQL /: Eine praxisorientierte Einführung mit Anwendungen in Oracle, SQL Server und MySQL. (2017) Authors: Schicker, Edwin Record Type: Book Extent: 1 online resource (355 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗