IFIP Series
Forbrig Peter (ed.)  Paterno Fabio (ed.) Pejtersen Annelise Mark (ed.)
New York : Springer Science+Business Media, LLC, 2008
Berlin Heidelberg : Springer Verlag
Vol. 272: Human Computer Interaction Symposium. IFIP 20th World Computer Congress, Proceedings of the 1st TC Human-Computer Interaction Symposium (HCIS 2008), September 7-10, 2008, Milano, Italy, rok 2008 . - 218 s
ISBN 978-0-387-09677-3
IFIP Series :
zborník (príspevkov)
(1) - článok

IFIP Series
Russo Barbara (ed.)  Damiani E. (ed.) Hissam Scott (ed.) Lundell Björn (ed.) Succi Giancarlo (ed.)
New York : Springer Science+Business Media, LLC, 2008
Berlin Heidelberg : Springer Verlag
Vol. 275: Open Source Development, Communities and Quality. IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, Milano, Italy, rok 2008 . - 416 s
ISBN 978-0-387-09683-4
IFIP Series :
zborník (príspevkov)

IFIP Series
Avison David (ed.)  Kasper George M. (ed.) Pernici Barbara (ed.) Ramos Isabel (ed.) Roode Dewald (ed.)
New York : Springer Science+Business Media, LLC, 2008
Berlin Heidelberg : Springer Verlag
Vol. 274: Advances in Information Systems Research, Education and Practice. IFIP 20th World Computer Congress, TC 8, Information Systems, September 7-10, 2008, Milano, Italy, rok 2008 . - 214 s
ISBN 978-0-387-09681-0
IFIP Series :
zborník (príspevkov)
(1) - článok

IFIP Series
Rettberg Achim (ed.)  Zanella Mauro C (ed.) Rammig Franz J (ed.)
Springer Verlag, 2005
Berlin Heidelberg : Springer Verlag
Vol. 184 From Specification to Embedded Systems Application. IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), August 15-17, 2005, Manaus, Brazil, rok 2005 . - 320 s
ISBN 0-387-27557-6
embedded system design UML AsmL formal verification
IFIP Series :
ročník a/alebo číslo časopisu
(1) - článok