Home Advanced Search

Advanced Search - Page 1

Theoretical Aspects of Computing – ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings
  • PDF
  • English
  • Year: 2022
  • Author: Helmut Seidl, Zhiming Liu, Corina S. Pasareanu
Engineering Trustworthy Software Systems: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
  • PDF
  • English
  • Year: 2016
  • Author: Zhiming Liu, Zili Zhang (eds.)
Übersetzerbau. Virtuelle Maschinen
  • PDF
  • German
  • Year: 2007
  • Author: Reinhard Wilhelm, Helmut Seidl
Compiler design. / Virtual machines
  • PDF
  • English
  • Year: 2010
  • Author: R Wilhelm; Helmut Seidl
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC
  • PDF
  • English
  • Year: 2013
  • Author: Zhiming Liu, Jim Woodcock, Huibiao Zhu
Übersetzerbau: Virtuelle Maschinen
  • PDF
  • German
  • Year: 2007
  • Author: Reinhard Wilhelm, Helmut Seidl (auth.)
Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Xuandong Li, Zhiming Liu, Wang Yi (eds.)
Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
  • PDF
  • English
  • Year: 2018
  • Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
  • PDF
  • English
  • Year: 2019
  • Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
  • PDF
  • English
  • Year: 2018
  • Author: Jonathan P. Bowen; Zhiming Liu; Zili Zhang
search