Search

New Search Subject Computer software -- Development -- Congresses
Title Journal Article Date
10 20 50 100
1 - 10 of 43

1. Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures /: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced lectures. (2015)

Editors:
Bernardo, Marco; Johnsen, Einar Broch
Other Names:
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 15th
Record Type:
Book
Extent:
1 online resource (vii, 211 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

2. Formal methods for the quantitative evaluation of collective adaptive systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures /: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced lectures. (2016)

Editors:
Bernardo, Marco; De Nicola, Rocco; Hillston, J (Jane), 1963-
Other Names:
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 16th
Record Type:
Book
Extent:
1 online resource (vii, 261 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

3. Foundational and practical aspects of resource analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers /: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised selected papers. (2016)

Editors:
Eekelen, M. C. J. D. van; (Computer scientist), Dal Lago, Ugo
Other Names:
FOPARA (Workshop), 4th
Record Type:
Book
Extent:
1 online resource (ix, 127 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

4. Intelligent software methodologies, tools and techniques : 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised selected papers /: 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised selected papers. (2015)

Editors:
Fujita, Hamido; Selamat, Ali
Other Names:
IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques, 13th
Record Type:
Book
Extent:
1 online resource (xv, 406 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

5. Intelligent software methodologies, tools and techniques : 14th International Conference, SoMeT 2015, Naples, Italy, September 15-17, 2015, proceedings /: 14th International Conference, SoMeT 2015, Naples, Italy, September 15-17, 2015, proceedings. (2015)

Editors:
Fujita, Hamido; Guizzi, Guido
Other Names:
IEEE International Conference on Intelligent Software Methodologies, Tools and Techniques, 14th
Record Type:
Book
Extent:
1 online resource
View Content:
Available online (eLD content is only available in our Reading Rooms)

6. Logic-based program synthesis and transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised selected papers /: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised selected papers. (2015)

Editors:
Proietti, Maurizio, 1959-; Seki, Hirohisa
Other Names:
LOPSTR (Symposium), 24th
Record Type:
Book
Extent:
1 online resource (xii, 333 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

8. Logic-based program synthesis and transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers /: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised selected papers. (2017)

Editors:
Hermenegildo, Manuel; Lopez-Garcia, Pedro
Other Names:
LOPSTR (Symposium), 26th
Record Type:
Book
Extent:
1 online resource (xvi, 361 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

9. Logic-based program synthesis and transformation : 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised selected papers /: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised selected papers. (2018)

Editors:
Fioravanti, Fabio; Gallagher, John P
Other Names:
LOPSTR (Symposium), 27th
Record Type:
Book
Extent:
1 online resource (xvi, 341 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

10. Logic-based program synthesis and transformation : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised selected papers /: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised selected papers. (2019)

Editors:
Mesnard, Fred; Stuckey, Peter J
Other Names:
LOPSTR (Symposium), 28th
Record Type:
Book
Extent:
1 online resource (xx, 203 pages), illustrations (some color)
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 »