Limit Search Results
Author
SpringerLink (Online service)
(274)
Halang, Wolfgang A. editor.
(6)
Holleczek, Peter. editor.
(6)
Prasanna, Viktor K. editor.
(6)
Liu, Chunfeng. editor.
(5)
Language
Publication Date
-
2018
(73)
2009
(48)
2005
(30)
2008
(25)
2007
(19)
Subject
Software engineering.
(272)
Computer science.
(238)
Computer Communication Networks.
(73)
Operating systems (Computers).
(53)
Computer software.
(47)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
274 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
Author 
Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74781-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers
Author 
Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94135-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Author 
Russo, Alessandra. editor. (orcid)0000-0002-3318-8711 Schürr, Andy. editor. (orcid)0000-0001-8100-1109 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-89363-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers
Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers
Author 
Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94764-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advanced Techniques in Computing Sciences and Software Engineering
Advanced Techniques in Computing Sciences and Software Engineering
Author 
Elleithy, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3660-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering
Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering
Author 
Elleithy, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8735-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers
Generative and Transformational Techniques in Software Engineering II International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers
Author 
Lämmel, Ralf. editor. Visser, Joost. editor. Saraiva, João. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88643-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advances in Systems, Computing Sciences and Software Engineering Proceedings of SCSS05
Advances in Systems, Computing Sciences and Software Engineering Proceedings of SCSS05
Author 
Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5263-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings
Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings
Author 
Bu, Lei. editor. (orcid)0000-0003-0517-7801 Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04272-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
Author 
Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99927-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings
Author 
Khendek, Ferhat. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01042-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings
Reliable Software Technologies – Ada-Europe 2018 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings
Author 
Casimiro, António. editor. (orcid)0000-0002-5522-5739 Ferreira, Pedro M. editor. (orcid)0000-0003-2369-0115 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-92432-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action