(2012): Volumes 7200–7249 - Index of files in - University of Utah

REFERENCES 176
USA, 2012. CODEN LNCSD9. ISBN 3-642-28791-3 (print), 3-642-28792-
1 (e-book). ISSN 0302-9743 (print), 1611-3349 (electronic). LCCN ????
URL http://www.springerlink.com/content/978-3-642-28792-3.
Baeza-Yates:2012:AIR
[910] Ricardo Baeza-Yates, Arjen P. de Vries, Hugo Zaragoza, B. Barla Cambazoglu,
Vanessa Murdock, Ronny Lempel, and Fabrizio Silvestri, editors.
Advances in Information Retrieval: 34th European Conference on IR Research,
ECIR 2012, Barcelona, Spain, April 1–5, 2012. Proceedings, volume
7224 of Lecture Notes in Computer Science. Springer-Verlag Inc., New
York, NY, USA, 2012. CODEN LNCSD9. ISBN 3-642-28996-7 (print),
3-642-28997-5 (e-book). ISSN 0302-9743 (print), 1611-3349 (electronic).
LCCN ???? URL http://www.springerlink.com/content/978-3-642-
28997-2.
Vidal:2012:LBP
[911] Germán Vidal, editor. Logic-Based Program Synthesis and Transformation:
21st International Symposium, LOPSTR 2011, Odense, Denmark,
July 18–20, 2011. Revised Selected Papers, volume 7225 of Lecture Notes
in Computer Science. Springer-Verlag Inc., New York, NY, USA, 2012.
CODEN LNCSD9. ISBN 3-642-32210-7 (print), 3-642-32211-5 (e-book).
ISSN 0302-9743 (print), 1611-3349 (electronic). LCCN ???? URL http:
//www.springerlink.com/content/978-3-642-32211-2.
Goodloe:2012:NFM
[912] Alwyn E. Goodloe and Suzette Person, editors. NASA Formal Methods:
4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3–
5, 2012. Proceedings, volume 7226 of Lecture Notes in Computer Science.
Springer-Verlag Inc., New York, NY, USA, 2012. CODEN LNCSD9. ISBN
3-642-28890-1 (print), 3-642-28891-X (e-book). ISSN 0302-9743 (print),
1611-3349 (electronic). LCCN ???? URL http://www.springerlink.
com/content/978-3-642-28891-3.
Yang:2012:SCB
[913] Shanchieh Jay Yang, Ariel M. Greenberg, and Mica Endsley, editors. Social
Computing, Behavioral — Cultural Modeling and Prediction: 5th International
Conference, SBP 2012, College Park, MD, USA, April 3–5,
2012. Proceedings, volume 7227 of Lecture Notes in Computer Science.
Springer-Verlag Inc., New York, NY, USA, 2012. CODEN LNCSD9. ISBN
3-642-29046-9 (print), 3-642-29047-7 (e-book). ISSN 0302-9743 (print),
1611-3349 (electronic). LCCN ???? URL http://www.springerlink.
com/content/978-3-642-29047-3.