Novità Aiuto Accesso istituzionale

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.
medicina legale diritto riviste Open Access testo completo

Risultati

5 risultati trovati.

Tipi di risorsa: Libro cartaceo Libro elettronico Articolo Rivista Tesi Capitolo
Ricerca accademica
Fundamentos de ingeniería de los requisitos
Libro elettronico
Libro elettronico
Fundamentos de ingeniería de los requisitos
Águila Cano, Isabel María del · Editorial Universidad de Almería · 2022 · ISBN 9788413511610
La aplicación los principios de ingeniería, no sólo al software sino también a los requisitos del sistema software dentro del proyecto de desarrollo de software es básica y está plenamente justificada. En este libr...
Idioma Español
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
Institucional
Ver opciones de acceso Record bibliografico
Smart contracts and private internacional law: 2nd updated and revised edition
Libro elettronico
Libro elettronico
Smart contracts and private internacional law: 2nd updated and revised edition
Ortega Giménez, Alfonso · LA LEY Soluciones Legales S.A · 2022 · ISBN 9788411245777
Globalization and new technologies with their breakneck competitiveness and speed of doing business have driven the development of e-commerce, changing the way products are sold and bought today. The new digital era in w...
Idioma Inglés
Acceso institucional disponibleEl acceso puede requerir institución, suscripción, proxy, VPN o autenticación.
Institucional
Ver opciones de acceso Record bibliografico
Enhancing the adoption of formal methods to design real-time systems
Testo / risorsa
Testo / risorsa
Enhancing the adoption of formal methods to design real-time systems
Felder, Miguel et al · SEDICI UNLP · 1996
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 Access
Ver opciones de acceso Record bibliografico
Reutilização de processos de desenvolvimento de software orientado a objetos baseada em padroes
Testo / risorsa
Testo / risorsa
Reutilização de processos de desenvolvimento de software orientado a objetos baseada em padroes
Werner, Cláudia Maria Lima et al · SEDICI UNLP · 1996
No contexto do Memphis - Ambiente de Desenvolvimento de Software Baseado em Reutilizayao [Rocha96], é apresentada urna abordagem para a reutílização de processos de desenvolvimento de software orientado a objetos bas...
Idioma Portugués
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Record bibliografico
"Forks without philosophers" o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportó
Tesi
Tesi
"Forks without philosophers" o de cómo la cuantificación universal perdió una batalla y de las ventajas que ello reportó
Martínez López, Pablo E · SEDICI UNLP · 1996
En sentido general, este trabajo trata sobre la construcción formal de programas. La necesidad de construir los programas formalmente ha sido ampliamente discutida a lo largo de los últimos años, y ha adquirido una im...
Idioma Español
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Record bibliografico
NODITO
Asistencia de búsqueda académica
Te ayudo a buscar, encontrar y acceder a recursos académicos.
Consultar con NODITO
¿Qué necesitás hacer?
Consultas rápidas
NODITO Asistencia contextual NDX