Logic in computer science : (Registro nro. 24691)

000 -CABECERA
campo de control de longitud fija 01298Cam#a22003134a#4500
001 - NÚMERO DE CONTROL
campo de control 027006
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control AR-BeUNQ
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20190812123916.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 141127s2004 enka ##b #001 0#eng#d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 9780521543101
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen DLC
Centro/agencia modificador DLC
Normas de descripción aacr
082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY
Número de clasificación 005.1/01/5113
Número de edición 22
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre de persona Huth, Michael,
Fechas asociadas al nombre 1962-
245 02 - MENCIÓN DE TÍTULO
Título Logic in computer science :
Resto del título modelling and reasoning about systems
Mención de responsabilidad, etc. Michael Huth, Mark Ryan.
250 ## - MENCIÓN DE EDICIÓN
Mención de edición 2nd ed.
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Lugar de publicación, distribución, etc. Cambridge [U.K.] ;
Nombre del editor, distribuidor, etc. Cambridge University Press,
Fecha de publicación, distribución, etc. 2004.
300 ## - DESCRIPCIÓN FÍSICA
Extensión xiv, 427 p. :
Otras características físicas il. ;
Dimensiones 25 cm.
504 ## - NOTA DE BIBLIOGRAFÍA, ETC.
Nota de bibliografía, etc. Incluye referencias bibliográficas (414-417) e índice.
594 ## - Carrera [UNQ]
Docente LICENCIATURA EN DESARROLLO DE SOFTWARE
-- LICENCIATURA EN INFORMATICA
595 ## - Materia [UNQ]
Materia ALGORITMOS
595 ## - Materia [UNQ]
Materia LOGICA Y PROGRAMACION
Fecha 2016
650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Lógica
Fuente del encabezamiento o término spines
650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Programación de computadora
Fuente del encabezamiento o término toit
650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Informática
Fuente del encabezamiento o término spines
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Ryan, Mark,
Fechas asociadas al nombre 1962-
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha Libros
Suprimir en OPAC Visualizar
Existencias
Estado de retiro Estado de pérdida Estado dañado No para préstamo Localización permanente Ubicación/localización actual Ubicación en estantería Fecha de carga Signatura topográfica completa Código de barras Fecha visto por última vez Número de copia Tipo de ítem Koha Total de préstamos Renovaciones totales Fecha del último préstamo
        Biblioteca Laura Manzo - Universidad Nacional de Quilmes Biblioteca Laura Manzo - Universidad Nacional de Quilmes SALA 2016-06-02 005.101 HUT 52269 2019-05-08 1 Libros      
        Biblioteca Laura Manzo - Universidad Nacional de Quilmes Biblioteca Laura Manzo - Universidad Nacional de Quilmes CIRCULACION 2016-06-02 005.101 HUT 52270 2024-03-26 2 Libros 6 5 2024-03-12
        Biblioteca Laura Manzo - Universidad Nacional de Quilmes Biblioteca Laura Manzo - Universidad Nacional de Quilmes CIRCULACION 2016-06-02 005.101 HUT 52271 2023-04-04 3 Libros 1   2023-03-28
        Biblioteca Laura Manzo - Universidad Nacional de Quilmes Biblioteca Laura Manzo - Universidad Nacional de Quilmes CIRCULACION 2016-06-02 005.101 HUT 52272 2022-11-17 4 Libros 5 11 2022-10-19
Biblioteca Laura Manzo. Universidad Nacional de Quilmes.
Roque Sáenz Peña 352 Bernal - B1876BXD - Bs. As.
Tel:+ 54 11 4365-7130. biblioteca@unq.edu.ar
Horario de Atención: Lunes a viernes de: 8:30 a 21:30 hs. Sábados de 8:15 a 15 hs.

Con tecnología Koha