Thery laurent (32 resultados)

Condición: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.

Paperback. Condición: Wie neu. VIII, 358 S. with fig and tables; 24 cm, Like new. Shrink wrapped. / Wie neu. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 600.

Softcover. Condición: Comme neuf. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, As new. Ammareal gives back up to 15% of this item's net price to charity organizations. Bax Julia; Grazini, Amanda (ilustrador).

Softcover. Condición: Comme neuf. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, As new. Ammareal gives back up to 15% of this item's net price to charity organizations. Bax Julia; Grazini, Amanda (ilustrador).

Condición: fine. Ancien support de bibliothèque.Photo non contractuelle. Envoi rapide et soigné.

Condición: fine. Ancien support de bibliothèque.Photo non contractuelle. Envoi rapide et soigné.

Condición: New.

Condición: As New. Unread book in perfect condition.

soft cover. Condición: fine. first edition. In-8° broché, 221 pages - Articles originaux : Éditorial : Exigences démocratiques. - En hommage à Claude Lefort. - Claude Lefort à l'oeuvre. - L'intégration, entre silence et crispation. A propos du Déni des cultures d'Hugues Lagrange. - Les ghettos américains sur écoute. Et si la fiction était plus juste que les sciences sociales ? - Les ambiguïtés du modèle bioéthique français. - La France dans l'oeil de Raymond Depardon. - La rencontre franco-russe au XIX° siècle. - Que devient la guerre au Proche-Orient ? Introduction ; Le conflit et l'historien ; Israël, "lumière pour les nations" ? Trois penseurs du judaïsme français à l'épreuve de la guerre des Six Jours.…

Condición: New.

paperback. Condición: Gut. 372 Seiten; 9783540664635.3 Gewicht in Gramm: 1.

Condición: New.

Condición: New. In English.

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: New.

Kartoniert / Broschiert. Condición: New.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Recent Advancements in Hardware Verification - How to Make Theorem Proving Fit for an Industrial Usage.- Disjoint Sums over Type Classes in HOL.- Inductive Datatypes in HOL - Lessons Learned in Formal-Logic Engineering.- Isomorphisms - A Link Between the Shallow and the Deep.- Polytypic Proof Construction.- Recursive Function Definition over Coinductive Types.- Hardware Verification Using Co-induction in COQ.- Connecting Proof Checkers and Computer Algebra Using OpenMath.- A Machine-Checked Theory of Floating Point Arithmetic.- Universal Algebra in Type Theory.- Locales A Sectioning Concept for Isabelle.- Isar - A Generic Interpretative Approach to Readable Formal Proof Documents.- On the Implementation of an Extensible Declarative Proof Language.- Three Tactic Theorem Proving.- Mechanized Operational Semantics via (Co)Induction.- Representing WP Semantics in Isabelle/ZF.- A HOL Conversion for Translating Linear Time Temporal Logic to -Automata.- From I/O Automata to Timed I/O Automata.- Formal Methods and Security Evaluation.- Importing MDG Verification Results into HOL.- Integrating Gandalf and HOL.- Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving.- Symbolic Functional Evaluation.…

soft cover. Condición: very good. first edition. In-4° broché, 40 pages - Articles originaux : Les Français à la découverte du monde. - Les flottes de l'or. - Le café sur les routes océaniques. - Le punch. - Tahiti, la pêche aux cailloux. - Marines et joutes au Musée de Sète. - Les Régiments des Ports et les Règlements Coloniaux, 1772-1774. - Une Exposition Jouffroy d'Abbans. - Adieu cher camarade. - Le Salon de la Marine. - Les Pavillons Maritimes.…

Condición: Bon. Attention: Ancien support de bibliothèque, plastifié, étiquettes. Merci, votre achat aide à financer des programmes de lutte contre l'illettrisme. Bax Julia; Grazini, Amanda (ilustrador).

Condición: Sehr gut. Zustand: Sehr gut | Seiten: 372 | Sprache: Englisch | Produktart: Bücher | This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs¿99),whichwasheldinNice at the University of Nice-Sophia Antipolis, September 14{17, 1999. Thirty- ve papers were submitted as completed research, and each of them was refereed by at least three reviewers appointed by the program committee. Twenty papers were selected for publication in this volume. Followingawell-establishedtraditioninthisseriesofconferences,anumberof researchers also came to discuss work in progress, using short talks and displays at a poster session. These papers are included in a supplementary proceedings volume. These supplementary proceedings take the form of a book published by INRIA in its series of research reports, under the following title : Theorem ProvinginHigherOrderLogics:EmergingTrends1999. The organizers were pleased that Dominique Bolignano, Arjeh Cohen, and Thomas Kropf accepted invitations to be guest speakers for TPHOLs¿99. For several years, D. Bolignano has been the leader of the VIP team in the Dyade consortium between INRIA and Bull and is now at the head of a company Trusted Logic. His team has been concentrating on the use of formal methods for the e ective veri cationof securityproperties for protocols used in electronic commerce. A. Cohen has had a key in?uence on the development of computer algebra in The Netherlands and his contribution has been of particular imp- tance to researchersinterested in combining the severalknown methods of using computers to perform mathematical investigations. T. Kropf is an important actor in the Europe-wide project PROSPER, which aims to deliver the be- ts of mechanized formal analysis to system builders in industry. …

Condición: Sehr gut. Zustand: Sehr gut | Seiten: 274 | Sprache: Französisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Condición: Hervorragend. Zustand: Hervorragend | Seiten: 274 | Sprache: Französisch | Produktart: Bücher | Keine Beschreibung verfügbar.

PF. Condición: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - La dimension interculturelle est volontairement ignorée par les entreprises pour se limiter à une vision technicienne du monde. La culture, la géopolitique ou l'état de la démocratie sont des thèmes nouveaux pour ces dernières. Pourtant, une compréhension de la culture locale est impérative pour s'implanter de manière pérenne dans une communauté. J'ai, en conséquence, transformé avec profit mes voyages d'affaires en explorations culturelles.Je recommande de plonger dans une nouvelle culture sans idées reçues, elles gâchent le plaisir de la découverte, pour s'amuser de ces petits riens qui en font la particularité et, qui se révèlent, souvent, des clés de compréhension utiles. Ainsi, un premier contact avec la culture du pays vous est proposé dès votre arrivée à l'aéroport de destination : la démarche administrative, à première vue banale, de passage des douanes est riche d'enseignement sur cette dernière.Les grands récits fondateurs des civilisations sont des textes merveilleux pour découvrir l'âme des peuples. Les artistes contemporains sont une source précieuse de compréhension des évolutions en cours de ces sociétés : en Chine pour repenser la place de l'individu, en Ukraine pour réfléchir aux conséquences de l'omniprésence de la violence ou encore, dans le monde musulman, pour repenser le rôle de la religion dans la société. Nous tenterons d'expliquer la résurgence contemporaine de la quête d'identité comme nous examinerons pourquoi le déni du facteur culturel dans l'entreprise de mondialisation des trente dernières années a finalement conduit à la fragmentation actuelle du monde.Laurent Théry est né en 1966. Il a dirigé le développement international d'un grand groupe énergétique français. Son parcours l'a amené à voyager dans de nombreux pays.…

Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Les conseils prodigués au voyageur d'affaires sont peu nombreux : prendre avec la plus grande considération la carte de visite de votre interlocuteur japonais, ne jamais faire perdre la face à un Chinois, comprendre l'insolite dodelinement de la tête indien.Brefs raccourcis pour des civilisations millénaires ! Pourtant, la perspective du voyageur d'affaires permet une compréhension authentique d'une culture car les activités économiques sont au coeur du vivre ensemble. Mes déplacements d'affaires se sont progressivement transformés en un voyage initiatique à la découverte de l'âme des pays visités. Je recommande de plonger dans une nouvelle culture sans idées reçues, elles gâchent le plaisir de la découverte, pour s'amuser de ces petits riens qui en font la particularité. C'est pourquoi j'ai souhaité émailler mon récit d'anecdotes ou d'échanges survenus au gré des circonstances, mais qui se révèlent, souvent des clés de compréhension utiles. Ainsi, un premier contact avec la culture du pays vous est proposé dès votre arrivée à l'aéroport de destination. La démarche administrative, à première vue banale, de passage des douanes est riche d'enseignement sur cette dernière.Les cultures traditionnelles des pays émergents sont aujourd'hui confrontées au choc de la mondialisation. Les artistes contemporains de ces pays sont alors une précieuse source de compréhension de l'évolution de ces sociétés : en Chine pour repenser la place de l'individu dans la société, en Ukraine pour réfléchir aux conséquences de l'omniprésence de la violence, ou encore, dans le monde musulman pour repenser la place de la religion dans la société. Laurent Théry est né en 1966. Il a dirigé le développement international d'un grand groupe énergétique français. Son parcours l'a amené à voyager dans de nombreux pays. …

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs 99),whichwasheldinNice at the University of Nice-Sophia Antipolis, September 14{17, 1999. Thirty- ve papers were submitted as completed research, and each of them was refereed by at least three reviewers appointed by the program committee. Twenty papers were selected for publication in this volume. Followingawell-establishedtraditioninthisseriesofconferences,anumberof researchers also came to discuss work in progress, using short talks and displays at a poster session. These papers are included in a supplementary proceedings volume. These supplementary proceedings take the form of a book published by INRIA in its series of research reports, under the following title : Theorem ProvinginHigherOrderLogics:EmergingTrends1999. The organizers were pleased that Dominique Bolignano, Arjeh Cohen, and Thomas Kropf accepted invitations to be guest speakers for TPHOLs 99. For several years, D. Bolignano has been the leader of the VIP team in the Dyade consortium between INRIA and Bull and is now at the head of a company Trusted Logic. His team has been concentrating on the use of formal methods for the e ective veri cationof securityproperties for protocols used in electronic commerce. A. Cohen has had a key in uence on the development of computer algebra in The Netherlands and his contribution has been of particular imp- tance to researchersinterested in combining the severalknown methods of using computers to perform mathematical investigations. T. Kropf is an important actor in the Europe-wide project PROSPER, which aims to deliver the be- ts of mechanized formal analysis to system builders in industry. 372 pp. Englisch. …

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Les conseils prodigués au voyageur d'affaires sont peu nombreux : prendre avec la plus grande considération la carte de visite de votre interlocuteur japonais, ne jamais faire perdre la face à un Chinois, comprendre l'insolite dodelinement de la tête indien.Brefs raccourcis pour des civilisations millénaires ! Pourtant, la perspective du voyageur d'affaires permet une compréhension authentique d'une culture car les activités économiques sont au coeur du vivre ensemble. Mes déplacements d'affaires se sont progressivement transformés en un voyage initiatique à la découverte de l'âme des pays visités. Je recommande de plonger dans une nouvelle culture sans idées reçues, elles gâchent le plaisir de la découverte, pour s'amuser de ces petits riens qui en font la particularité. C'est pourquoi j'ai souhaité émailler mon récit d'anecdotes ou d'échanges survenus au gré des circonstances, mais qui se révèlent, souvent des clés de compréhension utiles. Ainsi, un premier contact avec la culture du pays vous est proposé dès votre arrivée à l'aéroport de destination. La démarche administrative, à première vue banale, de passage des douanes est riche d'enseignement sur cette dernière. Les cultures traditionnelles des pays émergents sont aujourd'hui confrontées au choc de la mondialisation. Les artistes contemporains de ces pays sont alors une précieuse source de compréhension de l'évolution de ces sociétés : en Chine pour repenser la place de l'individu dans la société, en Ukraine pour réfléchir aux conséquences de l'omniprésence de la violence, ou encore, dans le monde musulman pour repenser la place de la religion dans la société. Laurent Théry est né en 1966. Il a dirigé le développement international d'un grand groupe énergétique français. Son parcours l'a amené à voyager dans de nombreux pays.Libri GmbH, Europaallee 1, 36244 Bad Hersfeld Französisch. …

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -La dimension interculturelle est volontairement ignorée par les entreprises pour se limiter à une vision technicienne du monde. La culture, la géopolitique ou l'état de la démocratie sont des thèmes nouveaux pour ces dernières. Pourtant, une compréhension de la culture locale est impérative pour s'implanter de manière pérenne dans une communauté. J'ai, en conséquence, transformé avec profit mes voyages d'affaires en explorations culturelles. Je recommande de plonger dans une nouvelle culture sans idées reçues, elles gâchent le plaisir de la découverte, pour s'amuser de ces petits riens qui en font la particularité et, qui se révèlent, souvent, des clés de compréhension utiles. Ainsi, un premier contact avec la culture du pays vous est proposé dès votre arrivée à l'aéroport de destination : la démarche administrative, à première vue banale, de passage des douanes est riche d'enseignement sur cette dernière. Les grands récits fondateurs des civilisations sont des textes merveilleux pour découvrir l'âme des peuples. Les artistes contemporains sont une source précieuse de compréhension des évolutions en cours de ces sociétés : en Chine pour repenser la place de l'individu, en Ukraine pour réfléchir aux conséquences de l'omniprésence de la violence ou encore, dans le monde musulman, pour repenser le rôle de la religion dans la société. Nous tenterons d'expliquer la résurgence contemporaine de la quête d'identité comme nous examinerons pourquoi le déni du facteur culturel dans l'entreprise de mondialisation des trente dernières années a finalement conduit à la fragmentation actuelle du monde. Laurent Théry est né en 1966. Il a dirigé le développement international d'un grand groupe énergétique français. Son parcours l'a amené à voyager dans de nombreux pays.Libri GmbH, Europaallee 1, 36244 Bad Hersfeld Französisch.…

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Recent Advancements in Hardware Verification - How to Make Theorem Proving Fit for an Industrial Usage.- Disjoint Sums over Type Classes in HOL.- Inductive Datatypes in HOL - Lessons Learned in Formal-Logic Engineering.- Isomorphisms - A Link Between the Shallow and the Deep.- Polytypic Proof Construction.- Recursive Function Definition over Coinductive Types.- Hardware Verification Using Co-induction in COQ.- Connecting Proof Checkers and Computer Algebra Using OpenMath.- A Machine-Checked Theory of Floating Point Arithmetic.- Universal Algebra in Type Theory.- Locales A Sectioning Concept for Isabelle.- Isar - A Generic Interpretative Approach to Readable Formal Proof Documents.- On the Implementation of an Extensible Declarative Proof Language.- Three Tactic Theorem Proving.- Mechanized Operational Semantics via (Co)Induction.- Representing WP Semantics in Isabelle/ZF.- A HOL Conversion for Translating Linear Time Temporal Logic to -Automata.- From I/O Automata to Timed I/O Automata.- Formal Methods and Security Evaluation.- Importing MDG Verification Results into HOL.- Integrating Gandalf and HOL.- Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving.- Symbolic Functional Evaluation.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 372 pp. Englisch.…