Tabla de Contenidos: “…-- Adapting the UPPAAL Model of a Distributed Lift System -- Zone-Based Universality Analysis for Single-Clock Timed Automata -- Compositional Semantics of System-Level Designs Written in SystemC -- Reusing Requirements: The Need for Extended Variability Models -- Test Selection Criteria for Quantifier-Free First-Order Specifications -- Formal Testing of Systems Presenting Soft and Hard Deadlines -- Automatic Composition of Stateless Components: A Logical Reasoning Approach -- A Model of Component-Based Programming -- Contract Based Multi-party Service Composition -- Regulating Data Exchange in Service Oriented Applications -- A Behavioural Congruence for Web Services -- Logic–Based Detection of Conflicts in Appel Policies -- Hoare Logic for ARM Machine Code -- Action Abstraction in Timed Process Algebra -- Type Abstractions of Name-Passing Processes -- Formal Specification of Multi-agent Systems by Using EUSMs -- Strong Safe Realizability of Message Sequence Chart Specifications -- Implication-Based Approximating Bounded Model Checking -- Logical Bisimulations and Functional Languages -- Efficient State Space Reduction for Automata by Fair Simulation -- Model Checking Temporal Metric Specifications with Trio2Promela -- Design and Implementation of a Dynamic-Reconfigurable Architecture for Protocol Stack -- Vulnerability Analysis in VGBPS Using Prolog -- An Alternative Algorithm for Constraint Automata Product -- A Review on Specifying Software Architectures Using Extended Automata-Based Models -- ArchC#: A New Architecture Description Language for Distributed Systems -- Relationships Meet Their Roles in Object Oriented Programming…”

Tabla de Contenidos: “…Peer-to-Peer Computing -- Approximate Object Location and Spam Filtering on Peer-to-Peer Systems -- Efficient Peer-to-Peer Keyword Searching -- NaradaBrokering: A Distributed Middleware Framework and Architecture for Enabling Durable Peer-to-Peer Grids -- Publish-Subscribe Middleware I -- A Framework for Event Composition in Distributed Systems -- Content Distribution for Publish/Subscribe Services -- Supporting Mobility in Content-Based Publish/Subscribe Middleware -- Adaptability and Context-Awareness -- Fine-Grained Dynamic Adaptation of Distributed Components -- A Middleware for Context-Aware Agents in Ubiquitous Computing Environments -- Adaptable Architectural Middleware for Programming-in-the-Small-and-Many -- Publish-Subscribe Middleware II -- Opportunistic Channels: Mobility-Aware Event Delivery -- Congestion Control in a Reliable Scalable Message-Oriented Middleware -- On Shouting “Fire!”: Regulating Decoupled Communication in Distributed Systems -- Web-Base Middleware -- Performance Comparison of Middleware Architectures for Generating Dynamic Web Content -- Prefetching Based on Web Usage Mining -- Distributed Versioning: Consistent Replication for Scaling Back-End Databases of Dynamic ContentWeb Sites -- Component-Based Middleware -- Abstraction of Transaction Demarcation in Component-Oriented Platforms -- Optimising Java RMI Programs by Communication Restructuring -- The JBoss Extensible Server -- Next Generation Middleware -- Flexible and Adaptive QoS Control for Distributed Real-Time and Embedded Middleware -- Large-Scale Service Overlay Networking with Distance-Based Clustering -- A Step Towards a New Generation of Group Communication Systems -- Mobile and Ubiquitos Computing -- A Middleware-Based Application Framework for Active Space Applications -- A Proactive Middleware Platform for Mobile Computing -- A Flexible Middleware System for Wireless Sensor Networks -- Middleware Service for Mobile Ad Hoc Data Sharing, Enhancing Data Availability…”

Tabla de Contenidos: “…Static Analysis of Object-Oriented Languages -- Precise Analysis of String Expressions -- Modular Class Analysis with DATALOG -- Class-Level Modular Analysis for Object Oriented Languages -- Static Analysis of Concurrent Languages -- Checking Interference with Fractional Permissions -- Message Analysis for Concurrent Languages -- Instantaneous Termination in Pure Esterel -- Stack Size Analysis for Interrupt-Driven Programs -- Invited Paper -- Program Development Using Abstract Interpretation (And the Ciao System Preprocessor) -- Static Analysis of Functional Languages -- Selective Tail Call Elimination -- Inserting Safe Memory Reuse Commands into ML-Like Programs -- Static Analysis of Procedural Languages -- Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis -- Client-Driven Pointer Analysis -- Abstract Interpretation of Programs as Markov Decision Processes -- Static Data Analysis -- A Logic for Analyzing Abstractions of Graph Transformation Systems -- Type Systems for Distributed Data Sharing -- Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations -- Computer-Assisted Verification of a Protocol for Certified Email -- Invited Talk -- Craig Interpolation and Reachability Analysis -- Static Linear Relation Analysis -- Precise Widening Operators for Convex Polyhedra -- Cartesian Factoring of Polyhedra in Linear Relation Analysis -- Static Analysis Based Program Transformation -- Continuation-Based Partial Evaluation without Continuations -- Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications -- Code Compaction of Matching Single-Entry Multiple-Exit Regions -- Static Heap Analysis -- Existential Heap Abstraction Entailment Is Undecidable -- Typestate Verification: Abstraction Techniques and Complexity Results -- Static Analysis of Accessed Regions in Recursive Data Structures -- Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management…”

Tabla de Contenidos: “…Code manipulation Controlling compiler output; JavaScript output; Source maps; Advanced options; Summary; Chapter 4: Object-oriented Programming with TypeScript; The basics; SOLID - object-oriented design; Understanding inheritance; Encapsulation; Abstraction; Polymorphism; Method overloading; Operator overloading; Method overrides; References; Summary; Chapter 5: Creating a Simple Drawing Application; Setting up the project; The shapes; Basic shapes; Drawing shapes; Making the application interactive; The engine; Mouse events; User options; Summary…”

Tabla de Contenidos: “…Cover -- Title -- Copyright -- Contents -- Introduction -- Chapter 1 One of my heroes -- Chapter 2 Responsibility -- 2.1 Find stakeholders -- 2.2 Take responsibility -- 2.3 Be accountable: transparency -- Chapter 3 Competent professionals -- Chapter 4 Emotional intelligence -- 4.1 Respect values of yourself and others -- 4.2 Facts, assumptions, and opinions -- 4.3 Cooperation -- Chapter 5 Sustainably competent professionals -- Chapter 6 Systems orientation -- 6.1 Parts and wholes -- 6.2 Sources of vigor against weaving faults -- 6.3 In the chain, in the loop -- Chapter 7 Levels of competence -- Chapter 8 Future orientation -- 8.1 Short- and long-term -- 8.2 Not just linear -- 8.3 Innovative, creative, out of the box -- Chapter 9 The toolbox of the professional -- Chapter 10 Involvement -- 10.1 Sustainable attitude -- 10.2 Passions, dreams, and ideals -- 10.3 Conscience -- Chapter 11 Every profession has its own competences -- The manager -- The financial advisor -- The artist -- The environmental manager -- The product designer -- The organic farmer -- The social worker -- The researcher -- The teacher -- Chapter 12 Action skills -- 12.1 Weigh up the unweighable -- 12.2 Deal with uncertainties -- 12.3 Action without action -- Chapter 13 All the competences of the rainbow -- Chapter 14 Application of RESFIA+D in real life -- 14.1 Specifying the levels -- 14.2 Individual professionals: personal development plan -- 14.3 Organizations: Human Resource Development (HRD) -- 14.4 Universities &amp -- colleges: curriculum development -- 14.5 And now some action: the self-test -- 14.6 The pledge -- References and weblinks -- Glossary -- About the authors -- Acknowledgments -- Index…”

Tabla de Contenidos: “…Multicultural Existence in the Workplace: Including How I Thrive as a Latina Lesbian FeministSpecial Challenges in the Workplace; Advancement Concerns; Safety Issues and Survival Strategies; Notes; References; Employment and Sexual Orientation: Disclosure and Discrimination in the Workplace; Introduction; Current Legal Situation; Conceptual Framework; Implications for Researchers and Workplace Professionals; Notes; References; Domestic Partner Benefits: A Bottom Line Discussion; Introduction; A Brief History; Organizational Attitudes; Change in the Workplace; Family Definitions…”

Tabla de Contenidos: “…Regular Sequences of Orientation Shifts in Monkeys; 20. Cortical Modules and Magnification in Monkeys; PART IV: DEPRIVATION AND DEVELOPMENT…”

Tabla de Contenidos: “…Keynote 2 -- Modeling the Internet -- Transformation-Based Parallelization of Request-Processing Applications -- Model Driven Orchestration: Design for Service Compatibility -- Embedded Software Development with Projectional Language Workbenches -- Concern-Based (de)composition of Model-Driven Software Development Processes -- Flexible Model Element Introduction Policies for Aspect-Oriented Modeling -- Role-Based Generic Model Refactoring -- Precise Detection of Conflicting Change Operations Using Process Model Terms -- Capturing the Intention of Model Changes -- Selective and Consistent Undoing of Model Changes -- Modeling Features at Runtime -- Metamodel-Based Information Integration at Industrial Scale -- Inferring Meta-models for Runtime System Data from the Clients of Management APIs -- A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering -- A Common Framework for Synchronization in Requirements Modelling Languages -- A Systematic Review of the Use of Requirements Engineering Techniques in Model-Driven Development -- Slicing of UML Models Using Model Transformations -- An Adjustable Transformation from OWL to Ecore -- Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program -- Keynote 3 -- Disciplined Heterogeneous Modeling -- Design Guidelines for the Development of Quality-Driven Model Transformations -- Early Deviation Detection in Modeling Activities of MDE Processes -- Artifact or Process Guidance, an Empirical Study -- Scaling Up Model Driven Engineering – Experience and Lessons Learnt -- Mod4J: A Qualitative Case Study of Model-Driven Software Development -- Modeling Issues: a Survival Guide for a Non-expert Modeler -- Monarch: Model-Based Development of Software Architectures -- Model-to-Metamodel Transformation for the Development of Component-Based Systems -- Architectural Descriptions as Boundary Objects in System and Design Work…”

Tabla de Contenidos: “…Contiene: t.I. El Oriente, la Grecia, Roma (1100 p., [13] h. de lám.) -- t.II. …”

Tabla de Contenidos: “…Cognitive evaluation theory, part I : the effects of rewards, feedback, and other external events on intrinsic motivation -- Cognitive evaluation theory, part II : interpersonal and intrapersonal processes affecting intrinsic motivation -- Organismic integration theory : internalization and the differentiation of extrinsic motivation -- Causality orientations theory : Individual differences in, and priming of, motivational orientations -- Basic psychological needs theory : satisfaction and frustration of autonomy, competence, and relatedness in relation to psychological wellness and full functioning -- Goal contents theory : aspirations, life goals, and their varied consequences -- Relationships motivation theory : the self in close relationships -- Motivation and human development in families, schools, and societies. …”

Tabla de Contenidos: “…Evidenced-based practice -- The audiologist and hearing aid provision -- Understanding the hearing aid candidate -- Speech acoustics -- Pre-fitting tests using frequency-specific measures -- Pre-fitting testing using speech material -- Self-assessment scales for pre-fitting testing -- Hearing aid styles and fitting applications -- Ear impressions, earmolds, and associated plumbing -- Hearing aid hardware and software : the basics -- Signal classification and sound cleaning technologies -- More hearing aid features and algorithms -- Electroacoustic (and other) quality control techniques -- Prescriptive formulas and programming -- Behavioral assessment during clinical fittings -- Probe-microphone measures : rationale and procedures -- Probe microphone clinical uses -- Hearing aid orientation and troubleshooting -- Validation : self-report outcomes -- Supplemental information : corrections, conversions, and calculations…”

Tabla de Contenidos: “…Introduction / Kaushalesh Lal and Shampa Paul -- East Asian economic development and new industrial cluster / Hitoshi Hirakawa -- Change of development model and its impact on innovative activity : analytical framework and evidences from China / Song Lei and Ge Dongsheng -- A Taiwan's strategy towards knowledge-based development : servitization of ICT manufacturing / Shin-Horng Chen, Pei-Chang Wen and Chih-Kai Yang -- The ICT services industry in Bangalore, India : its changing structure and characteristics / Balaji Parthasarathy -- Innovation in Indian IT industry : evolution or revolution / Pawan Soni -- Perspectives of the IT sector in South Asia : productivity analysis / Naoko Shinkai -- Varieties of clustering and capability building in Indian IT industry / Norio Tokumaru -- Export orientation and firms' policy during global economic slowdown / Kaushalesh Lal and Shampa Paul…”
Enlace del recurso

Tabla de Contenidos: “…Héritiers de Rome et de la Perse / édition française par Léo Lack (1961; 420 páginas) -- tome IV. Rencontre de l'Orient et de l'Occident / édition française par Andrée R. …”

Tabla de Contenidos: “….); PÁGINA LEGAL; ÍNDICE; PRÓLOGO; AGRADECIMIENTOS; EL ESTUDIO DE LA INFANCIA EN EL MUNDO ANTIGUO; REPRESENTACIONES INFANTILES EN EL ARTE LEVANTINO; LO QUE LOS NIÑOS NOS CUENTAN: INDIVIDUOS INFANTILES DURANTE LA EDAD DEL BRONCE EN EL SUR DE LA PENÍNSULA IBÉRICA; ADOPCIONES INFANTILES EN EL PRÓXIMO ORIENTE ANTIGUO; LA INFANCIA EN LAS LEYENDAS DE UGARIT; ESTRATEGIAS DE NATALIDAD EN LAS CIUDADES GRIEGAS DE ÉPOCA CLÁSICA*; MORIR ANTE SUUM DIEM. …”

Tabla de Contenidos: “…El joven Darwin y el viaje en el Beagle -- El evolucionismo predarwinista -- La génesis de la nueva teoría evolutiva -- El origen del hombre y la selección sexual -- La expresión de la emociones en el hombre y en los animales -- La obra botánica de Darwin -- El darwinismo social -- La recepción del evolucionismo en Europa, América Latina y Oriente -- El redescubrimiento de las leyes de Mendel y la teoría cromosómica de la herencia -- De la síntesis moderna al descubrimiento del ADN -- Un apunte final : el nuevo registro fósil de la humanidad y el evolucionismo…”

Tabla de Contenidos: “…«Euráfrica» o el naufragio de la utopíaLa larga sombra demográfi ca de la sharia; Demografía y política en el Magreb y Oriente Próximo; La bomba demográfi ca china; «Chindia» como desafío global; América Latina ¿cambio demográfi co sin cambio social?…”
Lectura limitada a 1 usuario concurrente.

Tabla de Contenidos: “…Psychoanalytically orientated day-hospital treatment for borderline personality disorder: theory, problems, and practice; CHAPTER SEVEN. …”

Tabla de Contenidos: “…7 - Modifying Irrational Control and Certainty Beliefs: Clinical Recommendations Based Upon Research8 - Clients' Perceptual Processing: An Integration of Research and Practice; 9 - Resolving Unfinished Business: A Program of Study; 10 - Discovery-Oriented Research on How to Do Psychotherapy; Index…”

Tabla de Contenidos: “…Impairments and disabilities : Motor impairments ; Sensory impairments ; Cognitive impairments -- Types of barriers : Barriers to mobility ; Barriers to operating controls ; Barriers to orientation -- Planning requirements : Planning for children ; Planning for older people ; Planning for mobility-impaired people and wheelchair users ; Planning for visually impaired and blind people ; Planning for hearing-impaired and deaf people ; Planning for people with cognitive impairments -- Construction and technical requirements : Construction components ; In=house systems ; Access elements -- Room plans : Building entrance areas ; Transit areas and halls ; Entrance area of homes ; Living and sleeping spaces ; Working areas ; Baths and sanitary rooms ; Kitchens and dining rooms ; Balconies and terraces -- OUtdoor facilities : Pavements and open spaces ; Outdoor guidance systems ; Parking areas and garages -- In conclusion -- Appendix : Literature ; Regulations and standards…”

Tabla de Contenidos: “…Anoia / Vallès Occidental. Vallès Oriental. Maresme / Tarragonès. Baix Camp. Alt Camp / Barcelonès. …”