Basically, types of foundations to be designed and used for a particular civil engineering project depend on several factors. The most significant of these factors are ; subsoil foundation conditions, load intensity and economical feasibilities.Behzad Kalantari...
Handbook of Design of Shallow Foundations on Heaving Soils [in Russian], ONTI, TsNIIÉPsel'stroi, Moscow (1982). About this Article Title Rational types of foundations of farm buildings for the nonchernozem zone of the Russian Federal Socialist Republic Journal Soil Mechanics and Foundation ...
The Archive is supported by libraries, scholarly societies, publishers, and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take advantage of advances in technology. For more information regarding JSTOR, please contact support@...
, Logical Foundations of Functional Programming, pp. 77–86. Addison-Wesley, Reading, MA, 1990. Google Scholar Russell, B.A.W. Mathematical logic as based on the theory of types Ameri. J. of Math. 30: 222–262. Google Scholar Russell, B.A.W. Letter to Frege. In: J. van ...
Caisson foundations are constructed by following processes: Prefabrication of Caisson: First of all, prefabrication of caissons is done near the construction site or at suitable available location. When prefabrication is done, prefabricated structure is tested for water tightness so that no leakage of ...
Kobayashi, N., Yonezawa, A.: Towards foundations for concurrent object-oriented programming – types and language design. Theory Pract. Object Syst. 1 (4), 243–268 (1995)N. Kobayashi and A. Yonezawa. Towards foundations of concurrent object- oriented programming - types and language design. ...
View PDFView articleView in ScopusGoogle Scholar [15] P.-L. Curien On the symmetry of sequentiality Proceedings of Mathematical Foundations of Programming Semantics, MFPS’93, LNCS 802, Springer-Verlag, Berlin (1993) Google Scholar [16] T. Ehrhard Hypercoherences: a strongly stable model of...
foundations: private stichting / fondation privée: ≈ private foundation stichting van openbaar nut / fondation d'utilité publique: ≈ public foundation coentreprises (joint ventures): ESV (economisch samenwerkingsverband) / GIE (groupement d'intérêt économique): ≈ ...
The calculus we will be studying, called F:(“F sub”), has played a central role in programming language research since it was developed in the mid 80s, in particular in studies on the foundations of object-oriented programming. 26.1Motivation The simplest way of combining subtyping and ...
Foundations of Software Science and Computational Structures, Proceedings, Lecture Notes in Computer Science, vol. 2620, Springer (2003), pp. 23-38, 10.1007/3-540-36576-1_2 View in ScopusGoogle Scholar [2] Brian Aydemir, Aaron Bohannon, Matthew Fairbairn, Nate Foster, Benjamin Pierce, Peter ...