761. Machine learning and intelligent communications : Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, proceedings /: Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, proceedings. (2018) Editors: Meng, Limin; Zhang, Yan Other Names: International Conference on Machine Learning and Intelligent Communications, 3rd Record Type: Book Extent: 1 online resource (xvii, 675 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
762. Präzises Denken für Informatiker. (2017) Authors: Wolf, Karsten Record Type: Book Extent: 1 online resource (184 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
763. Rational points on elliptic curves. (2015) Authors: Silverman, Joseph H, 1955-; Tate, John Torrence, 1925-2019 Record Type: Book Extent: 1 online resource (xxii, 332 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
764. Formal modeling and analysis of timed systems : 18th International Conference, FORMATS 2020 Vienna, Austria, September 1-3, 2020 Proceedings /: 18th International Conference, FORMATS 2020 Vienna, Austria, September 1-3, 2020 Proceedings. (2020) Other Names: (Researcher), Bertrand, Nathalie; Jansen, Nils; FORMATS (Conference), 18th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
765. Cloud computing for logistics. ([2015]) Editors: Ten Hompel, Michael; Rehof, Jakob; Wolf, Oliver Record Type: Book Extent: 1 online resource (vii, 139 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
766. Discovery science : 19th International Conference, DS 2016, Bari, Italy, October 19-21, 2016, Proceedings /: 19th International Conference, DS 2016, Bari, Italy, October 19-21, 2016, Proceedings. (2016) Editors: Calders, Toon; Ceci, Michelangelo; Malerba, Donato Other Names: International Conference on Discovery Science, 19th Record Type: Book Extent: 1 online resource (xxi, 492 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
767. Artificial general intelligence : 9th International Conference, AGI 2016, New York, NY, July 16-19, 2016, proceedings /: 9th International Conference, AGI 2016, New York, NY, July 16-19, 2016, proceedings. (2016) Editors: Steunebrink, Bas (Bas R.); Wang, Pei; Goertzel, Ben Other Names: AGI (Conference), 9th Record Type: Book Extent: 1 online resource (xi, 364 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
768. Knowledge management and acquisition for intelligent systems : 14th Pacific Rim Knowledge Acquisition Workshop, PKAW 2016, Phuket, Thailand, August 22-23, 2016. Proceedings /: 14th Pacific Rim Knowledge Acquisition Workshop, PKAW 2016, Phuket, Thailand, August 22-23, 2016. Proceedings. (2016) Editors: Ohwada, Hayato; Yoshida, Kenichi Other Names: Pacific Rim Knowledge Acquisition Workshop, 14th Record Type: Book Extent: 1 online resource (x, 281 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
769. Optimization and applications in control and data sciences : in honor of Boris T. Polyak's 80th birthday /: in honor of Boris T. Polyak's 80th birthday. (2016) Editors: Goldengorin, Boris Other Names: Poli︠a︡k, B. T (Boris Teodorovich) honouree. Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
770. Advances in neural networks -- ISNN 2016 : 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings /: 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings. (2016) Editors: Cheng, Long; Liu, Qingshan; Ronzhin, A. L (Andreĭ Leonidovich) Other Names: International Symposium on Neural Networks, 13th Record Type: Book Extent: 1 online resource (xx, 741 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗