Tabla de Contenidos: “…Adding validation to our chat endpoints -- Developing tests with Bun -- Writing tests with Bun's test runner -- Writing tests for our authentication endpoints -- Writing test for our chat endpoints -- Summary -- Chapter 6: Advanced Backend Development - Security, Throttling, Caching, and Logging -- Technical requirements -- Managing security aspects -- Adding request throttling -- Writing the middleware -- Implementing the middleware -- Including the middleware in the main app -- Managing the cache -- Writing the cache middleware -- Using the cache middleware in our chat endpoints -- Using logging -- Creating our logger's configuration -- Adding logger to our caching middleware -- Summary -- Part 3: Integrating PostgreSQL for Data Management -- Chapter 7: PostgreSQL Basics, Storage, and Setup -- Technical requirements -- Setting up PostgreSQL in Docker -- What are Docker and Docker Compose? …”

Tabla de Contenidos: “…De los reyes a los pontífices, 1255-1450 / Diego de Anaya (1357-1437) y su tiempo : aristócrata, obispo, diplomático y humanista / La financiación eclesiástica : los diezmos / Catedral y universidad. Nuevas vías para una aproximación a sus relaciones seculares / Catedral y universidad : actividad universitaria de los canónigos salmantinos de la Baja Edad Media / Colegios y becados : el antiguo "Colegio de Pan y Carbón" en la Edad Media / El privilegio del fuero. …”

Tabla de Contenidos: “…En las buenas y en las malas; 5. Humildad; 6. Lo permanente y lo efímero; 7. …”

Tabla de Contenidos: “…EL PODER DE LA ADVERSIDAD: SUPERE LAS CRISIS Y SIGA ADELANTE -- PÁGINA LEGAL -- INTRODUCCIÓN -- AQUELLO QUE LLAMAMOS ADVERSIDAD -- DE REPENTE -- LO INESPERADO, LO IMPREVISTO, LO DIFICULTOSO, LO DIFÍCIL... EN LA VIDA -- NADA CONSPIRA A MI FAVOR -- ESAS ETAPAS DE LA VIDA -- TODO PASA EN ESTA TIERRA -- LOS DÍAS MALOS, LOS DÍAS CONFLICTIVOS -- LAS EMOCIONES -- NADIE HA SUFRIDO COMO A MÍ ME HA TOCADO -- AMARGADO -- DESESPERANZADO -- DOBLE ÁNIMO Y POCO ÁNIMO -- ACONGOJADO -- DECEPCIONADO -- DESFALLECIENDO -- TURBADO -- AFANADO -- ODIADO -- OPRIMIDO -- ASUSTADO -- REALIDAD -- NO HAY EXCEPCIONES -- ¡PRECISAMENTE A MÍ! …”

Tabla de Contenidos: “…Trocki -- The lidai baoan and the Ryukyu maritime tributary trade network with China and Southeast Asia, the fourteenth to seventeenth centuries / Takeshi Hamashita -- Cochinchinese coin casting and circulating in eighteenth-century Southeast Asia / Li Tana -- Import of prosperity : luxurious items imported from China to Siam during the Thonburi and early Rattanakosin periods (1767-1854) / Masuda Erika -- A Sino-Indonesian commodity chain : the trade in tortoiseshell in the late seventeenth and eighteenth centuries / Heather Sutherland -- From Baoshi to Feicui : Qing-Burmese gem trade, c. 1644-1800 / Sun Laichen -- Junks to java : Chinese shipping to the Nanyang in the second half of the eighteenth century / Leonard Bluss -- Chinese books and printing in the early Spanish Philippines / Lucille Chia -- The end of the "age of commerce"? …”

Tabla de Contenidos: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution)…”

Tabla de Contenidos: “…Multimodalität: ein neues Forschungsfeld der Medienanalyse; Multimodalität - eine Universalie des Medienwandels: Problemstellungen und Theorien der Multimodalitätsforschung - Hans-Jürgen Bucher; Multimodal design: Media structures, media principles and users' meaning-making in newspapers and net papers - Jana Holsanova/Andreas Nord; II. Ausdifferenzierungen von Fernsehformaten…”

Tabla de Contenidos:

Tabla de Contenidos: “…Vijayabaskar, Radha Varadarajan -- Chapter 10 "I had to bear this burden”: Youth transcending constraints to become farmers in Madhya Pradesh, India, Sudha Narayanan -- Chapter 11 Youth and agriculture in Indonesia, Aprilia Ambarwati, Charina Chazali, Isono Sadoko, Ben White -- Chapter 12 Young farmers’ access to land: Gendered pathways into and out of farming in Nigara and Langkap, West Manggarai, Indonesia, Charina Chazali, Aprilia Ambarwati, Roy Huijsmans, Ben White -- Chapter 13 The long road to becoming a farmer in Kebumen, Central Java, Indonesia, Aprilia Ambarwati, Charina Chazali -- Chapter 14 Pluriactive and plurilocal: Young people’s pathways out of and into farming in Kulon Progo, Yogyakarta, Indonesia, Ben White, Hanny Wijaya -- Chapter 15 Conclusion: Youth aspirations, trajectories, and farming futures, A. …”

Tabla de Contenidos: “…Aravena Díaz, Horacio Solar Bezmalinovic, Leonardo Cárdenas Calderón -- Modelación en la matemática escolar: hacia una matemática funcional / Astrid Morales-Soto, Patricio Rodríguez Astudillo, María Inés Pezoa Reyes -- La modelación matemática como promotor de conocimiento matemático: una mirada desde los espacios de trabajo matemático / Elizabeth Montoya Delgadillo, Saúl Ernesto Cosmes Aragón -- STEM, estado del arte de implementaciones en el ámbito educativo desde la modelación matemática: una oportunidad para la comprensión didáctica / Corina González Weil, Jorge Soto-Andrade, Paola Quiñones Herrera -- La modelación matemática, habilidad a desarrollar en el currículo escolar en Chile / Patricia Vásquez Saldías, Arturo Mena-Lorca, Alejandro Cabrera Baquedano, Miguel Rodríguez Jara -- La modelación de la multiplicación en el currículo: aportes a la práctica / Raimundo Olfos Ayarza, Soledad Estrella, Masami Isoda -- Modelación gráfica en la enseñanza del cálculo para el siglo XXI / Jaime Mena-Lorca, José Klenner Jerez, Nicolás Alarcón-Relmucao -- Un modelo para la comprensión del sistema de los números racionales: un estudio de casos en la formación de profesorado / Marcela Parraguez González, Daniela Bonilla Barraza, Valeria Randolph Veas -- Intervalo de confianza como modelo estadístico en tareas de alta demanda cognitiva en contextos de salud / Soledad Estrella, Ignacio González-Ruiz…”
Accés restringit als usuaris de la UB, UAB, UdG, URV, URL, UVic-UCC

Tabla de Contenidos: “…Cover -- Contents -- Foreword -- Preface -- Acknowledgements -- About the Author -- Chapter 1 Web 2.0 and Social Networking -- Web 2.0 -- Ajax and the Dojo Toolkit -- Situation Applications and Mashups -- Social Networking -- A Case Study: GBS Practitioner Portal -- External Social Networking Sites -- Conclusion -- Chapter 2 Portals in the Enterprise -- Exceptional User Interfaces -- Portal Applications -- Portlet Language Options -- IBM's w3 Company Intranet -- Conclusion -- Chapter 3 Ajax, Portlets, and Patterns -- Portals and Portlets as a Platform -- Writing Dojo Portlets -- Using WebSphere Portlet Factory -- Comments from the IBM Labs -- Conclusion -- Chapter 4 Social Software for the Enterprise -- Lotus Connections -- Managing Your Profile -- Sharing Ideas with Blogs -- Dogear Your Favorites -- Join In on the Activities -- Building Your Communities -- Integration with WebSphere Portal -- Planning a Connections Deployment -- Conclusion -- Chapter 5 Team Collaboration and Content Sharing -- Lotus Quickr -- Working with Quickr Libraries -- Working with Quickr Connectors -- Quickr Integration Through Feeds -- Notes from the Field: An Interview with Richard Gorzela -- Conclusion -- Chapter 6 Mashing Up Data and Applications -- It's More Than Just Maps! …”

Tabla de Contenidos: “…The .NET Framework, C#, VB, and Razor Programming Fundamentals; Introduction to the Razor Syntax; Summary; Chapter 5: Adding User Interactivity; Creating Forms; Creating a Form to Obtain User Input; Validating User Input; Processing User Input; Summary; Chapter 6: AJAX and jQuery; Introduction to jQuery; How to Include jQuery in Your Pages; jQuery Selectors; Manipulating Page Elements with jQuery; Introduction to AJAX; Introducing jQuery Plug-Ins; Practical Tips when Working With jQuery; Summary; Chapter 7: Packages; Introducing "Packages"; The Web Helpers Package; Summary…”

Tabla de Contenidos: “…Sending Email Attachments -- Lesson 10 Inserting Data Into Multiple Tables -- Assessing The Task -- Creating The Database Structure -- Building The Cms -- Lesson 11 Updating And Deleting Files In Related Tables -- Selecting Records With Sql -- Completing The Cms -- Lesson 12 Using Ajax To Refresh Content -- Enhancing Pages With Ajax -- Introducing Adobe Widget Browser -- Configuring A Widget -- Creating A Master/Detail Set -- Refreshing A Page Without Reloading -- Creating Clean Urls -- Lesson 13 Deploying Your Site Online -- Transferring A Database -- Preparing Your Php Files -- Setting Up Your Remote Server In Dreamweaver -- Index…”

Venda en línia de reproduccions digitals
Accés lliure