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

Symbolic determinisation of extended automata

Testo / risorsa

Symbolic determinisation of extended automata

Jéron, Thierry et al · SEDICI UNLP · 2006

We define a symbolic determinisation procedure for a class of infinite-state systems, which consists of automata extended with symbolic variables that may be infinite-state. The subclass of extended automata for which th...

Idioma Inglés

Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.

Open Access

Ver opciones de acceso Record bibliografico

The role of gas transmission networks in future scenarios for the European energy system

Tesi

The role of gas transmission networks in future scenarios for the European energy system

Plett Palomar, Kilian · RI ITBA · 2023

Tesis Energía y Ambiente (maestría) - Instituto Tecnológico de Buenos Aires - Karlsruher Institut für Technologie, Karlsruhe, 2020 Para lograr la desafiante y ambiciosa reducción de emisiones de dióxido de carbono ...

Idioma Inglés

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

Cerca risorse accademiche

Risultati