Search

New Search Subject Computer programming / software development
Title Journal Article Date
10 20 50 100
751 - 760 of 871

751. Software engineering and formal methods : 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /: 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings. (2016)

Editors:
De Nicola, Rocco; Kühn, Eva
Other Names:
International Conference on Software Engineering and Formal Methods, 14th; STAF (Federation of conferences)
Record Type:
Book
Extent:
1 online resource (xv, 419 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

752. Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings /: 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings. (2017)

Editors:
Cimatti, Alessandro; Sirjani, Marjan
Other Names:
International Conference on Software Engineering and Formal Methods, 15th
Record Type:
Book
Extent:
1 online resource (xix, 410 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

753. Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /: 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. (2018)

Editors:
Johnsen, Einar Broch; Schaefer, Ina
Other Names:
International Conference on Software Engineering and Formal Methods, 16th; STAF (Federation of conferences)
Record Type:
Book
Extent:
1 online resource (xiv, 303 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

754. Software engineering and formal methods : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers /: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers. ([2015])

Editors:
Canal, Carlos; Idani, Akram
Other Names:
International Conference on Software Engineering and Formal Methods, 12th; Workshop on Human-Oriented Formal Methods -- from Readability to Automation, 1st; SAFOME (Workshop), 1st; OpenCert (Workshop), 8th; MoKMaSD (Workshop), 3rd; WS-FMDS (Workshop), 4th
Record Type:
Book
Extent:
1 online resource (xxvii, 405 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

755. 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 /: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised selected papers. ([2018])

Editors:
Cerone, Antonio; Roveri, Marco
Other Names:
International Conference on Software Engineering and Formal Methods, 15th; DataMod (Symposium), 6th; FAACS (Workshop), 1st; MSE (Workshop), 1st; CoSim-CPS (Workshop), 1st; International Workshop on the Foundations of Coordination Languages and Software Architectures, 15th
Record Type:
Book
Extent:
1 online resource (x, 592 pages), 204 illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

757. Software engineering for resilient systems : 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings /: 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings. (2016)

Editors:
Crnkovic, Ivica; Troubitsyna, Elena (Elena A.), 1970-
Other Names:
SERENE (Workshop), 8th
Record Type:
Book
Extent:
1 online resource (ix, 149 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

758. Software engineering for resilient systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings /: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings. (2017)

Editors:
Romanovsky, Alexander, 1954-; Troubitsyna, Elena (Elena A.), 1970-
Other Names:
SERENE (Workshop), 9th
Record Type:
Book
Extent:
1 online resource (xiv, 201 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

759. Software reuse : bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings /: bridging with social-awareness : 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings. (2016)

Editors:
Kapitsaki, Georgia M; Almeida, Eduardo (Eduardo Santana de)
Other Names:
International Conference on Software Reuse, 15th
Record Type:
Book
Extent:
1 online resource (xi, 412 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

760. Software technologies : 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, Revised selected papers /: 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, Revised selected papers. (2018)

Editors:
Cabello, Enrique; Cardoso, Jorge; Maciaszek, Leszek A; van Sinderen, Marten
Other Names:
ICSOFT (Conference), 12th
Record Type:
Book
Extent:
1 online resource (xiv, 309 pages)
View Content:
Available online (eLD content is only available in our Reading Rooms)

Limit your search

Enter a search term or select another filter before applying a date range.

more »

more »

more »

more »