jean pierre talpin (73 risultati)

xiv, 159 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.

Agrafé. Condizione: Etat satisfaisant. in-4 Description :50 pp. Couverture salie, piquée. Langue : français Nb de volumes : 1.

Condizione: Neuf.

Couverture souple. Condizione: Neuf. Edition originale. Grand in-8° broché Dans le développement de l'enfant, l'acte précède la pensée, il ouvre la voie aux capacités de symbolisation et reste ainsi sans doute l'un des prototypes des capacités de mentalisation, une influence ancestrale sous forme de traces sensori-motrices. Ainsi, au fil de l'histoire infantile, le « faire » cède le pas au « penser ». À partir de quand l'agir comportemental peut-il être considéré comme un échec des processus de mentalisation, de contenance et d'élaboration psychique ? Est-il simple décharge motrice ou s'adresse-t-il à un objet ? L'acte obéit-il à un impératif auto-érotique, narcissique ou bien s'inscrit-il dans une dynamique relationnelle ? Quelles réponses l'institution de soin peut-elle offrir à ces expressions comportementales ?

Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 260 | Sprache: Englisch | Produktart: Bücher.

Condizione: New. In.

Condizione: Sehr gut. Zustand: Sehr gut | Seiten: 266 | Sprache: Englisch | Produktart: Bücher.

Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Taschenbuch. Condizione: Neu. Neuware -Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model driven engineering methods including architecture description languages, virtual prototyping, and formal analysis methods.CPS are based on a new design paradigm intended to enable emerging software-intensive systems. Embedded computers and networks monitor and control the physical processes, usually with the help of feedback loops where physical processes affect computations and vice versa. The principal challenges in system design lie in this constant interaction of software, hardware and physics. Developing reliable CPS has become a critical issue for the industry and society, because many applications such as transportation, power distribution, medical equipment and tele-medicine are dependent on CPS. Safety and security requirements must be ensured by means of powerful validation tools. Satisfying such requirements, including quality of service, implies having formally proven the required properties of the system before it is deployed.The book is concerned with internationally standardized modeling languages such as AADL, SysML, and MARTE. As the effectiveness of the technologies is demonstrated with industrial sample cases from the automotive and aerospace sectors, links between the methods presented and industrial problems are clearly understandable. Each chapter is self-contained, addressing specific scientific or engineering problems, and identifying further issues. In closing, it includes perspectives on future directions in CPS design from an architecture analysis viewpoint.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 176 pp. Englisch.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive control, avionics control, weapons control and space missions. Some of these are safety-critical systems whose correctness, timely response, and reliability are of paramount importance. These requirement pose new challenges to system designers. This necessitates that a proper design science, based on 'constructive correctness' be developed. Correct-by-construction design and synthesis of embedded software is done in a way so that post-development verification is minimized, and correct operation of embedded systems is maximized.This book presents the state of the art in the design of safety-critical, embedded software. It introduced readers to three major approaches to specification driven, embedded software synthesis/construction: synchronous programming based approaches, models of computation based approaches, and an approach based on concurrent programming with a co-design focused language. It is an invaluable reference for practitioners and researchers concerned with improving the product development life-cycle.

Condizione: New. In.