Další formáty:
BibTeX
LaTeX
RIS
@misc{1314374, author = {Šafránek, David}, keywords = {formal methods; mathematical engineering; computer science}, language = {eng}, publisher = {Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2014)}, title = {PC Member of MEMICS 2014}, url = {http://www.memics.cz/2014/committees.php}, year = {2014} }
TY - GEN ID - 1314374 AU - Šafránek, David PY - 2014 TI - PC Member of MEMICS 2014 PB - Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2014) KW - formal methods KW - mathematical engineering KW - computer science UR - http://www.memics.cz/2014/committees.php N2 - MEMICS provides a forum for doctoral students interested in applications of mathematical and engineering methods in computer science. Besides a rich technical programme (including invited talks, regular papers, and presentations), MEMICS also offers friendly social activities and exciting opportunities for meeting like-minded people. ER -
ŠAFRÁNEK, David. \textit{PC Member of MEMICS 2014}. Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2014), 2014.
|