ROBERT MAILLARTS BRIDGES: THE ART OF ENGINEERING/
Libro
Libro
Materie / parole chiave: BILLINGTON, DAVID P; PRINCETON UNIVERSITY PRESS; 624.2 B597r
Cerca risorse accademiche
Esplora cataloghi istituzionali, risorse elettroniche, riviste ad accesso aperto, collezioni disponibili e collegamenti per l’accesso accademico.
Ricerca avanzata
Cosa riunisce NODOVOX Discovery:
Cataloghi istituzionali, risorse elettroniche, riviste ad accesso aperto, collezioni disponibili e collegamenti per l’accesso accademico.
Enhancing the adoption of formal methods to design real-time systems
Testo / risorsa
Testo / risorsa
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 Inglés
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 /
Libro
Libro
Materie / parole chiave: 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.
Libro
Libro
Materie / parole chiave: Civil engineering; Piling (Civil engineering); Bridges; Foundations and piers; Electronic books
Idioma Español
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
InstitucionalHidráulica fluvial :
Libro
Libro
Materie / parole chiave: 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
Testo / risorsa
Testo / risorsa
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 Español
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open AccessEMTPL and its relation to first order logic
Testo / risorsa
Testo / risorsa
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 Inglés
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access