1. Formal Techniques for Computer Systems and Business Processes : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings

by Bravetti, Mario | Kloul, Leila | Zavattaro, Gianluigi.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 BRA] (1).
2. Innovative Internet Community Systems : Third International Workshop, IICS 2003, Leipzig, Germany, June 19-21, 2003 : Revised Papers

by Bohme, Thomas | Heyer, Gerhard | Unger, Herwig.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BOH] (1).

Powered by Koha