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) ↗