Výsledky vyhledávání - acm: h.: informaci systemy/h.2: database management/h.2.0: general/h.2.0.0: security

Upřesnit hledání
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13

    Zdroj: Malecha, Gregory, Greg Morrisett, Avraham Shinnar, and Ryan Wisnesky. 2010. “Toward a verified relational database management system.” In Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL 10, 237. Association for Computing Machinery. doi:10.1145/1706299.1706329. http://dx.doi.org/10.1145/1706299.1706329.

    Popis souboru: application/pdf

    Relation: http://www.eecs.harvard.edu/~ryan/; Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10

  14. 14
  15. 15

    Zdroj: Quick submit: 2018-07-21T17:09:14-0400
    Yang, Jean, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, and Stephen Chong. 2016. Precise, Dynamic Information Flow for Database-Backed Applications. ACM Sigplan Notices 51, no. 6: 631-47.

    Popis souboru: application/pdf

  16. 16
  17. 17
  18. 18
  19. 19

    Popis souboru: 58 s. (13860 znaků); Ilustrace, Grafy, Tabulky 1 , Grafy, Tabulky 1 disketa, Grafy, Tabulky 1 leták A4, 1 DVD; application/pdf

    Relation: [1] VEBER, J. a kol. Management kvality,environmentu a bezpečnost práce. 2. vyd. Praha: Management Press, 2010. ISBN 978-80-7261-210-9.; [2] TRUNEČEK, J. Management znalostí. Praha: C.H. Beck, 2004. ISBN 80-7179-884-3.; [3] Tuzemské a zahraniční odborné časopisy.; https://dspace.tul.cz/handle/15240/25882

  20. 20