411. Beginning ethical hacking with Python. (2017) Other Names: Sinha, Sanjib Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
412. Beginning Python : from novice to professional /: from novice to professional. ([2017]) Authors: Hetland, Magnus Lie Record Type: Book Extent: 1 online resource (xxxii, 527 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
413. Handbook of Floating-Point Arithmetic. (2018) Authors: Muller, Jean-Michel; Brunie, Nicolas; Dinechin, Florent de; Jeannerod, Claude-Pierre; Joldes, Mioara; Lefèvre, Vincent; Melquiond, Guillaume; Revol, Nathalie; Torres, Serge Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
414. Theoretical aspects of computing -- ICTAC 2018 : 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings /: 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings. (2018) Editors: (Computer scientist), Fischer, Bernd; Uustalu, Tarmo Other Names: ICTAC (Colloquium), 15th Record Type: Book Extent: 1 online resource (xvii, 533 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
415. Software Technologies : 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, revised selected papers /: 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, revised selected papers. (2015) Editors: Holzinger, Andreas; Cardoso, Jorge, 1970-; Cordeiro, José; Libourel, Thérèse; Maciaszek, Leszek; Sinderen, Marten J. van, 1958- Other Names: ICSOFT (Conference), 9th Record Type: Book Extent: 1 online resource (xvi, 385 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
416. Languages, applications and technologies : 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised selected papers /: 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised selected papers. (2015) Editors: Sierra-Rodríguez, José-Luis; Leal, José-Paulo; Simoes, Alberto, 1978- Other Names: SLATE (Symposium), 4th Record Type: Book Extent: 1 online resource (xiii, 271 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
417. Formal techniques for safety-critical systems : fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised selected papers /: fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised selected papers. (2016) Editors: Artho, Cyrille; Ölveczky, Peter Csaba Other Names: FTSCS (Workshop), 4th Record Type: Book Extent: 1 online resource (x, 271 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
418. Software technologies : 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised selected papers /: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised selected papers. (2016) Editors: Lorenz, Pascal, 1965-; Cardoso, Jorge, 1970-; Maciaszek, Leszek; Sinderen, Marten J. van, 1958- Other Names: ICSOFT (Conference), 10th Record Type: Book Extent: 1 online resource (xv, 431 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
419. Tools and methods of program analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised selected papers /: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised selected papers. (2018) Editors: Itsykson, Vladimir; Ščedrov, Andrej, 1955-; Zakharov, Victor Other Names: International Conference on Tools and Methods of Program Analysis, 4th Record Type: Book Extent: 1 online resource (xviii, 209 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
420. Software technologies : 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, Revised selected papers /: 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, Revised selected papers. (2018) Editors: Cabello, Enrique; Cardoso, Jorge; Maciaszek, Leszek A; van Sinderen, Marten Other Names: ICSOFT (Conference), 12th Record Type: Book Extent: 1 online resource (xiv, 309 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗