( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems.

, , и . KI, том 9904 из Lecture Notes in Computer Science, стр. 185-191. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Tania Peischl

Bernhard Füger

Neue heterocyclische Sulfoximine. TU Aachen, (2009)

Bernhard Baum

The well-tempered thrombin: a systematic crystallographic and calorimetric study on the thermodynamics of serine-protease inhibition. Uni Marburg, (2009)

Bernhard Glück

Bernhard Liekenbrock

 

Другие публикации лиц с тем же именем

A Mobile Information System for Improved Navigation in Public Transport - User Centered Design, Development, Evaluation and e-Business Scenarios of a Mobile Roadmap Application., , и . DCNET/ICE-B/OPTICS, стр. 217-221. SciTePress, (2012)Advances in Automated Source-Level Debugging of Verilog Designs., , и . New Challenges in Applied Intelligence Technologies, том 134 из Studies in Computational Intelligence, Springer, (2008)Employing Test Suites for Verilog Fault Localization., , и . CAEPIA, том 5988 из Lecture Notes in Computer Science, стр. 1-10. Springer, (2009)An Answer to "Who Needs a Stylus?" on Handwriting Recognition on Mobile Devices., , , и . ICETE (Selected Papers), том 314 из Communications in Computer and Information Science, стр. 156-167. Springer, (2011)Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems., и . QSIC, стр. 122-131. IEEE Computer Society, (2010)A Constraint Model for Automated Deployment of Automotive Control Software., , и . SEKE, стр. 899-904. Knowledge Systems Institute Graduate School, (2008)Integrating User-centred Design in an Early Stage of Mobile Medical Application Prototyping - A Case Study on Data Acquistion in Health Organisations., , и . DCNET/ICE-B/OPTICS, стр. 185-195. SciTePress, (2013)On the Role of Defect Taxonomy Types for Testing Requirements: Results of a Controlled Experiment., , и . EUROMICRO-SEAA, стр. 377-384. IEEE Computer Society, (2014)Are Error Traces Enough for Automated Fault Localization in VHDL Designs?, и . WISES, стр. 49-60. Graz University of Technology, (2004)Testing Security Requirements with Non-experts: Approaches and Empirical Investigations., , и . QRS, стр. 254-261. IEEE, (2016)