Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Filter
  • 1-10 of  6,368 results for ""CONTRACTS""
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Combining Static and Dynamic Contract Checking for Curry.

Subjects: *BREACH of contract; *CONTRACTS; *LOGIC programming

  • Source: Fundamenta Informaticae. 2020, Vol. 173 Issue 4, p285-314. 30p.

Record details

×
Academic Journal

Abstract Contract Synthesis and Verification in the Symbolic Framework.

Subjects: *CONTRACTS; *DEFINITIONS; *AXIOMS

  • Source: Fundamenta Informaticae. 2020, Vol. 177 Issue 3/4, p235-273. 39p.

Record details

×
Academic Journal

Computable Information Governance Contracts.

  • Authors : Cunningham J; The Health eResearch Centre and The Farr Institute, Division of Informatics, Imaging Data Sciences, School of Health Sciences, The University of Manchester.; Leeming G

Subjects: Contracts* ; Information Dissemination*; Confidentiality

  • Source: Studies in health technology and informatics [Stud Health Technol Inform] 2017; Vol. 235, pp. 476-480.Publisher: IOS Press Country of Publication: Netherlands NLM ID: 9214582 Publication Model: Print Cited Medium: Internet

Record details

×
Academic Journal

Procurement and implementation processes for Occupational Health Services in Sweden.

  • Authors : Paulsson SÅ; Department of Medical Sciences, Uppsala University, Uppsala, Sweden.; Schmidt L

Subjects: Contracts*; Industry/Industry/Industry/*organization & administration ; Occupational Health Services/Occupational Health Services/Occupational Health Services/*organization & administration

  • Source: Work (Reading, Mass.) [Work] 2020; Vol. 65 (3), pp. 607-615.Publisher: IOS Press Country of Publication: Netherlands NLM ID: 9204382 Publication Model: Print Cited Medium: Internet

Record details

×
Academic Journal

A blockchain-based smart contracts platform to competency assessment and validation.

Subjects: *CONTRACTS; *ARTIFICIAL satellite tracking; *TECHNOLOGICAL innovations

  • Source: International Journal of Hybrid Intelligent Systems. 2020, Vol. 16 Issue 1, p1-12. 12p.

Record details

×
Academic Journal

Compensation contracts for multiple agents with helping effort under bilateral moral hazard.

Subjects: *Moral hazard; *Contract employment; *Contracts

  • Source: Journal of Intelligent & Fuzzy Systems. 2020, Vol. 40 Issue 1, p271-293. 23p.

Record details

×
  • 1-10 of  6,368 results for ""CONTRACTS""