Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Automated technology for verification and analysis : second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings / Farn Wang (ed.). by Series: Lecture notes in computer science ; 3299.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11339656
Publication details: Berlin : Springer-Verlag, ©2004
Other title:
  • ATVA 2004
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings / Farn Wang (ed.). by Series: Lecture notes in computer science ; 3731.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • FORTE 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Theoretical aspects of computing -- ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings / edited by Augusto Sampaio, Farn Wang. by Series: Lecture notes in computer science ; 9965. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2016
Other title:
  • ICTAC 2016
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha