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

New Search Subject Computer programming / software development

191 - 200 of 871

191. Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /: formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings. (2017)

Editors:: Petrucci, Laure; Seceleanu, Cristina; Cavalcanti, Ana
Other Names:: International Workshop on Formal Methods for Industrial Critical Systems, 22nd; International Workshop on Automated Verification of Critical Systems, 17th
Record Type:: Book
Extent:: 1 online resource (xiv, 235 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

192. Cross-platform Localization for Native Mobile Apps with Xamarin. (2017)

Other Names:: Miller, Chris
Record Type:: Book
Extent:: 1 online resource
View Content:: Available online (eLD content is only available in our Reading Rooms)

193. Cyber physical systems : design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings /: design, modeling, and evaluation : 5th International Workshop, CyPhy 2015, Amsterdam, the Netherlands, October 8, 2015 : proceedings. ([2015])

Editors:: Berger, Christian; Mousavi, Mohammad Reza, 1978-
Other Names:: CyPhy (Workshop), 5th
Record Type:: Book
Extent:: 1 online resource
View Content:: Available online (eLD content is only available in our Reading Rooms)

194. Cyber physical systems : design, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised selected papers /: design, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised selected papers. (2017)

Editors:: (Professor of Software Engineering), Berger, Christian; Mousavi, Mohammad Reza, 1978-; Wisniewski, Rafael
Other Names:: CyPhy (Workshop), 6th
Record Type:: Book
Extent:: 1 online resource (xi, 127 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

195. C♯ 7 quick syntax reference : a pocket guide to the language, APIs and library /: a pocket guide to the language, APIs and library. ([2018])

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

196. Dag Prawitz on proofs and meaning. ([2015])

Other Names:: Wansing, H (Heinrich)
Record Type:: Book
Extent:: 1 online resource
View Content:: Available online (eLD content is only available in our Reading Rooms)

197. Das C++ Tutorial : Crash-Kurs und Repetitorium für Ingenieure und Naturwissenschaftler /: Crash-Kurs und Repetitorium für Ingenieure und Naturwissenschaftler. (2018)

Authors:: Stadler, Andreas; Tholen, Marco
Record Type:: Book
Extent:: 1 online resource (323 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms)

198. Data mining algorithms in C++ : data patterns and algorithms for modern applications /: data patterns and algorithms for modern applications. ([2018])

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

199. Data structures and algorithms with Python. (2015)

Authors:: Lee, Kent D (Kent Derek); Hubbard, Steve
Record Type:: Book
Extent:: 1 online resource (xv, 363 pages), illustrations (some color)
View Content:: Available online (eLD content is only available in our Reading Rooms)

200. Declarative programming and knowledge management : Conference on Declarative Programming, DECLARE 2017, unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised selected papers /: Conference on Declarative Programming, DECLARE 2017, unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised selected papers. (2018)

Editors:: Seipel, Dietmar; Hanus, Michael, 1959-; Abreu, Salvador, 1961-
Other Names:: DECLARE (Conference); International Conference on Applications of Declarative Programming and Knowledge Management, 21st; WLP (Workshop), 31st; WFLP (Workshop), 25th
Record Type:: Book
Extent:: 1 online resource (x, 215 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)