Mostrando 7,761 - 7,780 Resultados de 10,228 Para Buscar 'Pragal~', tiempo de consulta: 1.31s Limitar resultados
  1. 7761
    por Andreu Barrachina, Llorenç
    Publicado 2013
    Tabla de Contenidos: “…Desenvolupaments semàntics i pragmàtics; 6.2. El desenvolupament del discurs; 6.3. …”
    Libro electrónico
  2. 7762
    Publicado 2021
    Tabla de Contenidos: “…Why Invest in Strategic OCM Before Starting the Project -- Organization After Implementation and Role Change -- Gain Meaningful Digital Insights for Change -- Embedding Required Cultural Transformation in the Organization -- Measuring User Adoption, Key Performance Indicators, and Benefits Realization -- Measure Benefits Realized Post Go-Live -- Summing Up -- Notes -- Chapter 7 Fundamentals of Executing a Successful Dynamics 365 Project -- Effective Communication -- Importance of Design Thinking, UX Design, and Customer Journey Mapping -- Establishing Clear Design Principles at the Outset -- Shortening Project Timescales Through Empowered Decision Making and Collocated Teams -- Pragmatic Approach to the Agile Implementation of Dynamics 365 -- Incorporating Traditional Planning Approaches with the Flexibility of Agile and Scrum -- Embrace Change: Deliver to Time and Budget -- Summing Up -- Part Three Driving Innovation and Improvements with Dynamics 365 -- Chapter 8 Makers and Shakers of Dynamics 365 Transformation -- Project Charter: Roles and Responsibilities -- Critical Role of the User on a Dynamics 365 Project -- Understanding of Value to Use -- Delivering Value and Getting an Equitable Return -- Why Users Should Create Dynamics 365 Documentation -- Role of Microsoft Customer Success Manager -- Leverage Your Community -- Summing Up -- Notes -- Chapter 9 What Does Post Go-LiveLook Like? …”
    Libro electrónico
  3. 7763
    por de Vries, Glen
    Publicado 2020
    Tabla de Contenidos: “…Steam Tables, Sensors, and Early Warning Systems -- Putting a Spotlight on the Fragility of Our System -- A Speedier Road to Modernized Trial Design -- The Next Hundred Years -- Notes -- Conclusion -- Acknowledgments -- About the Authors -- Index -- EULA…”
    Libro electrónico
  4. 7764
    por Brachman, Ronald J., 1949-
    Publicado 2004
    Tabla de Contenidos: “…The Language of First-Order Logic; 2.1 Introduction; 2.2 The Syntax; 2.3 The Semantics; 2.4 The Pragmatics; 2.5 Explicit and Implicit Belief; 2.6 Bibliographic Notes; 2.7 Exercises; Chapter 3. …”
    Libro electrónico
  5. 7765
    Publicado 2014
    Tabla de Contenidos: “…A Practical Guide To Critical Thinking; Contents; CONTENTS; Preface; PREFACE; Preface to First Edition; PREFACE TO FIRST EDITION; Note to Instructors; NOTE TO INSTRUCTORS; 1 The Nature and Value of Critical Thinking; 1.1 The Nature of Critical Thinking; EXERCISE 1; 1.2 Critical Thinking and Knowledge; EXERCISE 2; 1.3 Knowledge and Truth; 1.3.1 Realism, Relativism, and Nihilism; 1.3.2 Relativism and the Argument from Disagreement; 1.4 Knowledge and Belief; 1.5 Knowledge and Justification; 1.5.1 Emotional and Pragmatic Reasons; 1.5.2 Epistemic Reasons; 1.5.3 Emotions and Evidence…”
    Libro electrónico
  6. 7766
    Publicado 1985
    Tabla de Contenidos: “…*дрьз- (*дръ3-) б *Мысле: к проблеме реконструкции 335Ђорђе ТРИФУНОВИЋ (Београд), Пророчански спис о времену велике сеобе Срба 347Pavel TROST (Prag), Die alttschechischen "Olmützer Erzählungen" 351Rudolf TUREK (Prag), Das Wort "interea" bei Widukind von Corvey 363Анатолий Аркадьевич ТУРИЛОВ (Москва), Новый список Востоковской легенды 371Stanisław URBANCZYK (Krakau), Die Wortbildung der ehemaligen -0,-e, -e-Deklination im Altpolnischen 379Josef VACHEK (Prague), Problems of Translating Prague School Theses Into English 385Боряна ВЕЛЧЕВА (София), За буквата Ф в глаголицата 399Josef VINTR (Vídeň), Zaltář muzejní se staročeskými glosami-Edice a problém vzniku 401Günther WYTRZENS (Wien), Zur Poetik des kirchenslavischen St. …”
    Libro electrónico
  7. 7767
    Publicado 2021
    Tabla de Contenidos: “…Activity 8: Assess, Learn, and Re-Plan -- Complex Systems Engineering Principles -- CASE Methodology (Latest Version) -- 1a - Changing Mindsights -- 1b - Understanding Persistent Problem -- 2a - Balancing Opportunities and Risks -- 2b - Mounting Organizational Efforts -- 2c - Evaluating Stakeholders -- 2d - Postulating Desirable Outcome Space -- 3a - Building Team and Resources -- 3b - Deciding System Boundary -- 3c - Creating Anti-Fragility [18] -- 3d - Adjusting Incentive Structures -- 4a - Stimulating Self-Organized Collaborations -- 4b - Establishing Architecture -- 5a - Proposing Specific Interventions -- 5b - Brainstorming Potential Approaches -- 5c - Helping Decision Takers -- 6a - Modeling and Simulating Behaviors -- 6b - Experimenting with Users -- 6c - Taking Appropriate Actions -- 7 - Measuring What Happens -- 8 - Assessing Results -- 9a - Adding Incremental Capabilities -- 9b - Instituting Lessons Learned -- 10a - Rewarding Contributors for Useful Results -- 10b - Publicizing Progress -- 11 - Renewing Continued Effort? …”
    Libro electrónico
  8. 7768
    por OCDE, OECD /.
    Publicado 2015
    Tabla de Contenidos: “…Sanctions are neither prevalent nor equally distributed -- Box 5.2. The Mutual Review of Development Effectiveness in Africa -- What are the specific functions of accountability? …”
    Libro electrónico
  9. 7769
    Publicado 2009
    Tabla de Contenidos: “…11.4 Token Pasting and Stringizing Operators -- 11.5 The # include Directive -- 11.6 Conditional Compilation -- Syntax -- 11.7 The #ifndef Directive -- 11.8 The #error Directive -- 11.9 The # line Directive -- 11.10 Inline Directive -- 11.11 The #pragma Saveregs -- 11.12 The #pragma Directive -- Syntax -- 11.13 The Predefined Macros in Ansi and Turbo C -- 11.14 Standard I/O Predefined Streams in stdio.h -- 11.15 The Predefined Macros inctype. h -- Summary -- Exercises -- Chapter 12: Structure and Union -- 12.1 Introduction -- 12.2 Features of Structures -- 12.3 Declaration and Initialization of Structures -- 12.4 Structure within Structure -- 12.5 Array of Structures -- 12.6 Pointer to Structure -- 12.7 Structure and Functions -- 12.8 typedef -- 12.9 Bit Fields -- 12.10 Enumerated Data Type -- 12.11 Union -- 12.12 Calling Bios and Dos Services -- 12.13 Union of Structures -- Summary -- Exercises -- Chapter 13: Files -- 13.1 Introduction -- A) Definition of File -- 13.2 Streams and File Types -- A) File Types -- 13.3 Steps for File Operations -- Syntax for opening the file -- A. …”
    Libro electrónico
  10. 7770
    Publicado 2017
    Tabla de Contenidos: “…-- Installing Visual C++ -- Setting up -- Downloading the installation files -- Installing Visual Studio -- Registering with Microsoft -- Examining C++ projects -- Compilers -- Linking the code -- Source files -- A simple example -- Creating source files -- Compiling the code -- Passing parameters between the command-line and an executable -- The preprocessor and symbols -- Defining constants -- Using macros -- Using symbols -- Using pragmas -- Dependencies -- Libraries -- Pre-compiled headers -- Project structure -- Managing dependencies -- Makefiles -- Writing a simple project -- The project structure -- Creating the precompiled header -- Creating the main file -- Using input and output streams -- Using time functions -- Building the executable -- Testing the code -- Changing the project -- Summary -- Chapter 2: Understanding Language Features -- Writing C++ -- Using white space -- Formatting code -- Writing statements -- Working with expressions -- Using the comma operator -- Using types and variables -- Using constants and literals -- Defining constants -- Using constant expressions -- Using enumerations -- Declaring pointers -- Using namespaces -- C++ scoping of variables -- Using operators -- Exploring the built-in operators -- Arithmetic operators -- Increment and decrement operators -- Bitwise operators -- Boolean operators -- Bitwise shift operators -- Assignment operators -- Controlling execution flow -- Using conditional statements -- Selecting -- Looping -- Looping with iteration -- Conditional loops -- Jumping -- Using C++ language features -- Summary -- Chapter 3: Exploring C++ Types -- Exploring built-in types…”
    Libro electrónico
  11. 7771
  12. 7772
    por Springhart, Heike 1975- aut
    Publicado 2020
    “…Al considerar la vulnerabilidad como categoría central de la antropología realista, se constata que la existencia de cada ser humano es precaria, frágil y pasiva, pero también que alcanza su sentido cuando se abre a la esperanza. …”
    Libro
  13. 7773
    por Fernández Franco, Juan
    Publicado 1765
    Manuscrito
  14. 7774
    Publicado 1610
    Manuscrito
  15. 7775
    por Ángel, Alberto
    Publicado 2004
    Tabla de Contenidos: “…11 Blanquísima niña de los sueños tan frágiles12 7, 8, 9, 10; 13 Tus labios me llaman; 14 Resbalar con mis manos; 15 Todo extraño de ti... …”
    Libro electrónico
  16. 7776
    Tabla de Contenidos: “…Las diferentes técnicas; 1.1.3. Lacas frágiles ; 1.1.4. Fotoelasticimetría; 1.1.5. Extensometría eléctrica; 1.1.6. …”
    Libro electrónico
  17. 7777
    por Furniss, Graham
    Publicado 1991
    Tabla de Contenidos: “…Transitive sociative verbs; 4.3.3.3. Phrasal sociative constructions; 4.4. Introduction to verbs operating dependent VP complements or objects; 4.4.1. …”
    Libro electrónico
  18. 7778
    Publicado 2022
    Tabla de Contenidos: “…-- The Perspectives -- Benefits Adapting Infrastructure as Code -- Improved Time to Production -- Reduction in Drifting Configurations -- Faster and Efficient Development Life Cycle -- Maximizing the Scope of Provisioning -- Lowered Costs and Increase in ROI -- Adapting Tools of Infrastructure as Code -- Factors Deciding Adaption of Infrastructure as Code -- Approaches for Infrastructure as Code -- Best Practices of Infrastructure as Code -- The Way Ahead -- Chapter 2: Patterns and Principles of Infrastructure as Code -- The Emergence of Infrastructure as Code -- The Focus with Infrastructure as Code -- The Challenges with Infrastructure as Code -- Sprawling Servers -- Configuration Drift -- Snowflake Server -- Fragility of Infrastructure -- Fear of Automation -- Erosion of Infrastructure -- Considerations for Quality Infrastructure -- In-Depth Knowledge -- Organizational Workflow -- Perpetual Steps -- The Principles of Infrastructure as Code -- Idempotency -- Immutability -- Easily Reproducible Systems -- Easily Disposable Systems -- Easily Repeatable Processes -- Consistent Systems -- Ever-Evolving Designs -- Self-Reliant Documentation -- The Patterns of Infrastructure as Code -- Updates in Documentation -- Using GitOps -- Securing Your Infrastructure -- Securing Secrets -- Adapting Security Standards -- Restricting User Privileges -- Relying on Trusted Sources -- Security Measures -- Least Privileged Position -- Using Security Tools -- Infrastructure Updates -- Threat Detection -- Testing the Infrastructure -- Concerns with Infrastructure as Code…”
    Libro electrónico
  19. 7779
    Publicado 2017
    Tabla de Contenidos: “…The Facts about Women -- Stereotyping Is Personal -- When Bias Seems Pragmatic -- Brain Science, Bias, and Diversity -- Stereotyping and Personal Beliefs -- Vicious Cycles -- Bias in the Mirror -- Rewiring Inclusion -- Taking Action -- Future-Proof Your Company -- Future-Proof Your Career -- Chapter 7: Technology -- Technology the Disrupter and Enabler -- Data Is Big -- Genuine Intelligence -- Uploading into Society -- What's Your Response Time? …”
    Libro electrónico
  20. 7780
    por MODELS 2009
    Publicado 2009
    Tabla de Contenidos: “…-- (Meta-)Model Modeling and Management -- Modeling Modeling -- Representation and Traversal of Large Clabject Models -- Meta-model Pruning -- Quantitative Modeling with UML -- A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems -- Model Driven Performance Measurement and Assessment with MoDePeMART -- Security Analysis of a Biometric Authentication System Using UMLsec and JML -- Model Transformations and Constraints -- Automatically Discovering Hidden Transformation Chaining Constraints -- CSP(M): Constraint Satisfaction Problem over Models -- Parsing SBVR-Based Controlled Languages -- Model Management -- SLIM—A Lightweight Environment for Synchronous Collaborative Modeling -- Language-Independent Change Management of Process Models -- Requirements for Practical Model Merge – An Industrial Perspective -- UML in Practice and Quality Assurance -- Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study -- Concern Visibility in Base Station Development – An Empirical Investigation -- Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation -- Formalization of Model Transformations -- Towards Composite Model Transformations Using Distributed Graph Transformation Concepts -- On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars -- Formal Support for QVT-Relations with Coloured Petri Nets -- Scenario Modeling -- An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example -- Refactoring-Safe Modeling of Aspect-Oriented Scenarios -- Model-Based Testing Using LSCs and S2A -- Business Application Development -- Model Driven Development of Graphical User Interfaces for Enterprise Business Applications – Experience, Lessons Learnt and a Way Forward -- Business Process Models as a Showcase for Syntax-Based Assistance in Diagram Editors -- Rule-Enhanced Business Process Modeling Language for Service Choreographies -- Model Synchronisation and Change Propagation -- Change-Driven Model Transformations -- An Incremental Algorithm for High-Performance Runtime Model Consistency -- Traceability-Based Change Awareness -- Keynote 2 -- Interaction Design and Model-Driven Development -- Language Specification and Annotation -- Towards Test-Driven Semantics Specification -- Scalable Semantic Annotation Using Lattice-Based Ontologies -- OntoDSL: An Ontology-Based Framework for Domain-Specific Languages -- Domain-Specific Languages -- Domain-Specific Languages in Practice: A User Study on the Success Factors -- Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation -- Anatomy of a Visual Domain-Specific Language Project in an Industrial Context -- Model-Based Analysis -- A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty -- A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation -- Polymorphic Scenario-Based Specification Models: Semantics and Applications -- Model (De-)Composition and Abstractio -- Aspect Model Unweaving -- Model Composition Contracts -- Abstracting Complex Languages through Transformation and Composition -- An Approach for Evolving Transformation Chains -- Distributed Software Development -- Deterministic UML Models for Interconnected Activities and State Machines -- Automated Encapsulation of UML Activities for Incremental Development and Verification -- Using UML Statecharts with Knowledge Logic Guards -- Service and Business Process Integration -- A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems -- A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems -- Executable Domain Specific Language for Message-Based System Integration -- Keynote 3 -- Architectural Mining: The Other Side of the MDD -- Genericity and Constraints -- Generic Model Refactorings -- Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers -- Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages -- OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language -- Variability Management -- Variability within Modeling Language Definitions -- Variability Modelling throughout the Product Line Lifecycle -- Weaving Variability into Domain Metamodels -- Automatic Domain Model Migration to Manage Metamodel Evolution -- Model Transformation Engineering -- Model Transformation by Demonstration -- Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets -- Incremental Development of Model Transformation Chains Using Automated Testing -- Test-Driven Development of Model Transformations -- Symposium -- Educators’ Symposium at MODELS 2009.…”
    Libro electrónico