Results
|
441.
|
|
|
442.
|
|
|
443.
|
|
|
444.
|
|
|
445.
|
Information Retrieval Technology [electronic resource] : Asia Information Retrieval Symposium, AIRS 2004, Beijing, China, October 18-20, 2004. Revised Selected Papers / edited by Sung Hyon Myaeng, Ming Zhou, Kam-Fai Wong, Hong-Jiang Zhang. by Series: Lecture Notes in Computer Science ; 3411
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 M93 2005 .
|
|
446.
|
|
|
447.
|
|
|
448.
|
|
|
449.
|
|
|
450.
|
|
|
451.
|
|
|
452.
|
|
|
453.
|
|
|
454.
|
|
|
455.
|
|
|
456.
|
|
|
457.
|
|
|
458.
|
|
|
459.
|
|
|
460.
|
Formal Methods and Software Engineering [electronic resource] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings / edited by Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie. by Series: Lecture Notes in Computer Science ; 4789
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.F67 B88 2007.
|