Paulin andré (55 resultados)

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.

Hardcover. Condición: Very Good. Hardcover bound in blue leatherette stamped in gilt. No marks or writing in book. 415 pages, plus maps, charts and family tree. Yellow ribbon bookmark bound in. Text is in French. Text block lightly age-toned. Very Good condition overall. Ships from Ohio.

Condición: New.

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

Condición: New.

Condición: New.

soft cover. Condición: as new. In-4 broché. L'Écran fantastique est un magazine mensuel de cinéma fantastique créé en 1969 par Alain Schlockoff. Au départ simple fanzine en noir et blanc, il devient rapidement un magazine professionnel tiré au début à 5 000 exemplaires et de parution trimestrielle. SOMMAIRE : --- 7 Éditorial (autre) Auteur : SCHLOKOFF Alain --- 10 KHAMBATTA Persis (nécrologie) --- 10 KUROSAWA Akira (nécrologie) --- 12 Magic warriors (critique, article sur un film) Auteur : GALICY Paulin --- 12 Excalibur, l'épée magique (critique, article sur un film) Auteur : VILTARD Simon --- 13 Petit monde des Borrowers (Le) (critique, article sur un film) Auteur : VILTARD Simon --- 13 Ugly (critique, article sur un film) Auteur : SANDRA Marilyne --- 13 Chapeau melon et bottes de cuir (critique, article sur un film) Auteurs : VILTARD Simon , GALICY Paulin --- 16 X-Files, le film : Combattre le futur (The) (critique, article sur un film) --- 18 BOWMAN Rob (entretien) Auteurs : GALICY Paulin , MESNILDOT Stéphane du --- 22 CARTER Chris (entretien) Auteur : SCHLOKOFF Alain --- 24 BECK Matt (entretien) Auteur : SCHLOKOFF Alain --- 28 SPOTNITZ Frank (entretien) Auteur : SCHLOKOFF Alain --- 34 Small soldiers (critique, article sur un film) Auteur : VILTARD Simon --- 36 DANTE Joe (entretien) --- 43 ROTONDO Paolo à propos de : Ugly (entretien) Auteur : SCHLOKOFF Alain --- 54 Masque de Zorro (Le) (critique, article sur un film) Auteur : MESNILDOT Stéphane du --- 56 CAMPBELL Martin (entretien) Auteur : VANDISTE Jean-Luc --- 61 BANDERAS Antonio (entretien) Auteur : VANDISTE Jean-Luc --- 64 FOSTER David (entretien) Auteur : VANDISTE Jean-Luc --- 66 Truman Show (The) (critique, article sur un film) Auteur : SOCIAS Sébastien --- 68 WEIR Peter (entretien) Auteur : VANDISTE Jean-Luc --- 70 LINNEY Laura (entretien) Auteur : ANDRÉ Bernard --- 72 X-files (The) (série TV) (critique, article sur un film) Auteur : SOCIAS Sébastien --- 80 Photographing fairies (dvd) Auteur : SOCIAS Sébastien --- 80 Alien : la résurrection (dvd) Auteur : SOCIAS Sébastien --- 80 Vie moins ordinaire (Une) (dvd) Auteur : SOCIAS Sébastien --- 80 Ghost Fever (dvd) Auteur : SOCIAS Sébastien --- 81 Spoiler (dvd) Auteur : SOCIAS Sébastien --- 81 Gargantua (dvd) Auteur : SOCIAS Sébastien --- 82 Castle freak (dvd) Auteur : SOCIAS Sébastien --- 82 Night caller (The) (dvd) Auteur : SOCIAS Sébastien --- 82 Future fear (dvd) Auteur : SOCIAS Sébastien --- 84 Cyberdream (autre) Auteur : MANUCEAU Jean-Christophe. …

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.

16 x 24, 32 pp., quelques illustrations, broché, bon état. 1 article sur Henri Matisse.

16 x 24, 32 pp., quelques illustrations, broché, bon état (couverture légèrement pliée). 1 article sur Kisling.

16 x 24, 32 pp., quelques illustrations, broché, bon état (couverture pliée). 1 article sur André Lhote.

16 x 24, 32 pp., quelques illustrations, broché, bon état. 1 article sur R.-X. Prinet.

Août-Septembre 1928. Revue in octavo composée de 32 pages en feuillets agrafés, illustrations au trait dans le texte, petit accroc sur le plat (pas de manque). Bon exemplaire. Mise à jour du 4 novembre 2026. Paiement PayPal immédiat. Mondial Relay pour : France, Angleterre, Allemagne, Autriche, Belgique, Espagne, Italie, Portugal, Luxembourg, Pays-Bas, Pologne (Communiquer votre point ou locker si connu). Une participation supplémentaire peut être demandée hors France; les envois compris entre 5 et 25 kg sont dégressifs Pour l'international hors Europe (Suisse, Canada, Japon, Etats-Unis, les frais d'expéditions peuvent varier selon le poids (mise à jour : 1 juin 2026). A compter de fin novembre un catalogue " Cadeau de fin d'année" sera crée (très bon état à neuf. tous budgets). …

Mars 1929. Revue in octavo composée de 32 pages en feuillets agrafés, Pougues au XVII en frontispice, illustrations au trait dans le texte, composition en noir de Maurice Denis ( la meilleure part). Propre. Mise à jour du 4 novembre 2026. Paiement PayPal immédiat. Mondial Relay pour : France, Angleterre, Allemagne, Autriche, Belgique, Espagne, Italie, Portugal, Luxembourg, Pays-Bas, Pologne (Communiquer votre point ou locker si connu). Une participation supplémentaire peut être demandée hors France; les envois compris entre 5 et 25 kg sont dégressifs Pour l'international hors Europe (Suisse, Canada, Japon, Etats-Unis, les frais d'expéditions peuvent varier selon le poids (mise à jour : 1 juin 2026). A compter de fin novembre un catalogue " Cadeau de fin d'année" sera crée (très bon état à neuf. tous budgets). …

Février 1931. Revue in octavo composée de 32 pages en feuillets agrafés, illustrations au trait dans le texte. Propre. Mise à jour du 4 novembre 2026. Paiement PayPal immédiat. Mondial Relay pour : France, Angleterre, Allemagne, Autriche, Belgique, Espagne, Italie, Portugal, Luxembourg, Pays-Bas, Pologne (Communiquer votre point ou locker si connu). Une participation supplémentaire peut être demandée hors France; les envois compris entre 5 et 25 kg sont dégressifs Pour l'international hors Europe (Suisse, Canada, Japon, Etats-Unis, les frais d'expéditions peuvent varier selon le poids (mise à jour : 1 juin 2026). A compter de fin novembre un catalogue " Cadeau de fin d'année" sera crée (très bon état à neuf. tous budgets). …

Avril 1929. Revue in octavo composée de 32 pages en feuillets agrafés, illustrations au trait dans le texte, composition en noir de Marie Viton ( Village). Propre. Mise à jour du 4 novembre 2026. Paiement PayPal immédiat. Mondial Relay pour : France, Angleterre, Allemagne, Autriche, Belgique, Espagne, Italie, Portugal, Luxembourg, Pays-Bas, Pologne (Communiquer votre point ou locker si connu). Une participation supplémentaire peut être demandée hors France; les envois compris entre 5 et 25 kg sont dégressifs Pour l'international hors Europe (Suisse, Canada, Japon, Etats-Unis, les frais d'expéditions peuvent varier selon le poids (mise à jour : 1 juin 2026). A compter de fin novembre un catalogue " Cadeau de fin d'année" sera crée (très bon état à neuf. tous budgets). …

Avril 1929. Revue in octavo composée de 32 pages en feuillets agrafés, illustrations au trait dans le texte, composition en noir de Marie Viton ( Village). Propre. Mise à jour du 4 novembre 2026. Paiement PayPal immédiat. Mondial Relay pour : France, Angleterre, Allemagne, Autriche, Belgique, Espagne, Italie, Portugal, Luxembourg, Pays-Bas, Pologne (Communiquer votre point ou locker si connu). Une participation supplémentaire peut être demandée hors France; les envois compris entre 5 et 25 kg sont dégressifs Pour l'international hors Europe (Suisse, Canada, Japon, Etats-Unis, les frais d'expéditions peuvent varier selon le poids (mise à jour : 1 juin 2026). A compter de fin novembre un catalogue " Cadeau de fin d'année" sera crée (très bon état à neuf. tous budgets). …

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.…

Juin-Juillet 1930. Revue in octavo composée de 32 pages en feuillets agrafés, illustrations au trait dans le texte, composition en noir de Germaine Labaye ( paravent). Propre. Mise à jour du 4 novembre 2026. Paiement PayPal immédiat. Mondial Relay pour : France, Angleterre, Allemagne, Autriche, Belgique, Espagne, Italie, Portugal, Luxembourg, Pays-Bas, Pologne (Communiquer votre point ou locker si connu). Une participation supplémentaire peut être demandée hors France; les envois compris entre 5 et 25 kg sont dégressifs Pour l'international hors Europe (Suisse, Canada, Japon, Etats-Unis, les frais d'expéditions peuvent varier selon le poids (mise à jour : 1 juin 2026). A compter de fin novembre un catalogue " Cadeau de fin d'année" sera crée (très bon état à neuf. tous budgets). …

Triptyque, Revue exclusivement réservée au corps médical. N° 48 Mai 1931. . In-8 de 32 pages agrafées sur couverture en papier fort, bel exemplaire. Mise à jour du 4 novembre 2026. Paiement PayPal immédiat. Mondial Relay pour : France, Angleterre, Allemagne, Autriche, Belgique, Espagne, Italie, Portugal, Luxembourg, Pays-Bas, Pologne (Communiquer votre point ou locker si connu). Une participation supplémentaire peut être demandée hors France; les envois compris entre 5 et 25 kg sont dégressifs Pour l'international hors Europe (Suisse, Canada, Japon, Etats-Unis, les frais d'expéditions peuvent varier selon le poids (mise à jour : 1 juin 2026). A compter de fin novembre un catalogue " Cadeau de fin d'année" sera crée (très bon état à neuf. tous budgets). …

Condición: New.

Condición: New.

Décembre 1929. Revue in octavo composée de 32 pages en feuillets agrafés, illustrations au trait dans le texte, composition en noir de Jeanne Bergson( nus). Propre. Mise à jour du 4 novembre 2026. Paiement PayPal immédiat. Mondial Relay pour : France, Angleterre, Allemagne, Autriche, Belgique, Espagne, Italie, Portugal, Luxembourg, Pays-Bas, Pologne (Communiquer votre point ou locker si connu). Une participation supplémentaire peut être demandée hors France; les envois compris entre 5 et 25 kg sont dégressifs Pour l'international hors Europe (Suisse, Canada, Japon, Etats-Unis, les frais d'expéditions peuvent varier selon le poids (mise à jour : 1 juin 2026). A compter de fin novembre un catalogue " Cadeau de fin d'année" sera crée (très bon état à neuf. tous budgets). …

Triptyque, Revue exclusivement réservée au corps médical. N° 41, Octobre 1930. In-8 de 32 pages agrafées sur couverture en papier fort, petites taches. Triptyque n° 41 - Jehan Rictus par Jean Cabanel, Sur la vie, le populisme par Claude Barjac, Le revenant par Jehan Rictus, Une heure chez le professeur A. Baudoin par le Dr Loup, Lucien Mainssieux par André Paulin Mise à jour du 4 novembre 2026. Paiement PayPal immédiat. Mondial Relay pour : France, Angleterre, Allemagne, Autriche, Belgique, Espagne, Italie, Portugal, Luxembourg, Pays-Bas, Pologne (Communiquer votre point ou locker si connu). Une participation supplémentaire peut être demandée hors France; les envois compris entre 5 et 25 kg sont dégressifs Pour l'international hors Europe (Suisse, Canada, Japon, Etats-Unis, les frais d'expéditions peuvent varier selon le poids (mise à jour : 1 juin 2026). A compter de fin novembre un catalogue " Cadeau de fin d'année" sera crée (très bon état à neuf. tous budgets).…

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: Fine. Size: 30cm.