Skip to content
Universidad Nacional de Córdoba
U.N.C.
Catálogo colectivo
Advanced

El Catálogo Colectivo reúne los registros del material que posee cada una de las bibliotecas de la Universidad Nacional de Córdoba, pudiendo encontrarse colecciones especializadas y actualizadas en todas las áreas del conocimiento; lo que permite una amplia visibilidad y garantiza el acceso al patrimonio documental de la Universidad. Se encuentra disponible para toda la comunidad académica: estudiantes, docentes, egresados e investigadores. Si formas parte de la comunidad de la UNC también podés solicitar préstamos de material, a cualquier biblioteca universitaria, utilizando el servicio de préstamo interbibliotecario, independientemente de la facultad a la que pertenezcas, la carrera que curses o la cátedra que dictes.

Fuentes de datos

Koha
  • Facultad de Ciencias Agropecuarias
  • Facultad de Ciencias Económicas
  • Facultad de Lenguas
  • Escuela de Nutrición (FCM)
  • Facultad de Arquitectura, Urbanismo y Diseño
  • Facultad de Artes
  • Facultad de Ciencias Exactas, Físicas y Naturales
  • Biblioteca Mayor
  • Observatorio Astronómico de Córdoba
  • Centros de Estudios Avanzados
  • Facultad de Matemáticas, Astronomía, Física y Computación
  • Facultad de Medicina
  • Facultad de Odontología
  • Facultad de Comunicación
  • Facultad de Filosofía y Humanidades y Facultad de Psicología
  • Escuela Superior de Comercio Manuel Belgrano
  • Colegio Nacional de Monserrat
  • Facultad de Ciencias Químicas
  • Facultad de Ciencias Sociales
  • Facultad de Derecho
  • José Aricó
  • Museo de Antropología
  • Escuela de Salud Pública y Ambiente de la FCM
Otros
  • Repositorio Digital Universitario
  • Revistas de la Universidad Nacional de Córdoba
  • Aplicaciones de la teoría de j...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Permanent link
Aplicaciones de la teoría de juegos a la verificación de sistemas tolerantes a fallas

Aplicaciones de la teoría de juegos a la verificación de sistemas tolerantes a fallas

Show other versions (1)

Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2023.

Bibliographic Details
Main Author: Putruele, Luciano
Other Authors: Castro, Pablo Francisco
Format: doctoralThesis
Language:spa
Published: 2025
Subjects:
Verificación de software
Teoría de Juegos
Tolerancia a fallas
Medida
Distancia
Enmascaramiento
Síntesis de controladores
Juegos estocásticos
Teoría de la computación
Algorithmic game theory
Algorithmic game theory and mechanism design
Theory and algorithms for application domains
Theory of computation
Software verification
Game theory
Fault tolerance
Measure
Distance
Masking
Controller synthesis
Stochastic games
Online Access:http://hdl.handle.net/11086/554848
  • Holdings
  • Description
  • Other Versions (1)
  • Similar Items
  • Staff View

Internet

http://hdl.handle.net/11086/554848

Similar Items

  • Aplicaciones de la teoría de juegos a la verificación de sistemas tolerantes a fallas /
    by: Putruele, Luciano, 1992-
    Published: (2023)
  • MaskD : a tool for measuring masking fault-tolerance
    by: Putruele, Luciano, et al.
    Published: (2023)
  • Foundations of non-cooperative game theory /
    by: Ritzberger, Klaus
    Published: (2002)
  • Evolutionary game theory /
    by: Weibull, Jörgen W.
    Published: (1997)
  • Game theory : a nontechnical introduction /
    by: Davis, Morton D., 1930-
    Published: (1970)

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels
  • Course Reserves
  • New Items

Need Help?

  • Search Tips
  • Ask a Librarian
  • FAQs