Search

Your search keyword '"Fischer, Bernd"' showing total 1,899 results

Search Constraints

Start Over You searched for: Author "Fischer, Bernd" Remove constraint Author: "Fischer, Bernd"
1,899 results on '"Fischer, Bernd"'

Search Results

153. Certifiable Program Generation

155. CSeq: A Sequentialization Tool for C : (Competition Contribution)

159. Estimation of Organ Motion from 4D CT for 4D Radiation Therapy Planning of Lung Cancer

160. Using Automated Theorem Provers to Certify Auto-generated Aerospace Software

161. Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax

170. Synthesizing Certified Code

179. Protein quality control at the inner nuclear membrane

185. In Memory of David P. Benseler

189. Adding Concrete Syntax to a Prolog-Based Program Synthesis System : (Extended Abstract)

Catalog

Books, media, physical & digital resources