Language: English
Published by Berlin/ Heidelberg, Springer Berlin., 2004
ISBN 10: 3540230246 ISBN 13: 9783540230243
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
2004. 16 x 24 cm. XI, 522 S. XI, 522 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. (Lecture Notes in Computer Science). Sprache: Englisch.
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Paperback. Condition: New. 2011th.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.43
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.43
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.43
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.43
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.43
Quantity: Over 20 available
Add to basketCondition: New. In.
Paperback. Condition: New.
Condition: New.
Condition: New.
Paperback. Condition: Brand New. 2012 edition. 494 pages. 8.75x6.00x1.00 inches. In Stock.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 68.72
Quantity: Over 20 available
Add to basketCondition: New. In.
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Thisvolumecontainspapersselectedforpresentationatthe2004AnnualConf- enceoftheEuropeanAssociationforComputerScienceLogic,heldonSeptember 20 24, 2004 in Karpacz, Poland. The CSL conference series started as the International Workshops on C- puterScienceLogic,andthen,after vemeetings,becametheAnnualConference of the European Association for Computer Science Logic. This conference was the 18th meeting, and the 13th EACSL conference. Altogether 99 abstracts were submitted, followed by 88 papers. Each of these paperswasrefereedbyatleastthreereviewers.Then,afteratwo-weekelectronic discussion, the Programme Committee selected 33 papers for presentation at the conference. Apart from the contributed papers, the Committee invited lectures from Albert Atserias, Martin Hyland, Dale Miller, Ken McMillan and Pawel Urzyczyn. WewouldliketothankallPCmembersandthesubrefereesfortheirexcellent work. The electronic PC meeting would not be possible without good software support. We decided to use the GNU CyberChair system, created by Richard van de Stadt, and we are happy with this decision. We also would like to thank Micha l Moskal who installed and ran CyberChair for us. Finally, we would like to thank ToMasz Wierzbicki, who helped with the preparation of this volume. We gratefully acknowledge nancial support for the conference received from the Polish Committee for Scienti c Research, and Wroc law University. July 2004 Jerzy Marcinkowski and Andrzej Tarlecki Organization CSL 2004 was organized by the Institute of Computer Science, Wrocla w University.
Taschenbuch. Condition: Neu. Computer Science Logic | 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings | Jerzy Marcinkowski | Taschenbuch | xi | Englisch | 2004 | Springer | EAN 9783540230243 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 96.15
Quantity: Over 20 available
Add to basketCondition: New. In English.
Paperback. Condition: Like New. Like New. book.
Condition: New.
Condition: New.
Paperback. Condition: New. 2011th.
Language: English
Published by Springer-Verlag GmbH, 2009
ISBN 10: 3642040268 ISBN 13: 9783642040269
Seller: Buchpark, Trebbin, Germany
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 565 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Condition: New. pp. xi + 565 2009th edition.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 120.99
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Paperback. Condition: Like New. Like New. book.
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer-Verlag New York Inc, 2009
ISBN 10: 3642040268 ISBN 13: 9783642040269
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 2009 edition. 567 pages. 9.30x6.10x1.30 inches. In Stock.
Language: English
Published by Springer, Berlin, Springer, 2009
ISBN 10: 3642040268 ISBN 13: 9783642040269
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7-11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- ference of the EACSL. This conference was the 23rd meeting and 18th EACSL conference; it was organized at the Department of Mathematics, Faculty of S- ence and Technology, University of Coimbra. In response to the call for papers, a total of 122 abstracts were submitted to CSL 2009of which 89 werefollowedby a full paper. The ProgrammeCommittee selected 34 papers for presentation at the conference and publication in these proceedings. The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. The awardrecipient for 2009 was Jakob Nordstr om. Citation of the award, abstract of the thesis, and a biographical sketch of the recipient may be found at the end of the proceedings. The award was sponsored for the years 2007-2009 by Logitech S.A.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 149.99
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.