03856nam 22006135 450 99646588530331620200704034113.03-540-45510-810.1007/3-540-45510-8(CKB)1000000000211422(SSID)ssj0000324897(PQKBManifestationID)11912703(PQKBTitleCode)TC0000324897(PQKBWorkID)10320159(PQKB)11342565(DE-He213)978-3-540-45510-3(MiAaPQ)EBC3073006(PPN)155175467(EXLCZ)99100000000021142220121227d2001 u| 0engurnn|008mamaatxtccrModeling and Verification of Parallel Processes[electronic resource] 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures /edited by Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan1st ed. 2001.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2001.1 online resource (X, 234 p.) Lecture Notes in Computer Science,0302-9743 ;2067Bibliographic Level Mode of Issuance: Monograph3-540-42787-2 Includes bibliographical references and index.Tutorials and Papers -- Model Checking: A Tutorial Overview -- Theorem Proving for Verification -- Composition and Abstraction -- UPPAAL - Now, Next, and Future -- HMSCs as Partial Specifications...with PNs as Completions -- Industrial Applications of Model Checking -- Formal Methods in Practice: The Missing Links. A Perspective from the Security Area -- Annotated Bibliographies -- Verification of Systems with an Infinite State Space -- Testing Transition Systems: An Annotated Bibliography -- Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography -- Mobile Processes: A Commented Bibliography.Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems. This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking, Theorem Proving, Composition and Abstraction Techniques, and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts, Industrial Applications of Model Checking, and the use of Formal Methods in Security. Finally, four annotated bibliographies give an overview of Infinite State Space Systems, Testing Transition Systems, Fault-Model-Driven Test Derivation, and Mobile Processes.Lecture Notes in Computer Science,0302-9743 ;2067Software engineeringComputersSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Software engineering.Computers.Software Engineering.Theory of Computation.004/.358Cassez Franckedthttp://id.loc.gov/vocabulary/relators/edtJard Claudeedthttp://id.loc.gov/vocabulary/relators/edtRozoy Brigitteedthttp://id.loc.gov/vocabulary/relators/edtRyan Mark Dedthttp://id.loc.gov/vocabulary/relators/edtMOVEP 2000BOOK996465885303316Modeling and Verification of Parallel Processes2262755UNISA06385nam 22006013 450 991102612450332120240209080228.097884110301138411030113(CKB)5700000000109095(MiAaPQ)EBC31130171(Au-PeEL)EBL31130171(MiAaPQ)EBC7180921(Au-PeEL)EBL7180921(OCoLC)1370946262(FINmELB)ELB220976(OCoLC)1420629632(OCoLC)1492991945(EXLCZ)99570000000010909520240209d2021 uy 0spaurcnu||||||||txtrdacontentcrdamediacrrdacarrierAplicaciones informáticas de hojas de cálculo. ADGD02081st ed.Antequera :IC Editorial,2021.©2021.1 online resource (153 pages)9788491988625 8491988629 Incluye bibliografía.Intro -- Título -- Copyright -- Presentación del manual -- Índice -- Objetivos -- Unidad de Aprendizaje 1 Conceptos generales y características fundamentales de la aplicación de hoja de cálculo -- 1. Introducción -- 2. Instalación e inicio de la aplicación -- 3. Configuración de la aplicación -- 4. Entrada y salida del programa -- 5. Descripción de la pantalla de aplicación de hoja de cálculo -- 6. Ayuda de la aplicación de hoja de cálculo -- 7. Opciones de visualización (zoom, vistas, inmovilización de zonas de la hoja de cálculo, etc.) -- 8. Resumen -- Ejercicios de autoevaluación -- Unidad de Aprendizaje 2 Almacenamiento y recuperación de un libro -- 1. Introducción -- 2. Cerrar y crear nuevos libros de trabajo -- 3. Abrir un libro ya existente -- 4. Guardado de los cambios realizados en un libro y duplicado de este -- 5. Resumen -- Ejercicios de autoevaluación -- Unidad de Aprendizaje 3 Desplazamiento por la hoja de cálculo -- 1. Introducción -- 2. Desplazamiento por la hoja de cálculo -- 3. Resumen -- Ejercicios de autoevaluación -- Unidad de Aprendizaje 4 Introducción de datos en la hoja de cálculo -- 1. Introducción -- 2. Tipos de datos -- 3. Resumen -- Ejercicios de autoevaluación -- Unidad de Aprendizaje 5 Edición y modificación de la hoja de cálculo -- 1. Introducción -- 2. Selección de la hoja de cálculo -- 3. Modificación de datos -- 4. Inserción y eliminación -- 5. Copiado o reubicación -- 6. Resumen -- Ejercicios de autoevaluación -- Unidad de Aprendizaje 6 Operaciones con rangos -- 1. Introducción -- 2. Relleno rápido de un rango -- 3. Selección de varios rangos -- 4. Nombre de rangos -- 5. Resumen -- Ejercicios de autoevaluación -- Unidad de Aprendizaje 7 Modificación de la apariencia de una hoja de cálculo -- 1. Introducción -- 2. Formato de celda -- 3. Anchura y altura de las columnas y filas.4. Ocultando y mostrando columnas, filas u hojas de cálculo -- 5. Cambio de nombre de una hoja de cálculo -- 6. Formatos y estilos de la hoja de cálculo -- 7. Resumen -- Ejercicios de autoevaluación -- Unidad de Aprendizaje 8 Fórmulas -- 1. Introducción -- 2. Operadores y prioridad -- 3. Escritura y copia de fórmulas -- 4. Referencias -- 5. Resolución de errores en las fórmulas -- 6. Resumen -- Ejercicios de autoevaluación -- Unidad de Aprendizaje 9 Funciones -- 1. Introducción -- 2. Reglas para utilizar las funciones predefinidas -- 3. Uso del asistente para funciones -- 4. Utilización de las funciones más usuales -- 5. Funciones matemáticas predefinidas en la aplicación de hoja de cálculo -- 6. Resumen -- Ejercicios de autoevaluación -- Unidad de Aprendizaje 10 Inserción de gráficos, para representar la información contenida en las hojas de cálculo -- 1. Introducción -- 2. Elementos de un gráfico -- 3. Creación de un gráfico -- 4. Modificación de un gráfico -- 5. Borrado de un gráfico -- 6. Resumen -- Ejercicios de autoevaluación -- Unidad de Aprendizaje 11 Inserción de otros elementos dentro de una hoja de cálculo -- 1. Introducción -- 2. Imágenes -- 3. Autoformas -- 4. Textos artísticos -- 5. Otros elementos -- 6. Resumen -- Ejercicios de autoevaluación -- Unidad de Aprendizaje 12 Impresión -- 1. Introducción -- 2. Zonas de impresión -- 3. Especificaciones de impresión -- 4. Configuración de página -- 5. Vista preliminar -- 6. Resumen -- Ejercicios de autoevaluación -- Unidad de Aprendizaje 13 Trabajo con datos -- 1. Introducción -- 2. Validaciones de datos -- 3. Esquemas -- 4. Creación de tablas o listas de datos -- 5. Ordenación de lista de datos, por uno o varios campos -- 6. Uso de filtros -- 7. Subtotales -- 8. Resumen -- Ejercicios de autoevaluación.Unidad de Aprendizaje 14 Utilización de las herramientas de revisión y trabajo con libros compartidos -- 1. Introducción -- 2. Inserción de comentarios -- 3. Libros compartidos -- 4. Protección de una hoja de cálculo -- 5. Protección de un libro -- 6. Resumen -- Ejercicios de autoevaluación -- Unidad de Aprendizaje 15 Importación desde otras aplicaciones del paquete ofimático -- 1. Introducción -- 2. Con bases de datos -- 3. Con presentaciones -- 4. Con documentos de texto -- 5. Resumen -- Ejercicios de autoevaluación -- Unidad de Aprendizaje 16 Plantillas y macros -- 1. Introducción -- 2. Creación y uso de plantillas -- 3. Grabadora de macros -- 4. Utilización de macros -- 5. Resumen -- Ejercicios de autoevaluación -- Glosario -- Bibliografía.- Utilizar hojas de cálculo con habilidad utilizando las funciones habituales en todas aquellas actividades que requieran tabulación y tratamiento aritmético-lógico y/o estadístico de datos e información, así como su presentación en gráficos.Base de datosHoja de cálculoLibros electrónicos.Manuales de formación.Base de datos.Hoja de cálculo.004Vílchez Beltrán Julio1847306Vílchez Beltrán Julio1847306MiAaPQMiAaPQMiAaPQBOOK9911026124503321Aplicaciones informáticas de hojas de cálculo. ADGD02084432858UNINA