Results
|
|
781.
|
|
|
|
|
782.
|
|
|
|
|
783.
|
|
|
|
|
784.
|
|
|
|
|
785.
|
|
|
|
|
786.
|
|
Formal Methods for Components and Objects [electronic resource] : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures / edited by Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever. by Series: Lecture Notes in Computer Science ; 4709
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 B64 2007.
|
|
|
787.
|
|
Persuasive Technology [electronic resource] : Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings / edited by Harri Oinas-Kukkonen, Per Hasle, Marja Harjumaa, Katarina Segerståhl, Peter Øhrstrøm. by Series: Lecture Notes in Computer Science ; 5033
Edition: 1a ed.
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: BF637.P4 O46 2008.
|
|
|
788.
|
|
|
|
|
789.
|
|
|
|
|
790.
|
|
|
|
|
791.
|
|
|
|
|
792.
|
|
|
|
|
793.
|
|
|
|
|
794.
|
|
|
|
|
795.
|
|
|
|
|
796.
|
|
|
|
|
797.
|
|
|
|
|
798.
|
|
|
|
|
799.
|
|
|
|
|
800.
|
|
|