Skip to main content
Catálogo biblioteca
Log in to your account
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
Advanced search
Libraries
Log in to your account
×
Login:
Password:
Forgot your password?
Home
Details for:
Computer Science – CACIC 2019: Revised Selected Papers
Local cover image
Normal view
MARC view
ISBD view
Computer Science – CACIC 2019: Revised Selected Papers
Material type:
Text
Series:
Communications in Computer and Information Science
; 1184
Publication details:
Cham :
Springer,
2020
Description:
xiv, 434 p. : il
ISBN:
9783030483241
Subject(s):
REUNIONES
INFORMÁTICA
TECNOLOGÍA
CACIC (REUNION)
Star ratings
1
2
3
4
5
Cancel rating.
Average rating: 0.0 (0 votes)
Holdings
( 1 )
Title notes ( 1 )
Images
Holdings
Item type
Home library
Call number
Status
Date due
Libro
Biblioteca de la Facultad de Informática
A.0.2 CAC25 (
Browse shelf
(Opens below)
)
Available
Browsing Biblioteca de la Facultad de Informática shelves
Close shelf browser
(Hides shelf browser)
Previous
Next
A.0.2 CAC23
Computer Science – CACIC 2017 :
revised selected papers
A.0.2 CAC23
Computer Science – CACIC 2017 :
revised selected papers
A.0.2 CAC24
Computer Science – CACIC 2018 :
Revised Selected Papers
A.0.2 CAC25
Computer Science – CACIC 2019: Revised Selected Papers
A.0.2 CAC26
Computer Science – CACIC 2020 :
Revised Selected Papers
A.0.2 CAC27
Computer Science – CACIC 2021 :
revised Selected Papers
A.0.2 CAC97 v.1
Implementación de un model checker para lógicas modales en Haskell
Incluye índice de autores.
Click on an image to view it in the image viewer
Print
Save record
BIBTEX
Dublin Core
MARCXML
MARC (non-Unicode/MARC-8)
MARC (Unicode/UTF-8)
MARC (Unicode/UTF-8, Standard)
MODS (XML)
RIS
ISBD
Exporting to Dublin Core...
×
Simple DC-RDF
OAI-DC
SRW-DC
×