Limit Search Results
Author
SpringerLink (Online service)
(22)
Fujita, Hamido. editor. (orcid)0000-0001-5256-210X
(2)
Hong, Tzung-Pei. editor.
(2)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(2)
Müller, Jörg P. editor.
(2)
Language
Subject
Software engineering.
(13)
Artificial intelligence.
(11)
Application software.
(6)
Computational intelligence.
(6)
Computer and Information Systems Applications.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
23 Results Found Subscribe to search results
00000000000DEFAULT
Print
13. 
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:
14. 
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:
15. 
Cover image for Introduction to the History of Computing A Computing History Primer
Introduction to the History of Computing A Computing History Primer
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33138-6
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Crisis Management for Software Development and Knowledge Transfer
Crisis Management for Software Development and Knowledge Transfer
Author 
Zykov, Sergey V. author. (orcid)0000-0002-2115-5461 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42966-3
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
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-47169-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Information Sciences and Systems 2015 30th International Symposium on Computer and Information Sciences (ISCIS 2015)
Information Sciences and Systems 2015 30th International Symposium on Computer and Information Sciences (ISCIS 2015)
Author 
Abdelrahman, Omer H. editor. Gelenbe, Erol. editor. Gorbil, Gokce. editor. Lent, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-22635-4
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
Author 
Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45892-2
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
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:
21. 
Cover image for Robot Operating System (ROS) The Complete Reference (Volume 1)
Robot Operating System (ROS) The Complete Reference (Volume 1)
Author 
Koubaa, Anis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-26054-9
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
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:
23. 
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: