Viac ako 4 milióny titulov v angličtine aj ďalších jazykoch! Objavte svoj nový príbeh ešte dnes!

Computer Science Logic

Name: Computer Science Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540875307
Price: 135.37 EUR
Availability: InStock

22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings

Autor: Michael Kaminski, Simone Martini

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 9-15 dní

135.37 €

The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2008, was...

Informácie o knihe

Autor

Michael Kaminski, Simone Martini

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2008

Stránok

513

EAN

9783540875307

ISBN

3540875301

Enbook ID

02710729

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

770

Rozmery

155 x 235 x 31

Kompletný popis

The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2008, was held in Bertinoro, near Bologna (Italy), September 16 19, 2008. The conference series started as a program of International Wo- shops on Computer Science Logic, and then at its sixth meeting became the Annual Conference of the EACSL. This conference was the 22nd meeting and 17th EACSL conference; it was organized by the Department of Computer S- ence of Alma Mater Studiorum Universita` di Bologna. CSL2008wasprecededonMonday,September15thbythesymposiumBri- ing Logic and Computer Science on the occasion of the 60th birthday of Johann A. Makowsky. In response to the call for papers, a total of 102 abstracts were submitted to CSL 2008 of which 87 were followed by a full paper. The Program Committee selected 31 papers for presentation at the conference and publication in these proceedings,during a one-weekelectronicdiscussion on the EasyChairplatform; each paper was refereed by three to ?ve reviewers. The Program Committee invited lectures from Luca Cardelli, Pierre-Louis Curien, Jean-PierreJouannaud,and Wolfgang Thomas. The papers providedby the invited speakers appear at the beginning of this volume. Createdin 2005,the AckermannAwardis the EACSLOutstanding Disser- tion Awardfor Logicin Computer Science, sponsoredfor the years2007-2009by LogitechS.A. The awardrecipientfor 2008wasKrishnenduChatterjee,who was invited to present his work at the conference. Citation for the award, abstract of the thesis, and a biographical sketch of the recipient may be found at the end of the proceedings.

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Computer Science Logic

22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež