Enllaç permanent :: Biblioteca ITESO

Anar al contingut

Biblioteca Dr. Jorge Villalobos Padilla, SJ
Dirección de Información Académica

Opiniones y sugerencias
Bossa de llibres : 0 ítems ( Complet )
Autenticació institucional
- Inglés
- 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

Opiniones y sugerencias
Bossa de llibres : 0 ítems ( Complet )
Autenticació institucional
- Inglés
- 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

Página de inicio Portal Biblioteca Tesauro Reservar espacios Revistas Aviso de privacidad

Avançada

Model Checking and Artificial...
Enllaç permanent

Enllaç permanent

https://opac.biblio.iteso.mx/vufind/Record/000606328

Copiat No s'ha pogut copiar

Opciones de búsqueda

Historial de búsqueda
Búsqueda avanzada
Catálogo clásico

Buscar más

Búsqueda por tesauro
Explorar el catálogo
Explorar alfabéticamente
Explorar canales
Ejemplares nuevos

¿Necesitas ayuda?

Consejos de búsqueda
Preguntas frecuentes

Horario de la Biblioteca

Lun 07:00-22:00
Mar 07:00-22:00
Mie 07:00-22:00
Jue 07:00-22:00
Vie 07:00-22:00
Sab 09:00-14:00
Dom Cerrado

Coordinación de Sistemas de Información, Dirección de Información Académica
Biblioteca Dr. Jorge Villalobos Padilla, SJ
ITESO

Periférico Sur Manuel Gómez Morín #8585, Tlaquepaque, Jal.
Conmutador: +52(33)3669 3434

© 2026 Catálogo Público de la Biblioteca V/F -- v.11.0