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

New Search Subject Computer programming / software development

771 - 780 of 871

771. SPS-Programmierung in Anweisungsliste nach IEC 61131-3 : Eine systematische und handlungsorientierte Einführung in die strukturierte Programmierung /: Eine systematische und handlungsorientierte Einführung in die strukturierte Programmierung. (2015)

Authors:: Adam, Hans-Joachim; Adam, Mathias
Record Type:: Book
Extent:: 1 online resource (246 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms)

772. Stack frames : a look from inside /: a look from inside. ([2016])

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

773. Static analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30-September 1, 2017, Proceedings /: 24th International Symposium, SAS 2017, New York, NY, USA, August 30-September 1, 2017, Proceedings. (2017)

Editors:: Ranzato, Francesco
Other Names:: International Static Analysis Symposium, 24th
Record Type:: Book
Extent:: 1 online resource (XIV, 473 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

774. Static analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings /: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings. (2018)

Editors:: Podelski, Andreas
Other Names:: International Static Analysis Symposium, 25th
Record Type:: Book
Extent:: 1 online resource (x, 445 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

775. String analysis for software verification and security. ([2017])

Authors:: Bultan, Tevfik; Yu, Fang; Alkhalaf, Muath Abdullah; Aydin, Abdulbaki
Record Type:: Book
Extent:: 1 online resource
View Content:: Available online (eLD content is only available in our Reading Rooms)

776. Structured object-oriented formal language and method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised selected papers /: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised selected papers. (2015)

Editors:: Liu, Shaoying, 1960-; Duan, Zhenhua
Other Names:: SOFL+MSVL (Workshop), 4th
Record Type:: Book
Extent:: 1 online resource (viii, 189 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

777. Structured object-oriented formal language and method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers /: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers. (2016)

Editors:: Liu, Shaoying, 1960-; Duan, Zhenhua
Other Names:: SOFL+MSVL (Workshop), 5th
Record Type:: Book
Extent:: 1 online resource (viii, 219 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

778. Structured object-oriented formal language and method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers /: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers. (2018)

Editors:: Tian, Cong; Nagoya, Fumiko; Liu, Shaoying, 1960-; Duan, Zhenhua
Other Names:: SOFL+MSVL (Workshop), 7th
Record Type:: Book
Extent:: 1 online resource (x, 219 pages), 66 illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms)

779. Studying programming. (2006)

Other Names:: Fincher, Sally, 1959-; University of Kent., Computing Education Research Group.
Record Type:: Book
Extent:: 1 online resource (280 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms)

780. Sudoku programming with C. (2015)

Authors:: Zambon, Giulio
Record Type:: Book
Extent:: 1 online resource, illustrations (some color)
View Content:: Available online (eLD content is only available in our Reading Rooms)