|
3441.
|
|
|
3442.
|
|
|
3443.
|
|
|
3444.
|
|
|
3445.
|
|
|
3446.
|
Formal Methods and Software Engineering [electronic resource] : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings / edited by Zhiming Liu, Jifeng He. by Liu, Zhiming | He, Jifeng | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.9.F67 L58 2006 (1).
|
|
3447.
|
|
|
3448.
|
|
|
3449.
|
|
|
3450.
|
|
|
3451.
|
|
|
3452.
|
|
|
3453.
|
|
|
3454.
|
|
|
3455.
|
|
|
3456.
|
|
|
3457.
|
Networking - ICN 2005 [electronic resource] : 4th International Conference on Networking, Reunion Island, France, April 17-21, 2005, Proceedings, Part I / edited by Pascal Lorenz, Petre Dini. by Lorenz, Pascal | Dini, Petre | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK5105.5 L67 2005 (1).
|
|
3458.
|
|
|
3459.
|
|
|
3460.
|
|