Limit Search Results
Author
SpringerLink (Online service)
(57)
Silhavy, Petr. editor.
(6)
Silhavy, Radek. editor.
(6)
Anwar, Sajid. editor. (orcid)0000-0003-3393-1656
(2)
Arcos Avilés, Diego Gustavo. editor. (orcid)0000-0002-1511-1614
(2)
Language
Publication Date
-
2016
(22)
2024
(14)
2017
(10)
2025
(10)
2014
(1)
Subject
Software engineering.
(36)
Computational intelligence.
(20)
Artificial intelligence.
(19)
Application software.
(8)
Computer and Information Systems Applications.
(8)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
57 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Quality in Business Process Modeling
Quality in Business Process Modeling
Author 
Krogstie, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42512-2
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Autonomic Road Transport Support Systems
Autonomic Road Transport Support Systems
Author 
McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25808-9
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Intelligent Computer Systems in Engineering Design Principles and Applications
Intelligent Computer Systems in Engineering Design Principles and Applications
Author 
Sunnersjö, Staffan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28125-4
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Proceedings of 4th International Conference in Software Engineering for Defence Applications SEDA 2015
Proceedings of 4th International Conference in Software Engineering for Defence Applications SEDA 2015
Author 
Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924 Sillitti, Alberto. editor. Succi, Giancarlo. editor. Messina, Angelo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27896-4
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers
Engineering Multi-Agent Systems 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers
Author 
Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Müller, Jörg P. editor. Nunes, Ingrid. editor. Zalila-Wenkstern, Rym. editor. (orcid)0000-0002-2062-6794 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-50983-9
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Proceedings of the Mediterranean Conference on Information & Communication Technologies 2015 MedCT 2015 Volume 2
Proceedings of the Mediterranean Conference on Information & Communication Technologies 2015 MedCT 2015 Volume 2
Author 
El Oualkadi, Ahmed. editor. Choubani, Fethi. editor. El Moussati, Ali. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30298-0
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Internetware A New Software Paradigm for Internet Computing
Internetware A New Software Paradigm for Internet Computing
Author 
Mei, Hong. author. Lü, Jian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2546-4
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Intelligent Information and Database Systems 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part II
Intelligent Information and Database Systems 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part II
Author 
Nguyen, Ngoc-Thanh. editor. Trawiński, Bogdan. editor. Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49390-8
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Intelligent Information and Database Systems 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part I
Intelligent Information and Database Systems 8th Asian Conference, ACIIDS 2016, Da Nang, Vietnam, March 14-16, 2016, Proceedings, Part I
Author 
Nguyen, Ngoc-Thanh. editor. Trawiński, Bogdan. editor. Fujita, Hamido. editor. (orcid)0000-0001-5256-210X Hong, Tzung-Pei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49381-6
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Author 
Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49665-7
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47166-2
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach
Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach
Author 
Gumzej, Roman. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28905-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action