Mostrando
1 - 3
Resultados de
3
Para Buscar '
SpringerOpen
'
Saltar al contenido
Catálogo Colectivo de Bibliotecas Eclesiásticas de España
Catálogo Colectivo de Bibliotecas Eclesiásticas de España
Idioma
English
Español
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor:
ETAPS (Conferencia)
Mostrar filtros (1)
Autor:
ETAPS (Conferencia)
Inicio
Resultados de búsqueda - SpringerOpen
Mostrando
1 - 3
Resultados de
3
Para Buscar '
SpringerOpen
'
, tiempo de consulta: 0.04s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Foundations of software science and computation structures 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, proceedings
Publicado 2020
“…
Springer
Open
…”
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Conectar con la versión electrónica
Libro electrónico
2
Tools and algorithms for the construction and analysis of systems 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings. Part I Part I /
Publicado 2020
“…
Springer
Open
…”
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Conectar con la versión electrónica
Libro electrónico
3
Fundamental approaches to software engineering 23rd International Conference, FASE 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Publicado 2020
“…
Springer
Open
…”
Número de Clasificación:
Cargando…
Ubicado:
Cargando…
Conectar con la versión electrónica
Libro electrónico
Herramientas de búsqueda:
RSS
–
Enviar por Correo electrónico esta Búsqueda
Atrás
Limitar resultados
Institución
Biblioteca Universidad de Navarra
3
Formato
Libro electrónico
3
Idioma
Inglés
3
Autor
ETAPS (Conferencia)
Biere, Armin
1
Biere, Armin, editor
1
Cabot, Jordi
1
Cabot, Jordi, editor
1
FASE (Conferencia)
1
FOSSACS (Conferencia)
1
Goubault-Larrecq, Jean
1
Goubault-Larrecq, Jean, editor
1
König, Barbara
1
König, Barbara editor
1
Parker, David
1
Parker, David, editor
1
TACAS (Conferencia)
1
Wehrheim, Heike
1
Wehrheim, Heike, editor
1
ver todos…
Año de Publicación
De:
a: