Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

Note moyenne 0
( 0 avis fournis par GoodReads )
9783540749141: Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

Book by None

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur :

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland. The 36 revised full papers presented together with the abstracts of six invited lectures are organized in topical sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Meilleurs résultats de recherche sur AbeBooks

1.

JACQUES DUPARC, THOMAS A. HENZINGER
Edité par Springer Berlin Heidelberg (2007)
ISBN 10 : 3540749144 ISBN 13 : 9783540749141
Neuf(s) Quantité : 1
Vendeur
LIMEROCK BOOKS INC.
(SARASOTA, FL, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Springer Berlin Heidelberg, 2007. État : New. This Book is in Good Condition; Fast Shipping !!! Delivery Time 4-7 days. 100% Money back Guaranteed!!!. book. N° de réf. du libraire 3540749144

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 27,88
Autre devise

Ajouter au panier

Frais de port : EUR 3,70
Vers Etats-Unis
Destinations, frais et délais

2.

Edité par Springer (2007)
ISBN 10 : 3540749144 ISBN 13 : 9783540749141
Neuf(s) Paperback Quantité : 1
Vendeur
Irish Booksellers
(Rumford, ME, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Springer, 2007. Paperback. État : New. book. N° de réf. du libraire 3540749144

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 69,05
Autre devise

Ajouter au panier

Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

3.

Jacques Duparc (Editor), Thomas A. Henzinger (Editor)
Edité par Springer (2007)
ISBN 10 : 3540749144 ISBN 13 : 9783540749141
Neuf(s) Paperback Quantité : 1
impression à la demande
Vendeur
Ergodebooks
(RICHMOND, TX, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Springer, 2007. Paperback. État : New. 2007. This item is printed on demand. N° de réf. du libraire DADAX3540749144

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 101,24
Autre devise

Ajouter au panier

Frais de port : EUR 3,70
Vers Etats-Unis
Destinations, frais et délais

4.

Duparc, Jacques (EDT)/ Henzinger, Thomas A. (EDT)
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 2007-08-30, Berlin (2007)
ISBN 10 : 3540749144 ISBN 13 : 9783540749141
Neuf(s) paperback Quantité : > 20
Vendeur
Blackwell's
(Oxford, OX, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 2007-08-30, Berlin, 2007. paperback. État : New. N° de réf. du libraire 9783540749141

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 109
Autre devise

Ajouter au panier

Frais de port : EUR 5,20
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

5.

Jacques DuParc
Edité par Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2007)
ISBN 10 : 3540749144 ISBN 13 : 9783540749141
Neuf(s) Quantité : > 20
impression à la demande
Vendeur
Books2Anywhere
(Fairford, GLOS, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2007. PAP. État : New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du libraire LQ-9783540749141

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 108,64
Autre devise

Ajouter au panier

Frais de port : EUR 10,40
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

6.

JACQUES DUPARC
Edité par Springer (2007)
ISBN 10 : 3540749144 ISBN 13 : 9783540749141
Neuf(s) Paperback Quantité : 1
Vendeur
Herb Tandree Philosophy Books
(Stroud, GLOS, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Springer, 2007. Paperback. État : NEW. 9783540749141 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. N° de réf. du libraire HTANDREE0344280

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 112,52
Autre devise

Ajouter au panier

Frais de port : EUR 9,25
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

7.

Edité par Springer (2007)
ISBN 10 : 3540749144 ISBN 13 : 9783540749141
Neuf(s) Couverture souple Quantité : 1
Vendeur
English-Book-Service Mannheim
(Mannheim, Allemagne)
Evaluation vendeur
[?]

Description du livre Springer, 2007. État : New. N° de réf. du libraire L9783540749141

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 116,89
Autre devise

Ajouter au panier

Frais de port : EUR 5
De Allemagne vers Etats-Unis
Destinations, frais et délais

8.

Jacques Duparc
Edité par Springer-Verlag Gmbh Aug 2007 (2007)
ISBN 10 : 3540749144 ISBN 13 : 9783540749141
Neuf(s) Taschenbuch Quantité : 1
Vendeur
Evaluation vendeur
[?]

Description du livre Springer-Verlag Gmbh Aug 2007, 2007. Taschenbuch. État : Neu. 239x157x37 mm. - This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland. The 36 revised full papers presented together with the abstracts of six invited lectures are organized in topical sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics. 600 pp. Englisch. N° de réf. du libraire 9783540749141

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 112,34
Autre devise

Ajouter au panier

Frais de port : EUR 12
De Allemagne vers Etats-Unis
Destinations, frais et délais

9.

Jacques Duparc
Edité par Springer-Verlag Gmbh Aug 2007 (2007)
ISBN 10 : 3540749144 ISBN 13 : 9783540749141
Neuf(s) Taschenbuch Quantité : 1
Vendeur
Rheinberg-Buch
(Bergisch Gladbach, Allemagne)
Evaluation vendeur
[?]

Description du livre Springer-Verlag Gmbh Aug 2007, 2007. Taschenbuch. État : Neu. 239x157x37 mm. Neuware - This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland. The 36 revised full papers presented together with the abstracts of six invited lectures are organized in topical sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics. 600 pp. Englisch. N° de réf. du libraire 9783540749141

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 112,34
Autre devise

Ajouter au panier

Frais de port : EUR 17,11
De Allemagne vers Etats-Unis
Destinations, frais et délais

10.

Jacques Duparc
Edité par Springer-Verlag Gmbh Aug 2007 (2007)
ISBN 10 : 3540749144 ISBN 13 : 9783540749141
Neuf(s) Taschenbuch Quantité : 1
Vendeur
Agrios-Buch
(Bergisch Gladbach, Allemagne)
Evaluation vendeur
[?]

Description du livre Springer-Verlag Gmbh Aug 2007, 2007. Taschenbuch. État : Neu. 239x157x37 mm. Neuware - This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland. The 36 revised full papers presented together with the abstracts of six invited lectures are organized in topical sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics. 600 pp. Englisch. N° de réf. du libraire 9783540749141

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 112,34
Autre devise

Ajouter au panier

Frais de port : EUR 17,13
De Allemagne vers Etats-Unis
Destinations, frais et délais

autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre