Tapa blanda

Español

Editorial Verbum, S.l.

Editorial Verbum (Pa)

En la inmensidad del camino celeste

La poesía que habita Entre la palabra y el cielo es un profundo diálogo entre la suma expresión simbólica del ser humano y los extensos dominios celestes, cual si de un homenaje a los anhelos de transcendencia a otro mundo mejor, más sublime y de inmensa belleza, se tratara. El significado de sus versos, escritos durante varios años, intentan seguir la estela de su obra antecesora (En la inmensidad del camino celeste, ed. Verbum, Madrid, 2020) y transmitir una renovada acepción del amor simbólico, dedicado a aquella enigmática musa, desde el punto de vista del idealismo transcendental, nunca distante de un enfoque neoplatónico acorde al canon de la antigua cultura cristiana. Además de los versos que tratan del citado tema a modo de poesía metafísica, no se dejan de lado aspectos de compromiso social sobre asuntos que se omiten o se soslayan del debate de las ideas en la cultura dominante de la contemporaneidad. Por tales motivos, la presente obra nos invita a deleitarnos en una lírica que procura recordar el buen hacer ético y estético de la poesía que comprende del Medievo al Renacimiento, consagrada por poetas como Dante o Petrarca, y del Siglo de Oro, con grandes literatos de nuestra lengua hispánica como son Garcilaso, Góngora, Quevedo o Lope de Vega. Valga por tanto este libro como escalera que le encumbre hasta los confines de un universo poético para dejar ya atrás la cansada rutina diaria desenfrenada, el odio como motor de vida, las desavenencias o nimiedades cotidianas con el fin de despertar sus sentidos y su pensamiento al mundo de nuevas ideas y principios, quizá alternativos, pero que animan a dirigir la mirada a los horizontes de verdadera belleza transcendental, siempre con los pies en la tierra.

Entre la palabra y el cielo

Esta obra está dirigida a los desarrolladores profesionales y estudiantes que deseen alcanzarun alto nivel de conocimientos con los que crear diagramas estáticos y dinámicos en UML, lo que facilitará la construcción de aplicaciones de una forma metódica, organizada y segura.En ella hallará una explicación completa y didáctica de la sintaxis y semántica de UML 2.x, encontrará una gran colección de ejemplos reales que le ayudarán a progresar rápidamente en el aprendizaje del modelado de sus aplicaciones. Además, mediante la evolución de tres proyectos de software basados en un videojuego de ajedrez, una aplicación CVS y un cliente/servidor de cifrado remoto, recorrerá los aspectos esenciales del Análisis y Diseño Orientado a Objetos con UML, desde la adquisición de requisitos hasta la implementación en los lenguajes Java, C++ y Python.Con todo ello, en el presente volumen podrá encontrar:ò Una introducción al estado del arte de la Ingeniería de Software.ò Diagramas inteligibles y explicaciones detalladas de la sintaxis UML 2.x.ò Once tipos de diagramas más modelado del dominio.ò Un capítulo completo sobre patrones de diseño GOF.ò Un capítulo sobre patrones GRASP de buenas prácticas de programación.ò Un capítulo completo dedicado a OCL (Object Constraint Language).ò Implementación en Java, C++ y Python de los diagramas explicados.ò Descarga de los códigos y esquemáticos desde el servidor de Editorial Ra-Ma.ò Una referencia completa de UML y Programación Orientada a Objetos.«Un libro de utilidad práctica que incluye un gran número de ejemplos reales para quienes deseen introducirse en el modelado UML».Jesús García Molina.

Ra-Ma, Editorial

Ra-Ma S.a. Editorial Y Publicaciones

Uml. Arquitectura de aplicaciones en java, C++ y python

España

Este manual de Lógica ofrece un curso teórico-práctico con numerosos ejemplos resueltos y ejercicios propuestos que introducirán al lector en los aspectos de esta ciencia que más han impactado en el campo del saber y en la tecnología más puntera.Los primeros capítulos están orientados a estudiantes de Filosofía en lo que respecta al arte de pensar y argumentar, mientras que la obra completa es de amplia aplicación en facultades de Ingeniería, Ingeniería Informática y Ciencias Matemáticas (STEM) por el potencial para fomentar la capacidad de abstracción y razonamiento formalizado.Lógica matemática y computacional permitirá al lector profundizar en los mecanismos que constituyen la Inteligencia Artificial y la verificación formal de programas de ordenador actuales.La presente edición incluye:- Lógica proposicional: desde la definición del lenguaje hasta los sistemas deductivos, incluyendo la deducción natural.- Lógica de predicados de primer orden: con explicaciones y ejemplos sobre la semántica de las interpretaciones, las equivalencias y los sistemas deductivos, incluida la resolución.- Lógica de Hoare: explicación completa para la verificación de programas secuenciales con gran cantidad de ejercicios.- Lógica modal: desde ejemplos de tipos de relaciones hasta la deducción natural.- Lógica temporal: expone de forma didáctica cómo razonar con conceptos de tiempo.

Editorial Tébar Flores

Lógica matemática y computacional

Este manual de Lógica ofrece un curso teórico-práctico con numerosos ejemplos resueltos y ejercicios propuestos que introducirán al lector en los aspectos de esta ciencia que más han impactado en el campo del saber y en la tecnología más puntera. Los primeros capítulos están orientados a estudiantes de Filosofía en lo que respecta al arte de pensar y argumentar, mientras que la obra completa es de amplia aplicación en facultades de Ingeniería, Ingeniería Informática y Ciencias Matemáticas (STEM) por el potencial para fomentar la capacidad de abstracción y razonamiento formalizado. Lógica matemática y computacional permitirá al lector profundizar en los mecanismos que constituyen la Inteligencia Artificial y la verificación formal de programas de ordenador actuales. La presente edición incluye:- Lógica proposicional: desde la definición del lenguaje hasta los sistemas deductivos, incluyendo la deducción natural.- Lógica de predicados de primer orden: con explicaciones y ejemplos sobre la semántica de las interpretaciones, las equivalencias y los sistemas deductivos, incluida la resolución.- Lógica de Hoare: explicación completa para la verificación de programas secuenciales con gran cantidad de ejercicios.- Lógica modal: desde ejemplos de tipos de relaciones hasta la deducción natural.- Lógica temporal: expone de forma didáctica cómo razonar con conceptos de tiempo.

Editorial Tebar Flores

Editorial Tebar Flores S.l.

Los formalismos de la Programación Orientada a Objetos son una parte clave en la preparación deLos formalismos de la Programación Orientada a Objetos son una parte clave en la preparación de cualquier informático, aunque no son menos importantes los conocimientos de Análisis y Diseño Software. Desde esta perspectiva podemos afirmar que existen dos niveles en la formación de un ingeniero de software: las capacidades de programación algorítmica y las capacidades de Análisis y Diseño Orientados a Objetos desde un prisma arquitectónico. Por esta razón se hace cada vez más necesario el estudio de estas dos disciplinas en los centros universitarios de Ingeniería y de Formación Profesional Informática. Al adentrarse en las páginas de este libro no solo hallará una explicación completa y amigable de la sintaxis y semántica de UML 2.x, sino también una gran colección de ejemplos del mundo real que le ayudarán a progresar rápidamente en el aprendizaje. Además, mediante la evolución de dos proyectos software basados en un videojuego de ajedrez y una aplicación CVS, recorrerá los aspectos esenciales del Análisis y Diseño Orientado a Objetos con UML, desde la adquisición de requisitos hasta la implementación en los lenguajes Java y C++.  Por ello, en este volumen encontrará: Una introducción al estado del arte de la Ingeniería de Software  Diagramas inteligibles y explicaciones detalladas de la sintaxis UML 2.x  Once tipos de diagramas más modelado del dominio y patrones de diseño  Un capítulo completo dedicado a OCL (Object Constraint Language)  Implementación en Java y C++ de los diagramas explicados Descarga de los códigos y esquemáticos desde el servidor de Ra-Ma Una referencia completa de UML y Programación Orientada a Objetos

En la inmensidad del camino celeste (2020)

Entre la palabra y el cielo (2023)

Uml. Arquitectura de aplicaciones en java, C++ y python (2021)

Lógica matemática y computacional (2024)

Lógica matemática y computacional (2024)

Uml aplicaciones en java y. C. ++ (2015)

Cielos De Nostalgia (2026)