Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Development 693
- Application software 600
- Engineering & Applied Sciences 492
- Historia 486
- History 440
- Java (Computer program language) 404
- Computer Science 396
- Python (Computer program language) 308
- Computer programming 291
- Classes socials 233
- Web site development 227
- Design 223
- Programming 222
- Història 212
- Microsoft .NET Framework 193
- Education 188
- Management 181
- Web sites 178
- Computer software 177
- Programming languages (Electronic computers) 171
- Clases sociales 170
- Ensenyament 158
- JavaScript (Computer program language) 155
- Computer programs 154
- Object-oriented programming (Computer science) 154
- C# (Computer program language) 151
- Social aspects 138
- C++ (Computer program language) 133
- Social conditions 128
- Software engineering 122
-
9621Publicado 2008Tabla de Contenidos: “…Mutante egípicio : remember the time, TV de cor -- Do tronco ao tambor do olodum com Michael Jackson -- Burn baby burn : o fogo da justiça em Los Angeles -- Democracia e diversidade humana -- Na diversidade humana, todo sangue é vermelho -- Pindorama, Brasil, ilé axé : 500 anos depois a terra está em perigo -- O lúdico e o sagrado : a propósito do dream team -- A passos de pombo, o jogo da liberdade : a coexistência da diversidade humana --Muhamed Ali : a borboleta e a abelha -- Imaginário pós-modernon : Garrincha e a alma do Botafogo -- O ônibus e o atabaque : para além de "raça" e "classe."…”
Libro electrónico -
9622Publicado 2020Tabla de Contenidos: “…Avant-propos / Brehima Tounkara -- Introduction : defis et perspectives pour une recherche efficiente sur l'integration de nouvelles technologies dans les systemes educatifs africains / Colette Gervais, Michel Lepage -- Opinions et attitudes des enseignants et des eleves par rapport à l'ordinateur dans la classe / Candide Achille Ayayi Kouawo -- L'appropriation pedagogique des technologies : un processus socioculturel / Kathryn Toure -- Auto-efficacite à l'egard de l'ordinateur chez des enseignants du secondaire au Niger / Modibo Coulibaly -- Technologies et l'enseignement des langues africaines transfrontalieres : le cas du Peul ecrit / Issa Diallo -- Technologies educatives et mathematiques au Burkina Faso / Issa Boro -- Comment des enseignants d'une faculte de medecine du Senegal utilisent-ils les technologies educatives ? …”
Libro electrónico -
9623por de Kinkelin, PierreTabla de Contenidos: “…Dinoflagellida Diesing, 1866 -- Les apicomplexes, phylum Apicomplexa Levine, 1970 -- Les flagellés, phylum Sarcomastigophora Honigberg et Balamuth, 1963 -- Chapitre 3 - Les Métazoaires ichtyoparasites -- Les myxozoaires, phylum Myxozoa Grassé, 1970 -- Les plathelminthes, phylum Plathyhelminthes Geggenbaur, 1859 -- Les nématodes, Nematoda (Rudolphi, 1808) Lankester, 1877 -- Les acanthocéphales, Acanthocephala Kohlreuther, 1771 -- Les sangsues, phylum Annelida Lamarck, 1809 -- Les bivalves, classe Bivalvia Linnaeus, 1758 -- Les arthropodes, phylum Arthropoda Latreille, 1829 -- Les chordés, Chordata Bateson, 1885 -- Chapitre 4 - L'infection parasitaire -- Aspects cliniques et anatomo-pathologiques des infections et infestations parasitaires : les signes des parasitoses -- Processus morbides des parasitoses : aspects pathogéniques de l'infection parasitaire -- Facteurs de risque de l'infection et de l'infestation parasitaire -- Conclusions -- Références bibliographiques -- Annexe 1 -- Zoonoses parasitaires : principaux helminthes représentant un risque d'infection humaine par suite de la consommation de poissons parasités -- Glossaire -- Liste des genres et espèces cités…”
Publicado 2014
Electrónico -
9624Publicado 2019Tabla de Contenidos: “…FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs…”
Libro electrónico -
9625Publicado 2002Tabla de Contenidos: “…6 Estimates of the use and costs of behavioural health care: a comparison of standard and finite mixture models7 Latent class versus two-part models in the demand for physician services across the European Union; 8 Proportional treatment effects for count response panel data: effects of binary exercise on health care demand; 9 Estimating surgical volume-outcome relationships applying survival models: accounting for frailty and hospital fixed effects; III: Flexible and Semiparametric Estimators; 10 Individual cigarette consumption and addiction: a flexible limited dependent variable approach…”
Libro electrónico -
9626por Mullen, Tony, 1971-Tabla de Contenidos: “…; Tools and Technologies; AR Necessities; Chapter 2: Introduction to Processing; The Processing Programming Environment; Drawing in Processing; Working with Classes; Chapter 3: Blender Modeling and Texturing Basics; Modeling with Blender; Baking a Smooth AO Texture; Creating a Finished Texture with GIMP; Chapter 4: Creating a Low-Poly Animated Character; Texturing Your Low-Poly Alien; Rigging the Model…”
Publicado 2011
Libro electrónico -
9627Publicado 2015Tabla de Contenidos: “…""Chapter 5: Programming with Logic""""Introduction""; ""Querying a social website's data""; ""Designing a type inferencer""; ""Playing a round of checkers""; ""Chapter 6: Sharing by Communicating""; ""Introduction""; ""Building a tiny web crawler""; ""Designing an HTML5 game""; ""Designing an online taxi-booking engine""; ""Chapter 7: Transformations as First-class Citizens""; ""Introduction""; ""Building a recursive descent parser using trampoline""; ""Implementing a reusable mini-firewall using transducers""; ""Building a little unification engine with continuation passing style""…”
Libro electrónico -
9628Publicado 2025Tabla de Contenidos: “…Introduction: Threats to Well-Being During the Covid-19 Pandemic -- Part I: The Impact of Covid-19 on Life Satisfaction and Happiness: Comparative and Longitudinal Perspectives -- The Impact of Covid-19 on Life Satisfaction: A Cross-National, Long Term Perspective -- Happiness Trends Before and During the Covid-19 Pandemic in Indonesia: Assessing the Influence of Charitable Donations and Pandemic Severity -- The Well-Being of Young People in Europe During the Pandemic: The Social Ties, Labor Market Integration, and the Social Inequalities -- Part II: The Impact of Covid-19 on Employment and Workers’ Well-Being -- Employment Vulnerabilities of Female and Young Adults in Arab Countries: Trends Since the Onset 0f Covid-19 -- The Effect of the Covid-19 Pandemic on Faculty Well-Being: A Study of Academic Staff at Three Colleges in New York State -- Limited Social Contact at Work During the Covid-19 Pandemic and Shift Worker's Health and Well-Being -- Part III: Sociability, Civic Participation and Solidarity During the Pandemic -- The Pandemic Effects on Sociability and Well-Being of Low-Income Adolescents in Mexico -- The Latent Classes of the Volunteer Satisfaction Index and Donation During the Pandemic in Singapore -- Covid-19 and Community-Based Volunteerism: How the Rohingya Volunteers Acted for Community Engagement to Fight Against the Pandemic in Rohingya Refugee Camps of Bangladesh -- Part IV: The Impact of Covid-19 on Children’s Well-Being -- Children’s Well-Being During the Covid-19 Pandemic: An Exploratory Study Among 10–12 Year Old School Children in Bangladesh -- Children’s Profiles of Subjective Well-Being Change During the Covid-19 Pandemic and its Correlates: A Multi-National Study -- The Impact of Covid-19 on Young People’s Levels of Subjective Well-Being: Evidence from Hilda 2001–2020…”
Libro electrónico -
9629Publicado 2022Tabla de Contenidos: “…A Metric to Determine the Change Proneness of Software Classes Using GMDH Networks -- Section B: Application of Disruptive Technology in Various Sectors -- 7. …”
Libro electrónico -
9630Publicado 2005Tabla de Contenidos: “…-Calculus -- Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties -- Minimizing Counterexample with Unit Core Extraction and Incremental SAT -- I/O Efficient Directed Model Checking -- Applied Abstract Interpretation -- Verification of an Error Correcting Code by Abstract Interpretation -- Information Flow Analysis for Java Bytecode -- Cryptographic Protocol Analysis on Real C Code -- Bounded Model Checking -- Simple Is Better: Efficient Bounded Model Checking for Past LTL -- Optimizing Bounded Model Checking for Linear Hybrid Systems -- Verification II -- Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives -- Generalized Typestate Checking for Data Structure Consistency -- On the Complexity of Error Explanation -- Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs…”
Libro electrónico -
9631por Takahashi, ShinTabla de Contenidos: “…Standard Deviation; 5. The Range of Class of a Frequency Table; 6. Estimation Theory and Descriptive Statistics; Exercise and Answer; Summary…”
Publicado 2008
Libro electrónico -
9632Publicado 2014Tabla de Contenidos: “…Cover; Copyright; Credits; About the Author; About the Reviewers; www.PacktPub.com; Table of Contents; Preface; Chapter 1: Getting Started with TypeScript; The advantages of TypeScript; Setting up the IDE; Hello World; Command-line compilation; Integrating Visual Studio; Creating a new project; Build options; Summary; Chapter 2: TypeScript Basics; Types; Functions; Interfaces; Classes; Definitions; Interfaces; Static and instance members; Properties; Enums; Modules; Internal modules; Generic objects; Summary; Chapter 3: The TypeScript Compiler; Generation of ECMAScript; ECMAScript version…”
Libro electrónico -
9633por Metula, ErezTabla de Contenidos: “…; Walkthrough: Attacking the Runtime Class Libraries; Summary; Chapter 5. Manipulating the Runtime; Manipulating the Runtime According to Our Needs; Reshaping the Code; Code Generation; Summary; Chapter 6. …”
Publicado 2010
Libro electrónico -
9634Publicado 2021Tabla de Contenidos: “…conflict, and the struggle for an ecology of dialogue, learning and peace among Israeli Jewish and Palestinian educators / Alan Bainbridge and Linden West -- Part 3: diversity as a content and as a feature of biographic inquiry -- Understanding women's lives through critical feminist perspectives: working-class women students in higher education / Barbara Merrill -- Some reflections on the meaning, limits and challenges of critical biographical research / Fergal Finnegan -- storytelling, culture, and Indigenous methodology / Adrienne S. …”
Libro electrónico -
9635Publicado 2009Tabla de Contenidos: “….] -- Applying relational operants to reading and spelling / Deisy G. de Souza, Julio C. de Rose and Camila Domeniconi -- Syntax, grammatical transformation, and productivity : a synthesis of stimulus sequences, equivalence classes, and contextual control / Harry A. Mackay and Lanny Fields -- Extending functional communication trough relational framing / Rocio Rosales and Ruth Anne Rehfeldt -- Training analogical reasoning as relational responding / Ian Stewart, Dermot Barnes-Holmes and Tim Weil -- Understanding and training perspective-taking as relational responding / Louise McHugh and Yvonne Barnes-Holmes and Dermot Barnes-Holmes -- Establishing empathy / Sonsoles Valdivia-Salas ... …”
Libro electrónico -
9636Publicado 1998Tabla de Contenidos: “…Chapter 13 - Old Problems and New Directions in the Study of Violence against Women; Chapter 14 - Women's Realities: Defining Violence against Women by Immigration, Race, and Class; Section VII - Wife Rape; Chapter 15 - Marital Rape; Chapter 16 - The Reality of Wife Rape: Women's Experiences of Sexual Violence in Marriage; Section VIII - Elder Abuse; Chapter 17 - Violence and Violent Feelings: What Causes Them among Family Caregivers?…”
Libro electrónico -
9637Publicado 2021Tabla de Contenidos: “…Diskursive Verhandlungen sozialer Kohäsion / Teresa Hiergeist, Agnes Bidmon, Simone Broders and Katharina Gerund Verdrängt, vernachlässigt und vergessen? Die classes populaires als neue/alte ,Paragesellschaft'? …”
Libro electrónico -
9638Publicado 2022Tabla de Contenidos: “…Worldly Themes and Vernacular Literature: Aino Kallas on Gender, Ethnicity, and Class -- Katarina Leppänen (Gothenburg University, Sweden) -- 8. …”
Libro electrónico -
9639Publicado 2021Tabla de Contenidos: “…Cover -- Half Title -- Series Information -- Title Page -- Copyright Page -- Contents -- List of figures -- Acknowledgements -- Introduction -- Modern cities and ruin -- A brief history of the end of the world in sf -- The pleasures of urban ruins -- State of the field -- Parameters of study -- Structure of the book -- Notes -- 1 Urban apocalypse in the magazines -- The Scarlet Plague -- Cycles of urbanization and modernization -- The 1906 San Francisco earthquake and fire -- The publication of The Scarlet Plague -- Critical responses to The Scarlet Plague The afterlife of The Scarlet Plague -- Conclusion -- Notes -- 2 Listening to ruins on the radio -- Audio fiction and the imagination -- The roots of radio's golden age sf -- Post-war sf on the airwaves -- The heights of radio sf -- Conclusion -- Notes -- 3 Cinema and the aesthetics of destruction -- Urban destruction on film -- Aerial warfare and the imagination of disaster -- Destruction and renewal in The War of the Worlds -- Rebuilding the future in The Time Machine -- Conclusion -- Notes -- 4 Urban decay in the transmedia universe of Blade Runner -- Marginalization The glamour of decay: Los Angeles and New York City -- The policing of sexual identities -- Permeable boundaries -- Illicit relationships -- Deviancy and class -- Conclusion -- Notes -- 5 Playing in virtual ruins from Wasteland to Wasteland 2 -- Virtual space and the post-apocalyptic city -- Gameplay motivation and immersion -- Wasteland and 2D worlds -- 2.5D spaces and Fallout -- Choices in virtual worlds -- 3D game spaces -- Ruins in 3D worlds -- Narrative choices in Fallout 3 and 4 -- Wasteland 2 -- Conclusion -- Notes -- 6 Cities and sanctuary in The Walking Dead The Walking Dead as transmedia fictional world -- 'We are the walking dead' -- Atlanta -- Resurgens -- Unsalvageable cities -- Alexandria -- Gated communities -- Cities and violence -- Conclusion -- Notes -- Bibliography -- Index -- Back Cover…”
Libro electrónico -
9640Publicado 2023Tabla de Contenidos: “…Controversies Concerning the "Portugueseness" of Rock Music Made in Portugal in the Early 1980s / Ricardo Andrade ; Indie Music as a Controversial Space on Spanish Identity : Class, Youth, and Discontent / Hector Fouce and Fernán del Val ; Catalonia vs Spain : How Sonorous is Nationalism? …”
Libro electrónico