ROBERT MAILLARTS BRIDGES: THE ART OF ENGINEERING/
Book
Book
Subjects / keywords: BILLINGTON, DAVID P; PRINCETON UNIVERSITY PRESS; 624.2 B597r
Search academic resources
Explore institutional catalogs, electronic resources, open-access journals, available collections, and academic access links.
Advanced search
What NODOVOX Discovery brings together:
Institutional catalogs, electronic resources, open-access journals, available collections, and academic access links.
Enhancing the adoption of formal methods to design real-time systems
Text / resource
Text / resource
Formal methods are being increasingly used in engineering industrial software. They are moatly used for specifying and verifying software requirements, but seldom in later development phases.
This paper tries to bridge ...
Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open AccessPuentes y pasos elevados para las carreteras y vías urbanas /
Book
Book
Subjects / keywords: Bridges; Elevated highways; Highway engineering; Urban transportation
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
InstitucionalTratado de procedimientos generales de construcción.
Book
Book
Subjects / keywords: Civil engineering; Piling (Civil engineering); Bridges; Foundations and piers; Electronic books
Idioma Spanish
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
InstitucionalHidráulica fluvial :
Book
Book
Subjects / keywords: Scour at bridges; Hydraulic engineering
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
InstitucionalAn object-oriented bridge among architectural styles, aspects and frameworks
Text / resource
Text / resource
We propose an architecture-driven design approach based on the concept of proto-frameworks, aiming to provide an intermediate stage in the transition from architectural models to object-oriented frameworks or application...
Idioma Spanish
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open AccessEMTPL and its relation to first order logic
Text / resource
Text / resource
Time and change are notions that seems unavoidable in some areas of work and investigation, languages that can deal with these notions are necessary. At the same time, methods for a proper time handling are quite complex...
Idioma English
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access