Search Results for History - Narrowed by: English - Online Library - Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dHistory$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2024-09-09T15:57:16ZFamily History Digital Librariesent://SD_ILS/0/SD_ILS:3993072024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Bainbridge, William Sims. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01063-8">https://doi.org/10.1007/978-3-030-01063-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Brief History of Computingent://SD_ILS/0/SD_ILS:1734322024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2359-0">http://dx.doi.org/10.1007/978-1-4471-2359-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Brief History of Computingent://SD_ILS/0/SD_ILS:1757032024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor O’Regan, Gerard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-084-1">http://dx.doi.org/10.1007/978-1-84800-084-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>History of Cryptography and Cryptanalysis Codes, Ciphers, and Their Algorithmsent://SD_ILS/0/SD_ILS:4004242024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Dooley, John F. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90443-6">https://doi.org/10.1007/978-3-319-90443-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Brief History of Everything Wireless How Invisible Waves Have Changed the Worldent://SD_ILS/0/SD_ILS:4014062024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Launiainen, Petri. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78910-1">https://doi.org/10.1007/978-3-319-78910-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reflections on the History of Computers in Education Early Use of Computers and Teaching about Computing in Schoolsent://SD_ILS/0/SD_ILS:4891172024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Tatnall, Arthur. editor. Davey, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55119-2">https://doi.org/10.1007/978-3-642-55119-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Motion History Images for Action Recognition and Understandingent://SD_ILS/0/SD_ILS:3310462024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Ahad, Md. Atiqur Rahman. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331046.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4730-5">http://dx.doi.org/10.1007/978-1-4471-4730-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Brief History of Cryptology and Cryptographic Algorithmsent://SD_ILS/0/SD_ILS:3328812024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Dooley, John F. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332881.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-01628-3">http://dx.doi.org/10.1007/978-3-319-01628-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Making the History of Computing Relevant IFIP WG 9.7 International Conference, HC 2013, London, UK, June 17-18, 2013, Revised Selected Papersent://SD_ILS/0/SD_ILS:3351362024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Tatnall, Arthur. editor. Blyth, Tilly. editor. Johnson, Roger, 1942 editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335136.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41650-7">http://dx.doi.org/10.1007/978-3-642-41650-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The History of Visual Magic in Computers How Beautiful Images are Made in CAD, 3D, VR and ARent://SD_ILS/0/SD_ILS:3311012024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Peddie, Jon. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331101.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4932-3">http://dx.doi.org/10.1007/978-1-4471-4932-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reflections on the History of Computing Preserving Memories and Sharing Storiesent://SD_ILS/0/SD_ILS:1974442024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Tatnall, Arthur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33899-1">http://dx.doi.org/10.1007/978-3-642-33899-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>History of Nordic Computing 3 Third IFIP WG 9.7 Conference, HiNC 3, Stockholm, Sweden, October 18-20, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1953062024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Impagliazzo, John. editor. Lundin, Per. editor. Wangler, Benkt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23315-9">http://dx.doi.org/10.1007/978-3-642-23315-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>History of Computing. Learning from the Past IFIP WG 9.7 International Conference, HC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1928922024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Tatnall, Arthur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15199-6">http://dx.doi.org/10.1007/978-3-642-15199-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>History of Nordic Computing 2 Second IFIP WG 9.7 Conference, HiNC2, Turku, Finland, August 21-23, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:1907282024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Impagliazzo, John. editor. Järvi, Timo. editor. Paju, Petri. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03757-3">http://dx.doi.org/10.1007/978-3-642-03757-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>25 Years of Model Checking History, Achievements, Perspectivesent://SD_ILS/0/SD_ILS:1859092024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Grumberg, Orna. editor. Veith, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69850-0">http://dx.doi.org/10.1007/978-3-540-69850-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>On the Way to the Web The Secret History of the Internet and its Foundersent://SD_ILS/0/SD_ILS:1711092024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Banks, Michael A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0870-9">http://dx.doi.org/10.1007/978-1-4302-0870-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>History of Computing and Education 3 (Hce3) IFIP 20th World Computer Congress, Proceedings of the Third IFIP Conference on the History of Computing and Education WG 9.7/TC9, History of Computing, September 7-10, 2008, Milano, Italyent://SD_ILS/0/SD_ILS:1647352024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Impagliazzo, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-09657-5">http://dx.doi.org/10.1007/978-0-387-09657-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>History of Computing and Education 2 (HCE2) IFIP 19th World Computer Congress, WG 9.7, TC 9: History of Computing, Proceedings of the Second Conference on the History of Computing and Education, August 21–24, 2006, Santiago, Chileent://SD_ILS/0/SD_ILS:1660712024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Impagliazzo, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-34741-7">http://dx.doi.org/10.1007/978-0-387-34741-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An Annotated Timeline of Operations Research: An Informal Historyent://SD_ILS/0/SD_ILS:1700502024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Gass, Saul I. author. Assad, Arjang A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105998">http://dx.doi.org/10.1007/b105998</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>History of Nordic Computing IFIP WG9.7 First Working Conference on the History of Nordic Computing (HiNC1), June 16–18, 2003, Trondheim, Norwayent://SD_ILS/0/SD_ILS:1650222024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Bubenko, Janis. editor. Impagliazzo, John. editor. Sølvberg, Arne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104638">http://dx.doi.org/10.1007/b104638</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An Annotated Timeline of Operations Research An Informal Historyent://SD_ILS/0/SD_ILS:1651922024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Gass, Saul I. author. Assad, Arjang A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105998">http://dx.doi.org/10.1007/b105998</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Historical Studies in Computing, Information, and Society Insights from the Flatiron Lecturesent://SD_ILS/0/SD_ILS:4841992024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Aspray, William. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-18955-6">https://doi.org/10.1007/978-3-030-18955-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computers in Swedish Society Documenting Early Use and Trendsent://SD_ILS/0/SD_ILS:1735032024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Lundin, Per. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-2933-2">http://dx.doi.org/10.1007/978-1-4471-2933-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Science of Operations Machines, Logic and the Invention of Programmingent://SD_ILS/0/SD_ILS:1760072024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Priestley, Mark. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-555-0">http://dx.doi.org/10.1007/978-1-84882-555-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Moving Targets Elliott-Automation and the Dawn of the Computer Age in Britain, 1947 – 67ent://SD_ILS/0/SD_ILS:1761042024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Lavington, Simon. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-933-6">http://dx.doi.org/10.1007/978-1-84882-933-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Electronic Value Exchange Origins of the VISA Electronic Payment Systement://SD_ILS/0/SD_ILS:1761682024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Stearns, David L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-139-4">http://dx.doi.org/10.1007/978-1-84996-139-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Robert Recorde Tudor Polymath, Expositor and Practitioner of Computationent://SD_ILS/0/SD_ILS:1686152024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Williams, Jack. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-862-1">http://dx.doi.org/10.1007/978-0-85729-862-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reflections on the Work of C.A.R. Hoareent://SD_ILS/0/SD_ILS:1761002024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Roscoe, A.W. editor. Jones, Cliff B. editor. Wood, Kenneth R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-912-1">http://dx.doi.org/10.1007/978-1-84882-912-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Technology for Modelling Electrical Analogies, Engineering Practice, and the Development of Analogue Computingent://SD_ILS/0/SD_ILS:1761092024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Care, Charles. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-948-0">http://dx.doi.org/10.1007/978-1-84882-948-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Routines of Substitution John von Neumann’s Work on Software Development, 1945–1948ent://SD_ILS/0/SD_ILS:3994342024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Priestley, Mark. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91671-2">https://doi.org/10.1007/978-3-319-91671-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Innovation in Computing Companion A Compendium of Select, Pivotal Inventionsent://SD_ILS/0/SD_ILS:3989452024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor O’Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02619-6">https://doi.org/10.1007/978-3-030-02619-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Making of a New Science A Personal Journey Through the Early Years of Theoretical Computer Scienceent://SD_ILS/0/SD_ILS:3993602024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Ausiello, Giorgio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62680-2">https://doi.org/10.1007/978-3-319-62680-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Electric Century How the Taming of Lightning Shaped the Modern Worldent://SD_ILS/0/SD_ILS:4013502024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Williams, J.B. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51155-9">https://doi.org/10.1007/978-3-319-51155-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>World of Computing A Primer Companion for the Digital Ageent://SD_ILS/0/SD_ILS:4007322024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75844-2">https://doi.org/10.1007/978-3-319-75844-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contextsent://SD_ILS/0/SD_ILS:3310022024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor O’Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331002.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4534-9">http://dx.doi.org/10.1007/978-1-4471-4534-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Giants of Computing A Compendium of Select, Pivotal Pioneersent://SD_ILS/0/SD_ILS:3311942024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor O’Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331194.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5340-5">http://dx.doi.org/10.1007/978-1-4471-5340-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Social Semantics The Search for Meaning on the Webent://SD_ILS/0/SD_ILS:3312892024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Halpin, Harry. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331289.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1885-6">http://dx.doi.org/10.1007/978-1-4614-1885-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Strength in Numbers: The Rising of Academic Statistics Departments in the U. S.ent://SD_ILS/0/SD_ILS:3313612024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Agresti, Alan. editor. Meng, Xiao-Li. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331361.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-3649-2">http://dx.doi.org/10.1007/978-1-4614-3649-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Methodent://SD_ILS/0/SD_ILS:3361572024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Cellucci, Carlo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336157.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-6091-2">http://dx.doi.org/10.1007/978-94-007-6091-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Agreement Technologiesent://SD_ILS/0/SD_ILS:3360092024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Ossowski, Sascha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336009.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5583-3">http://dx.doi.org/10.1007/978-94-007-5583-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Network Geeks How They Built the Internetent://SD_ILS/0/SD_ILS:3311202024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Carpenter, Brian E. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331120.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5025-1">http://dx.doi.org/10.1007/978-1-4471-5025-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Scientific Computing and Cultural Heritage Contributions in Computational Humanitiesent://SD_ILS/0/SD_ILS:3331712024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Bock, Hans Georg. editor. Jäger, Willi. editor. Winckler, Michael J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333171.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28021-4">http://dx.doi.org/10.1007/978-3-642-28021-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physikent://SD_ILS/0/SD_ILS:3330362024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333036.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70856-8">http://dx.doi.org/10.1007/978-3-540-70856-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Aliasing in Object-Oriented Programming. Types, Analysis and Verificationent://SD_ILS/0/SD_ILS:3343272024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334327.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36946-9">http://dx.doi.org/10.1007/978-3-642-36946-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Power of Algorithms Inspiration and Examples in Everyday Lifeent://SD_ILS/0/SD_ILS:3348312024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Ausiello, Giorgio. editor. Petreschi, Rossella. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334831.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39652-6">http://dx.doi.org/10.1007/978-3-642-39652-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3342802024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.<br/>Preferred Shelf Number ONLINE(334280.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36751-9">http://dx.doi.org/10.1007/978-3-642-36751-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010ent://SD_ILS/0/SD_ILS:3351042024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Lipton, Richard J. author. Regan, Kenneth W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335104.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41422-0">http://dx.doi.org/10.1007/978-3-642-41422-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digitized the science of computers and how it shapes our worldent://SD_ILS/0/SD_ILS:2792782024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Bentley, Peter, 1972-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=444370">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=444370</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Reality of the Artificial Nature, Technology and Naturoidsent://SD_ILS/0/SD_ILS:1967492024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Negrotti, Massimo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29679-6">http://dx.doi.org/10.1007/978-3-642-29679-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technologyent://SD_ILS/0/SD_ILS:1917642024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11682-7">http://dx.doi.org/10.1007/978-3-642-11682-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Science between Europe and Asia Historical Studies on the Transmission, Adoption and Adaptation of Knowledgeent://SD_ILS/0/SD_ILS:2056452024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Günergun, Feza. editor. Raina, Dhruv. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9968-6">http://dx.doi.org/10.1007/978-90-481-9968-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Variaent://SD_ILS/0/SD_ILS:1884172024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Fraser, Craig G. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79384-7">http://dx.doi.org/10.1007/978-3-540-79384-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Origins and Foundations of Computing In Cooperation with Heinz Nixdorf MuseumsForument://SD_ILS/0/SD_ILS:1904832024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Bauer, Friedrich L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02992-9">http://dx.doi.org/10.1007/978-3-642-02992-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Roots of Modern Technology An Elegant Survey of the Basic Mathematical and Scientific Conceptsent://SD_ILS/0/SD_ILS:1918762024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Wendt, Siegfried. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12062-6">http://dx.doi.org/10.1007/978-3-642-12062-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Origins and Successors of the Compact Disc Contributions of Philips to Optical Storageent://SD_ILS/0/SD_ILS:1705702024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Peek, Hans. author. Bergmans, Jan. author. Haaren, Jos van. author. Toolenaar, Frank. author. Stan, Sorin. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9553-5">http://dx.doi.org/10.1007/978-1-4020-9553-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ernst Zermelo An Approach to His Life and Workent://SD_ILS/0/SD_ILS:1852262024-09-09T15:57:16Z2024-09-09T15:57:16ZAuthor Ebbinghaus, Heinz-Dieter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-49553-6">http://dx.doi.org/10.1007/978-3-540-49553-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>