( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
High Performance Low Cost Impedance Spectrometer for Biosensing.

, , , , и . CSCS, стр. 69-75. IEEE, (2017)

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.

Haralambie Gheorghiu

Susanne Gheorghiu

Mihaela Chirvasa

Mihaela Kreutzer

Mihaela Jönsson

 

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

Thorough Checking Revisited., , и . FMCAD, стр. 106-116. IEEE Computer Society, (2006)High Performance Low Cost Impedance Spectrometer for Biosensing., , , , и . CSCS, стр. 69-75. IEEE, (2017)Simulation of Gate Circuits in the Algebra of Transients., и . CIAA, том 2608 из Lecture Notes in Computer Science, стр. 57-66. Springer, (2002)Finding Environment Guarantees., , и . FASE, том 4422 из Lecture Notes in Computer Science, стр. 352-367. Springer, (2007)Feedback-Free Circuits in the Algebra of Transients., и . CIAA, том 2608 из Lecture Notes in Computer Science, стр. 106-116. Springer, (2002)Finding State Solutions to Temporal Logic Queries., , и . IFM, том 4591 из Lecture Notes in Computer Science, стр. 273-292. Springer, (2007)Learning Techniques for Software Verification and Validation., и . ISoLA (1), том 7609 из Lecture Notes in Computer Science, стр. 505-507. Springer, (2012)Automated Assume-Guarantee Reasoning by Abstraction Refinement, , и . CAV '08: Proceedings of the 20th international conference on Computer Aided Verification, стр. 135--148. Berlin, Heidelberg, Springer-Verlag, (2008)