“…Nuevos problemas y nuevas soluciones en teletrabajo transfronterizo…”

Materias:

“…Across the 10-year period from 2001 to 2010, world soybean production increased from 168 to 258 million metric tons (54% increase). Against the backdrop of soybean's striking ascendancy is increased research interest in the crop throughout the world. …”

“…Why limit your business growth? With Momentum, you won’t have to…”

“… As a final exam preparation tool, CCIE Security Exam Quick Reference Sheets provide a concise review of all objectives on the new CCIE Security written exam (350-018). This digital Short Cut provides you with detailed, graphical-based information, highlighting only the key topics in cram-style format. …”

“…Le présent volume met, pour la première fois, à la disposition d’un large lectorat des reproductions en haute définition des 258 dessins de courges du genre Cucurbita, illustrant une centaine de cultivars, conservés à la Bibliothèque centrale du Muséum national d’Histoire naturelle et réalisés au XVIIIe siècle par...…”

“…Cuando el joven bibliotecario comenzó a trabajar en una pequeña población, donde se encuentra la iglesia en la que está enterrado el escritor Francisco de Quevedo, no podía imaginar el periplo que le esperaba, a lo largo de su vida, hasta resolver el misterio de un manuscrito perdido durante más de 350 años. …”

Tabla de Contenidos: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations…”

Tabla de Contenidos: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. …”

“…PEB Échanges, Programme pour la construction et l'équipement de l'éducation, no.2004/05…”

“…Whether it’s healthy to crack your knuckles, drink decaf, eat chocolate? What it costs to run all those LED lights around your house? These are just a few of the fascinating science and health questions real people have asked top science writer and San Diego Union-Tribune columnist Sherry Seethaler. …”

“…Leitfaden dieser Arbeit ist das 'Sudetendeutsche Ortsnamenverzeichnis' (1987), das in einer speziellen Liste (Liste IV /C S. 337-353) ein alphabetisches (deutsch-tschechisches) Verzeichnis der 1945-1955 amtlich geänderten Gemeinde- und Ortsnamen liefert. …”

“…Češskaja Biblija perestupila očen' rano predely sobstvenno-češskoj zemli i okazala svoe vlijanie i daleko vne ee. …”

Tabla de Contenidos: “…-- An Analysis on Economic Conditions of Former Trafficking Victims Migrant Workers in Nomporejo, Galur, Kulon Progo, Yogyakarta -- Internationalization of Ki Hadjar Dewantara's Nationalism Values in Ibu Pawiyatan Tamansiswa Junior High School Yogyakarta -- Communication Strategy of the Vocational Secretariat of the Republic of Indonesia in Order to Reach the Open Government -- The Authority of Women with Tattoos -- The Effect of CSR Disclosure and Profitability on Company Value -- Do bullying effect on student achievement in Indonesia? …”

“… Optical Networking Systems IP Management Solutions (Digital Short Cut) Randy Zhang ISBN-13: 978-1-58705-351-1 ISBN-10: 1-58705-351-9 Optical Networking Systems (ONS) is a group of optical products from Cisco providing backbone transport, metro access, and wavelength division services. …”

Tabla de Contenidos: “…Adecuación de la creación de contenido para redes sociales en función de los códigos comunicativos generacionales : el perfil de TikTok de @FCOMUNSALAMANCA / Relevancia de los "seniors" para las marcas : trascendencia estratégica y nuevos enfoques de representación / Estudio de los perfiles informativos en redes sociales de las principales cadenas de televisión privada en España. …”

“…Este libro se centra en el sufrimiento de quienes, en su calidad de pareja, conviven con personas que han visto alterados, profundamente alterados, sus hábitos de alimentación en el contexto de distintas patologías como la anorexia nerviosa, la bulimia nerviosa u otros trastornos. …”
Texto completo en Odilo

“…</B</P><P><P><I>Breve Historia de la batalla de Lepanto</I> es la única obra que integra en un solo volumen de extensión reducida la información imprescindible para comprender en toda su dimensión histórica la batalla naval que cambió el destino de Europa. …”
Texto completo en Odilo

“…Es una figura excepcional, por conseguir ser mujer-artista-realista-reconocida en vida, que pudo dedicarse profesionalmente a la pintura, durante medio siglo de trayectoria (sin interrupciones), en un contexto nada propicio para una mujer artista, como fue España durante el franquismo (nos centraremos, sobre todo, en los años de la posguerra y la autarquía, entre 1939 y 1959 en Madrid, exclusivamente). …”
Enlace del recurso