Limitar la búsqueda a ejemplares disponibles
Listado de SIGNATURAS:
Página de resultados   Ant Sig
Guardar los marcados Guardar todos de la página Guardar en Mis Listas
Mark   Media Año
IS-PROC 592      
      Quantitative evaluation of systems : 12th International Conference, QEST 2015, Madrid, Spain, Septemb IS-PROC 592 ; B.Hypatia-Depósito(Col.Inform.Sistemas):NO AUTORIZADO   MAT. IMPRESO 2015
IS-PROC CAI    
      Advanced information systems engineering : 20th International Conference, CAiSE 2008, Montpellier, Fr IS-PROC CAI ; Ciencias Matemáticas-Informática e Ingeniería de Sistemas:DISPONIBLE   MAT. IMPRESO 2008
      Advanced information systems engineering : 21st International Conference, CAiSE 2009, Amsterdam, The IS-PROC CAI ; Ciencias Matemáticas-Informática e Ingeniería de Sistemas:DISPONIBLE   MAT. IMPRESO 2009
IS-PROC MEN      
      Software evolution / Tom Mens, Serge Demeyer, editors IS-PROC MEN ; Ciencias Matemáticas-Informática e Ingeniería de Sistemas:DISPONIBLE   MAT. IMPRESO 2008
IS-PROC MOD/08      
      Model driven engineering languages and systems : 11th International Conference, MODELS 2008 : Toulous IS-PROC MOD/08 ; Ciencias Matemáticas-Informática e Ingeniería de Sistemas:DISPONIBLE   MAT. IMPRESO 2008
IS-PROC NYS      
      Discrete geometry for computer imagery : 11th International Conference, DGCI 2003 Napples, Italy, Nov IS-PROC NYS ; Ciencias Matemáticas-Informática e Ingeniería de Sistemas:DISPONIBLE   MAT. IMPRESO 2003
IS-PROG MUR      
      Murach's Oracle SQL and PL/SQL : works sith all versions through 11g / Joel Murach IS-PROG MUR ; Ciencias Matemáticas-Informática e Ingeniería de Sistemas:DISPONIBLE   MAT. IMPRESO 2008
IS-PRTP 3      
      Metodologías de desarrollo en el camino hacia el CASE / Antonio López-Fuensalida E 18-171 ; B. Econ. y Empr. Paraiso-Depósito:DISPONIBLE, B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1990
IS-PRTP 4      
      Dominio de la modelización conceptual / por Remi Planche ; prefacio de J.-L. Peaucelle ; versión espa IS-PRTP 4 ; B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1992
IS-PRTP 5      
      Fundamentos de programación : algoritmos y estructura de datos / Luis Joyanes Aguilar IS-PRTP 5 ; EINA.Informática/Sistemas:DISPONIBLE   MAT. IMPRESO 1992
IS-PRTP 6      
      Programación I / José A, Cerrada, y Manuel Collado LA 681.3 41 ; B. Campus Teruel-Sala:DISPONIBLE, B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1993
IS-PRTP 7      
      Software orientado a objetos / Ann L. Winblad, Samuel D. Edwards, David R. King IS-SOFI 64 ; B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1993
IS-PRTP 8      
      Programación orientada a objetos : una introducción / Greg Voss IS-PRTP 8 ; EINA.Informática/Sistemas:DISPONIBLE   MAT. IMPRESO 1994
IS-PRTP 9      
      Algorítmica : diseño y análisis de algoritmos funcionales e imperativos / Javier Galve Francés ... [e IS-PRMP 251 ; EINA.Informática/Sistemas:DISPONIBLE   MAT. IMPRESO 1993
IS-PRTP 10      
      Diseño de programas : formalismo y abstracción / Ricardo Peña Marí SL 23-135 ; B. Ciencias. Física/Química-Depósito:DISPONIBLE, B.Ciencias.Matemáticas:DISPONIBLE, B.Hypatia-Depósito:DISPONIBLE, EINA.Informática/Sistemas:DISPONIBLE, B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1993
IS-PRTP 11-1      
      Introducción a la programación. T. 1, Algorítmica y lenguajes / Joëlle Biondi, Gilles Clavel ; versió A POL 216 ; B. Campus Teruel-Sala:DISPONIBLE, B. Econ. y Empr. Río Ebro-Depósito:DISPONIBLE, B. Huesca. Empresa/Gestión-Biblioteca Sala de Lectura:DISPONIBLE, B.Ciencias.Matemáticas:DISPONIBLE, B.Huesca.Politécnica-Libre Acceso:DISPONIBLE, B.Hypatia-Depósito:DISPONIBLE, B.Hypatia-Sala:DISPONIBLE, Ciencias.Matemáticas-Métodos Estadísticos:DISPONIBLE, EINA.Informática/Sistemas:DISPONIBLE, EINA.Matemática Aplicada:DISPONIBLE   MAT. IMPRESO 1988
IS-PRTP 11-3      
      Introducción a la programación. T. 3, Ejercicios corregidos / Gilles Clavel, Finn Bo Jorgensen ; vers I-109/4-III ; B. Econ. y Empr. Río Ebro-Depósito:DISPONIBLE, B.Hypatia-Sala:DISPONIBLE, EINA.Informática/Sistemas:DISPONIBLE   MAT. IMPRESO 1987
IS-PRTP 12      
      Fundamentos de programación / María Alpuente Frasnedo ... [et al.] LA 681 FUL 62 ; B. Campus Teruel-Sala:DISPONIBLE, EINA.Informática/Sistemas:DISPONIBLE   MAT. IMPRESO 1988
IS-PRTP 13      
      Concurrency in Ada / Alan Burns and Andy Wellings IS-PRTP 13 ; B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1995
IS-PRTP 15      
      Introducción a la programación. Tomo 2, Estructuras de datos / Gilles Clavel, Joëlle Biondi ; versión AEC 136-62 ; B. Econ. y Empr. Paraiso-Análisis Económico:DISPONIBLE, B. Econ. y Empr. Río Ebro-Depósito:DISPONIBLE, B. Huesca. Empresa/Gestión-Biblioteca Sala de Lectura:DISPONIBLE, B.Ciencias.Matemáticas:DISPONIBLE, B.Huesca.Politécnica-Libre Acceso:DISPONIBLE, B.Hypatia-Depósito:DISPONIBLE, B.Hypatia-Sala:DISPONIBLE, Ciencias.Matemáticas-Métodos Estadísticos:DISPONIBLE, B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1985
IS-PRTP CRO      
      Jewels of stringology / Maxime Crochemore, Wojciech Rytter. IS-PRTP CRO ; Ciencias Matemáticas-Informática e Ingeniería de Sistemas:DISPONIBLE   MAT. IMPRESO 2002
IS-RDPC 1      
      Petri net theory and the modeling of systems / James L. Peterson ESTADISTICA ; Ciencias.Matemáticas-Métodos Estadísticos:DISPONIBLE, EINA.Informática/Sistemas:DISPONIBLE   MAT. IMPRESO 1981
IS-RDPC 2      
      Application and theory of Petri nets : selected papers from the first and the second European Worksho IS-RDPC 2 ; B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1982
IS-RDPC 3      
      Advances in Petri nets, 1984 / edited by G. Rozenberg with the cooperation of H. Genrich and G. Rouca B 10/LNCS 188 ; B.Ciencias.Matemáticas:DISPONIBLE, EINA.Informática/Sistemas:DISPONIBLE   MAT. IMPRESO 1985
IS-RDPC 6      
      Petri Nets : An Introduction / Wolfgang Reisig IS-RDPC 6 ; B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1985
IS-RDPC 7      
      Le reti di petri / Wolfgang Reisig IS-RDPC 7 ; B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1984
IS-RDPC 8      
      Pratique sequentielle et reseaux de Petri / par Sylvain Thelliez IS-RDPC 8 ; EINA.Informática/Sistemas:DISPONIBLE   MAT. IMPRESO 1978
IS-RDPC 11      
      The analysis of concurrent systems : proceedings, Cambridge, September 12-16, 1983 / edited by B.T. D B 10/LNCS 207 ; B.Ciencias.Matemáticas:DISPONIBLE, B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1985
IS-RDPC 12      
      Advances in Petri nets 1985 / edited by G. Rozenberg B 10/LNCS 222 ; B.Ciencias.Matemáticas:DISPONIBLE, B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1986
IS-RDPC 13      
      Advanced course on petri nets : program and application form : September 8-19, 1986, Bad Honnef, Germ IS-RDPC 15 ; B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE, EINA.Informática/Sistemas:DISPONIBLE   MAT. IMPRESO 1986
IS-RDPC 14      
      Advanced course on petri nets : program and application form : September 8-19, 1986, Bad Honnef, Germ IS-RDPC 15 ; B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE, EINA.Informática/Sistemas:DISPONIBLE   MAT. IMPRESO 1986
IS-RDPC 15      
      Advanced course on petri nets : program and application form : September 8-19, 1986, Bad Honnef, Germ IS-RDPC 15 ; B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE, EINA.Informática/Sistemas:DISPONIBLE   MAT. IMPRESO 1986
IS-RDPC 17      
      Advances in Petri nets, 1987 / Grzegorz Rozenberg (ed.) B 10/LNCS 266 ; B.Ciencias.Matemáticas:DISPONIBLE, B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1987
IS-RDPC 18      
      Advances in Petri nets 1986 : proceedings of an Advanced Course Bad Honnef, September 1986. Part. I, B 10/LNCS 254 ; B.Ciencias.Matemáticas:DISPONIBLE, B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1987
IS-RDPC 19      
      Advances in Petri nets 1986 : proceedings of an Advanced Course Bad Honnef, 8-19 September 1986. Part B 10/LNCS 255 ; B.Ciencias.Matemáticas:DISPONIBLE, B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1987
IS-RDPC 21      
      Advances in Petri nets, 1988 / [8th European Workshop on Applications and Theory of Petri Nets held i B 10/LNCS 340 ; B.Ciencias.Matemáticas:DISPONIBLE, EINA.Informática/Sistemas:DISPONIBLE   MAT. IMPRESO 1988
IS-RDPC 22      
      Current trends in concurrency : overviews and tutorials / edited by J. W. de Bakker, W.-P. de Roever, B 10/LNCS 224 ; B.Ciencias.Matemáticas:DISPONIBLE, B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1986
IS-RDPC 23      
      Aspects mathématiques des réseaux de Pétri / Christophe Reutenauer M-ALGEBRA ; Ciencias.Matemáticas-Dpto. Matemáticas. Álgebra :DISPONIBLE, EINA.Informática/Sistemas:DISPONIBLE   MAT. IMPRESO 1989
IS-RDPC 24      
      Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop B 10/LNCS 354 ; B.Ciencias.Matemáticas:DISPONIBLE, B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1989
IS-RDPC 25      
      Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984 / edited by S. D B 10/LNCS 197 ; B.Ciencias.Matemáticas:DISPONIBLE, B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1985
IS-RDPC 26      
      Nonsequential processes : a Petri Net view / Eike Best, César Fernández C. IS-RDPC 26 ; B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE, EINA.Informática/Sistemas:DISPONIBLE   MAT. IMPRESO 1988
IS-RDPC 27      
      Concurrency and nets : Advances in Petri Nets / K. Voss, H.J. Genrich, G. Rozenberg (Eds.) IS-RDPC 27 ; EINA.Informática/Sistemas:DISPONIBLE   MAT. IMPRESO 1987
IS-RDPC 28      
      Finite representations of CCS and TCSP programs by automata and Petri nets / Dirk Taubner B 10/LNCS 369 ; B.Ciencias.Matemáticas:DISPONIBLE, B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1989
IS-RDPC 29      
      Nonsequential processes : a Petri Net view / Eike Best, César Fernández C. IS-RDPC 26 ; B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE, EINA.Informática/Sistemas:DISPONIBLE   MAT. IMPRESO 1988
IS-RDPC 30      
      Verifying concurrent processes using temporal logic / Brent T. Hailpern B 10/LNCS 129 ; B.Ciencias.Matemáticas:DISPONIBLE, B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1982
IS-RDPC 32      
      Systementwurf mit Netzen / Wolfgang Reisig IS-RDPC 32 ; B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1985
IS-RDPC 33      
      Advances in Petri nets, 1989 / Grzegorz Rozenberg, ed B 10/LNCS 424 ; B.Ciencias.Matemáticas:DISPONIBLE, B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1990
IS-RDPC 34      
      CONCUR'90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27 B 10/LNCS 458 ; B.Ciencias.Matemáticas:DISPONIBLE, B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1990
IS-RDPC 36      
      Advances in Petri nets 1990 / Grzegorz Rozenberg (ed.) B 10/LNCS 483 ; B.Ciencias.Matemáticas:DISPONIBLE, B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE, EINA.Informática/Sistemas:DISPONIBLE   MAT. IMPRESO 1991
IS-RDPC 37      
      Application and Theory of Petri Nets : 11th International Conference : Paris, France, 27-29 June 1990 IS-PROC 346 ; B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1990?
IS-RDPC 38      
      Application and theory of Petri nets : 12th International Conference, Gjern, Denmark, 26-28 June 1991 IS-PROC 345 ; B.Hypatia-Depósito(Col.Inform.Sistemas):DISPONIBLE   MAT. IMPRESO 1991?
Guardar los marcados Guardar todos de la página Guardar en Mis Listas
Página de resultados   Ant Sig