Suchergebnisse - acm: h.: informacny system/h.2: database management/h.2.7: database administration~

  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
  14. 14
  15. 15
  16. 16
  17. 17

    Quelle: 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.

    Dateibeschreibung: 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

  18. 18
  19. 19
  20. 20

    Autoren: Adie K Fois RA McLachlan AJ et al.

    Quelle: European journal of clinical pharmacology [Eur J Clin Pharmacol] 2021 Sep; Vol. 77 (9), pp. 1381-1395. Date of Electronic Publication: 2021 Mar 01.

    Publikationsart: Journal Article; Observational Study

    Info zur Zeitschrift: Publisher: Springer Country of Publication: Germany NLM ID: 1256165 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1432-1041 (Electronic) Linking ISSN: 00316970 NLM ISO Abbreviation: Eur J Clin Pharmacol Subsets: MEDLINE