Logical foundations of cyber-physical systems. (Record no. 32986)
[ view plain ]
000 -LEADER | |
---|---|
campo de control de longitud fija | 00890nmm a22002895i 4500 |
001 - NÚMERO DE CONTROL | |
campo de control | 20523363 |
003 - IDENTIFICADOR DE NÚMERO DE CONTROL | |
campo de control | AR-SmCIES |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
campo de control | 20250213105518.0 |
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
campo de control de longitud fija | 180531s2018 nyu 000 0 eng |
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
Número Internacional Estándar del Libro | 9783319635873 |
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
Nombre de persona | Platzer, André |
9 (RLIN) | 3664 |
245 00 - MENCIÓN DEL TÍTULO | |
Título | Logical foundations of cyber-physical systems. |
264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT | |
Producción, publicación, distribución, fabricación y copyright | New York, NY : |
Nombre del de productor, editor, distribuidor, fabricante | Springer Berlin Heidelberg, |
Fecha de producción, publicación, distribución, fabricación o copyright | 2018. |
300 ## - DESCRIPCIÓN FÍSICA | |
Extensión | 662 p. |
Otros detalles físicos | il. |
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | DIFFERENTIAL EQUATIONS |
9 (RLIN) | 484 |
Fuente del encabezamiento o término | inist |
Término de materia o nombre geográfico como elemento de entrada | ECUACIONES DIFERENCIALES |
9 (RLIN) | 210 |
Fuente del encabezamiento o término | inist |
Término de materia o nombre geográfico como elemento de entrada | DYNAMICAL SYSTEMS |
9 (RLIN) | 3665 |
Fuente del encabezamiento o término | inist |
Término de materia o nombre geográfico como elemento de entrada | SISTEMAS DINAMICOS |
9 (RLIN) | 3666 |
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO | |
Término no controlado | Cyberphysical Systems |
Término no controlado | Safety-Critical Systems |
Término no controlado | Model Checking |
Término no controlado | Control Loops |
Término no controlado | Proofs |
856 ## - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS | |
Texto de enlace | Solicitar libro electrónico a bibliotecacies@cnea.gob.ar |
942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) | |
Fuente de la clasificación o esquema de estantería | Universal Decimal Classification |
Tipo de ítem Koha | Libro electrónico |
Estatus retirado | Estado de pérdida | Fuente de la clasificación o esquema de estantería | Estado de daño | No para préstamo | Biblioteca de origen | Biblioteca actual | Fecha de adquisición | Número de inventario | Código de barras | Visto por última vez | Precio de reemplazo | Tipo de ítem Koha | Nota pública |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Universal Decimal Classification | Centro de Información Eduardo Savino | Centro de Información Eduardo Savino | 14/06/2020 | 51666 | 51666 | 14/06/2020 | 14/06/2020 | Libro electrónico | Solicitar libro electrónico a bibliotecacies@cnea.gob.ar |