681. Euro-Par 2018 : parallel processing : 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings /: parallel processing : 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings. (2018) Editors: Aldinucci, Marco; Padovani, Luca; Torquati, Massimo Other Names: International EURO-PAR Conference, 24th Record Type: Book Extent: 1 online resource (XLIV, 829 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
682. Declarative programming and knowledge management : Conference on Declarative Programming, DECLARE 2017, unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised selected papers /: Conference on Declarative Programming, DECLARE 2017, unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised selected papers. (2018) Editors: Seipel, Dietmar; Hanus, Michael, 1959-; Abreu, Salvador, 1961- Other Names: DECLARE (Conference); International Conference on Applications of Declarative Programming and Knowledge Management, 21st; WLP (Workshop), 31st; WFLP (Workshop), 25th Record Type: Book Extent: 1 online resource (x, 215 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
683. DNA computing and molecular programming : 24th International Conference, DNA 24, Jinan, China, October 8-12, 2018, Proceedings /: 24th International Conference, DNA 24, Jinan, China, October 8-12, 2018, Proceedings. (2018) Editors: Doty, David; Dietz, Hendrik Other Names: International Conference on DNA Computing and Molecular Programming, 24th Record Type: Book Extent: 1 online resource (xiv, 209 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
684. Automated technology for verification and analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. (2018) Editors: Lahiri, Shuvendu; Wang, Chao, 1985- Other Names: ATVA (Symposium), 16th Record Type: Book Extent: 1 online resource (xiii, 560 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
685. Das C++ Tutorial : Crash-Kurs und Repetitorium für Ingenieure und Naturwissenschaftler /: Crash-Kurs und Repetitorium für Ingenieure und Naturwissenschaftler. (2018) Authors: Stadler, Andreas; Tholen, Marco Record Type: Book Extent: 1 online resource (323 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
686. Introduction to parallel computing : from algorithms to programming on state-of-the-art platforms /: from algorithms to programming on state-of-the-art platforms. (2018) Authors: Trobec, Roman; Slivnik, Boštjan; Bulić, Patricio; Robič, Borut, 1960- Record Type: Book Extent: 1 online resource (xii, 256 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
687. Tools for high performance computing 2016 : proceedings of the 10th International Workshop on Parallel Tools for High Performance Computing, October 2016, Stuttgart, Germany /: proceedings of the 10th International Workshop on Parallel Tools for High Performance Computing, October 2016, Stuttgart, Germany. (2017) Editors: Niethammer, Christoph; Gracia, J (Jose); Hilbrich, Tobias; Knüpfer, Andreas; Resch, Michael M; Nagel, Wolfgang E Other Names: International Workshop on Parallel Tools for High Performance Computing, 10th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
688. Theoretical computer science : 36th National Conference, NCTCS 2018, Shanghai, China, October 13-14, 2018, Proceedings /: 36th National Conference, NCTCS 2018, Shanghai, China, October 13-14, 2018, Proceedings. (2018) Editors: Li, Lian, 1951-; Lu, Pinyan; He, Kun Other Names: NCTCS (Conference), 36th Record Type: Book Extent: 1 online resource (ix, 159 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
689. Mastering Java 11 : develop modular and secure Java applications using concurrency and advanced DJK libraries /: develop modular and secure Java applications using concurrency and advanced DJK libraries. (2017) Authors: Jr, Lavieri, Edward D Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
690. Beginning C# 7 hands-on : advanced language features : learn the advanced-level features of C# 7 using Visual studio 2017 /: advanced language features : learn the advanced-level features of C# 7 using Visual studio 2017. (2017) Authors: Owsiak, Tom Record Type: Book Extent: 1 online resource (1 volume), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗