Mostrando 5,361 - 5,380 Resultados de 9,986 Para Buscar 'Huntik~', tiempo de consulta: 1.62s Limitar resultados
  1. 5361
    por Fabris, Salvator ( -1617)
    Publicado 1606
    Libro
  2. 5362
    Publicado 2017
    “…«Un regalo para todos aquellos que han soñado alguna vez con tener una granja o simplemente anhelan hundir las manos en la tierra húmeda y cultivar sus propios alimentos. …”
    Libro
  3. 5363
    Publicado 2021
    Libro electrónico
  4. 5364
    Publicado 2014
    “…Overcoming the Barriers to Production-Ready Machine-Learning Workflows Henrik Brink (wise.io), Joshua Bloom (UC Berkeley) Emerging algorithmic and framework technologies will enable you to leapfrog many automation issues in machine learning. …”
    Video
  5. 5365
    por Eslava Galán, Juan
    Publicado 2019
    “…Pero, además de todos estos hechos, el lector encontrará en esta obra historias que los libros no suelen tratar, historia de personas: la bailarina judía que hizo striptease ante la cámara de gas, el submarinista alemán que hundió su nave al tirar de la cadena en el retrete, la posible homosexualidad de Hitler, las astucias de Stalin, las cuatro amantes diarias de Mussolini, las vacilaciones de Franco, Himmler y sus SS buscando el Grial en España, las orgías en el búnker del Führer, el japonés que sobrevivió a las dos bombas atómicas... o las inverosímiles peripecias del gato del acorazado Bismarck…”
    Libro
  6. 5366
    Publicado 2023
    Tabla de Contenidos: “…Indhold -- Dragende materialitet - forskydninger i den boghistoriske praksis efter den digitale revolution / Anders Toftgaard -- Litteraturens mange versioner - metodiske overvejelser for litteraturstudier og Henrik Pontoppidans Lykke-Per / Katja Gottlieb, Krista Stinne Greve Rasmussen -- Morten Hallager og hans forsøg til en læse-øvelse-bog for danske børn - en pædagogisk og typografisk intervention anno 1791 / Charlotte Appel -- Bokhistoria möter översättningsvetenskab - tidigmoderna översättningspraktikeri exempel från svenskt 1500-tal / Kajsa Weber -- "Trykt paa autoris bekostning" - Ludvig Holberg som selvforlægger og boghandler / Kristoffer Schmidt -- Hästar, härar och hus - förläggandet av den svenska stormaktstidens planschverk / Jonas Nordin -- Encyklopedin som politisk-ideologisk genre under tidigt 1800-tal - om Rottecks och Welckers liberala Staatslexikon / Anton Jansson -- Betraktere av barnelivet - dansk-norske opplysningsmagasiner for barn / Janicke S. …”
    Libro electrónico
  7. 5367
    por Guardia Herrero, Carmen de la
    Publicado 2019
    “…Muchos estadounidenses se alzaron contra estas medidas y, enarbolando la idea de un sueño americano que hundía sus raíces en la época fundacional, reinventaron la historia de Estados Unidos, ensalzando los valores de la frontera, de la audacia y del individualismo que, según ellos, habían sostenido a Estados Unidos. …”
    Libro
  8. 5368
    Publicado 2021
    “…¿Cómo iba a imaginar Lyra que las pesquisas la iban a poner sobre la pista de un complot en las altas esferas del continente para hundir a Mercuria en la anarquía? Dispuesta a todo para proteger su hogar, se embarcará en el Cormorán, un aerobarco de leyenda, y viajará a las alturas del Mar de Nubes. …”
    Libro
  9. 5369
    por Birch, Jen, 1955-
    Publicado 2003
    Tabla de Contenidos: “…Other Special Skills and Interests; 11. Aunty Hazel: A Story; 12. The Psychiatric Hospital; 13. …”
    Libro electrónico
  10. 5370
    Publicado 2012
    Tabla de Contenidos: “…Vencelides -- Numerical modeling for preliminary assessment of natural remediation of phosphorus in variably saturated soil in a peri-urban settlement in Kampala, Uganda / R.N. Kulabako, R. Thunvik, M. Nalubega & A.L. Soutter…”
    Enlace del recurso
    Libro electrónico
  11. 5371
    Publicado 2012
    Tabla de Contenidos: “…: the First World War, biased neutrality, and the Nobel Prizes in science / Robert Marc Friedman -- Pursuing common cultural ideals : Niels Bohr, neutrality, and international scientific collaboration during the inter-war period / Henrik Knudsen and Henry Nielsen -- Caught-up by politics : the Solvay Councils on Physics and the trials of neutrality / Kenneth Bertrams -- The scientific construction of Swiss neutrality / Daniel Speich Chasse -- A castle in the centre : the first Czechoslovak republic and European cooperation (1918-1938) / Carlos Reijnen -- Prague zionism, the Czechoslovak state, and the rise of German national socialism : the figure of Max Brod (1914-1933) / Gaëlle Vassogne -- Legitimacy through neutrality : resources of journalism in the international press visit to Sweden in 1923 / Patrik Lundell -- Of twins and time: scientists, intellectual cooperation, and the League of Nations / Jimena Canales -- Eye-deep in Hell : Heinrich Lammasch, the Confederation of Neutral States, and Austrian neutrality, 1899-1920 / Georg Cavallar -- Nobel science of peace : Norwegian neutrality, internationalism and the Nobel Peace Prize / Vidar Enebakk -- Neutrality and humanitarianism : Fridtjof Nansen and the Nansen passports / Rebecka Lettevall…”
    Enlace del recurso
    Libro electrónico
  12. 5372
    Publicado 2017
    Tabla de Contenidos: “…Katarina Weilert -- Extraterritorial human rights obligations of states in the event of disease outbreaks / Elif Askin -- The real versus the ideal in NGO governance: enacting the right to mental healthcare in Liberia during the 2014-2016 Ebola epidemic / Hunter Keys, Bonnie Kaiser, André den Exter -- The World Health Organization's governance framework in disease outbreaks: a legal perspective / Pedro A. …”
    Libro electrónico
  13. 5373
    Publicado 2002
    Tabla de Contenidos: “…NATO'S DETERMINATION TO PREVAIL; SUCCESSES AND LIMITATIONS OF THE OVERALL AIR OPERATION; LOW EFFECTIVENESS OF AIR STRIKES AGAINST FIELDED FORCES; MARGINAL EFFECT IN HALTING VIOLENCE AGAINST KOSOVAR ALBANIANS; Chapter Four TASK FORCE HAWK; ORIGIN AND CONTROVERSY; COMMAND AND CONTROL; TASK FORCE HAWK OPERATIONS; TASK FORCE HUNTER; WHY WASN'T TASK FORCE HAWK EMPLOYED IN KOSOVO?…”
    Libro electrónico
  14. 5374
    Publicado 2018
    Tabla de Contenidos: “…Model-Based Software Development -- A Formal Framework for Incremental Model Slicing -- Multiple Model Synchronization with Multiary Delta Lenses -- Controlling the Attack Surface of Object-Oriented Refactorings -- Efficient Analysis of Attack Trees: a Model-Driven Approach -- Distributed Program and System Analysis -- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis -- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism -- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems -- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States -- Software Design and Verification -- Hierarchical Specification and Verification of Architectural Design Patterns -- Supporting Verification-Driven Incremental Distributed Design of Components -- Summarizing Software API Usage Examples using Clustering Techniques -- Fast Computation of Arbitrary Control Dependencies -- Specification and Program Testing -- Iterative Generation of Diverse Models for Testing Specifications of SL Tools -- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications -- TCM: Test Case Mutation to Improve Crash Detection in Android -- CRETE: A Versatile Binary-Level Concolic Testing Framework -- Family-Based Software Development -- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* -- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems -- Taming Multi-Variability of Software Product Line Transformations…”
    Libro electrónico
  15. 5375
    Publicado 2020
    Tabla de Contenidos: “…Williams -- The impossible ideal of moderation : food, drink, and longevity / Anita Guerrini -- "For it is the debilitating fibres that execise restores" : movement, morality and moderation in eighteenth-century medical advice literature / James Kennaway and Rina Knoeff -- The healthy body, civic virtue, gender and the new physical education in Germany, 1770-1800 / Teresa Sanislo -- "That venerable and princely custom of long-lying abed" : sleep and civility in seventeenth and eighteenth-century urban society / Elizabeth Hunter -- Wasted days and wasted nights : sleeping and waking in the long eighteenth-century / Roger Schmidt -- Keeping the body open. …”
    Libro electrónico
  16. 5376
    por Groote, Jan Friso
    Publicado 2021
    Tabla de Contenidos: “…Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-Dependent Flaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. …”
    Libro electrónico
  17. 5377
    Publicado 2020
    Tabla de Contenidos: “…Reilly -- Polynesian family manuscripts (Puta Tupuna) from the Society and Austral Islands : interior history, formal logic, and social uses / Bruno Saura -- Print media, the Swahili language, and textual cultures in twentieth century Tanzania, c.1923-1939 / Emma Hunter -- Going off script : Aboriginal rejection and repurposing of English literacies / Laura Rademaker -- "Read it, don't smoke it"! …”
    Libro electrónico
  18. 5378
    Tabla de Contenidos: “…Lebo Birth of a Pelagic Empire: Japanese Whaling and Early Territorial Expansions in the Pacific / Jakobina Arch Precursors of the Japanese Pacific Pivot: Drift Whales, Ainu, and the Tokugawa State along the 1850s Okhotsk Arc / Noell Wilson The Different Currents of Japanese Whaling: A Case Study of Baird's Beaked Whale Foodways in the Kanto and Tohoku Regions / Akamine Jun Whale Country: Bering Strait Bowheads and their Hunters in the Nineteenth Century / Bathsheba Demuth Two Landings in Lorino: How Environmentalists Confronted the Soviets in the Bering Strait and Discovered Subsistence Whaling / Ryan Tucker Jones Swimming with Gigi: Captivity, Gray Whales, and the Environmental Culture of the Pacific Coast / Jason M. …”
    Libro electrónico
  19. 5379
    por Gieser, Thorsten
    Publicado 2024
    Tabla de Contenidos: “…: shepherds, wolves and sheep -- They have no respect!": hunters, wolves, and other wild animals -- They touch something deep inside me": wolf friends and wolves -- 6. …”
    Libro electrónico
  20. 5380
    por Hennig, Teresa
    Publicado 2010
    Tabla de Contenidos: “…Chapter 15: Enhancing Reports with VBAChapter 16: Customizing the Ribbon; Chapter 17: Customizing the Office Backstage; Chapter 18: Working with Office 2010; Chapter 19: Working with SharePoint; Chapter 20: Working with .NET; Chapter 21: Building Client-Server Applications with Access; Chapter 22: The Access 2010 Templates; Chapter 23: Access Runtime Deployment; Chapter 24: Database Security; Chapter 25: Access 2010 Security Features; Appendix A: The Access Object Model; Appendix B: DAO Object Method and Property Descriptions; Appendix C: ADO Object Model Reference; Appendix D: 64-Bit Access…”
    Libro electrónico