Eugene Asarin – författare

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

4 produkter

1. 

   Computer Security – ESORICS 2006

   11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings

   Av Eugene Asarin, Dieter Gollmann m. fl.

   Häftad, 2006

   1131 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 11th European Symposium on Research in Computer Security, ESORICS 2006. The 32 revised full papers presented were carefully reviewed and selected from 160 submissions. ESORICS is confirmed as the European research event in computer security; it …

2. 

   Computer Security - ESORICS 2006

   11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings

   Av Andrei Sabelfeld, Jan Meier m. fl.

   E-bok, 2006

   1470 kr

   Lägg i varukorg

3. 

   Formal Modeling and Analysis of Timed Systems

   4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings

   Av Eugene Asarin, Patricia Bouyer

   Häftad, 2006

   552 kr

   Lägg i varukorg

   This volume contains the proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Paris (France) on September 25-27, 2006. FORMATS aims to be a major - nual event dedicated to the study of timed systems, uniting three independently …

4. 

   Formal Modeling and Analysis of Timed Systems

   4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings

   Av Patricia Bouyer, Eugene Asarin

   E-bok, 2006

   755 kr

   Lägg i varukorg

   This volume contains the proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Paris (France) on September 25-27, 2006. FORMATS aims to be a major - nual event dedicated to the study of timed systems, uniting three independently …