Top 541 fl ra PDF Book Page 21

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

Advancing the Impact of Design Science: Moving from Theory to Practice: 9th International Conference, DESRIST 2014, Miami, FL, USA, May 22-24, 2014. Proceedings

Monica Chiarini Tremblay, Debra VanderMeer, Marcus Rothenberger, Ashish Gupta, Victoria Yoon (eds.)
·472 Pages
·2014
·27.259 MB

book image

NASA/AGENA-B RANGER PROGRAM LAUNCH PAD DAMAGE REPORT FOR ATLAS 117D AGENA-B 10205-6002 RANGER SPACECRAFT RA-2 COMPLEX 12, AMR

LOCKHEED MISSILES AND SPACE CO INC SUNNYVALE CA SPACE SYSTEMS DIV
·165 Pages
·1961
·11.043 MB

book image

Computational Logic in Multi-Agent Systems: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers

V. S. Subrahmanian, Sarit Kraus, Yingqian Zhang (auth.), Jürgen Dix, João Leite (eds.)
·262 Pages
·2005
·2.445 MB

book image

Ergonomics and Health Aspects of Work with Computers: International Conference, EHAWC 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings

Merle Blok, Liesbeth Groenesteijn, Christiaan van den Berg, Peter Vink (auth.), Michelle M. Robertson (eds.)
·259 Pages
·2011
·5.081 MB