Showing 1 - 5 results of 5 for search 'Vojnar, Tomas', query time: 0.02s Narrow Search
  1. 1
    Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
    Published 2019
    Other Authors: “…Vojnar, Tomáš…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
    Published 2019
    Other Authors: “…Vojnar, Tomáš…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers
    Published 2016
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  4. 4
    Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
    Published 2013
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  5. 5
    Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers
    Published 2012
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: