Subject: Computer programming / software development - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

New Search Subject Computer programming / software development

711 - 720 of 871

711. Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings /: International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings. (2017)

Editors:: Costantini, Stefania; Franconi, Enrico; Van Woensel, William; Kontchakov, Roman; Sadri, Fariba; Roman, Dumitru
Other Names:: RuleML+RR (Joint Conference)
Record Type:: Book
Extent:: 1 online resource
View Content:: Available online (eLD content is only available in our Reading Rooms)

712. Rules and reasoning : second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings /: second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings. (2018)

Editors:: Benzmüller, Christoph; Ricca, Francesco; Parent, Xavier; (Research scientist), Roman, Dumitru
Other Names:: RuleML+RR (Joint Conference), 2nd
Record Type:: Book
Extent:: 1 online resource (xxiii, 328 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

713. Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings /: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. (2016)

Editors:: Falcone, Yliès; Sánchez, César
Other Names:: RV (Conference), 16th
Record Type:: Book
Extent:: 1 online resource (xxi, 512 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

714. Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings. (2017)

Editors:: Lahiri, Shuvendu; Reger, Giles
Other Names:: RV (Conference), 17th
Record Type:: Book
Extent:: 1 online resource (xix, 432 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

715. Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings /: 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings. (2018)

Editors:: Colombo, Christian; Leucker, Martin
Other Names:: RV (Conference), 18th
Record Type:: Book
Extent:: 1 online resource (xi, 470 pages), illustrations (some color)
View Content:: Available online (eLD content is only available in our Reading Rooms)

716. Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings /: 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings. (2015)

Editors:: (Computer scientist), Bartocci, Ezio; Majumdar, Rupak
Other Names:: RV (Conference), 6th
Record Type:: Book
Extent:: 1 online resource (xiv, 396 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

717. Rust high performance : learn to skyrocket the performance of your Rust applications /: learn to skyrocket the performance of your Rust applications. (2018)

Other Names:: Eguia Moraza, Iban
Record Type:: Book
Extent:: 1 online resource (272 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms)

718. Rust Quick Start Guide : The easiest way to learn Rust programming /: The easiest way to learn Rust programming. (2018)

Authors:: Arbuckle, Daniel
Record Type:: Book
Extent:: 1 online resource (180 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms)

719. Salesforce.com lightning process builder and visual workflow : a practical guide to model-driven development on the Force.com platform /: a practical guide to model-driven development on the Force.com platform. (2016)

Authors:: Keel, Jonathan
Record Type:: Book
Extent:: 1 online resource
View Content:: Available online (eLD content is only available in our Reading Rooms)

720. SAS programming and data visualization techniques : a power user's guide /: a power user's guide. ([2015])

Authors:: Holland, Philip R
Record Type:: Book
Extent:: 1 online resource (xxi, 245 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms)