Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Aspectes religiosos 2
- Cristianisme 2
- Desig 2
- Identitat (Psicologia) 2
- Mathematics 2
- Psicoanàlisi 2
- Sofriment 2
- Violència 2
- Violència en la Bíblia 2
- aspectos psicológicos 2
- Afro-americanos 1
- Applications of Mathematics 1
- Applied mathematics 1
- Business 1
- Business and Management, general 1
- Computer System Implementation 1
- Computer science 1
- Computer software 1
- Computer systems 1
- Crtica e interpretaciðn 1
- Crítica i interpretació 1
- Cultura - Filosofía 1
- Data Structures and Information Theory 1
- Data structures (Computer science) 1
- Economics 1
- Economics, general 1
- Engineering mathematics 1
- Felicidad 1
- Game Theory, Economics, Social and Behav. Sciences 1
- Game theory 1
-
21
-
22por Beauchamp, Paul, 1924-2001
Publicado 1992Biblioteca Universidad Eclesiástica San Dámaso (Otras Fuentes: Red de Bibliotecas de la Archidiócesis de Granada, Red de bibliotecas Iglesia Navarra, Biblioteca Universidad de Deusto, Universidad Loyola - Universidad Loyola Granada, Biblioteca Seminario Metropolitano de Oviedo, Red de Bibliotecas de la Diócesis de Córdoba, Biblioteca del Instituto Superior de Teología de las Islas Canarias, Biblioteca Diocesana de Salamanca, Bibliotecas de la Diócesis de Teruel y Albarracín, Biblioteca de Pastoral Madrid, Biblioteca de la Universidad Pontificia de Salamanca, Biblioteca del Instituto Diocesano de Teología y Pastoral de Bilbao, Biblioteca Diocesana Bilbao, Biblioteca Provicincial Misioneros Claretianos - Provincia de Santiago, Biblioteca Central de Capuchinos de España)Libro -
23por Vasse, Denis
Publicado 1969Biblioteca de la Universidad Pontificia de Salamanca (Otras Fuentes: Biblioteca Diocesana Bilbao, Biblioteca Universidad de Deusto)Libro -
24
-
25
-
26por Vasse, Denis (S.I.) 1933-2018
Publicado 1974Universidad Loyola - Universidad Loyola Granada (Otras Fuentes: Biblioteca de la Universidad Pontificia de Salamanca)Libro -
27por Vasse, Denis
Publicado 1991Red de bibliotecas Iglesia Navarra (Otras Fuentes: Biblioteca Universitat Ramon Llull, Universidad Loyola - Universidad Loyola Granada, Biblioteca Universidad de Deusto, Biblioteca Diocesana Bilbao)Libro -
28
-
29
-
30por Kobayashi, NaokiTabla de Contenidos: “…Types and Programming Languages -- From Rewrite Rules to Axioms in the lambdaPi-Calculus Modulo Theory -- Light Genericity -- Logical Predicates in Higher-Order Mathematical Operational Semantics -- On Basic Feasible Functionals and the Interpretation Method -- Logic and Proofs -- Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems -- A Resolution-Based Interactive Proof System for UNSAT -- Craig Interpolation for Decidable First-Order Fragments -- Clones, closed categories, and combinatory logic -- Infinite-State Systems -- Reachability in Fixed VASS: Expressiveness and Lower Bounds -- From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting -- Dimension-Minimality and Primality of Counter Nets -- Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability…”
Publicado 2024
Libro electrónico -
31Publicado 2023Tabla de Contenidos: “…When Programs Have to Watch Paint Dry Deciding contextual equivalence of nu-calculus with effectful contexts Kantorovich Functors and Characteristic Logics for Behavioural Distances A Logical Framework with Higher-Order Rational (Circular) Terms A Higher-Order Language for Markov Kernels and Linear Operators A Formal Logic for Formal Category Theory A Strict Constrained Superposition Calculus for Graphs A programming language characterizing quantum polynomial time On the Existential Arithmetics with Addition and Bitwise Minimum Coverability in 2-VASS with One Unary Counter is in NP On History-Deterministic One-Counter Nets Unboundedness problems for machines with reversal-bounded counters Reverse Bisimilarity vs. …”
Libro electrónico -
32Publicado 2010Tabla de Contenidos: “…Olson, Stefan Samuelsson -- 2 The Role of Attachment and Play in Young Children's Learning and Development / Artin Göncü, Barbara Abel, Melissa Boshans -- Section II Interaction, Relationships and Learning -- 3 The Guided Construction of Knowledge: Talk between Teachers and Students / Judith Kleine Staarman, Neil Mercer -- 4 Peer Collaboration and Learning in the Classroom / Eva Vass, Karen Littleton -- 5 Argumentation and Reasoning / Baruch B. …”
Libro -
33Publicado 2014“…It eventually leads him to Mexico and a "Dr." Vass, an American physician whose license was revoked in the ... …”
DVD -
34
-
35
-
36
-
37
-
38“…Features include: a systematic approach: ideas are touched upon, introduced gradually and then consolidated through the use of illustrative examples; several entry points to accommodate differing mathematical backgrounds; numerous worked examples and exercises to illustrate the theory and applications; full solutions to exercises, available to lecturers via the web. Vass Mavron is Professor of Mathematics in the Institute of Mathematical and Physical Sciences at the University of Wales Aberystwyth. …”
Libro electrónico -
39