Results
|
4161.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings / edited by Nicolas Halbwachs, Lenore D. Zuck. by Series: Lecture Notes in Computer Science ; 3440
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.S88 H35 2005.
|
|
4162.
|
|
|
4163.
|
|
|
4164.
|
|
|
4165.
|
|
|
4166.
|
|
|
4167.
|
|
|
4168.
|
|
|
4169.
|
|
|
4170.
|
|
|
4171.
|
|
|
4172.
|
|
|
4173.
|
|
|
4174.
|
|
|
4175.
|
|
|
4176.
|
|
|
4177.
|
Information Retrieval Technology [electronic resource] : Second Asia Information Retrieval Symposium, AIRS 2005, Jeju Island, Korea, October 13-15, 2005. Proceedings / edited by Gary Geunbae Lee, Akio Yamada, Helen Meng, Sung Hyon Myaeng. by Series: Lecture Notes in Computer Science ; 3689
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: Z699.A1 L44 2005.
|
|
4178.
|
|
|
4179.
|
|
|
4180.
|
|