Deakstadieđáhus :: Catálogo de Recursos Digitales - Universidad de El Salvador

Sirdás sisdollui

VuFind

Universiteahta, allaskuvlla dehe ámmátallaskuvlla dovddaldagaiguin
- English
- Deutsch
- Español
- Français
- Italiano
- 日本語
- Nederlands
- Português
- Português (Brasil)
- 中文(简体)
- 中文（繁體）
- Türkçe
- עברית
- Gaeilge
- Cymraeg
- Ελληνικά
- Català
- Euskara
- Русский
- Čeština
- Suomi
- Svenska
- polski
- Dansk
- slovenščina
- اللغة العربية
- বাংলা
- Galego
- Tiếng Việt
- Hrvatski
- हिंदी
- Հայերէն
- Українська
- Sámegiella
- Монгол
- Māori

Catálogo
ProQuest

Aiddostahtton

A Light-Weight Approach for Ve...
Text This

Deakstadieđáhus: A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker

Nummár:

Buvttadeaddji:

+ (503) 2511-2000

Ciudad Universitaria "Dr. Fabio Castillo Figueroa", Final Avenida "Mártires Estudiantes del 30 de julio", San Salvador, El Salvador, América Central.

Facultades

Facultad de Ciencias Agronómicas

Facultad de Ciencias Económicas

Facultad de Ciencias Naturales y Matemática

Facultad de Ciencias y Humanidades

Facultad de Ingeniería y Arquitectura

Facultad de Jurisprudencia y Ciencias Sociales

Facultad de Medicina

Facultad Multidisciplinaria de Occidente

Facultad Multidisciplinaria de Oriente

Facultad Multidisciplinaria Paracentral

Facultad de Odontología

Facultad de Química y Farmacia

Secretarias

Secretaría General

Secretaría de Arte y Cultura

Secretaría de Asuntos Académicos

Secretaría de Comunicaciones

Secretaría de Investigaciones Científicas

Secretaría de Planificación

Secretaría de Posgrado

Secretaría de Proyección Social

Secretaría de Relaciones Nacionales e Internacionales

Instituciones

Asamblea General Universitaria

Consejo Superior Universitario

Editorial Universitaria

Librería Universitaria

Portal de Transparencia

Compras Públicas

Repositorio Institucional