|
1.
|
|
|
2.
|
|
|
3.
|
|
|
4.
|
|
|
5.
|
|
|
6.
|
Network-Based Information Systems [electronic resource] : First International Conference, NBiS 2007, Regensburg, Germany, September 3-7, 2007. Proceedings / edited by Tomoya Enokido, Leonard Barolli, Makoto Takizawa. por Enokido, Tomoya [editor.] | Barolli, Leonard [editor.] | Takizawa, Makoto [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
7.
|
Theorem Proving in Higher Order Logics [electronic resource] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings / edited by Klaus Schneider, Jens Brandt. por Schneider, Klaus [editor.] | Brandt, Jens [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
8.
|
|
|
9.
|
|
|
10.
|
Trust Management IV [electronic resource] : 4th IFIP WG 11.11 International Conference, IFIPTM 2010, Morioka, Japan, June 16-18, 2010. Proceedings / edited by Masakatsu Nishigaki, Audun Jȹsang, Yuko Murayama, Stephen Marsh. por Nishigaki, Masakatsu [editor.] | Jȹsang, Audun [editor.] | Murayama, Yuko [editor.] | Marsh, Stephen [editor.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
11.
|
|
|
12.
|
|
|
13.
|
|