1481. Einführung in Unix/Linux für Naturwissenschaftler : Effizientes wissenschaftliches Arbeiten mit der Unix-Kommandozeile /: Effizientes wissenschaftliches Arbeiten mit der Unix-Kommandozeile. (2017) Authors: Erben, Thomas Record Type: Book Extent: 1 online resource (222 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1482. Logic for programming, artificial intelligence, and reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings. ([2015]) Other Names: Davis, Martin; Fehnker, Ansgar editor of compilation.; McIver, Annabelle editor of compilation.; Voronkov, Andrei editor of compilation.; LPAR (Conference), 20th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1483. Software engineering and formal methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised selected papers /: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised selected papers. (2015) Editors: Bianculli, Domenico; Calinescu, Radu C, 1968-; Rumpe, Bernhard Other Names: International Conference on Software Engineering and Formal Methods, 13th; ATSE (Workshop), 6th; HOFM (Workshop), 2nd; MoKMaSD (Workshop), 4th; VERY*SCART (Workshop), 1st Record Type: Book Extent: 1 online resource (xxix, 325 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1484. SOFSEM 2016 : theory and practice of computer science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings /: theory and practice of computer science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings. (2016) Editors: Freĭvald, R. V; Engels, G; Catania, Barbara, 1969- Other Names: SOFSEM (Conference), 42nd Record Type: Book Extent: 1 online resource (xv, 630 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1485. Fundamental approaches to software engineering : 19th International Conference, FASE 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016. Proceedings /: 19th International Conference, FASE 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016. Proceedings. (2016) Editors: Stevens, Perdita; Wąsowski, Andrzej Other Names: FASE (Conference), 19th; ETAPS (Conference), 16th Record Type: Book Extent: 1 online resource (xiii, 436 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1486. Perspectives of system informatics : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised selected papers /: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised selected papers. (2015) Editors: Voronkov, Andrei, 1959-; Virbitskaite, Irina Other Names: International Andrei Ershov Memorial Conference, 9th Record Type: Book Extent: 1 online resource (xiii, 415 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1487. Verification, model checking, and abstract interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings. (2016) Editors: Jobstmann, Barbara; Leino, K. Rustan M Other Names: VMCAI (Conference), 17th Record Type: Book Extent: 1 online resource (xiii, 558 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1488. Transactions on aspect-oriented software development XII. (2015) Editors: Chiba, Shigeru, 1968-; Tanter, Éric; Ernst, Erik; Prof. Dr, Hirschfeld, Robert Record Type: Book Extent: 1 online resource (ix, 221 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1489. Foundations of software science and computation structures : 20th International Conference, FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /: 20th International Conference, FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. (2017) Editors: Esparza, Javier; Murawski, Andrzej S Other Names: FOSSACS (Conference), 20th; ETAPS (Conference), 20th, jointly held conference Record Type: Book Extent: 1 online resource (xvii, 568 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
1490. Transactions on computational science XXXI : special issue on signal processing and security in distributed systems /: special issue on signal processing and security in distributed systems. ([2018]) Editors: Gavrilova, Marina L; Tan, C. J. Kenneth (Chih Jeng Kenneth); Chaki, Nabendu; (Computer scientist), Saeed, Khalid Record Type: Book Extent: 1 online resource (XV, 155 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗