Author: Louis Villardier
Publisher: PUQ
ISBN: 276052146X
Category : Computers
Languages : fr
Pages : 146
Book Description
Ce volume présente les concepts de base de la programmation fondée sur une approche structurée. Conçu pour un apprentissage individuel, il permet au lecteur de s’initier de façon graduelle aux étapes de la programmation. Chaque chapitre couvre un des aspects du processus de programmation et est abondamment illustré d’exemples.
Scientific and Technical Aerospace Reports
Structures Rurales Et Sociétés Antiques
Author: Panagiōtēs Doukellēs
Publisher: Presses Univ. Franche-Comté
ISBN: 9782251605081
Category : Agriculture
Languages : en
Pages : 502
Book Description
Publisher: Presses Univ. Franche-Comté
ISBN: 9782251605081
Category : Agriculture
Languages : en
Pages : 502
Book Description
Prospects In Modern Acoustics-education And Development - The Proceedings Of The Ica Conference
Author: Antoni S Sliwinski
Publisher: World Scientific
ISBN: 981320172X
Category : Technology & Engineering
Languages : en
Pages : 472
Book Description
Publisher: World Scientific
ISBN: 981320172X
Category : Technology & Engineering
Languages : en
Pages : 472
Book Description
CIPS Magazine
Author: Canadian Information Processing Society
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 312
Book Description
Publisher:
ISBN:
Category : Computers
Languages : en
Pages : 312
Book Description
Mise en oeuvre de la méthode B ; Traité RTA, série Informatique et Systèmes d'Information
Author: BOULANGER Jean-Louis
Publisher: Lavoisier
ISBN: 2746288109
Category : B method (Computer science)
Languages : en
Pages : 434
Book Description
La mise en place d’un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d’un modèle formel est l’approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d’analyser et de vérifier le comportement d’un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s’appuyant sur la preuve de propriétés qui, sur la base d’une spécification et de la notion de raffinement, permet d’aller jusqu’à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d’utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l’avionique ou les systèmes manufacturiers.
Publisher: Lavoisier
ISBN: 2746288109
Category : B method (Computer science)
Languages : en
Pages : 434
Book Description
La mise en place d’un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d’un modèle formel est l’approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d’analyser et de vérifier le comportement d’un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s’appuyant sur la preuve de propriétés qui, sur la base d’une spécification et de la notion de raffinement, permet d’aller jusqu’à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d’utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l’avionique ou les systèmes manufacturiers.
Téléphonie SIP : concepts, usages et programmation en Java
Author: MEDDAHI Ahmed
Publisher: Lavoisier
ISBN: 2746289016
Category :
Languages : en
Pages : 465
Book Description
Le protocole SIP (Session Initiation Protocol) est la technologie-clé pour le transport et la fourniture de services télécoms, en particulier pour les services en plein essor de téléphonie sur IP. Cet ouvrage présente les concepts du protocole et de l'architecture SIP mais aussi ses limites et les contraintes associées à leurs déploiements. Les méthodes et les mécanismes SIP sont détaillés à travers différents scénarios d'usage. Les aspects liés à la qualité de service et à la sécurité sont également présentés en détail ainsi que l'exploitation du protocole SIP pour des services évolués. Les principales technologies logicielles pour exploiter, avec un niveau d'abstraction élevé, les mécanismes SIP en Java sont également analysées et illustrées par deux études de cas. Téléphonie SIP s'adresse aux ingénieurs, élèves ingénieurs et tous les professionnels évoluant dans les milieux des réseaux et des télécommunications.
Publisher: Lavoisier
ISBN: 2746289016
Category :
Languages : en
Pages : 465
Book Description
Le protocole SIP (Session Initiation Protocol) est la technologie-clé pour le transport et la fourniture de services télécoms, en particulier pour les services en plein essor de téléphonie sur IP. Cet ouvrage présente les concepts du protocole et de l'architecture SIP mais aussi ses limites et les contraintes associées à leurs déploiements. Les méthodes et les mécanismes SIP sont détaillés à travers différents scénarios d'usage. Les aspects liés à la qualité de service et à la sécurité sont également présentés en détail ainsi que l'exploitation du protocole SIP pour des services évolués. Les principales technologies logicielles pour exploiter, avec un niveau d'abstraction élevé, les mécanismes SIP en Java sont également analysées et illustrées par deux études de cas. Téléphonie SIP s'adresse aux ingénieurs, élèves ingénieurs et tous les professionnels évoluant dans les milieux des réseaux et des télécommunications.
Control of Industrial Systems
Hypnotic Approaches in Cancer and Palliative Care
Author: Sylvain Néron
Publisher: PUQ
ISBN: 2760535614
Category : Medical
Languages : en
Pages : 225
Book Description
This patient-centered and case-based eBook is intended for health care professionals who use—or may decide to use—clinical hypnosis in their professional work with cancer patients. With a personalized and flexible navigation system stimulating learning, it provides direct access to patients’ experiences and to the comments and analyses of two specialists. Each case features an original full session video recording and a full transcript of the session of real patients experiencing hypnosis focused on self-regulation improvements, pain relief, palliation of symptoms, and hope enhancement in the face of advanced or terminal cancer illness. The reader is invited to use these recordings to examine and inform his/her own practice and is encouraged to do such examination in an active and alert learning state. He/she will find several ways of incorporating hypnotic modalities at several points of the illness trajectory and in different contexts of the treatment continuum. For example, hypnosis will be observed in settings such as busy oncology clinics and at bedside, as well as in the preparation and execution of medical and diagnostic procedures. Hypnotherapy addressing existential and spiritual issues will also be presented. This innovative eBook, by putting emphasis on clinical relevance, interactions, and skill acquisition through demonstration, provides a unique opportunity to identify hypnotic phenomena and to understand the necessary modifications of classical hypnotic strategies clinically relevant to illness progression and hospice care.
Publisher: PUQ
ISBN: 2760535614
Category : Medical
Languages : en
Pages : 225
Book Description
This patient-centered and case-based eBook is intended for health care professionals who use—or may decide to use—clinical hypnosis in their professional work with cancer patients. With a personalized and flexible navigation system stimulating learning, it provides direct access to patients’ experiences and to the comments and analyses of two specialists. Each case features an original full session video recording and a full transcript of the session of real patients experiencing hypnosis focused on self-regulation improvements, pain relief, palliation of symptoms, and hope enhancement in the face of advanced or terminal cancer illness. The reader is invited to use these recordings to examine and inform his/her own practice and is encouraged to do such examination in an active and alert learning state. He/she will find several ways of incorporating hypnotic modalities at several points of the illness trajectory and in different contexts of the treatment continuum. For example, hypnosis will be observed in settings such as busy oncology clinics and at bedside, as well as in the preparation and execution of medical and diagnostic procedures. Hypnotherapy addressing existential and spiritual issues will also be presented. This innovative eBook, by putting emphasis on clinical relevance, interactions, and skill acquisition through demonstration, provides a unique opportunity to identify hypnotic phenomena and to understand the necessary modifications of classical hypnotic strategies clinically relevant to illness progression and hospice care.
Proceedings
Author:
Publisher:
ISBN:
Category : Electronic data processing
Languages : en
Pages : 384
Book Description
Publisher:
ISBN:
Category : Electronic data processing
Languages : en
Pages : 384
Book Description
INFOR.
Author:
Publisher:
ISBN:
Category : Electronic data processing
Languages : en
Pages : 760
Book Description
Publisher:
ISBN:
Category : Electronic data processing
Languages : en
Pages : 760
Book Description