Limit Search Results
Author
SpringerLink (Online service)
(973)
Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853
(13)
C. Rocha, Ana Maria A. editor. (orcid)0000-0001-8679-2886
(11)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(11)
Faginas Lago, Maria Noelia. editor. (orcid)0000-0002-4056-3364
(11)
Language
Publication Date
-
Subject
Computer Engineering and Networks.
(619)
Computer networks .
(619)
Artificial intelligence.
(323)
Engineering.
(271)
Application software.
(193)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
996 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains
A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains
Author 
Göbel, Susanne. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-11765-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Policy-Oriented Technology Assessment Across Europe Expanding Capacities
Policy-Oriented Technology Assessment Across Europe Expanding Capacities
Author 
Klüver, Lars. editor. Øjvind Nielsen, Rasmus. editor. Jørgensen, Marie Louise. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-137-56172-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Propagation Engineering in Wireless Communications
Propagation Engineering in Wireless Communications
Author 
Ghasemi, Abdollah. author. Abedi, Ali. author. Ghasemi, Farshid. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-32783-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Digital Transformation and Global Society First International Conference, DTGS 2016, St. Petersburg, Russia, June 22-24, 2016, Revised Selected Papers.
Digital Transformation and Global Society First International Conference, DTGS 2016, St. Petersburg, Russia, June 22-24, 2016, Revised Selected Papers.
Author 
Chugunov, Andrei V. editor. Bolgov, Radomir. editor. Kabanov, Yury. editor. (orcid)0000-0002-4011-2010 Kampis, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49700-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for System Architecture An Ordinary Engineering Discipline
System Architecture An Ordinary Engineering Discipline
Author 
Paul, Wolfgang J. author. Baumann, Christoph. author. Lutsyk, Petro. author. Schmaltz, Sabine. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43065-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Future Mobile Transport Protocols Adaptive Congestion Control for Unpredictable Cellular Networks
Future Mobile Transport Protocols Adaptive Congestion Control for Unpredictable Cellular Networks
Author 
Pötsch, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-14815-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer and Computing Technologies in Agriculture IX 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised Selected Papers, Part II
Computer and Computing Technologies in Agriculture IX 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised Selected Papers, Part II
Author 
Li, Daoliang. editor. Li, Zhenbo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48354-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Author 
Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45477-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Computer and Computing Technologies in Agriculture IX 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised Selected Papers, Part I
Computer and Computing Technologies in Agriculture IX 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised Selected Papers, Part I
Author 
Li, Daoliang. editor. Li, Zhenbo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48357-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Information Security 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedings
Information Security 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedings
Author 
Bishop, Matt. editor. Nascimento, Anderson C A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45871-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
Author 
Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-41540-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Network and Parallel Computing 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings
Network and Parallel Computing 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings
Author 
Gao, Guang R. editor. Qian, Depei. editor. Gao, Xinbo. editor. Chapman, Barbara. editor. Chen, Wenguang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47099-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action