Articles liés à Computer Science Logic: 16th International Workshop,...
Computer Science Logic: 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September - Couverture souple
Synopsis
The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22-25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. This conference was the sixteenth meeting and eleventh EACSL conference; it was organized by the Laboratory for Foundations of Computer Science at the University of Edinburgh. The CSL 2002 Programme Committee considered 111 submissions from 28 countries during a two week electronic discussion; each paper was refereed by at least three reviewers. The Committee selected 37 papers for presentation at the conference and publication in these proceedings. The Programme Committee invited lectures from Susumu Hayashi, Frank Neven, and Damian Niwinski; ´ the papers provided by the invited speakers appear at the front of this volume. In addition to the main conference, two tutorials - 'Introduction to Mu- Calculi' (Julian Brad?eld) and 'Parametrized Complexity' (Martin Grohe) - were given on the previous day.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 92,27
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délais
Résultats de recherche pour Computer Science Logic: 16th International Workshop,...
Image fournie par le vendeur
Computer Science Logic
Edité par
Springer Berlin Heidelberg, 2002
ISBN 10 : 3540442405
ISBN 13 : 9783540442400
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. N° de réf. du vendeur 4890955
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
Edité par
Springer Berlin Heidelberg, 2002
ISBN 10 : 3540442405
ISBN 13 : 9783540442400
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22-25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. This conference was the sixteenth meeting and eleventh EACSL conference; it was organized by the Laboratory for Foundations of Computer Science at the University of Edinburgh. The CSL 2002 Programme Committee considered 111 submissions from 28 countries during a two week electronic discussion; each paper was refereed by at least three reviewers. The Committee selected 37 papers for presentation at the conference and publication in these proceedings. The Programme Committee invited lectures from Susumu Hayashi, Frank Neven, and Damian Niwinski; the papers provided by the invited speakers appear at the front of this volume. In addition to the main conference, two tutorials - 'Introduction to Mu- Calculi' (Julian Brad eld) and 'Parametrized Complexity' (Martin Grohe) - were given on the previous day. N° de réf. du vendeur 9783540442400
Quantité disponible : 1 disponible(s)
Image d'archives
Computer Science Logic
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540442400_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Computer Science Logic : 16th International Workshop, Csl 2002, 11th Annual Conference of the Eacsl, Edinburgh, Scotland, Uk, September 2002 : Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 1807573-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Computer Science Logic
Vendeur : Best Price, Torrance, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. SUPER FAST SHIPPING. N° de réf. du vendeur 9783540442400
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Computer Science Logic
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2002, 2002
ISBN 10 : 3540442405
ISBN 13 : 9783540442400
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22¿25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. This conference was the sixteenth meeting and eleventh EACSL conference; it was organized by the Laboratory for Foundations of Computer Science at the University of Edinburgh. The CSL 2002 Programme Committee considered 111 submissions from 28 countries during a two week electronic discussion; each paper was refereed by at least three reviewers. The Committee selected 37 papers for presentation at the conference and publication in these proceedings. The Programme Committee invited lectures from Susumu Hayashi, Frank Neven, and Damian Niwinski; ¿ the papers provided by the invited speakers appear at the front of this volume. In addition to the main conference, two tutorials ¿ ¿Introduction to Mu- Calculi¿ (Julian Brad eld) and ¿Parametrized Complexity¿ (Martin Grohe) ¿ were given on the previous day. 640 pp. Englisch. N° de réf. du vendeur 9783540442400
Quantité disponible : 1 disponible(s)
Image d'archives
Computer Science Logic : 16th International Workshop, Csl 2002, 11th Annual Conference of the Eacsl, Edinburgh, Scotland, Uk, September 2002 : Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 1807573-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Computer Science Logic
Edité par
Springer Berlin Heidelberg Sep 2002, 2002
ISBN 10 : 3540442405
ISBN 13 : 9783540442400
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22-25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. This conference was the sixteenth meeting and eleventh EACSL conference; it was organized by the Laboratory for Foundations of Computer Science at the University of Edinburgh. The CSL 2002 Programme Committee considered 111 submissions from 28 countries during a two week electronic discussion; each paper was refereed by at least three reviewers. The Committee selected 37 papers for presentation at the conference and publication in these proceedings. The Programme Committee invited lectures from Susumu Hayashi, Frank Neven, and Damian Niwinski; the papers provided by the invited speakers appear at the front of this volume. In addition to the main conference, two tutorials - 'Introduction to Mu- Calculi' (Julian Brad eld) and 'Parametrized Complexity' (Martin Grohe) - were given on the previous day. 640 pp. Englisch. N° de réf. du vendeur 9783540442400
Quantité disponible : 2 disponible(s)
Image d'archives
Computer Science Logic
Edité par
Springer, 2002
ISBN 10 : 3540442405
ISBN 13 : 9783540442400
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. N° de réf. du vendeur UTD14a2141
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Computer Science Logic : 16th International Workshop, Csl 2002, 11th Annual Conference of the Eacsl, Edinburgh, Scotland, Uk, September 2002 : Proceedings
Edité par
Springer, 2002
ISBN 10 : 3540442405
ISBN 13 : 9783540442400
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 1807573
Quantité disponible : Plus de 20 disponibles