Limit Search Results
Author
SpringerLink (Online service)
(274)
Halang, Wolfgang A. editor.
(6)
Holleczek, Peter. editor.
(6)
Prasanna, Viktor K. editor.
(6)
Liu, Chunfeng. editor.
(5)
Language
Publication Date
-
2018
(73)
2009
(48)
2005
(30)
2008
(25)
2007
(19)
Subject
Software engineering.
(272)
Computer science.
(238)
Computer Communication Networks.
(73)
Operating systems (Computers).
(53)
Computer software.
(47)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
274 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Author 
Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00244-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings
Provable Security 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings
Author 
Baek, Joonsang. editor. Susilo, Willy. editor. Kim, Jongkil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01446-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings
Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings
Author 
Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-2423-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Artificial General Intelligence 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings
Artificial General Intelligence 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings
Author 
Iklé, Matthew. editor. Franz, Arthur. editor. Rzepka, Rafal. editor. Goertzel, Ben. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97676-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for New Trends in Information and Communications Technology Applications Third International Conference, NTICT 2018, Baghdad, Iraq, October 2–4, 2018, Proceedings
New Trends in Information and Communications Technology Applications Third International Conference, NTICT 2018, Baghdad, Iraq, October 2–4, 2018, Proceedings
Author 
Al-mamory, Safaa O. editor. (orcid)0000-0003-3144-8222 Alwan, Jwan K. editor. Hussein, Ali D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01653-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03424-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03421-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers
Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers
Author 
Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99673-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety 14th International Conference, BDAS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings
Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety 14th International Conference, BDAS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings
Author 
Kozielski, Stanisław. editor. Mrozek, Dariusz. editor. (orcid)0000-0001-6764-6656 Kasprowski, Paweł. editor. (orcid)0000-0002-2090-335X Małysiak-Mrozek, Bożena. editor. (orcid)0000-0003-4977-4915 Kostrzewa, Daniel. editor. (orcid)0000-0003-2781-3709
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99987-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Cloud Computing and Security 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V
Cloud Computing and Security 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V
Author 
Sun, Xingming. editor. (orcid)0000-0001-7982-726X Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X Bertino, Elisa. editor. (orcid)0000-0002-4029-7051 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00018-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
Author 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99639-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computer Science – CACIC 2017 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers
Computer Science – CACIC 2017 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers
Author 
De Giusti, Armando Eduardo. editor. (orcid)0000-0002-6459-3592 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75214-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action