Search

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

271. Formal methods: foundations and applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings /: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings. (2016)

Editors:
Cornelio, Marcio; Roscoe, A. W
Other Names:
Brazilian Symposium on Formal Methods, 18th
Record Type:
Book
Extent:
1 online resource (xviii, 195 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

272. Formal modeling and analysis of timed systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016. Proceedings /: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016. Proceedings. (2016)

Editors:
Fränzle, Martin; Markey, Nicolas, 1976-
Other Names:
FORMATS (Conference), 14th
Record Type:
Book
Extent:
1 online resource (xii, 245 pages), illustrations (chiefly color)
View Content:
Available online (eLD content is only available in our Reading Rooms)

273. Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings /: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings. (2017)

Editors:
Abate, Alessandro; Geeraerts, Gilles
Other Names:
FORMATS (Conference), 15th
Record Type:
Book
Extent:
1 online resource (x, 353 pages), 93 illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

275. Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. (2016)

Editors:
Albert, Elvira; Lanese, Ivan
Other Names:
FORTE Conference, 36th
Record Type:
Book
Extent:
1 online resource (XVI, 275 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

276. Formal techniques for distributed objects, components, and systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /: 37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. (2017)

Editors:
Bouajjani, Ahmed; Silva, Alexandra
Other Names:
FORTE (Conference), 37th; International Federated Conferences on Distributed Computing Techniques, 12th, jointly held conference
Record Type:
Book
Extent:
1 online resource (xiv, 243 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

277. Formal techniques for safety-critical systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers /: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers. (2017)

Editors:
Artho, Cyrille; Ölveczky, Peter Csaba
Other Names:
FTSCS (Workshop), 5th
Record Type:
Book
Extent:
1 online resource (xii, 161 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

278. Formal techniques for safety-critical systems : fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised selected papers /: fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised selected papers. (2016)

Editors:
Artho, Cyrille; Ölveczky, Peter Csaba
Other Names:
FTSCS (Workshop), 4th
Record Type:
Book
Extent:
1 online resource (x, 271 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

279. Formal techniques for safety-critical systems : third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised selected papers /: third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised selected papers. (2015)

Editors:
Artho, Cyrille; Ölveczky, Peter Csaba
Other Names:
International Workshop of Formal Techniques for Safety-Critical Systems, 3rd
Record Type:
Book
Extent:
1 online resource (x, 257 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms)

280. 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)

Limit your search

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

more »

more »

more »

more »