Listing 1 - 7 of 7 |
Sort by
|
Choose an application
Fruit d’une longue expérience de l’auteur, cet ouvrage présente l’Analyse Cognitive des Émotions (ACE), méthode pour analyser et comprendre les émotions puis éventuellement modifier les représentations « négatives » d’une scène émotionnelle. L’ACE est avant tout une méthode originale, simple et pratique : originale car basée sur des nouveaux modèles tout en étant compatible avec la psychologie scientifique ; simple car compréhensible et applicable par tous ; pratique car la lecture attentive de ce manuel, couplée aux exercices proposés, permettra d’en acquérir les bases nécessaires à son utilisation. Rédigé dans un langage clair et pédagogique, ce livre est un véritable outil pour devenir de plus en plus réaliste (sur soi-même et sur les autres), réguler les émotions (les siennes et celles des autres) et donc accroitre sa santé psychologique.
Émotions --- Thérapie cognitive --- Thérapie centrée sur les émotions. --- Emotions --- Cognitive therapy
Choose an application
« Fruit d'une longue expérience de l'auteur, cet ouvrage présente l'Analyse Cognitive des Émotions (ACE), méthode pour analyser et comprendre les émotions puis éventuellement modifier les représentations « négatives » d'une scène émotionnelle. L'ACE est avant tout une méthode originale, simple et pratique : originale car basée sur des nouveaux modèles tout en étant compatible avec la psychologie scientifique ; simple car compréhensible et applicable par tous ; pratique car la lecture attentive de ce manuel, couplée aux exercices proposés, permettra d'en acquérir les bases nécessaires à son utilisation. Rédigé dans un langage clair et pédagogique, ce livre est un véritable outil pour devenir de plus en plus réaliste (sur soi-même et sur les autres), réguler les émotions (les siennes et celles des autres) et donc accroître sa santé psychologique. »--Quatrième de couverture.
Cognitive therapy. --- Emotion-focused therapy. --- Emotions.
Choose an application
This volume gives the proceedings of the ninth Symposium on Theoretical Aspects of Computer Science (STACS). This annual symposium is held alternately in France and Germany and is organized jointly by the Special Interest Group for Fundamental Computer Science of the Association Francaise des Sciences et Technologies de l'Information et des Syst mes (AFCET) and the Special Interest Group for Theoretical Computer Science of the Gesellschaft f}r Informatik (GI). The volume includes three invited lectures and sections on parallel algorithms, logic and semantics, computational geometry, automata and languages, structural complexity, computational geometry and learning theory, complexity and communication, distributed systems, complexity, algorithms, cryptography, VLSI, words and rewriting, and systems.
Computer science --- -681.3*F --- Informatics --- Science --- Congresses --- Theory of computation --- 681.3*F Theory of computation --- 681.3*F --- Computer science - Congresses. --- Computers. --- Algorithms. --- Computer logic. --- Mathematical logic. --- Numerical analysis. --- Theory of Computation. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Numerical Analysis. --- Mathematical analysis --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Foundations
Choose an application
This volume contains the proceedings of the tenth annual Symposium on Theoretical Aspects of Computer Science (STACS '93), held in W}rzburg, February 25-27, 1993. The STACS symposia are held alternately in Germany and France, and organized jointly by the Special Interest Group for Theoretical Computer Science of the Gesellschaft f}r Informatik (GI) and theSpecial Interest Group for Applied Mathematics of the Association Francaise des Sciences et Technologies de l'Information et des Syst mes (afcet). The volume includes the three invited talks which opened the three days of the symposium: "Causal and distributed semantics for concurrent processes" (I. Castellani), "Parallel architectures: design and efficient use" (B. Monien et al.), and "Transparent proofs" (L. Babai). The selection of contributed papers is organized into parts on: computational complexity, logic in computer science, efficient algorithms, parallel and distributed computation, language theory, computational geometry, automata theory, semantics and logic of programming languages, automata theory and logic, circuit complexity, omega-automata, non-classical complexity, learning theory and cryptography, and systems.
Computer science --- Informatique --- Congresses --- Congrès --- Congrès --- Computer science - Congresses. --- Information theory. --- Computer science. --- Computer software. --- Logic design. --- Theory of Computation. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Arithmetic and Logic Structures. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Software, Computer --- Computer systems --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics
Choose an application
Mathematical logic --- Logic --- Complex analysis --- Computer science --- Programming --- Computer. Automation --- complexe analyse (wiskunde) --- informatica --- ontwerpen --- programmeren (informatica) --- programmeertalen --- wiskunde --- software engineering
Choose an application
This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions related to reachability problems in different computational models and systems such as algebraic structures, computational models, hybrid systems, logic and verification. Reachability is a fundamental problem that appears in several different contexts: finite- and infinite-state concurrent systems, computational models like cellular automata and Petri nets, decision procedures for classical, modal and temporal logic, program analysis, discrete and continuous systems, time critical systems, and open systems modeled as games.
Mathematical logic --- Logic --- Complex analysis --- Computer science --- Programming --- Computer. Automation --- complexe analyse (wiskunde) --- informatica --- ontwerpen --- programmeren (informatica) --- programmeertalen --- wiskunde --- software engineering
Choose an application
Listing 1 - 7 of 7 |
Sort by
|