251. Computer aided systems theory -- EUROCAST 2017. 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised selected papers /: 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised selected papers. Part II : (2018) Editors: Moreno-Díaz, Roberto; Pichler, Franz, 1936-; Quesada Arencibia, Alexis Other Names: International Conference on Computer Aided Systems Theory, 16th Record Type: Book Extent: 1 online resource (xx, 480 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
252. Computer aided verification. 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /: 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part I : (2018) Editors: Chockler, Hana; Weissenbacher, Georg Other Names: CAV (Conference), 30th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xix, 703 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
253. Computer aided verification. 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /: 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Part II : (2018) Editors: Chockler, Hana; Weissenbacher, Georg Other Names: CAV (Conference), 30th; Federated Logic Conference Record Type: Book Extent: 1 online resource (xx, 545 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
254. Computer algebra and polynomials : applications of algebra and number theory /: applications of algebra and number theory. ([2015]) Editors: Schicho, Josef, 1964-; Weimann, Martin Other Names: Gutierrez, Jaime, 1959-; Workshop on Computer Algebra and Polynomials Record Type: Book Extent: 1 online resource (ix, 213 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
255. Computer algebra in scientific computing : 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings /: 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings. (2016) Editors: Gerdt, V. P; Koepf, Wolfram; Seiler, Werner M (Werner Markus); Vorozhtsov, E. V (Evgenii Vasilʹevich), 1946- Other Names: CASC (Workshop : 2001- ), 18th Record Type: Book Extent: 1 online resource (xiii, 513 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
256. Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings /: 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings. (2017) Editors: Gerdt, V. P; Koepf, Wolfram; Seiler, Werner M (Werner Markus); Vorozhtsov, E. V (Evgenii Vasilʹevich), 1946- Other Names: CASC (Workshop : 2001- ), 19th Record Type: Book Extent: 1 online resource (XIII, 407 pages), 75 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
257. Computer algebra in scientific computing : 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings /: 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings. (2018) Editors: Gerdt, V. P; Koepf, Wolfram; Seiler, Werner M (Werner Markus); Vorozhtsov, E. V (Evgenii Vasilʹevich), 1946- Other Names: CASC (Workshop : 2001- ), 20th Record Type: Book Extent: 1 online resource (xiii, 379 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
258. Computer information systems and industrial management : 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings /: 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings. (2016) Editors: (Computer scientist), Saeed, Khalid; Homenda, Władysław Other Names: International Conference on Computer Information Systems and Industrial Management Applications, 15th Record Type: Book Extent: 1 online resource (xxiv, 754 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
259. Computer information systems and industrial management : 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings /: 16th IFIP TC8 International Conference, CISIM 2017, Bialystok, Poland, June 16-18, 2017, Proceedings. (2017) Editors: (Computer scientist), Saeed, Khalid; Homenda, Władysław; Chaki, Rituparna Other Names: International Conference on Computer Information Systems and Industrial Management Applications, 16th Record Type: Book Extent: 1 online resource (xxii, 710 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
260. Computer performance engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings /: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings. (2018) Editors: Bakhshi, Rena; Ballarini, Paolo; Barbot, Benoît; Castel-Taleb, Hind; Remke, Anne Other Names: EPEW (Workshop), 15th Record Type: Book Extent: 1 online resource (xvi, 265 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗