Refine your search

Your search returned 3 results. Subscribe to this search

|
1. Human Interactive Proofs [Recurso electrónico] / Second International Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005, Proceedings edited by Henry S. Baird, Daniel P. Lopresti. by Baird, Henry S. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Log in to add tags. Add to cart
2. Modelling, Computation and Optimization in Information Systems and Management Sciences [Recurso electrónico] : Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008. Proceedings / edited by Hoai An Le Thi, Pascal Bouvry, Tao Pham Dinh. by Le Thi, Hoai An. Material type Archivo de ordenador; Format: electrónico Publication: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 Availability: No items available:

3. Formal Aspects in Security and Trust [Recurso electrónico] : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22â€{u2DEC} 2004, Toulouse, France / edited by Theo Dimitrakos, Fabio Martinelli. by Dimitrakos, Theo. Material type Archivo de ordenador; Format: electrónico Publication: Boston, MA : International Federation for Information Processing, 2005 Availability: No items available:

Powered by Koha