Mostrando 341 - 360 Resultados de 487 Para Buscar '"Prolog"', tiempo de consulta: 0.07s Limitar resultados
  1. 341
    Tabla de Contenidos: “…Contiene: v. 1/1. Prologi ; Expositio libri Genesis ; Liber Parabolarum Genesis -- v. 1/2. …”
    Libro
  2. 342
    por Manga, Dionisio
    Publicado 1997
    Libro
  3. 343
    Libro
  4. 344
    Publicado 1843
    Tabla de Contenidos: “…Frontmatter -- Personen -- Antigone -- I. Prolog -- II. Parodos -- III. Erstes Epeisodion -- IV. …”
    Libro electrónico
  5. 345
    por Urbanek, Nikolaus
    Publicado 2015
    Tabla de Contenidos: “…Frontmatter 1 Inhalt 5 Einleitung 7 Prolog: Wie ist Musikästhetik heute möglich? 21 Adornos Beethoven 59 Beethoven 131 Beethovens Kritik Beethovens 217 Beethovens Kritik Hegels 257 Epilog: Ist Musikästhetik heute noch möglich? …”
    Tesis
  6. 346
    Publicado 2016
    Tabla de Contenidos: “…Prolog Sotheby's und die folgen --1. Postsowjetische Museumspolitik --2. …”
    Libro electrónico
  7. 347
    por Pamplona.
    Publicado 2018
    Tabla de Contenidos: “….]; Privilegio de la Unión de la ciudad de Pamplona otorgado por el rey Carlo III el noble de Navarra (1423)/ prólog Félix Segura Urra; versión, transcripción y estudios, Concepción Martínez Pasamar; ilustración cartográfica Juan José Martinena Ruiz…”
    Libro
  8. 348
    Publicado 1926
    Libro
  9. 349
    por Coleman, John
    Publicado 2005
    “…Students are introduced to topics such as digital signal processing, speech analysis and synthesis, finite-state machines, automatic speech recognition, parsing and probabilistic grammars, and are shown from a very elementary level how to work with two programming languages, C and Prolog. The accompanying CD-ROM contains all the software described in the book, along with a C compiler, Prolog interpreter and sound file editor, thus providing a self-contained, one-stop resource for the learner. …”
    CDROM
  10. 350
  11. 351
    por Landwehr, Dominik
    Publicado 2015
    Tabla de Contenidos: “…Frontmatter 1 INHALT 5 GEORG CHRISTOPH THOLEN: GELEITWORT 9 DANK 11 PROLOG: DIE ENIGMA - EIN MEHRFACHES GEHEIMNIS 15 EINLEITUNG 19 TEIL 1: ENIGMA ODER DIE AUTOMATISIERUNG DER VERSCHLÜSSELUNG 35 TEIL 2: ZEITZEUGEN, WISSENSCHAFTER, SAMMLER 95 TEIL 3: DIE ENIGMA ALS OBJEKT DER MEDIEN 141 SCHLUSSBETRACHTUNG 219 ANNEX 229 Backmatter 253…”
    Tesis
  12. 352
    por PADL 2007
    Publicado 2007
    Tabla de Contenidos: “…QuickCheck Testing for Fun and Profit -- A Constraint Programming Approach to Bioinformatics Structural Problems -- Rewriting Haskell Strings -- Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning -- Algebraic Knowledge Discovery Using Haskell -- Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang -- Automatic Incrementalization of Prolog Based Static Analyses -- Verification of Java Bytecode Using Analysis and Transformation of Logic Programs -- Combining Static Analysis and Profiling for Estimating Execution Times -- On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation -- Compiling Constraint Handling Rules for Efficient Tabled Evaluation -- Prolog Performance on Larger Datasets -- BAD, a Declarative Logic-Based Language for Brain Modeling -- From Zinc to Design Model -- Inductive Logic Programming by Instance Patterns -- ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement -- The Joins Concurrency Library -- HPorter: Using Arrows to Compose Parallel Processes -- Coupled Schema Transformation and Data Conversion for XML and SQL -- Aspect-Oriented Programming in Higher-Order and Linear Logic -- Partial Evaluation of Pointcuts…”
    Libro electrónico
  13. 353
    por Álvarez-Sala Walther, Juan
    Publicado 2006
    Libro
  14. 354
  15. 355
    por Klemstein, Franziska
    Publicado 2021
    Tabla de Contenidos: “…Cover -- Inhalt -- Untitled -- 1. Einleitung -- 2. Prolog: Die Debatte um das Berliner Schloss -- 3. …”
    Libro electrónico
  16. 356
    por Hofmann, Simon
    Publicado 2016
    Tabla de Contenidos: “…Frontmatter 1 Inhalt 5 Dank 7 1. Prolog: Der Zürcher Herzskandal - die Organspende wird zum Problem 9 2. …”
    Tesis
  17. 357
    por Herolt, Johann
    Publicado 1486
    Tabla de Contenidos: “…Al f. sign. ii: Jncipit Prologus in Promptuariu[m] exemplorum Discipuli s[e]c[un]d[u]m ordinem alphabeti. Al f. sign. tt6: Prolog[us] in P[ro]mptuariu[m] Discipuli de miraculis b[ea]t[a]e Marie V[ir]ginis incipit…”
    Accés lliure
    991006699109706719
  18. 358
  19. 359
    Publicado 1950
    Tabla de Contenidos: “…Initia biblica ; Apocrypha ; Prologi. -- 2. Commentaria. Auctores A-G. -- 3. Commentaria. …”
    991003353219706719
  20. 360
    Publicado 1987
    Tabla de Contenidos: “…v. 1: Einleitung -- v. 2: Einleitung (Schluss) -- v. 3: Sir Prolog und 1,1 - 3,31 -- v. 4: Sir 3,31-7,30 -- v. 5: Sir 7,30-11,35 -- v. 6: Sir 11,35-16,21 -- v. 7: Sir 16,21 - 19,28 -- v. 8: Sir 20,1 - 23,6 -- v. 9: Sir 23,7 - 24,47…”
    Plan general de la obra
    Libro