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

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

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

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