Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Prolog (Lenguaje de programación) 29
- Biblia 13
- Teologia 13
- Teología dogmática 13
- Inteligencia artificial 10
- Bíblia 9
- History 9
- Politics 9
- Teología 8
- Història 7
- Obres anteriors al 1800 7
- Cultural History 6
- Historia 6
- Informática 6
- Political Science 6
- Prolog (Llenguatge de programació) 6
- Teologia dogmàtica 6
- Civil Society 5
- Crítica e interpretación 5
- Culture 5
- Society 5
- Crítica, interpretació, etc 4
- History of the 20th Century 4
- Juan 4
- Sociology 4
- Art 3
- Comentaris 3
- Cultural Studies 3
- German History 3
- Memory Culture 3
-
421por Kämpf, Katrin M.Tabla de Contenidos: “…Cover -- Inhalt -- Prolog -- 1. Einführung: Die letzten Perversen -- 2. …”
Publicado 2021
Tesis -
422Publicado 1984Tabla de Contenidos: “….: Rhetorische ustanovka. Der Prolog zum "Stancionnyj smotritel'" - Girke, W.: Thema-Rhema und kein Ende (Thematische Progression, Thematisierung, gesättigte Rhemata) - Hielscher, K.: Die Rezeption A. …”
Libro electrónico -
423por Naucke, PhilippTabla de Contenidos: “…Frontmatter 1 Inhalt 5 Prolog 9 Einleitung 13 1.1. Theoretische Einbettung: Anthropologie der Staatlichkeit 19 1.2. …”
Publicado 2020
Tesis -
424
-
425
-
426por International Symposium on Fundamentals of Software EngineeringTabla de Contenidos: “…-- Adapting the UPPAAL Model of a Distributed Lift System -- Zone-Based Universality Analysis for Single-Clock Timed Automata -- Compositional Semantics of System-Level Designs Written in SystemC -- Reusing Requirements: The Need for Extended Variability Models -- Test Selection Criteria for Quantifier-Free First-Order Specifications -- Formal Testing of Systems Presenting Soft and Hard Deadlines -- Automatic Composition of Stateless Components: A Logical Reasoning Approach -- A Model of Component-Based Programming -- Contract Based Multi-party Service Composition -- Regulating Data Exchange in Service Oriented Applications -- A Behavioural Congruence for Web Services -- Logic–Based Detection of Conflicts in Appel Policies -- Hoare Logic for ARM Machine Code -- Action Abstraction in Timed Process Algebra -- Type Abstractions of Name-Passing Processes -- Formal Specification of Multi-agent Systems by Using EUSMs -- Strong Safe Realizability of Message Sequence Chart Specifications -- Implication-Based Approximating Bounded Model Checking -- Logical Bisimulations and Functional Languages -- Efficient State Space Reduction for Automata by Fair Simulation -- Model Checking Temporal Metric Specifications with Trio2Promela -- Design and Implementation of a Dynamic-Reconfigurable Architecture for Protocol Stack -- Vulnerability Analysis in VGBPS Using Prolog -- An Alternative Algorithm for Constraint Automata Product -- A Review on Specifying Software Architectures Using Extended Automata-Based Models -- ArchC#: A New Architecture Description Language for Distributed Systems -- Relationships Meet Their Roles in Object Oriented Programming…”
Publicado 2007
Libro electrónico -
427por Norris, Donald J. author“…AI in action will be demonstrated using the Python language on the Raspberry Pi. The Prolog language will also be introduced and used to demonstrate fundamental AI concepts. …”
Publicado 2017
Libro electrónico -
428por Thomä, Helmut
Publicado 1989Red de Bibliotecas de la Diócesis de Córdoba (Otras Fuentes: Biblioteca de la Universidad Pontificia de Salamanca, Universidad Loyola - Universidad Loyola Granada, Biblioteca Universitat Ramon Llull, Biblioteca del Instituto Superior de Teología de las Islas Canarias)Libro -
429por Hildebrand, MariusTabla de Contenidos: “…Frontmatter 1 Editorial 2 Inhalt 5 Prolog: Der Anti-Populismus-Reflex oder die wissenschaftliche Konstitution eines ungeliebten Forschungsgegenstandes 11 Einleitung 19 1. …”
Publicado 2017
Libro electrónico -
430Zwischen Amazonas und East River Indigene Bewegungen und ihre Repräsentation in Peru und bei der UNOpor Rößler, MarenTabla de Contenidos: “…Frontmatter 1 Inhalt 5 Danksagung 9 Prolog: Das große dicke Schwein 11 Kapitel I. …”
Publicado 2015
Electrónico -
431Publicado 2018Tabla de Contenidos: “…Frontmatter 2 Inhalt 4 Unfolding Un/Certainties 6 Prolog 16 Between File and Life 25 Die Zukunft beginnt jetzt?! …”
Electrónico -
432Publicado 2021Tabla de Contenidos: “…-- Erscheinungsformen mittelhochdeutscher Tagzeitentexte -- Formale Unterscheidungen -- Die Sprache -- Die äussere Form -- Die Struktur -- Paratexte -- Liturgische Zurichtung -- Ordnung der Horen -- Incipits -- Verschränkungen -- Tagzeiten im Rahmen grösserer Werke -- Passionstraktate mit Tagzeiteneinteilung -- Inhaltliche Unterscheidungen -- Die Perspektive auf die Schöpfung im Officium divinum -- Einzelne Betrachtungsgegenstände in den Zusatzoffizien -- Officium parvum Beatae Mariae Virginis -- Offizium vom Heiligen Kreuz und vom Heiligen Geist -- Totenoffizium -- Heiligenoffizien -- Tagzeiten vom Schutzengel -- Tagzeiten von den sieben Marienfesten -- Parodien -- Anleitungen zum Beten der Tagzeiten -- Andachtsanleitungen für Laien -- Tagzeiten für Laien und Ersatzoffizien -- Der Tagzeitentraktat des Meister Heinzelin -- Andachtsanleitungen für Geistliche -- Allegorische Liturgieauslegungen -- Kirchenrechtliche Abhandlungen -- Textanhang -- Editorische Vorbemerkungen -- Texte -- Berthold, 'Zeitglöcklein' (Prolog) -- Aus dem Traktatbündel 'Von einem christlichen Leben' -- 'Gebete vor den neun Lektionen der Tagzeiten' -- Tagzeiten von Mariae Mitleiden und dem Kreuz -- Aus dem 'Speculum humanae salvationis' -- Tagzeiten zur Betrachtung der Werke Gottes (Ausschnitte) -- Tagzeiten der Hl. …”
Libro electrónico -
433por Burke, Sean M.Tabla de Contenidos: “…Support for the Unicode escapesDocument Structure; Document Prolog; Font Table; Color Table; Stylesheet; Info Group; Defaults for some metadata fields; Preliminaries; Content; End of Document; Incidental Features; The {\*\command ... } Construct; Faking comments with {\*\command ... }; Language Tagging; Newspaper Columns; Columns and sections; Footnotes; Changing Text Color; Hyperlinks; Page Margins; Page Size and Orientation; Line Drawing; Embedding Images; Overstrike in RTF; Centering Vertically and Horizontally; Symbols; Styles; Styles as the User Experiences Them…”
Publicado 2003
Libro electrónico -
434
-
435por Hrachovec, PetrTabla de Contenidos: “…Intro -- Reformation als Kommunikationsprozess -- Cover -- Impressum -- ISBN 978-3-412-51954-4 -- Inhalt -- Petr Hrachovec / Gerd Schwerhoff / Winfried Müller / Martina Schattkowsky: Einleitung -- Prolog -- Heinz Schilling: 1517 - der Mönch und das Rhinozeros -- Dynamiken der Öffentlichkeit -- Alexander Kästner / Gerd Schwerhoff: Der Narrheit närrisch spotten -- Thomas Kaufmann: Buchdruck und Reformation -- Pavel Soukup: Der Hussitismus - eine Reformation ohne Buchdruck -- Petr Voit: Die Utraquisten und der Buchdruck (bis ca. 1526) -- Die politischen Akteure: Stände - Adel - Fürstinnen -- Jiří Just: Böhmischer und mährischer Adel in der Reformation des16. …”
Publicado 2021
Libro electrónico -
436por Auberg, JörgTabla de Contenidos: “…Cover -- Inhalt -- Abkürzungen -- Vorbemerkung -- Addendum -- Prolog -- Spuren der Verwüstung -- Alte Erinnerungen -- Rückblicke auf alte Schlachten -- Trümmer antiquierter Geschichten -- I. …”
Publicado 2022
Libro electrónico -
437
-
438Publicado 2012Tabla de Contenidos: “…Ensayos sobre lógica, lenguaje, mente y ciencia; Página legal; Prefacio; Índice general; Parte I; 1 Lógica y algoritmos genéticos aplicados a un problema de juego de cartas; 2 La inferencia científica relativa al contexto; 3 Naturalizing Prolog; 4 Dinámica de la información en agentes no omniscientes; 5 Por una lógica dialógica de las ficciones en la perspectiva artefactual; Parte II; 6 Lenguaje y pensamiento en Benjamin Lee Whorf; 7 Significado conjunto: lo externo de la comunicación; 8 Un análisis para diversos usos de los condicionales; 9 Designación rígida y necesidad…”
Libro electrónico -
439por Marías, Julián, 1914-2005“…"Cervantes -señala Julián Marías en el prólog de este libro- ha sido considerado en cada época de una manera peculiar; mejor dicho, de muchas maneras dentro de cada nivel histórico; desde cada país, desde cada infividuo que lo ha leído y meditado, ha presentado un aspecto distinto. …”
Publicado 2003
Biblioteca Universidad Eclesiástica San Dámaso (Otras Fuentes: Biblioteca de la Universidad Pontificia de Salamanca, Biblioteca del Instituto Superior de Teología de las Islas Canarias)Libro -
440