Mostrando 421 - 440 Resultados de 489 Para Buscar '"Prolog"', tiempo de consulta: 0.07s Limitar resultados
  1. 421
    por Kämpf, Katrin M.
    Publicado 2021
    Tabla de Contenidos: “…Cover -- Inhalt -- Prolog -- 1. Einführung: Die letzten Perversen -- 2. …”
    Tesis
  2. 422
    Publicado 1984
    Tabla 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
  3. 423
    por Naucke, Philipp
    Publicado 2020
    Tabla de Contenidos: “…Frontmatter 1 Inhalt 5 Prolog 9 Einleitung 13 1.1. Theoretische Einbettung: Anthropologie der Staatlichkeit 19 1.2. …”
    Tesis
  4. 424
  5. 425
  6. 426
    Tabla 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…”
    Libro electrónico
  7. 427
    por Norris, Donald J. author
    Publicado 2017
    “…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. …”
    Libro electrónico
  8. 428
  9. 429
    por Hildebrand, Marius
    Publicado 2017
    Tabla de Contenidos: “…Frontmatter 1 Editorial 2 Inhalt 5 Prolog: Der Anti-Populismus-Reflex oder die wissenschaftliche Konstitution eines ungeliebten Forschungsgegenstandes 11 Einleitung 19 1. …”
    Libro electrónico
  10. 430
    por Rößler, Maren
    Publicado 2015
    Tabla de Contenidos: “…Frontmatter 1 Inhalt 5 Danksagung 9 Prolog: Das große dicke Schwein 11 Kapitel I. …”
    Electrónico
  11. 431
    Publicado 2018
    Tabla de Contenidos: “…Frontmatter 2 Inhalt 4 Unfolding Un/Certainties 6 Prolog 16 Between File and Life 25 Die Zukunft beginnt jetzt?! …”
    Electrónico
  12. 432
    Publicado 2021
    Tabla 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
  13. 433
    por Burke, Sean M.
    Publicado 2003
    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…”
    Libro electrónico
  14. 434
    por Cooney, Nick
    Publicado 2015
    Libro
  15. 435
    por Hrachovec, Petr
    Publicado 2021
    Tabla 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. …”
    Libro electrónico
  16. 436
    por Auberg, Jörg
    Publicado 2022
    Tabla 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. …”
    Libro electrónico
  17. 437
  18. 438
    Publicado 2012
    Tabla 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
  19. 439
    por Marías, Julián, 1914-2005
    Publicado 2003
    “…"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. …”
    Libro
  20. 440
    por Sarmiento, Domingo Faustino
    Publicado 2011
    Libro electrónico