Limit Search Results
Author
SpringerLink (Online service)
(34)
Impagliazzo, John. editor.
(5)
Tatnall, Arthur. editor.
(4)
Dooley, John F. author.
(2)
O'Regan, Gerard. author.
(2)
Language
Publication Date
-
Subject
History of Computing.
(11)
Education.
(7)
Science -- History.
(6)
Theory of Computation.
(5)
Artificial intelligence.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
34 Results Found Subscribe to search results
0000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for A Brief History of Computing
A Brief History of Computing
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2359-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for A Brief History of Computing
A Brief History of Computing
Author 
O’Regan, Gerard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-084-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for History and Philosophy of Computing Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers
History and Philosophy of Computing Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers
Author 
Gadducci, Fabio. editor. Tavosanis, Mirko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47286-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Reflections on the History of Computers in Education Early Use of Computers and Teaching about Computing in Schools
Reflections on the History of Computers in Education Early Use of Computers and Teaching about Computing in Schools
Author 
Tatnall, Arthur. editor. Davey, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55119-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Making the History of Computing Relevant IFIP WG 9.7 International Conference, HC 2013, London, UK, June 17-18, 2013, Revised Selected Papers
Making the History of Computing Relevant IFIP WG 9.7 International Conference, HC 2013, London, UK, June 17-18, 2013, Revised Selected Papers
Author 
Tatnall, Arthur. editor. Blyth, Tilly. editor. Johnson, Roger, 1942 editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335136.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41650-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Reflections on the History of Computing Preserving Memories and Sharing Stories
Reflections on the History of Computing Preserving Memories and Sharing Stories
Author 
Tatnall, Arthur. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33899-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for History of Nordic Computing 3 Third IFIP WG 9.7 Conference, HiNC 3, Stockholm, Sweden, October 18-20, 2010, Revised Selected Papers
History of Nordic Computing 3 Third IFIP WG 9.7 Conference, HiNC 3, Stockholm, Sweden, October 18-20, 2010, Revised Selected Papers
Author 
Impagliazzo, John. editor. Lundin, Per. editor. Wangler, Benkt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23315-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for 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. Proceedings
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. Proceedings
Author 
Tatnall, Arthur. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-15199-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for History of Nordic Computing 2 Second IFIP WG 9.7 Conference, HiNC2, Turku, Finland, August 21-23, 2007, Revised Selected Papers
History of Nordic Computing 2 Second IFIP WG 9.7 Conference, HiNC2, Turku, Finland, August 21-23, 2007, Revised Selected Papers
Author 
Impagliazzo, John. editor. Järvi, Timo. editor. Paju, Petri. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03757-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for 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, Italy
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, Italy
Author 
Impagliazzo, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09657-5
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for 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, Chile
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, Chile
Author 
Impagliazzo, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-34741-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for History of Nordic Computing IFIP WG9.7 First Working Conference on the History of Nordic Computing (HiNC1), June 16–18, 2003, Trondheim, Norway
History of Nordic Computing IFIP WG9.7 First Working Conference on the History of Nordic Computing (HiNC1), June 16–18, 2003, Trondheim, Norway
Author 
Bubenko, Janis. editor. Impagliazzo, John. editor. Sølvberg, Arne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104638
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Historical Studies in Computing, Information, and Society Insights from the Flatiron Lectures
Historical Studies in Computing, Information, and Society Insights from the Flatiron Lectures
Author 
Aspray, William. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18955-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for History of Cryptography and Cryptanalysis Codes, Ciphers, and Their Algorithms
History of Cryptography and Cryptanalysis Codes, Ciphers, and Their Algorithms
Author 
Dooley, John F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90443-6
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Computers in Swedish Society Documenting Early Use and Trends
Computers in Swedish Society Documenting Early Use and Trends
Author 
Lundin, Per. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2933-2
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Robert Recorde Tudor Polymath, Expositor and Practitioner of Computation
Robert Recorde Tudor Polymath, Expositor and Practitioner of Computation
Author 
Williams, Jack. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-862-1
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for A Science of Operations Machines, Logic and the Invention of Programming
A Science of Operations Machines, Logic and the Invention of Programming
Author 
Priestley, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-555-0
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Electronic Value Exchange Origins of the VISA Electronic Payment System
Electronic Value Exchange Origins of the VISA Electronic Payment System
Author 
Stearns, David L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-139-4
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Moving Targets Elliott-Automation and the Dawn of the Computer Age in Britain, 1947 – 67
Moving Targets Elliott-Automation and the Dawn of the Computer Age in Britain, 1947 – 67
Author 
Lavington, Simon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-933-6
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Reflections on the Work of C.A.R. Hoare
Reflections on the Work of C.A.R. Hoare
Author 
Roscoe, A.W. editor. Jones, Cliff B. editor. Wood, Kenneth R. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-912-1
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Technology for Modelling Electrical Analogies, Engineering Practice, and the Development of Analogue Computing
Technology for Modelling Electrical Analogies, Engineering Practice, and the Development of Analogue Computing
Author 
Care, Charles. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-948-0
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Routines of Substitution John von Neumann’s Work on Software Development, 1945–1948
Routines of Substitution John von Neumann’s Work on Software Development, 1945–1948
Author 
Priestley, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91671-2
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
Author 
Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95908-0
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
Unveiling Dynamics and Complexity 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
Author 
Kari, Jarkko. editor. Manea, Florin. editor. Petre, Ion. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58741-7
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44561-8
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings
Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings
Author 
Beckmann, Arnold. editor. Bienvenu, Laurent. editor. Jonoska, Nataša. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40189-8
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Network Geeks How They Built the Internet
Network Geeks How They Built the Internet
Author 
Carpenter, Brian E. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331120.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5025-1
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Giants of Computing A Compendium of Select, Pivotal Pioneers
Giants of Computing A Compendium of Select, Pivotal Pioneers
Author 
O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331194.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5340-5
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Social Semantics The Search for Meaning on the Web
Social Semantics The Search for Meaning on the Web
Author 
Halpin, Harry. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331289.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1885-6
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for A Brief History of Cryptology and Cryptographic Algorithms
A Brief History of Cryptology and Cryptographic Algorithms
Author 
Dooley, John F. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332881.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01628-3
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for The Power of Algorithms Inspiration and Examples in Everyday Life
The Power of Algorithms Inspiration and Examples in Everyday Life
Author 
Ausiello, Giorgio. editor. Petreschi, Rossella. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334831.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39652-6
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010
People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010
Author 
Lipton, Richard J. author. Regan, Kenneth W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335104.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41422-0
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers
Membrane Computing 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers
Author 
Csuhaj-Varjú, Erzsébet. editor. Gheorghe, Marian. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Vaszil, György. editor.
Preferred Shelf Number 
ONLINE(334280.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36751-9
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
Author 
Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334327.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36946-9
Format: 
Availability 
Online Library~1
Available:
Copies: