Published June, 2011
By M. M. Robertson and Michelle M. Robertson
Publisher: Springer (Springer-Verlag Berlin and Heidelberg GmbH & Co. K)
Series: Lecture Notes in Computer Science
Rating:
Availability: Available

This book constitutes the refereed proceedings of the International Conference on Ergonomics and Health Aspects of Work with Computers, EHAWC 2011, held within the framework of the 14th International Conference on Human-Computer Interaction, HCII 2011, incorporating 12 thematically similar conferences.

---

Published June, 2011
By Guang-Zhong Yang and Russell H. Taylor
Publisher: Springer (Springer-Verlag Berlin and Heidelberg GmbH & Co. K)
Series: Lecture Notes in Computer Science
Rating:
Availability: Available

This book constitutes the proceedings of the Second International Conference on Information Processing in Computer-Assisted Interventions IPCAI 2011, held in Berlin, Germany, on June 22, 2011.

---

Published May, 2011
By Jose L. Bravo, Ramon Hervas, Vladimir Villarreal and Jose Bravo
Publisher: Springer (Springer-Verlag Berlin and Heidelberg GmbH & Co. K)
Series: Lecture Notes in Computer Science
Rating:
Availability: Available

This book constitutes the refereed proceedings of the Third International Workshop on Ambient Assisted Living, IWAAL 2011, held in Torremolinos-Malaga, Spain, in June 2011 as a satellite event of IWANN 2011, the International Work-Conference on Artificial and Natural Neural Networks..

---

Published May, 2011
By Dimitris N. Metaxas and Leon Axel
Publisher: Springer (Springer-Verlag Berlin and Heidelberg GmbH & Co. K)
Series: Lecture Notes in Computer Science
Rating:
Availability: Available

This book constitutes the proceedings of the 6th International Conference on Functional Imaging and Modeling of the Heart, held in New York City, NY, USA in May 2011.

---

Published October, 2010
By Andreas Holzinger, Gerhard Leitner and Martin Hitz
Publisher: Springer (Springer-Verlag Berlin and Heidelberg GmbH & Co. K)
Series: Lecture Notes in Computer Science
Rating:
Availability: Available

Constitutes the refereed proceedings of HCI in Work and Learning, Life and Leisure, held as the 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2010, in Klagenfurt, Austria, in November 2010.

---

Published September, 2010
By Dinggang Shen, Fei Wang, Pingkun Yan and Kenji Suzuki
Publisher: Springer (Springer-Verlag Berlin and Heidelberg GmbH & Co. K)
Series: Lecture Notes in Computer Science
Rating:
Availability: Available

The first International Workshop on Machine Learning in Medical Imaging, MLMI 2010, was held at the China National Convention Center, Beijing, China on Sept- ber 20, 2010 in conjunction with the International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI) 2010.

---

Published July, 2010
By Benoit M. Dawant, Bernd Fischer, Cristian Lorenz and Benoit Dawant
Publisher: Springer (Springer-Verlag Berlin and Heidelberg GmbH & Co. K)
Series: Lecture Notes in Computer Science
Rating:
Availability: Available

This year 17 papers were accepted for oral presentation, while another 7 papers were accepted as poster papers. The conference papers address state-of-the-art techniques for prov- ing reliable and e?cient registration techniques, thereby imposing relationships between speci?c application areas and appropriate registration schemes.

---

Published June, 2010
By Matt Kaufmann and Lawrence C. Paulson
Publisher: Springer (Springer-Verlag Berlin and Heidelberg GmbH & Co. K)
Series: Lecture Notes in Computer Science
Rating:
Availability: Available

Constitutes the proceedings of the First International Conference on Interactive Theorem proving, ITP 2010, held in Edinburgh, UK, in July 2010. This title features the papers that are organized in topics such as counterexample generation, hybrid system verification, translations from one formalism to another, and cooperation between tools.

---

Published June, 2010
By Joan Marti, Arnau Oliver, Jordi Freixenet and Robert Marti
Publisher: Springer (Springer-Verlag Berlin and Heidelberg GmbH & Co. K)
Series: Lecture Notes in Computer Science
Rating:
Availability: Available

This volume of Springer's Lecture Notes in Computer Science series comprises th the scienti?c proceedings of the 10 International Workshop on Digital Mammography (IWDM), which was held June 16-18, 2010 in Girona, Cata- nia.

---

Published June, 2010
By Theo D'Hondt
Publisher: Springer (Springer-Verlag Berlin and Heidelberg GmbH & Co. K)
Series: Lecture Notes in Computer Science
Rating:
Availability: Available

constitutes the refereed proceedings of the 24th European Conference on Object-Oriented Programming, ECOOP 2010, held in Maribor, Slovenia, in June 2010. This book includes papers that cover topics such as programming environments and tools, theoretical foundations of programming languages, formal methods, and concurrency models in Java.

---