Limit Search Results
Author
Language
Publication Date
-
2019
(13)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
13 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Author 
André, Étienne. editor. (orcid)0000-0001-8473-9555 Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29662-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings
Stabilization, Safety, and Security of Distributed Systems 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings
Author 
Ghaffari, Mohsen. editor. Nesterenko, Mikhail. editor. Tixeuil, Sébastien. editor. (orcid)0000-0002-0948-7172 Tucci, Sara. editor. (orcid)0000-0001-9738-9021 Yamauchi, Yukiko. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34992-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Green, Pervasive, and Cloud Computing 14th International Conference, GPC 2019, Uberlândia, Brazil, May 26–28, 2019, Proceedings
Green, Pervasive, and Cloud Computing 14th International Conference, GPC 2019, Uberlândia, Brazil, May 26–28, 2019, Proceedings
Author 
Miani, Rodrigo. editor. (orcid)0000-0002-8176-8040 Camargos, Lasaro. editor. (orcid)0000-0002-4162-6160 Zarpelão, Bruno. editor. (orcid)0000-0001-9172-3578 Rosas, Erika. editor. (orcid)0000-0003-0377-0193 Pasquini, Rafael. editor. (orcid)0000-0002-8781-3914
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19223-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Neural Information Processing 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12–15, 2019, Proceedings, Part I
Neural Information Processing 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12–15, 2019, Proceedings, Part I
Author 
Gedeon, Tom. editor. (orcid)0000-0001-8356-4909 Wong, Kok Wai. editor. (orcid)0000-0001-8767-1031 Lee, Minho. editor. (orcid)0000-0002-0441-7087 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-36708-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Distributed Computing by Mobile Entities Current Research in Moving and Computing
Distributed Computing by Mobile Entities Current Research in Moving and Computing
Author 
Flocchini, Paola. editor. Prencipe, Giuseppe. editor. Santoro, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-11072-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings
Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings
Author 
Hochberger, Christian. editor. Nelson, Brent. editor. Koch, Andreas. editor. Woods, Roger. editor. Diniz, Pedro. editor. (orcid)0000-0003-3131-9367
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17227-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Neural Information Processing 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12–15, 2019, Proceedings, Part II
Neural Information Processing 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12–15, 2019, Proceedings, Part II
Author 
Gedeon, Tom. editor. (orcid)0000-0001-8356-4909 Wong, Kok Wai. editor. (orcid)0000-0001-8767-1031 Lee, Minho. editor. (orcid)0000-0002-0441-7087 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-36711-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Neural Information Processing 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12–15, 2019, Proceedings, Part III
Neural Information Processing 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12–15, 2019, Proceedings, Part III
Author 
Gedeon, Tom. editor. (orcid)0000-0001-8356-4909 Wong, Kok Wai. editor. (orcid)0000-0001-8767-1031 Lee, Minho. editor. (orcid)0000-0002-0441-7087 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-36718-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
Author 
Bjørner, Nikolaj. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-37487-7
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings
Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings
Author 
Hospodár, Michal. editor. Jirásková, Galina. editor. Konstantinidis, Stavros. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23247-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Job Scheduling Strategies for Parallel Processing 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers
Author 
Klusáček, Dalibor. editor. Cirne, Walfredo. editor. Desai, Narayan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-10632-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Green, Pervasive, and Cloud Computing 13th International Conference, GPC 2018, Hangzhou, China, May 11-13, 2018, Revised Selected Papers
Green, Pervasive, and Cloud Computing 13th International Conference, GPC 2018, Hangzhou, China, May 11-13, 2018, Revised Selected Papers
Author 
Li, Shijian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-15093-8
Format: 
Availability 
Online Library~1
Available:
Copies: