Top 222 guttorm fl istad auth PDF Book Page 7

book image

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

J. -R. Abrial (auth.), Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (eds.)
·395 Pages
·2007
·4.28 MB

book image

Energy Minimization Methods in Computer Vision and Pattern Recognition: 5th International Workshop, EMMCVPR 2005, St. Augustine, FL, USA, November 9-11, 2005. Proceedings

Guillaume Perrin, Xavier Descombes, Josiane Zerubia (auth.), Anand Rangarajan, Baba Vemuri, Alan L. Yuille (eds.)
·671 Pages
·2005
·23.716 MB

book image

Human Interface and the Management of Information. Interacting with Information: Symposium on Human Interface 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part I

Antonio Bottaro, Enrico Marino, Franco Milicchio, Alberto Paoluzzi, Maurizio Rosina (auth.), Michael J. Smith, Gavriel Salvendy (eds.)
·683 Pages
·2011
·19.878 MB

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.