Farn Wang – författare

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

6 produkter

1. 

   Theoretical Aspects of Computing – ICTAC 2016

   13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings

   Av Augusto Sampaio, Farn Wang

   Häftad, 2016

   548 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016.The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper …

2. 

   Theoretical Aspects of Computing - ICTAC 2016

   13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings

   Av Farn Wang, Augusto Sampaio

   E-bok, 2016

   734 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016. The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper …

3. 

   Automated Technology for Verification and Analysis

   Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings

   Av Farn Wang

   Häftad, 2004

   1122 kr

   Lägg i varukorg

   It was our great pleasure to hold the 2nd International Symposium onAutomated Te- nology on Veri?cation and Analysis (ATVA) in Taipei, Taiwan, ROC, October 31- November3,2004.TheseriesofATVAmeetingsisintendedforthepromotionofrelated research in eastern Asia. In the last decade, automated technology …

4. 

   Formal Techniques for Networked and Distributed Systems - FORTE 2005

   25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

   Av Farn Wang

   Häftad, 2005

   1122 kr

   Lägg i varukorg

   FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the International Fed- ation for InformationProcessing (IFIP).The conferenceseries started in 1981underthe name PSTV (ProtocolSpeci?cation, Testing, and …

5. 

   Automated Technology for Verification and Analysis

   Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings

   Av Farn Wang

   E-bok, 2004

   1502 kr

   Lägg i varukorg

6. 

   Formal Techniques for Networked and Distributed Systems - FORTE 2005

   25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings

   Av Farn Wang

   E-bok, 2005

   1502 kr

   Lägg i varukorg