Horario

8:45-10:30
10:45-12:30
12:45-14:30
15:30-17:15
17:30-19:15
19:30-21:15
MONDAY
CS
DS
DB
TUESDAY
DB
CS
ATFL
WEDNESDAY
ATFL
ADA
CS
DM
ADA
DM/Academia
Academia
Coordinador: Carlos
Cotta Porras
Jose Antonio Onieva
Gonzlez
Juan Miguel Ortiz de
Lazcano Lobato
Francisco Jos Vico

Vela
Gonzalo Pascual
Ramos Jimnez
THURSDAY
ADA
ATFL
DS
DM
ADA
Analysis and Design of Algorithms

L: 9.30-10.30; M:
3.2.49
9.30-12.30; J: 1113(virtual)
L: 17-19; J: 12.303.2.40
14.30/16.30-18.30
M: 10.3012.30(virtual); X:
3.2.21
17.15-19.15; J: 10.3012.30
Automata Theory and Formal Languages
M: 17-21; X: 103.2.43
12(virtual)
3.2.2
Javier Coego Botana
3.3.12
Coordinador:
Leonardo Franco
3.2.29
FRIDAY
DS
DB
ADA
ADA
M: 15.30-17.30; J:
17.30-19.30
M: 9.45-12.45/16-17;
X: 11-13
ccotta@uma.es
onieva@uma.es
lazcano@uma.es
fjvico@uma.es
gramos@uma.es
jcoego@uma.es
lfranco@lcc.uma.es
Computer Structure
Julio Villalba
Moreno
Maria ngeles
Gonzlez Navarro
Coordinadora: Maria
Antonia Trenas Castro
2.2.38
2.2.31
2.2.26
J: 8-14
L: 9.30-12.30; V:
9.30-12.30
X: 10.30-14.30; V:
12.30-14.30
jvillalba@uma.es
magonzalez@uma.es
matrenas@uma.es
Databases
Juan Miguel Ortiz de
Lazcano Lobato
3.2.21
M: 10.3012.30(virtual); X:
17.15-19.15; J: 10.3012.30
Coordinador:
Manuel Nicols
Enciso GarciaOliveros
3.2.30
enciso@uma.es
Sergio Galvez Rojas
3.2.28
M: 10.45-14.45; V:
12.45-14.45
galvez@uma.es
lazcano@uma.es
Jose Enrique
Gallardo Ruiz
Coordinador: Pablo
Lpez Olivas
Agustn Valverde
Ramos
Coordinadora: Mara
Amalia Cobalea Vico
Mara Inmaculada
Fortes Ruiz
Data Structures
L: 12.40-13.35; M:
3.2.2
11.30-13.30(virtual);
X: 9.30-12.35
L: 16.30-17.30; X: 103.2.50
12(virtual); V: 11-14
Discrete Mathematics
M: 10.35-12.35; X:
2.2.04
10-12(virtual); J:
12.35-14.35
L: 11-13(virtual); M:
2.2.5
14.30-15; J: 14.30-15;
V: 11-14
L: 10.30-13-30; J:
2.2.16
10.30-13.30
jegallardo@uma.es
plopez@uma.es
a_valverde@uma.es
acobalea@uma.es
ifortes@uma.es
Analysis and Design of Algorithms

Basic
6 Algorithms; Robert Sedgewick y Kevin Wayne; Addison-Wesley; 2011 4.5/147
Informat.y Telecom.-Biblioteca
EIF-2/SED/alg
0 Algorithms; S. Dasgupta, C. H. Papadimitriou and U. V. Vazirani; McGraw-Hill; 2006 3.8/57
10 Especificacin, Derivacin y Anlisis de Algoritmos; Narciso Mart Oliet; Prentice Hall; 2006
Ciencias-Libre Acceso
FC510.5/MAR/esp
EIF-2/MAR/esp
7 Fundamentos de Algoritmia; Gilles Brassard y Paul Bratley; Pearson Prentice-Hall; 2005 3/18
EIF-2/BRA/fun
5 Introduction to Algorihms; T.H. Cormen, C.E. Leiserson, R.L. Rivest y C. Stein; McGraw-Hill; 2010 4.3/328
EIF-2/INT
10 Introduction to the Design and Analysis of Algorithms; Anany V. Levitin; Wiley; 2012 2.5/29
EIF-2/LEV/int
Complementary
4 Algorithms: a functional programming approach; Fethi Rabhi y Guy Lapalme; Addison-Wesley; 1999 2/2
EID-3/RAB/alg
24 Estructura de datos y mtodos algortmicos; Narciso Mart Oliet, Yolanda Ortega Malln y Jos Alberto Verdejo Lpez; Prentice
Hall; 2013
EIE-1/MAR/est
2 Fundamentals of computer algorithms; E. Horowitz y S. Sahni; Computer Science Press; 1978 4.7/3
Informat.y Telecom.-Depsito
EIF-2/HOR/fun
Pol.e Indust.-Depsito
FTF-2/HOR/fun(D)
2 The Science of Programming; David Gries; Springer-Verlag; 1981 5/8
EID-1/GRI/sci
7 Transformadores de Predicados y Semntica de Programas; Blas Carlos Ruiz Jimnez; 2003
EID-3/RUI/tra
0 Fundamentals of Algorithmics; Gilles Brassard and Paul Bratley; Prentice-Hall International; 1996 3/5
5 Algortmica : concepcin y anlisis; por Gilles Brassard, Paul Bratley; Masson; 1990
EIF-2/BRA/alg
7 Fundamentos de algoritmia; Gilles Brassard and Paul Bratley; Prentice-Hall; 2005
EIF-2/BRA/fun
Pol.e Indust.-Biblioteca
FTF-2/BRA/fun
Algorithms; Richard Johnsonbaugh, Marcus Schaefer; Pearson Education; 2004 3.3/6
EIF-2/JOH/alg
Automata Theory and Formal Languages

Basic
30 Teora de Autmatas y Lenguajes Formales; G. Ramos Jimnez, R. Morales Bueno; Edicin de Autor; 2011
EIF-4/RAM/teo
11 Cuestiones de Modelos de Cmputo; G. Ramos Jimnez, J.C. Arrabal Ramrez; Edicin de Autor; 2009
EIF-2/RAM/cue
2 Introduccin a la Teora de la Computabilidad; Hans Hermes; Ed. Tecnos; 1984
EIF-2/HER/int
4 Elements of the theory of computation; Harry R. Lewis, Christos H. Papadimitriou; Ed. Prentice-Hall; 1981 2.8/36
EIF-2/LEW/ele
1 Introduction to languages and the theory of computation; John C. Martin; Ed. McGraw-Hill; 2010 4.2/6
EIF-0/MAR/int
12 Introduction to automata theory, languages and computation; John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman; Ed. AddisonWesley; 2006 3.7/69
EIF-2/HOP/int
6 Introduction to the theory of computation; Michael Sipser; Ed. Course Technology; 2006 3.9/48
EIF-2/SIP/int
1 Theory of computation; J. Glenn Brookshear; Ed. Benjamin/Cummings; 1989 4.8/6
Humanidades-Salas de Trabajo
FL681.3.06/BRO/teo
4 The theory of computability: programs, machines, effectiveness and feasibility; R. Sommerhalder, S.C. Van Westrhenen; Ed.
Addison-Wesley; 1988
EIF-2/SOM/the
Complementaria
0 Formal models of computation: the ultimate limits of computing; Arthur Fleck; Ed. World Scientific; 2001
0 A programming approach to computability; A.J. Kfoury, Robert N. Moll, Michael A. Arbib; Ed. Springer-Verlag; 1982
9 Compiladores: teora y construccin; F.J. Sanchs Llorca, C. Galn Pascual; Paraninfo; 1988
EID-3/SAN/com
0 Turing and the Universal Machine; J. Agar; Ed. Icon Books; 2001 3.6/8
0 Computability: an introduction to recursive function theory; Nigel Cutland; Cambridge University Press; 1980 4.4/5
21 Modelos de cmputo: una introduccin formal al concepto de algoritmo y funcin computable; Rafael Morales Bueno, Gonzalo
Ramos Jimnez; Edicin de autor; 2007
EIF-2/MOR/mod
Computer Structure
70 Estructura y diseo de computadores: la interfaz software/hardware; David A. Patterson, John L. Henn; Ed. Reverte; 2011 4/3
EIB-1/PAT/est
25 Computer organization and design: the hardware/software interface; David A. Patterson, John L. Hen; Ed. Morgan Kaufmann;
2014 3.4/93
EIB-1/PAT/com
4 Fundamentos de diseo lgico y computadoras; M. Morris Mano, Charles R. Kime; Ed. Pearson Education; 1998
EIB-7/MAN/fun
Databases
Basic
4 A first course in database systems; Jeffrey D. Ullman and Jennifer Windom; Prentice Hall; 2008 3.7/35
EIH-2/ULL/fir
4 Database systems: the complete book; Hector Garcia-Molina, Jeffrey D. Ullman, Jennifer Widom; Ed. Pearson Prentice Hall; 2009
3.6/29
EIH-2/GAR/dat
74 Fundamentos de sistemas de bases de datos / Ramez Elmasri, Shamkant B. Navathe; Ed. Addison Wesley 2014 3.3/131
EIH-2/ELM/fun
FTH-2/ELM/fun
14 Fundamentos de bases de datos; Abraham Silberschatz, Henry F. Koth, S. Sudarshan; 2014 3.3/38
EIH-2/SIL/fun
FTH-2/SIL/fun
Complementary
Head first SQL [Recurso electrnico]; Lynn Beighley; Ed. O'Reilly; 2007 4.2/104
http://0-proquestcombo.safaribooksonline.com.jabega.uma.es/9780596526849
5 Oracle PL/SQL programming [Recurso electrnico]/ Steven Feuerstein with Bill Pribyl; Ed. O'Reilly; 2009 4.5/24
http://0-proquestcombo.safaribooksonline.com.jabega.uma.es/?uiCode=malaga&xmlId=9780596805401
EID-2/FEU/ora
0 Sistemas de bases de datos: un enfoque prctico para diseo, implementacin y gestin; Thomas M. Connolly, Carolyn E. Begg;
Ed. Addison-Wesley; 2005 4.4/10
Data Structures
Functional Programming
1 Programming in Haskell; Graham Hutton; Ed. Cambridge University Press; 2007
EID-3/HUT/pro
0 Introduction to functional programming using Haskell; Richard Bird; Ed. Prentice Hall; 1998
Data Structures
4 Algorithms: a functional programming approach; Fethi Rabbi y Guy Lapalme; Ed. Addison-Wesley; 1999 2/5
EID-3/RAB/alg
0 Introduction to programming in Java: an interdisciplinary approach; Robert Sedgewick and Kevin Wayne; Ed. Addison Wesley;
2008
6 Algorithms; Robert Sedgewick y Kevin Wayne; Ed. Addison-Wesley; 2011
EIF-2/SED/alg
3 Introduction to Algorihms; T.H. Cormen, C.E. Leiserson, R.L. Rivest y C. Stein; Ed. McGraw-Hill; 2010
EIF-2/INT
5 Data Structures & Algorithms in Java; Michael T. Goodrich y Roberto Tamassia; Ed. John Wiley & Sons; 2006
EIE-1/GOO/dat
12 Razonando con Haskell: un curso sobre programacin funcional; Blas Carlos Ruiz Jimnez, Fco. Gutirrez, Pablo Guerrero y Jos
Gallardo; Thomson; 2004
EID-1/RAZ
7 Estructuras de datos en JAVA: compatible con Java 2; Mark Allen Weiss; Ed. Addison Wesley; 2000
EIE-1/WEI/est
Discrete Mathematics
8 Elementos de Matemtica Discreta; E. Bujalance, J.A.Bujalance, A. F. Costa, E. Martnez; Ed. Sanz y Torres; 2001
EIG-2/ELE
11 Estructuras de Matemticas discretas para la computacin; Bernard Kolman, Robert C. Busby; Ed. Prentice Hall; 1997
EIG-2/KOL/est
Econmicas y Empresariales-Depsito FE 5/3870
PRSTAMO LARGO
Educ y Psicol.-Depsito
EP A/4016
PRSTAMO LARGO
FTG-2/KOL/est
34 Lgica para la computacin. Vol. 1, Lgica proposicional; Gabriel Aguilera Venegas, Inmaculada Prez de Guzmn Molina; Ed.
gora; 1993
EIF-4/AGU/log,I
FTM-1/AGU/log
Estudios Sociales y de Comercio-Libre Acceso ET164.1/AGU/log Vol. I
PRSTAMO LARGO
Humanidades-Depsito
FL L-21/3/17
13 Matemtica Discreta; Flix Garca Merayo; Ed. Thomson; 2015
EIG-2/GAR/mat
B. General-Sala General
BG51/GAR/mat
FC519.6/GAR/mat
14 Matemtica Discreta; Norman L. Biggs; Ed. Vicens Vives; 1994
EIG-2/BIG/mat
FTG-2/BIG/mat
1 Discrete mathematics; Norman L. Biggs; Clarendon Press; 2005
EIG-2/BIG/dis
6 Matemticas discretas; Richard Johnsonbaugh; Ed. Pearson Educacin; 2005
EIG-2/JOH/mat
FTG-2/JOH/mat
FC519.6/JOH/mat
C.Comunicacin-Depsito CC506/JOH/mat
35 Matemticas discreta y combinatoria: una introduccin con aplicaciones; Ralph P. Grimaldi; Ed. Addison Wesley; 1998
EIG-2/GRI/mat
Educ y Psicol.-L.Acceso
EP51/GRI
P.QUINCENAL
BG51/GRI/mat
FTG-2/GRI/mat
11 Problemas de Matemtica Discreta; E. Bujalance, J.A.Bujalance, A. F. Costa, E. Martnez; Ed. Sanz y Torres; 2005
EIG-2/PRO
17 Problemas resueltos de matemtica discreta; Flix Garca Merayo, Gregorio Hernndez Pealver, Antonio Nevot Luna; Ed.
Thomson; 2007
EIG-2/GAR/pro
BG51/GAR/pro
13 2000 Problemas resueltos de Matemtica Discreta; S. Lipschutz, M. Lipson; Ed. McGraw-Hill; 2010
EIG-2/LIP/200
201 Problemas de Matemtica Discreta; Vicente Meavilla Segu; Ed. Prensas Universitarias; 2000
EIG-2/MEA/201
FC51(076)/MEA/pro

Horario

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Horario

Diunggah oleh

Hak Cipta:

Format Tersedia

8:45-10:30

Francisco Jos Vico

Analysis and Design of Algorithms

Javier Coego Botana

Sergio Galvez Rojas

Analysis and Design of Algorithms

Automata Theory and Formal Languages

Anda mungkin juga menyukai