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
-
341por Eckhart, Maestro (O.P.) ca. 1260-1327Tabla de Contenidos: “…Contiene: v. 1/1. Prologi ; Expositio libri Genesis ; Liber Parabolarum Genesis -- v. 1/2. …”
Publicado 1936
Libro -
342por Manga, Dionisio
Publicado 1997Biblioteca Universidad de Deusto (Otras Fuentes: Biblioteca de la Universidad Pontificia de Salamanca)Libro -
343por Benítez Carrasco, Manuel 1922-1999
Publicado 1997Universidad Loyola - Universidad Loyola Granada (Otras Fuentes: Biblioteca de la Universidad de Navarra)Libro -
344Publicado 1843Tabla de Contenidos: “…Frontmatter -- Personen -- Antigone -- I. Prolog -- II. Parodos -- III. Erstes Epeisodion -- IV. …”
Libro electrónico -
345por Urbanek, NikolausTabla 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? …”
Publicado 2015
Tesis -
346Publicado 2016Tabla de Contenidos: “…Prolog Sotheby's und die folgen --1. Postsowjetische Museumspolitik --2. …”
Libro electrónico -
347por Pamplona.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…”
Publicado 2018
Libro -
348Publicado 1926Biblioteca de la Universidad Pontificia de Salamanca (Otras Fuentes: Biblioteca S.M. e Instituto Teológico «San Xosé» de Vigo)Libro
-
349por Coleman, John“…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. …”
Publicado 2005
CDROM -
350por Benedicto XVI, Papa, 1927-
Publicado 2012Red de Bibliotecas de la Diócesis de Córdoba (Otras Fuentes: Red de Bibliotecas de la Archidiócesis de Granada, Biblioteca Universidad Eclesiástica San Dámaso, Biblioteca de la Universidad Pontificia de Salamanca, Biblioteca Provicincial Misioneros Claretianos - Provincia de Santiago, Biblioteca del Instituto Superior de Teología de las Islas Canarias, Biblioteca Universidad de Deusto, Biblioteca Central de Capuchinos de España, Universidad Loyola - Universidad Loyola Granada, Biblioteca Diocesana Bilbao, Biblioteca del Instituto Diocesano de Teología y Pastoral de Bilbao)Libro -
351por Landwehr, DominikTabla 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…”
Publicado 2015
Tesis -
352por PADL 2007Tabla 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…”
Publicado 2007
Libro electrónico -
353
-
354
-
355por Klemstein, FranziskaTabla de Contenidos: “…Cover -- Inhalt -- Untitled -- 1. Einleitung -- 2. Prolog: Die Debatte um das Berliner Schloss -- 3. …”
Publicado 2021
Libro electrónico -
356por Hofmann, SimonTabla de Contenidos: “…Frontmatter 1 Inhalt 5 Dank 7 1. Prolog: Der Zürcher Herzskandal - die Organspende wird zum Problem 9 2. …”
Publicado 2016
Tesis -
357por Herolt, JohannTabla 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…”
Publicado 1486
Accés lliure
991006699109706719 -
358por Solá, Víctor María de
Publicado 1942Biblioteca de la Universidad de Navarra (Otras Fuentes: Biblioteca Universidad de Deusto)Libro -
359Publicado 1950Tabla de Contenidos: “…Initia biblica ; Apocrypha ; Prologi. -- 2. Commentaria. Auctores A-G. -- 3. Commentaria. …”
991003353219706719 -
360Publicado 1987Tabla 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…”
Biblioteca Universidad Eclesiástica San Dámaso (Otras Fuentes: Biblioteca de la Universidad de Navarra)Plan general de la obra
Libro