Limit Search Results
Author
SpringerLink (Online service)
(3702)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(38)
Apduhan, Bernady O. editor.
(37)
Dongarra, Jack. editor.
(29)
Language
Publication Date
-
2018
(423)
2011
(396)
2012
(367)
2010
(340)
2009
(332)
Subject
Computer science.
(2979)
Computer Communication Networks.
(1160)
Artificial intelligence.
(970)
Information systems.
(822)
Logic design.
(742)
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3752 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Security, Privacy, and Applied Cryptography Engineering 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings
Security, Privacy, and Applied Cryptography Engineering 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings
Author 
Bhasin, Shivam. editor. (orcid)0000-0002-6903-5127 Mendelson, Avi. editor. Nandi, Mridul. editor. (orcid)0000-0002-1029-6576 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35869-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
Author 
Zamani, Majid. editor. Zufferey, Damien. editor. (orcid)0000-0002-3197-8736 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28423-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers
Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers
Author 
Podelski, Andreas. editor. Taïani, François. editor. (orcid)0000-0002-9692-5678 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-05529-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Author 
Pérez, Jorge A. editor. (orcid)0000-0002-1452-6180 Yoshida, Nobuko. editor. (orcid)0000-0002-3925-8557 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21759-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Author 
Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872 Sampaio, Augusto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31038-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Verification and Evaluation of Computer and Communication Systems 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Author 
Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Kaâniche, Mohamed. editor. (orcid)0000-0002-2647-5472 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35092-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for A Practical Approach to High-Performance Computing
A Practical Approach to High-Performance Computing
Author 
Kurgalin, Sergei. author. Borzunov, Sergei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27558-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers
Author 
Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22559-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Progress in Cryptology – AFRICACRYPT 2019 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9–11, 2019, Proceedings
Progress in Cryptology – AFRICACRYPT 2019 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9–11, 2019, Proceedings
Author 
Buchmann, Johannes. editor. Nitaj, Abderrahmane. editor. (orcid)0000-0002-0372-1757 Rachidi, Tajjeeddine. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23696-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Parallel Computing Hits the Power Wall Principles, Challenges, and a Survey of Solutions
Parallel Computing Hits the Power Wall Principles, Challenges, and a Survey of Solutions
Author 
Francisco Lorenzon, Arthur. author. Beck Filho, Antonio Carlos Schneider. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28719-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Enterprise and Organizational Modeling and Simulation 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Selected Papers
Enterprise and Organizational Modeling and Simulation 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Selected Papers
Author 
Pergl, Robert. editor. (orcid)0000-0003-2980-4400 Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Lock, Russell. editor. (orcid)0000-0002-4543-3753 Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026 Merunka, Vojtěch. editor. (orcid)0000-0002-9056-1439
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35646-0
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Augmented Cognition 13th International Conference, AC 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings
Augmented Cognition 13th International Conference, AC 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings
Author 
Schmorrow, Dylan D. editor. Fidopiastis, Cali M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22419-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action