Su búsqueda obtuvo 119 resultados.

Resultados
		Elements of the theory of computation / Harry Lewis, Christos H. Papadimitriou por Lewis, Harry \| Papadimitriou, Christos H [coautor]. Edición: 2nd ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Upper Saddle River : Prentice-Hall, 1997Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 519.713/LEW/ele. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Computability, complexity and languages : fundamentals of theoretical computer science / Martin D. Davis, Ron Sigal, Elaine J. Weyuker por Davis, Martin D \| Sigal, Ron \| weyuker, Elaine J. Series Computer science and scientific computingEdición: 2nd. ed.Tipo de material: Texto; Formato: impreso Detalles de publicación: Boston [etc.] : Academic Press, 1994Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3/DAV/com. No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1). (1 votos) Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		JFLAP : an interactive formal language and automata package / Susan H. Rodger, Thomas W. Finley por Rodger, Susan H \| Finley, Thomas W. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Sudbury : Jones and Bartlett, 2006Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3/ROD/jfl. No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1). Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Formal languages and automata theory / Vladimir Drobot. por Drobot, Vladimir. Series Principles of computer science seriesTipo de material: Texto; Forma literaria: No es ficción Detalles de publicación: Rockville, Maryland Computer Science Press, 1989Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3/DRO/for. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Autòmats i llenguatges : verificació, implementació i concurrència / Jairo Rocha, Francesc Rosselló. por Rocha, Jairo \| Roselló, Francesc [coautor] \| Universidad de las Islas Baleares. Series Materials didàctics ; 107.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Palma : Universitat de les Illes Balears, Servei de Publicacions i Intercanvi Cientific, 2003Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: Depósito-681.3/ROC/aut. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Switching in systems and control / Daniel Liberzon por Liberzon, Daniel. Series Systems and control. Foundations and applicationsTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Boston : Birkh{u0084}user, 2003Disponibilidad: No disponible:02. BIBLIOTECA CAMPUS PUERTO REAL: Prestado (1). Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Leonardo Torres Quevedo / edición de Francisco González de Posada por Torres Quevedo, Leonardo \| González de Posada, Francisco [editor literario]. Series Biblioteca de la ciencia española ; 5Tipo de material: Texto; Formato: impreso Detalles de publicación: Madrid : Fundación Banco Exterior, D.L. 1992Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 929Torres/LEO. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Introducción a la teoría de autómatas, lenguajes y computación / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman. por Hopcroft, John E \| Ullman, Jeffrey D \| Motwani, Rajeev. Edición: 2ª ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Madrid : Addison-Wesley , 2002Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (8)Ubicación, signatura topográfica: 681.3/HOP/int, ... No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (2). Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Robot colonies / edited by Ronald C. Arkin, George A. Bekey. por Arkin, Ronald C, 1949- \| Bekey, George A, 1928-. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Boston : Kluwer Academic, c1997Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.5/ROB . Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Robots : le mythe du Golem et la peur des machines / Brigitte Munier. por Munier, Brigitte. Series Les EssaisTipo de material: Texto; Formato: impreso ; Forma literaria: Ensayos ; Audiencia: Especializado; Detalles de publicación: Paris : Différence, 2011Disponibilidad: Ítems disponibles para préstamo: 06. BIBLIOTECA HUMANIDADES (1)Ubicación, signatura topográfica: 681.3/MUN/rob. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Introduction to the theory of computation / Michael Sipser; [edited by] Marie Lee. por Sipser, Michael. Edición: 3rd Ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Boston, MA : Course Technology Cengage Learning, 2012Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 519.7/SIP/int, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Automation, production systems and computer-integrated manufacturing / Mikell P. Groover por Groover, Mikell P. Edición: 2nd edTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Upper Saddle River, NJ : Prentice Hall , 2001Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2)Ubicación, signatura topográfica: 681.5/GRO/aut, ... Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Introduction to computer theory / Daniel I.A. Cohen. por Cohen, Daniel I. A. Edición: 2nd ed.Tipo de material: Texto; Forma literaria: No es ficción Detalles de publicación: New York [etc.] : John Wiley and Sons, 1997Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3/COH/int. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Robotics : modelling, planning and control / Bruno Siciliano ... [et al.]. por Siciliano, Bruno, 1959-. Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción ; Audiencia: Especializado; Detalles de publicación: London : Springer, c2009Disponibilidad: No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1). Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Automata-2008: Theory and aplications of cellular automata/ Andrew Adamatzky... [et al.]. por Adamatzky, Andrew. Tipo de material: Texto; Formato: impreso caracteres normales ; Forma literaria: No es ficción Detalles de publicación: Frome : Luniver Press, 2008Disponibilidad: No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1). Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Cellular automata modeling of physical systems / Bastien Chopard and Michel Droz. por Chopard, Bastien \| Droz, Michel, (, 1944-). Series Collection Aleá-SaclayTipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: Cambridge, [England] ; New York : Cambridge University Press, 2005Disponibilidad: No disponible:03. BIBLIOTECA INGENIERÍA PUERTO REAL: Prestado (1). Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Control de un robot autónomo móvil para la recogida de objetos [Recurso electrónico] / Santiago Torres Álvarez ; director, Juan Albino Méndez Pérez por Torres Álvarez, Santiago \| Méndez Pérez, Juan Albino \| Universidad de La Laguna. Departamento de Ingeniería de Sistemas y automática y Arquitectura y Tecnología de Computadores \| Universidad de La Laguna [ed]. Series Soportes audiovisuales e informáticos. Tesis doctorales \| Ciencias y tecnologías. Curso 2007/2008 ; ; 14Tipo de material: Archivo de ordenador; Formato: electrónico Detalles de publicación: La Laguna : Universidad de La Laguna, 2010Nota de disertación: Tesis-Universidad de La Laguna, 2007 Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: CD-681.5/TOR/con. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Autómatas finitos con programación funcional / Antonio Blanco Ferrero, Gilberto Pérez Vega, José Santiago Jorge Castro por Blanco Ferrero, Antonio. Tipo de material: Artículo; Formato: impreso Detalles de publicación: La Coruña : Universidade da Coruña, Servicio de Publicacións, 1993Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.06/BLA/aut. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)
		Introduction to languages and theory of computation / John C. Martin por Martin, John C. Edición: 4ª ed.Tipo de material: Texto; Formato: impreso ; Forma literaria: No es ficción Detalles de publicación: New York : McGraw-Hill, 2011Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.3.06/MAR/int. Solicitud de artículo Ingresar para agregar etiquetas Agregar al carrito (eliminar)

Con tecnología Koha