Results 261 to 270 of about 2,155,394 (299)
Some of the next articles are maybe not open access.
The Journal of Economic History, 1952
The system of inside contracting has received little attention from economic historians despite its importance in the development of American industry. Although several authors have mentioned the system, none has described its operation in detail.
openaire +1 more source
The system of inside contracting has received little attention from economic historians despite its importance in the development of American industry. Although several authors have mentioned the system, none has described its operation in detail.
openaire +1 more source
Brain and other central nervous system tumor statistics, 2021
Ca-A Cancer Journal for Clinicians, 2021Kimberly D Miller +2 more
exaly
Contracts and planification systems
1995Les problèmes rencontrés dans de nombreuses entreprises résident dans la conception et la mise en place de nouveaux modes d'organisation et de systèmes de coordination internes permettant : d'assurer un pilotage centralisé minimal des différentes fonctions pour, d'une part, atteindre des objectifs transversaux identifiés à un moment donné (diversifier ...
Soler, Louis Georges, Tanguy, Herve
openaire +1 more source
2004
The general aim of this chapter is to show how assertions are related to ideas from type theory, and especially to algebras and axioms, which are formal mechanisms that are used to specify the behavior of types. We define different views of the term “type” and relate the type concepts of typical programming languages (e.g., Java) to syntactic and ...
openaire +1 more source
The general aim of this chapter is to show how assertions are related to ideas from type theory, and especially to algebras and axioms, which are formal mechanisms that are used to specify the behavior of types. We define different views of the term “type” and relate the type concepts of typical programming languages (e.g., Java) to syntactic and ...
openaire +1 more source
Compensators for contractive systems
Cybernetica, 1993On the basis of observation scheme, a compensator type is proposed, and the conditions that are sufficient for synthesis procedure are given for contractive systems .
openaire +2 more sources
A Survey of Smart Contract Formal Specification and Verification
ACM Computing Surveys, 2022Palina Tolmach, Shang-Wei Lin, Yang Liu
exaly
General Contract System Versus Segregated Contracts
Transactions of the American Society of Civil Engineers, 1930openaire +1 more source
Rebuilding the broken health contract in Chile
Lancet, The, 2020Faisal Abbas, Elias A Mossialos
exaly