Mise Au Point


Book Description

Mentions de La Chaux-de-Fonds et de certains bâtiments d'ici à l'index.




Le contentieux de la mise en conformité dans le règlement des différends de l'O.M.C. / Adjudicating Compliance in the WTO Dispute Settlement System


Book Description

Le mécanisme de règlement des différends de l’O.M.C. se distingue des autres juridictions internationales en ce qu’il comporte un ensemble sophistiqué de procédures spécifiquement et exclusivement destinées à traiter les désaccords pouvant surgir au cours de l’exécution de l’obligation qui résulte pour un Membre de la décision juridictionnelle qui déclare sa responsabilité. Leur existence même et la façon dont les organes de jugement s’acquittent de leur mission témoignent de ce que l’exécution des obligations résultant des actes juridictionnels dans l’ordre international n’échappe pas fatalement au droit. Ainsi, le système de l’O.M.C. exprime mais aussi réalise une ambition singulière en droit international : renforcer la garantie de la légalité en habilitant la juridiction à encadrer, contrôler, et, en définitive, participer à assurer l’exécution de ses propres décisions. The WTO dispute settlement system has created a sophisticated set of procedures designed with the sole purpose of dealing with all disagreements that can arise between the parties during the implementation process. The very existence of these procedures, and the manner in which the adjudicative bodies accomplish their task, give evidence of the fact that compliance with judgments in the international legal order does not inevitably lie outside the realm of the law. The WTO system thereby expresses but also fulfills a strong ambition, unique when considered through the lens of international law: strengthening the rule of law by vesting the adjudicative bodies with the task of supervising, reviewing, and ultimately contributing to inducing and enforcing compliance with their own judgments.




Routledge French Technical Dictionary Dictionnaire technique anglais


Book Description

The French-English volume of this highly acclaimed set consists of some 100,000 keywords in both French and English, drawn from the whole range of modern applied science and technical terminology. Covers over 70 subject areas, from engineering and chemistry to packaging, transportation, data processing and much more.







Arguing about Justice


Book Description

Fifty of today's finest thinkers were asked to let their imaginations run free to advance new ideas on a wide range of social and political issues. They did so as friends, on the occasion of Philippe Van Parijs's sixtieth birthday.




Multinational Federalism


Book Description

A collection of state of the art reflections by fourteen leading experts in the field of multinational federalism. Seymour and Gagnon have gathered contributions from philosophers, political scientists and jurists dealing with the accommodation of peoples in countries like Belgium, Canada, Europe, Great Britain, India and Spain.










Outils de mise en œuvre industrielle des techniques formelles


Book Description

Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants. Différents domaines tels les systèmes de transport, la production d'énergie ou la santé prennent en compte l'implémentation de ces méthodes pour satisfaire les exigences de sécurité élevées des systèmes critiques. Leur mise en œuvre dans le cadre d'une application industrielle (application de grande taille, contrainte de coût et de délais, etc.) ne peut se faire que par l'emploi d'outils suffisamment matures et performants. Cet ouvrage collectif présente des exemples concrets d'utilisation des techniques formelles comme la méthode B, SCADE, MaTeLo, ControlBuild, SparkAda et POLYSPACE et des techniques de vérification associées. Il en identifie aussi les avantages et les difficultés.




Annuaire Europeen 1991


Book Description

The "European Yearbook" promotes the scientific study of European organisations and the Organisation for Economic Co-operation and Development. Each volume contains a detailed survey of the history, structure and yearly activities of each organisation and an up-to-date chart providing a clear overview of the member states of each organisation. In addition, a number of articles on topics of general interest are included in each volume. A general index by subject and name, and a cumulative index of all the articles which have appeared in the "Yearbook," are included in every volume and provide direct access to the "Yearbook's" subject matter. Each volume contains a comprehensive bibliography covering the year's relevant publications. This is an indispensable work of reference for anyone dealing with the European institutions.