Limit Search Results
Author
SpringerLink (Online service)
(196)
Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853
(5)
Jatowt, Adam. editor. (orcid)0000-0001-7235-0665
(3)
Yin, Hujun. editor. (orcid)0000-0002-9198-5401
(3)
Allmendinger, Richard. editor. (orcid)0000-0003-1236-3143
(2)
Language
English
(207)
Publication Date
-
Subject
Computer communication systems.
(68)
Artificial intelligence.
(66)
Application software.
(43)
Software engineering.
(35)
Computer security.
(34)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
208 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
Author 
Calinescu, Radu. editor. (orcid)0000-0002-2678-9260 Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30856-8
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Intelligent Transport Systems, From Research and Development to the Market Uptake Second EAI International Conference, INTSYS 2018, Guimarães, Portugal, November 21–23, 2018, Proceedings
Intelligent Transport Systems, From Research and Development to the Market Uptake Second EAI International Conference, INTSYS 2018, Guimarães, Portugal, November 21–23, 2018, Proceedings
Author 
Ferreira, Joao Carlos. editor. (orcid)0000-0002-6662-0806 Martins, Ana Lúcia. editor. (orcid)0000-0002-8533-6595 Monteiro, Vitor. editor. (orcid)0000-0001-6640-8955 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-14757-0
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Advances and Trends in Artificial Intelligence. From Theory to Practice 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings
Advances and Trends in Artificial Intelligence. From Theory to Practice 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings
Author 
Wotawa, Franz. editor. Friedrich, Gerhard. editor. Pill, Ingo. editor. Koitz-Hristov, Roxane. editor. Ali, Moonis. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22999-3
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Trustworthy Cyber-Physical Systems A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness
Trustworthy Cyber-Physical Systems A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness
Author 
Gol Mohammadi, Nazila. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-27488-7
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
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:
54. 
Cover image for Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
Author 
Legay, Axel. editor. Bozga, Marius. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-10512-3
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
Author 
Jürgensen, Helmut. editor. Karhumäki, Juhani. editor. Okhotin, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-09704-6
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Proceedings of the 2nd International Conference on Intelligent Technologies and Engineering Systems (ICITES2013)
Proceedings of the 2nd International Conference on Intelligent Technologies and Engineering Systems (ICITES2013)
Author 
Juang, Jengnan. editor. Chen, Cheng-Yi. editor. Yang, Cheng-Fu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-04573-3
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings
Computational Methods in Systems Biology 12th International Conference, CMSB 2014, Manchester, UK, November 17-19, 2014, Proceedings
Author 
Mendes, Pedro. editor. Dada, Joseph O. editor. Smallbone, Kieran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12982-2
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems
Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems
Author 
Wagner, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-05270-6
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedings
Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedings
Author 
Corral, Luis. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor. Vlasenko, Jelena. editor. Wasserman, Anthony I. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-55128-4
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
Author 
Ábrahám, Erika. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-43613-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action