Limit Search Results
Author
SpringerLink (Online service)
(944)
Shenoi, Sujeet. editor.
(10)
Wimmer, Maria A. editor.
(10)
Boer, Frank S. editor.
(9)
Bonsangue, Marcello M. editor.
(9)
Language
Publication Date
-
Subject
Operating systems (Computers).
(530)
Software engineering.
(391)
Computer Communication Networks.
(390)
Information systems.
(194)
Data encryption (Computer science).
(149)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
964 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Informatics Education – The Bridge between Using and Understanding Computers International Conference in Informatics in Secondary Schools – Evolution and Perspectives, ISSEP 2006, Vilnius, Lithuania, November 7-11, 2006. Proceedings
Informatics Education – The Bridge between Using and Understanding Computers International Conference in Informatics in Secondary Schools – Evolution and Perspectives, ISSEP 2006, Vilnius, Lithuania, November 7-11, 2006. Proceedings
Author 
Mittermeir, Roland T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11915355
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Social Informatics: An Information Society for all? In Remembrance of Rob Kling Proceedings of the Seventh International Conference on Human Choice and Computers (HCC7), IFIP TC 9, Maribor, Slovenia, September 21–23, 2006
Social Informatics: An Information Society for all? In Remembrance of Rob Kling Proceedings of the Seventh International Conference on Human Choice and Computers (HCC7), IFIP TC 9, Maribor, Slovenia, September 21–23, 2006
Author 
Berleur, Jacques. editor. Nurminen, Markku I. editor. Impagliazzo, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-37876-3
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for People and Computers XIX — The Bigger Picture Proceedings of HCI 2005
People and Computers XIX — The Bigger Picture Proceedings of HCI 2005
Author 
McEwan, Tom. editor. Gulliksen, Jan. editor. Benyon, David. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-249-7
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Numerical Solution of Partial Differential Equations on Parallel Computers
Numerical Solution of Partial Differential Equations on Parallel Computers
Author 
Bruaset, Are Magnus. editor. Tveito, Aslak. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-31619-1
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Perspectives and Policies on ICT in Society An IFIP TC9 (Computers and Society) Handbook
Perspectives and Policies on ICT in Society An IFIP TC9 (Computers and Society) Handbook
Author 
Berleur, Jacques. editor. Avgerou, Chrisanthi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135654
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for People and Computers XVIII — Design for Life Proceedings of HCI 2004
People and Computers XVIII — Design for Life Proceedings of HCI 2004
Author 
Fincher, Sally. editor. Markopoulos, Panos. editor. Moore, David. editor. Ruddle, Roy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138141
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for EMERGING TRENDS IN COMPUTER SCIENCE AND ITS APPLICATION
EMERGING TRENDS IN COMPUTER SCIENCE AND ITS APPLICATION
Author 
Tiwari, Anurag. Darbari, Manuj.
Preferred Shelf Number 
QA76
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003606635
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings
PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings
Author 
Arisaka, Ryuta. editor. (orcid)0000-0003-3203-1517 Sanchez-Anguix, Victor. editor. (orcid)0000-0003-4851-0037 Stein, Sebastian. editor. (orcid)0000-0003-2858-8857 Aydoğan, Reyhan. editor. (orcid)0000-0002-5260-9999 van der Torre, Leon. editor. (orcid)0000-0003-4330-3717
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-77367-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings
Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings
Author 
Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Schwank, Inge. editor. (orcid)0000-0003-1546-3369 Staub, Jacqueline. editor. (orcid)0009-0004-7864-5711 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73257-7
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73709-1
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75380-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action