Tabla de Contenidos: “…Scenario: Web interoperability -- 9.1 Introduction -- 9.2 Shared presentation components -- 9.2.1 Configuring Microsoft IIS for shared presentation -- 9.3 Session state interoperability -- 9.3.1 Problem definition -- 9.3.2 WebSphere Application Server session management -- 9.3.3 Microsoft .NET session management -- 9.3.4 Considerations -- 9.3.5 Recommendations -- 9.4 Data propagation -- 9.4.1 Problem definition -- 9.4.2 Description of the problem -- 9.4.3 Considerations -- 9.4.4 Solution model -- 9.4.5 URL redirection implementation -- 9.4.6 Form-based propagation implementation -- 9.4.7 Recommendations -- 9.5 Integrated security -- 9.5.1 WebSphere security…”

Tabla de Contenidos: “…-- Have a go hero - open and analyze the business components -- Running the AM tester -- Exposing data to the UI layer -- Time for action - bind data to the UI components -- What just happened? …”

Tabla de Contenidos: “…Vargas Vila / Flor María Roderíguez-Arenas -- La Charca (1894) y la consagración del subalterno Puertorriqueño : una mirada desde el siglo XXI al naturalismo de Manuel Zeno Gandía / Tania Carrasquillo Hernández -- Clase media y modernización en Suprema Ley (1896) de Federico Gamboa / Vicente Gomis-Izquierdo -- The scandal of naturalism in nineteenth century Peru / Ana Peluffo -- Gender-based violence in the short fiction of Emilia Pardo Bazán / Margot Versteeg -- Clorinda Matto de Turner's Experimentation with naturalism in Herencia (1895) / Mary Berg -- Naturalism, Tremendismo, and the horror genre in El Verano del Inglés (2006) by Carme Riera / Jeffery Oxford -- Of Immigrants and coleopterae : natural promise in Carlos María Ocantos's Novelas Argentinas / Rául Ianes -- Corporeal naturalism in the short stories of Javier de Viana / Franklin Rodríguez -- Assassinating skies and poisonous mushrooms : García Lorca's naturalist impulse / David Richter -- La representación del personaje del negro en las novelas naturalistas Cubanas / Carlos Uxó -- A nation's route of survival : Augusto Roa Basto's Hijo de Hombre (1960) / Haiqing Sun -- La estética del lugar en El Abuelo (Galdós / Garci) y La Fortuna Cinematográfica de la novela realista-naturalista Española / Alfredo Martínez Expósito -- Pedro Almodóvar's surreal naturalism / Lara Anderson -- Imaginarios culturales y fronteras de clase : la veta naturalista en el cine Peruano contemporáneo / Rosana Díaz Zambrana…”
Enlace del recurso

Tabla de Contenidos: “…Serveis públics d'ocupació, necessitatsd'informació i taxa homogènia d'atur registrat; 6. Resum; 7. Bibliografia…”

Tabla de Contenidos: “…Saúl Urcid VelardeJoel Zapata Salazar; Jana Petrzelová Mazacová; José González Tovar; José González Tovar; María Julia Velázquez Mendoza; José Luis Ybarra Sagarduy; Comité científico…”

Tabla de Contenidos: “…-- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus -- Types and Effects -- Failure is Not an Option: An Exceptional Type Theory -- Let Arguments Go First -- Behavioural equivalence via modalities for algebraic effects -- Explicit Effect Subtyping -- Concurrency -- A separation logic for a promising semantics -- Logical Reasoning for Disjoint Permissions -- Deadlock-Free Monitors -- Fragment Abstraction for Concurrent Shape Analysis -- Security -- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management -- Modular Product Programs -- Program Verification -- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification -- Verified Learning Without Regret -- Program Verification by Coinduction -- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq -- Program Analysis and Automated Verification -- Evaluating Design Tradeoffs in Numeric Static Analysis for Java -- An Abstract Interpretation Framework for Input Data Usage -- Higher-Order Program Verification via HFL Model Checking -- Quantitative Analysis of Smart Contracts -- Session Types and Concurrency -- Session-Typed Concurrent Contracts -- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems -- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings -- Concurrent Kleene Algebra: Free Model and Completeness -- Concurrency and Distribution -- Correctness of a Concurrent Object Collector for Actor Languages -- Paxos Consensus, Deconstructed and Abstracted -- On Parallel Snapshot Isolation and Release/Acquire Consistency -- Eventual Consistency for CRDTs -- Compiler Verification -- A Verified Compiler from Isabelle/HOL to CakeML -- Compositional Verification of Compiler Optimisations on Relaxed Memory…”

Tabla de Contenidos: “…-- Example Project Overview -- Getting Started with Gulp -- Test HTML Page -- Module Installation -- Create a Gulp Task File -- Gulp Image Task -- Gulp CSS Task -- Automating Your Workflow -- Live Production Code -- Next Steps -- Chapter 2: CSS Optimization Tools for Boosting PWA Performance -- by Ahmed Bouchefra -- The Demo PWA to Audit -- Auditing with Google's Lighthouse -- Critical Rendering Path -- CSS Optimization Using Lighthouse Opportunities -- CSS Optimization: Removing Unused CSS Rules -- Reduce Render-Blocking CSS -- Unminified CSS -- Deferring Bootstrap Loading with JavaScript -- Checking the Optimizations -- Similar Tools -- Conclusion -- Chapter 3: CSS Debugging and Optimization: Code Quality Tools -- by Tiffany B. …”

Tabla de Contenidos: “…. -- Vol. 8: Tomo VIII, de la santa iglesia de Jaca, contiene las memorias antiguas de esta ciudad y sus montañas ... -- Vol. 9: Tomo IX, de las iglesias catedrales y Diócesis de Roda y Barbastro, contiene las memorias antiguas de estas ciudades y sus montañas ..…”

Tabla de Contenidos: “…""The SQL Language""""Introduction to SQLite""; ""SQLite from the Command Line""; ""An Example SQLite Database""; ""Summary""; ""Chapter 3: Android Database Support""; ""SQL in Java: The SQLite Database Class""; ""Basic SQL Embedding""; ""Syntactic SQL""; ""Creating a Database: The SQLite Open Helper Class""; ""Managing a Database""; ""Cursors, Loaders, and Adapters""; ""Cursors""; ""Adapters and View Binders""; ""Loaders""; ""Summary""; ""Chapter 4: Content Providers""; ""Using a Content Provider""; ""URIs as Names for Virtual Datasets""…”

Tabla de Contenidos: “…Hüttl -- Plant Production, Carbon Accumulation and Soil Chemistry at Post-Mining Sites / Jan Frouz, Petr Dvoršćík, Olga Vindušková and Emil Cienciala -- Soil Microflora Development in Post-mining Sites / Jan Frouz, Dana Elhottová, Petr Baldrián, Alice Chronáková, Alena Lukešová, Alena Nováková and Václav Krištůfek -- Macrofungi in Post-mining Sites / Lucie Zíbarová and Anna Lepšová -- Interactions of Plants with Arbuscular Mycorrhizal Fungi during Ecosystem Development at Post Mining Sites in the Most Coal Basin (Czech Republic) / Jana Rydlová, David Püschel, Martina Janoušková and Miroslav Vosátka -- Recovery and Colonization at Post-mining Sites by the Soil Microfauna / L. …”

Versión digital - Memoria Digital Vasca

Versión digital – Biblioteca Navarra Digital