Showing 1 - 20 results of 34 for search '"Annals of computer science and information systems"', query time: 0.09s Refine Results
  1. 1
  2. 2

    Tarski's geometry modelled in Mizar computerized proof assistant by Adam Grabowski

    Published 2016-10-01
    “…Annals of computer science and information systems…”
    Get full text
    Article
  3. 3
  4. 4

    Virtual Sightseeing in Immersive 3D Visualization Lab by Jacek Lebiedź, Mariusz Szwoch

    Published 2016-10-01
    “…Annals of computer science and information systems…”
    Get full text
    Article
  5. 5
  6. 6
  7. 7

    Superlinear Speedup in HPC Systems: why and when? by Sasko Ristov, Radu Prodan, Marjan Gusev, Karolj Skala

    Published 2016-10-01
    “…Annals of computer science and information systems…”
    Get full text
    Article
  8. 8

    Agent-oriented Modeling and Simulation of IoT Networks by Giancarlo Fortino, Wilma Russo, Claudio Savaglio

    Published 2016-10-01
    “…Annals of computer science and information systems…”
    Get full text
    Article
  9. 9
  10. 10

    The multi-topology converter for the solar panel by Samuel Žák, Peter Šarafín, Peter Ševčík

    Published 2016-10-01
    “…Annals of computer science and information systems…”
    Get full text
    Article
  11. 11
  12. 12

    From UML State Machine to code and back again! by Van Cam Pham, Ansgar Radermacher, Sébastien Gérard

    Published 2016-10-01
    “…Annals of computer science and information systems…”
    Get full text
    Article
  13. 13
  14. 14
  15. 15

    Evaluation of an Optimized K-Means Algorithm Based on Real Data by Cosmin Marian Poteraş, Mihai Mocanu

    Published 2016-10-01
    “…Annals of computer science and information systems…”
    Get full text
    Article
  16. 16

    Identification of Product’s Features Based on Customer Reviews by Katarzyna Smietanka

    Published 2016-10-01
    “…Annals of computer science and information systems…”
    Get full text
    Article
  17. 17
  18. 18

    Generalized Majority Decision Reducts by Sebastian Widz, Sebastian Stawicki

    Published 2016-10-01
    “…Annals of computer science and information systems…”
    Get full text
    Article
  19. 19

    An Iteration Space Visualizer for Polyhedral Loop Transformations in Numerical Programming by Marek Palkowski, Wlodzimierz Bielecki

    Published 2016-10-01
    “…Annals of computer science and information systems…”
    Get full text
    Article
  20. 20