Search Results for Computer science -- History. - Narrowed by: 2017 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience$002b--$002bHistory.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092017$0025092017$0026ps$003d300? 2026-06-16T12:14:49Z Calculation and Computation in the Pre-electronic Era The Mechanical and Electrical Ages ent://SD_ILS/0/SD_ILS:617761 2026-06-16T12:14:49Z 2026-06-16T12:14:49Z Author&#160;Tympas, Aristotle. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-84882-742-4">https://doi.org/10.1007/978-1-84882-742-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Springer Handbook of Model-Based Science ent://SD_ILS/0/SD_ILS:611998 2026-06-16T12:14:49Z 2026-06-16T12:14:49Z Author&#160;Magnani, Lorenzo. editor.&#160;Bertolotti, Tommaso. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-30526-4">https://doi.org/10.1007/978-3-319-30526-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications ent://SD_ILS/0/SD_ILS:617536 2026-06-16T12:14:49Z 2026-06-16T12:14:49Z Author&#160;O'Regan, Gerard. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Informatics in the Future Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015 ent://SD_ILS/0/SD_ILS:612435 2026-06-16T12:14:49Z 2026-06-16T12:14:49Z Author&#160;Werthner, Hannes. editor.&#160;van Harmelen, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-55735-9">https://doi.org/10.1007/978-3-319-55735-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>