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 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.

---

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 Alessandro Aldini, Marco Bernardo, Alessandra di Pierro and Herbert Wiklicky
Publisher: Springer (Springer-Verlag Berlin and Heidelberg GmbH & Co. K)
Series: Lecture Notes in Computer Science
Rating:
Availability: Available

Presents a set of 4 papers accompanying the lectures of leading researchers given at the 10th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, held in Bertinoro, Italy, in June 2010.

---

Published June, 2010
By Claude Bolduc, Jules Desharnais and Bechir Ktari
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 10th International Conference on Mathematics of Program Construction, MPC 2010, held in Quebec City, Canada in June 2010. In this book, the 19 revised full papers presented together with 1 invited talk and the abstracts of 2 invited talks were carefully reviewed and selected from 37 submissions.

---