Limit Search Results
Author
SpringerLink (Online service)
(153)
Bouras, Abdelaziz. editor. (orcid)0000-0001-5765-1259
(6)
Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347
(5)
Danjou, Christophe. editor. (orcid)0000-0002-9575-0087
(4)
Messnarz, Richard. editor. (orcid)0000-0002-0555-3160
(4)
Language
English
(153)
Publication Date
-
Subject
Electronic data processing -- Management.
(153)
Software engineering.
(83)
Application software.
(82)
Computer and Information Systems Applications.
(82)
Computer networks .
(58)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
153 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
Author 
Hildebrandt, Thomas. editor. Ravara, António. editor. van der Werf, Jan Martijn. editor. Weidlich, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33612-1
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
Author 
Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46613-2
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
FM 2016: Formal Methods 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Author 
Fitzgerald, John. editor. Heitmeyer, Constance. editor. Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Philippou, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48989-6
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Service-Oriented Computing 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings
Service-Oriented Computing 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings
Author 
Sheng, Quan Z. editor. Stroulia, Eleni. editor. (orcid)0000-0002-8784-8236 Tata, Samir. editor. Bhiri, Sami. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-46295-0
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Author 
Cornélio, Márcio. editor. Roscoe, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29473-5
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Service-Oriented Computing - ICSOC 2015 Workshops WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers
Service-Oriented Computing - ICSOC 2015 Workshops WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers
Author 
Norta, Alex. editor. (orcid)0000-0003-0593-8244 Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Gangadharan, G. R. editor. Dam, Hoa Khanh. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-50539-7
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings
Author 
Wąsowski, Andrzej. editor. Lönn, Henrik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42061-5
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Information Systems 21st European, Mediterranean, and Middle Eastern Conference, EMCIS 2024, Athens, Greece, September 2-3, 2024, Proceedings, Part I
Information Systems 21st European, Mediterranean, and Middle Eastern Conference, EMCIS 2024, Athens, Greece, September 2-3, 2024, Proceedings, Part I
Author 
Themistocleous, Marinos. editor. (orcid)0000-0002-6904-9692 Bakas, Nikolaos. editor. (orcid)0000-0002-7297-0693 Kokosalakis, George. editor. (orcid)0000-0003-4161-7376 Papadaki, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81322-1
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Product Lifecycle Management. Leveraging AI, Digital Twins, and Smart Technologies 21st IFIP WG 5.1 International Conference, PLM 2024, Bangkok, Thailand, July 7-10, 2024, Revised Selected Papers Part II
Product Lifecycle Management. Leveraging AI, Digital Twins, and Smart Technologies 21st IFIP WG 5.1 International Conference, PLM 2024, Bangkok, Thailand, July 7-10, 2024, Revised Selected Papers Part II
Author 
Sureephong, Pradorn. editor. (orcid)0000-0002-2158-1495 Danjou, Christophe. editor. (orcid)0000-0002-9575-0087 Bouras, Abdelaziz. editor. (orcid)0000-0001-5765-1259 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93323-3
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Product Lifecycle Management. Integrating Digital Technologies for Sustainability and Innovation 21st IFIP WG 5.1 International Conference, PLM 2024, Bangkok, Thailand, July 7-10, 2024, Revised Selected Papers, Part I
Product Lifecycle Management. Integrating Digital Technologies for Sustainability and Innovation 21st IFIP WG 5.1 International Conference, PLM 2024, Bangkok, Thailand, July 7-10, 2024, Revised Selected Papers, Part I
Author 
Sureephong, Pradorn. editor. (orcid)0000-0002-2158-1495 Danjou, Christophe. editor. (orcid)0000-0002-9575-0087 Bouras, Abdelaziz. editor. (orcid)0000-0001-5765-1259 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-93319-6
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Information Systems 21st European, Mediterranean, and Middle Eastern Conference, EMCIS 2024, Athens, Greece, September 2-3, 2024, Proceedings, Part II
Information Systems 21st European, Mediterranean, and Middle Eastern Conference, EMCIS 2024, Athens, Greece, September 2-3, 2024, Proceedings, Part II
Author 
Themistocleous, Marinos. editor. (orcid)0000-0002-6904-9692 Bakas, Nikolaos. editor. (orcid)0000-0002-7297-0693 Kokosalakis, George. editor. (orcid)0000-0003-4161-7376 Papadaki, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-81325-2
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Organization and Management of IT The New Role of IT and the CIO in Digital Transformation
Organization and Management of IT The New Role of IT and the CIO in Digital Transformation
Author 
Johanning, Volker. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-39572-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action