Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
- Development 172
- Application software 138
- Engineering & Applied Sciences 100
- Management 88
- Cloud computing 78
- Computer Science 72
- Machine learning 69
- Computer software 59
- Computer networks 57
- Computer programs 56
- Python (Computer program language) 56
- Security measures 55
- Data processing 53
- Artificial intelligence 52
- Computer programming 51
- Microsoft .NET Framework 50
- Database management 43
- Computer security 42
- Web site development 42
- Java (Computer program language) 39
- Design 38
- Information technology 38
- Operating systems (Computers) 37
- Web sites 35
- Application program interfaces (Computer software) 32
- Programming 32
- Research & information: general 32
- Software engineering 32
- Business 29
- Business & Economics 29
-
1101Publicado 2018“…The authors of this volume examine a variety of linguistic changes in a corpus of personal correspondence, including the auxiliary do, verbal -s and the progressive aspect, and they conclude that direct normative influence on them must have been minimal. The studies are contextualized by discussions of the normative tradition and the correspondence corpus, and of eighteenth-century English society and culture. …”
Libro electrónico -
1102Publicado 2014“…However, the emergence of modern medical technologies, and how they are deployed, has led to the creation of new long-term conditions including the 'vegetative state' (in which the patient shows no awareness at all) and the 'minimally conscious state' (in which the the patient displays some intermittent and minimal awareness). …”
Seriada digital -
1103Publicado 2012Tabla de Contenidos: “…Consumer Protection Strategies and Mechanisms in the EU: 1. From minimal to full to 'half' harmonisation Norbert Reich; 2. …”
Libro -
1104
-
1105Publicado 2014Tabla de Contenidos: “…4.7 Conclusions and extensionsReferences; Chapter 5 One-parameter minimization problems; 5.1 The optimize() function; 5.2 Using a root-finder; 5.3 But where is the minimum?…”
Libro electrónico -
1106por Cooper, KeithTabla de Contenidos: “…-closure Offline; 2.4.4DFA to Minimal DFA: Hopcroft's Algorithm; Examples; 2.4.5Using a DFA as a Recognizer; Section Review; 2.5Implementing Scanners…”
Publicado 2012
Libro electrónico -
1107Publicado 1993Tabla de Contenidos: “…Combinational Logic""; ""3.1 Introduction""; ""3.2 Logic gates""; ""3.3 Combinational design and minimization""; ""3.4 Hazards, races and glitches""; ""3.5 Data selectors and decoders""; ""3.6 Formal minimization, the Quine-McCluskey method""…”
Libro electrónico -
1108por Stoudemire, TyronneTabla de Contenidos: “…Acculturation -- Biculturalism and Code-Switching -- Active Resistance -- Passive Resistance and Quiet Quitting -- Separation -- Minimization: Going Along toGet Along -- Authenticity: A Game of Bait and Switch -- Leadership and Culture Change -- An Ah Ha Moment! …”
Publicado 2024
Libro electrónico -
1109Publicado 2003Tabla de Contenidos: “…Technical Eclecticism -- 7 Multimodal Therapy: Technical Eclecticism with Minimal Integration -- 8 Systematic Eclectic Psychotherapy -- C. …”
Libro electrónico -
1110Publicado 2019Tabla de Contenidos: “…Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning via Duality -- Tight Worst-Case Bounds for Polynomial Loop Programs -- A Complete Normal-Form Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient May Use Limited Optimism to Minimize Regret -- Causality in Linear Logic: Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) -- Rewriting Abstract Structures: Materialization Explained Categorically -- Two-Way Parikh Automata with a Visibly Pushdown Stack -- Kleene Algebra with Hypotheses -- Trees in Partial Higher Dimensional Automata -- The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains -- Continuous Reachability for Unordered Data Petri Nets is in PTime -- Optimal Satisfiability Checking for Arithmetic mu-Calculi -- Constructing Inductive-Inductive Types in Cubical Type Theory -- Causal Inference by String Diagram Surgery -- Higher-Order Distributions for Differential Linear Logic -- Languages Ordered by the Subword Order -- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces -- A Sound and Complete Logic for Algebraic Effects -- Equational Axiomatization of Algebras with Structure -- Towards a Structural Proof Theory of Probabilistic μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights -- Equational Theories and Monads from Polynomial Cayley Representations -- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words -- Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time -- Justness: A Completeness Criterion for Capturing Liveness Properties -- Path category for Free - Open Morphisms from Coalgebras with Non-Deterministic Branching…”
Libro electrónico -
1111por Serna, JulianTabla de Contenidos: “…TEOREMA DE EXTENSIÓN DE TIETZE -- CAPÍTULO 5 ALGUNAS ESTRUCTURAS TOPOLÓGICAS EN ÁLGEBRA -- 5.1. ESTRUCTURA MINIMAL -- 5.2. TOPOLOGÍA GENERALIZADA -- 5.3. TOPOLOGÍA DE ZARISKI -- BIBLIOGRAFÍA -- ÍNDICE DE GURAS -- ÍNDICE DE SÍMBOLOS -- ÍNDICE ALFABÉTICO…”
Publicado 2021
Libro electrónico -
1112Publicado 2021Tabla de Contenidos: “…Cover -- Title Page -- Copyright Page -- Contents -- Introduction -- Part I Predictable Patterns -- Chapter 1 Patterns from the Past -- Miss the Trend -- Deny the Trend -- (Over)analyze the Trend -- Respond Meekly to the Trend -- The Solution Is to Provoke -- Chapter 2 On the Importance of "If" versus "When" -- Chapter 3 Personal Patterns -- Chapter 4 Expanding PeripheralVision -- Embrace Diversity -- Part II Principles of Provocation -- Chapter 5 Birth of a Provocation -- Respect the Past, but Hold It Lightly -- Provoke the Future -- Knowing Here from There -- The Provoke Quintet -- Summing Up -- Chapter 6 Envision: Seeing the Future -- The Fundamentals of Envision -- Envisioning the Future of Energy -- Chapter 7 Position: Preparing for the Change -- Betting on the Business Model -- Using a Beachhead Position -- Untangling Multiple Vectors of Uncertainty -- Chapter 8 Drive and Adapt: Taking Control -- Drive -- Adapt -- Chapter 9 Activate: Harnessing Your Ecosystem -- A Word on Ecosystems -- You Are Already Part of an Ecosystem -- Mozilla and the Crowd as Ecosystem -- Accelerating Change -- Part III Profiles of Provocateurs -- Chapter 10 Deborah Bial -- Chapter 11 Ryan Gravel -- Chapter 12 Valerie Irick Rainford -- Conclusion: Minimally Viable Thoughts -- On the Importance of Fun -- Looking at Data Without Context -- On the Value of Recognizing Recursion -- CEO as the Lead System Designer -- Notes -- Chapter 1: Patterns from the Past -- Chapter 2: On the Importance of "If" versus "When" -- Chapter 4: Expanding Peripheral Vision -- Chapter 5: Birth of a Provocation -- Chapter 6: Envision: Seeing the Future -- Chapter 7: Position: Preparing for the Change -- Chapter 8: Drive and Adapt: Taking Control -- Chapter 9: Activate: Harnessing Your Ecosystem -- Chapter 10: Deborah Bial -- Chapter 11: Ryan Gravel -- Chapter 12: Valerie Irick Rainford…”
Libro electrónico -
1113Publicado 2015Tabla de Contenidos: “…Chapter 9 Basic Memory ManagementChapter Contents; Chapter 10 High- level Memory Management and Virtual Memory; Chapter Contents; Chapter 11 High- level Message Passing; Chapter Contents; Chapter 12 Interrupt Processing; Chapter Contents; Chapter 13 Real- time Clock Management; Chapter Contents; Chapter 14 Device- independent Input And Output; Chapter Contents; Chapter 15 An Example Device Driver; Chapter Contents; Chapter 16 DMA Devices And Drivers ( Ethernet); Chapter Contents; Chapter 17 A Minimal Internet Protocol Stack; Chapter Contents; Chapter 18 A Remote Disk Driver; Chapter Contents…”
Libro electrónico -
1114Tabla de Contenidos: “…Contents at a Glance; Contents; About the Authors; About the Technical Reviewer; Acknowledgments; Introduction; Chapter 1: Evolution of jQuery; Traditional JavaScript Basics; The Window Object; Methods; Attributes; Child Objects; The Document Object; The History Object; The Location Object; The Navigator Object; The Screen Object; Old School Challenges; Challenges Pertaining to the Window Object; Challenges Pertaining to the Document Object; Challenges Related to the Globals; Need for a Revolution; Who Was the Revolutionary?; Why jQuery?; Minimal and Easy Coding…”
Libro electrónico -
1115Publicado 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 -
1116Publicado 2010Tabla de Contenidos:Libro electrónico
-
1117Publicado 2020Tabla de Contenidos: “…Karagiannidis -- Optimizing Energy Efficiency of Wearable Sensors Using Fog-assisted Control / Delaram Amiri -- Latency Minimization Through Optimal Data Placement in Fog Computing / Ning Wang -- Modeling and Simulation of Distributed Fog Environment using FogNetSim++ / Asad W. …”
Libro electrónico -
1118por Kabat, Marina“…It examines the lack of regulations, or 'la laboral,' in labor relations and the perpetual desire of the bourgeoisie for minimal regulation to maximize exploitation. The narrative covers historical context such as the Industrial Revolution, the fight for the eight-hour workday, and the impact of major events like the World Wars on labor rights. …”
Publicado 2019
Biblioteca Universitat Ramon Llull (Otras Fuentes: Biblioteca de la Universidad Pontificia de Salamanca, Universidad Loyola - Universidad Loyola Granada)Libro electrónico -
1119Publicado 2013“…Composed of work from experts at leading academic institutions and semiconductor companies, such as Intel, PMC-Sierra, and Vittesse, this resource will have a widespread appeal, as it requires minimal math and contains numerous illustrations--…”
Biblioteca Universitat Ramon Llull (Otras Fuentes: Universidad Loyola - Universidad Loyola Granada, Biblioteca de la Universidad Pontificia de Salamanca)Libro electrónico -
1120Publicado 2017“…Of these, some were experienced professionals while others had undergone only minimal training. But regardless of their preparation, they would all gain a unique understanding of the conditions of industrial warfare. …”
Capítulo de libro electrónico