Frank Valencia – författare

Visar alla böcker från författaren Frank Valencia. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

   Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

   Av Mário S. Alvim, Kostas Chatzikokolakis m. fl.

   Häftad, 2019

   568 kr

   Lägg i varukorg

   ​​This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday.It features 6 laudations, which are available in the front matter of the volume, and 25 papers by close collaborators and friends. The papers are organized in topical sections named: concurrency; …

2. 

   Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

   Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

   Av Frank Valencia, Carlos Olarte m. fl.

   E-bok, 2019

   710 kr

   Lägg i varukorg

   ​​This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday. It features 6 laudations, which are available in the front matter of the volume, and 25 papers by close collaborators and friends. The papers are organized in topical sections named: concurrency; …

3. 

   SOFSEM 2009: Theory and Practice of Computer Science

   35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings

   Av Mogens Nielsen, Antonin Kucera m. fl.

   Häftad, 2009

   1128 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Špindleruv Mlýn, Czech Republic, in January 2009.The 49 revised full papers, presented together with 9 invited contributions, were carefully …

4. 

   SOFSEM 2009: Theory and Practice of Computer Science

   35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings

   Av Frank Valencia, Petr Tuma m. fl.

   E-bok, 2009

   1502 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Špindleruv Mlýn, Czech Republic, in January 2009. The 49 revised full papers, presented together with 9 invited contributions, were carefully …