Results
|
|
41.
|
|
|
|
|
42.
|
|
|
|
|
43.
|
|
|
|
|
44.
|
|
|
|
|
45.
|
|
|
|
|
46.
|
|
|
|
|
47.
|
|
|
|
|
48.
|
|
Abstract State Machines, B and Z [electronic resource] : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca. by Series: Lecture Notes in Computer Science ; 5238
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: QA267 B67 2008.
|
|
|
49.
|
|
|
|
|
50.
|
|
|
|
|
51.
|
|
|
|
|
52.
|
|
|
|
|
53.
|
|
|
|
|
54.
|
|
|
|
|
55.
|
|
|
|
|
56.
|
|
|
|
|
57.
|
|
|
|
|
58.
|
|
Engineering Interactive Systems [electronic resource] : EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers / edited by Jan Gulliksen, Morton Borup Harning, Philippe Palanque, Gerrit C. Veer, Janet Wesson. by Series: Lecture Notes in Computer Science ; 4940
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.H85 G85 2008 .
|
|
|
59.
|
|
|
|
|
60.
|
|
|