Tabla de Contenidos: “…Gomila Benejam -- Herencia de la historia: "Dominad la tierra ..." (Gen. 1,28) Relato bíblico de la creación y ecología / X. …”

Tabla de Contenidos: “…From Mechanized Semantics to Verified Compilation: The Clight Semantics of CompCert -- Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models -- Probabilistic Runtime Enforcement of Executable BPMN Processes -- Integrating Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems -- Formal Specification of Trusted Execution Environment APIs -- Monitoring the Future of Smart Contracts -- Comprehending Object State via Dynamic Class Invariant Learning -- Detection for Large-Scale Online Service Systems Using Multi-Channel Data -- Refinement Verification of OS Services based on a Verified Preemptive Microkernel -- Fuzzy quantitative attack tree analysis -- Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation -- Invariant-based Program Repair -- Can ChatGPT support software verification -- Combining Deductive Verification with Shape Analysis -- First Steps towards Deductive Verification of LLVM IR -- FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution) -- Fizzer: New Gray-Box Fuzzer (Competition Contribution) -- KLEEF: Symbolic Execution Engine (Competition Contribution) -- TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution) -- Ultimate TestGen: Test Case Generation with Automata-based Software Model Checking (Competition Contribution)…”

Tabla de Contenidos: “…Kern - Systemfragen des Zivilrechts (Zugleich Diskussionsbeitrag zu dem Referat von Keizo Yamamoto) -- Zhu Qingyu - Das große Zivilgesetzbuch und das neue Zivilgesetzbuchparadigma -- Wolfgang Wiegand - Diskussionsbeitrag zu dem Referat von Zhu Qingyu -- Xie Gen - Diskussionsbeitrag zu dem Referat von Zhu Qingyu -- Maja Ruhl - Zusammenfassung der Diskussionen -- Verzeichnis der Autoren und Übersetzer…”

Tabla de Contenidos: “…: Zur jüngeren Diskussion um den Ausdruck "'Werke' des Gesetzes" / Meta-ethics and the role of works of law in Galatians / Vom Tun der Tora / "Täter des Gesetzes werden gerechtfertigt werden" (Röm. 2,13) : zu einer adäquaten Perspektive für den Römerbrief / Fides - Pistis - Glaube : Kontexte und Konturen einer Theologie der "Annahme" bei Paulus / Meaning of [paresis] in Romans 3:25c and the pauline thought on the divine acquittal / Völker-Verheissung (Gen 12-18) und Sinai-Tora im Römerbrief : das "Dazwischen" (Röm 5,20) als hermeneutischer Parameter für eine lutherische oder nichtlutherische Paulus-Auslegung / Petrine and Pauline sola fide in Galatians 2 / Gottes Gerechtigkeit und Gottes Volk : ökumenisch-ekklesiologische Aspekte der New Perspective on Paul / Paulus und Polykarp an die Philipper : Schlaglichter auf die frühe Rezeption des Basissatzes von der Rechtfertigung / Dialogue progresses…”

Tabla de Contenidos: “…. -- v.XV : FOET-GÈNÉR. -- v.XVI : GEN-GRIP. -- v.XVII : GROS-HU. -- v.XVIII : HYD-INFL. -- v.XIX : INFUS-KYST. -- v.XX : LAC-LUX. -- v.XXI : LYC-MÉC. -- v.XXII : MÉD-MOEL. -- v.XXIII : MOL-NÈV. -- v.XXIV : NEZ-ORC. -- v.XXV : ORE-PAP. -- v.XXVII : PESS-PIG. -- v.XXVIII : PIL-POI. -- v.XXIX : POL-PRO. -- v.XXX : PS-REI. -- v.XXXI : REI-ROT. -- v.XXXII : ROU-SCR. -- v.XXXIII : SE-ST. -- v.XXXIV : SU-SY. -- v.XXXV : TA-TO. -- v.XXXVI : TR-TYPHO. -- v.XXXVII : TYP-UTÉR. -- v.XXXVIII : VAC-VEI. -- v.XXXIX : VEN-ZO. -- v.XL : ZYN…”

Tabla de Contenidos: “…Gomila Benejam -- Herencia de la historia: "Dominad la tierra ..." (Gen. 1,28) Relato bíblico de la creación y ecología / X. …”
Sumario en Dialnet

Tabla de Contenidos: “… Ludwig Senfl (c.1486-1542): Das Gläut zu Speyer -- Heinrich Isaac (c.1450-1517): Introitus: Omnis terra adoret te à 4 -- Johan Walter (1496-1570): Psalm: Deus in adiutorium meum intende -- Thomas Stoltzer (c.1480-1526): Melodia primi toni -- Josquin Desprez (c.1440-1521): Iubilate Deo omnis terra à 4 -- Anonymous: Lamentanza und Sprung -- Adrian Willaert (c.1490-1562): Dulces exuviae à 4 -- Ich stuend an einem Morgen -- Tielman Susato (c.1500-1561): Pavane & Galliarden -- Ach Gott, wie soll ich singen - Villanella à 3 (Jacob Regnart) - Villanella à 5 (Leonhard Lechner) -- Ach schwacher Geist - Villanella à 3 (Jacob Regnart) - Villanella à 5 (Leonhard Lechner) -- Weil du dann wilt gen mir - Villanella à 3 (Jacob Regnart) - Villanella à 5 (Leonhard Lechner) -- Pierre Attaingnant (c.1494-1551): Pavane & Bransles -- Philipp Dulichius (1562-1631): Gloria Patri qui creavit nos -- Orlando di Lasso (1532-1594): Manus tuae Domine fecerunt me -- Lasso: Deus qui sedes super thronum -- Hans Leo Hassler (1562-1612): Iubilate Deo omnis terra…”

“…Con el objetivo de definir el polimorfismo de patrones de restricción (RFL) para la endonucleasa de restricción DdeI, de la región del HTLV-I de los 5181 a los 6624 nucleótidos, se amplificó un segmento de 1033 bp que incluía la porción terminal 5' del gen Pol y el dominio de superficie del gen Env (gp46) del ADN proviral de PBMC obtenido de 29 personas seropositivas para el HTLV-I provenientes de varias zonas el suroccidente de Colombia. …”
Enlace del recurso

“…Como dice el autor, la religión no es un instinto destructor cmo pretenden los "nuevos" ateos, ni una máquina para fabricar solidaridad social, impresa en el genoma humano cmo si se tratara de un gen específico, el gen de Dios. No se trata de una fe en algo, sino de creer en Alguien, confiar en Alguien, hacer un trato con Dios. …”

Tabla de Contenidos: “…Cover -- Title Page -- Copyright Page -- Contents -- Foreword -- Preface -- Introduction -- A Bit About Me -- My Journey -- Finally Getting Started -- Chapter 1 The Gen Z Leader -- The Founder Culture -- The Gen Z Paradigm -- Red Flag #1 (Week Two) -- Red Flag #2 -- Red Flag #3 -- The Aftermath -- Collateral Damage -- What Was Next? …”

Tabla de Contenidos: “…JVM memory areasThe JVM stack and native stack; The heap; Other JVM memory concepts; GC; JVM memory management with the GC; Configuring the JVM; Default settings; Client versus Server VM; The stack; The heap; Setting the maximum heap size; Setting the initial heap size; Determining what maximum size the heap should be; Determining what initial size the heap should be; Setting the size of the young and old generations; Setting the size ratio of Eden and the survivor spaces; PermGen; Large objects; Large memory pages; The java.lang.OutOfMemoryError error; From the heap; From the PermGen…”

Tabla de Contenidos: “…Identifying unintended consequences -- Mitigating unintended consequences -- Summary -- References -- Chapter 09: Cultural Empowerment -- A history lesson on team empowerment -- Tips for cultivating a culture of empowerment -- #1: Internalize your mission -- #2: Walk in the shoes of your stakeholders -- #3: Nurture organizational improvisation -- #4: Embrace an "AND" mentality -- #5: Ensure everyone has a voice -- #6: Unleash the curiosity-creativity-innovation pyramid -- Driving AI and data literacy via cultural empowerment -- Reassessing your AI and data literacy -- Summary -- Chapter 10: ChatGPT Changes Everything -- What are ChatGPT and GenAI? -- How does ChatGPT work? -- Beginner level 101 -- Capable level 201 -- Proficient level 301 -- Critical ChatGPT-enabling technologies -- LLM -- Transformers -- Role-based personas -- Reinforcement Learning from Human Feedback -- ChatGPT concerns and risks -- Thriving with GenAI -- AI, data literacy, and GenAI -- Summary -- References -- Glossary -- Data Economics -- Design Thinking -- Data Science and Analytics -- Other Books You May Enjoy -- Index…”

“…¿Quién se va a ocupar del desamparo si todo se confía al triunfo del gen? ¿Quién portará la compasión que el determinismo genético, heredero de la doctrina de la predestinación, ha despreciado y aniquilado?…”

Acceso a los sumarios desde (1994-)

Accés restringit als usuaris de la URL (Blanquerna)
Accés off campus usuaris Blanquerna

Accés lliure (excepte els darrers 2 anys)

Accés restringit als usuaris de la URL (Blanquerna, Fac. Pere Tarrés). Sol·liciteu claus d’accés al personal bibliotecari

Accés restringit als usuaris de la URL (Blanquerna)
Accés off campus usuaris Blanquerna

Accés restringit als usuaris de la URL (Blanquerna)
Accés off campus usuaris Blanquerna