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

Upřesnit hledání
  1. 1

    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

  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15
  16. 16

    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

  17. 17
  18. 18
  19. 19

    Autoři: Horváth, David

    Zdroj: Horváth, David Vědecké informace v e-výuce zaměřené na informační zabezpečení v medicíně., 2011 . In MEFANET 2011 : 5. konference lékařských fakult ČR a SR s mezinárodní účastí na téma e-learning a zdravotnická informatika ve výuce lékařských oborů, Brno, 24.-25. listopadu 2011, Brno (Czech Republic), 24-25 November 2011. (Unpublished) [Presentation]

    Popis souboru: application/pdf

    Přístupová URL adresa: http://eprints.rclis.org/16382/

  20. 20