Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 105,41
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 123,23
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 110,05
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 126,05
Quantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : preigu, Osnabrück, Allemagne
EUR 95,80
Quantité disponible : 5 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Computer Science Logic | 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September | Julian Bradfield | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2002 | Springer-Verlag GmbH | EAN 9783540442400 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
Edité par Springer Berlin Heidelberg, 2002
ISBN 10 : 3540442405 ISBN 13 : 9783540442400
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 106,99
Quantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. 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.