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.

---

Published March, 2010
By Cecilia di Chio, Anthony Brabazon, Gianni Di Caro, Marc Ebner, Muddassar Farooq, Andreas Fink, Jorn Grahl, Gary Greenfield, Penousal Machado, Michael O'Neill, Ernesto Tarantino, Neil Urquhart and Joern Grahl
Publisher: Springer (Springer-Verlag Berlin and Heidelberg GmbH & Co. K)
Series: Lecture Notes in Computer Science
Rating:
Availability: Available

Since 1998, EvoApplications - formerly known as EvoWorkshops - has provided a unique opportunity for EC researchers to meet and discuss application aspects of EC and has been an important link between EC research and its application in a variety of domains.

---

Published January, 2010
By Fernando Bello and Stephane Cotin
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 5th International Symposium on Biomedical Simulation, ISBMS 2010, held in Phoenix, AZ, USA, in January 2010. This title includes manuscripts which are organized in four thematic sections covering some of the key aspects of biomedical simulation.

---

Published December, 2009
By Caihua Xiong, Youlun Xiong, Ming Xie and Zhencheng Hu
Publisher: Springer (Springer Berlin Heidelberg)
Series: Lecture Notes in Computer Science
Rating:
Availability: Not available (reason unspecified)

---

Published December, 2009
By Russell Deaton and Akira Suyama
Publisher: Springer (Springer Berlin Heidelberg)
Series: Lecture Notes in Computer Science
Rating:
Availability: Not available (reason unspecified)

---

Published October, 2009
By Andreas Holzinger and Klaus Miesenberger
Publisher: Springer (Springer-Verlag Berlin and Heidelberg GmbH & Co. K)
Series: Lecture Notes in Computer Science
Rating:
Availability: Available

---

Published September, 2009
By Guang-Zhong Yang, Daniel Rueckert, Chris Taylor, David J. Hawkes and Alison Noble
Publisher: Springer (Springer-Verlag Berlin and Heidelberg GmbH & Co. K)
Series: Lecture Notes in Computer Science
Rating:
Availability: Available

The two-volume set LNCS 5761 and LNCS 5762 constitute the refereed proceedings of the 12th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2009, held in London, UK, in September 2009.

---

Published September, 2009
By Guang-Zhong Yang, Daniel Rueckert, Chris Taylor, David J. Hawkes and Alison Noble
Publisher: Springer (Springer-Verlag Berlin and Heidelberg GmbH & Co. K)
Series: Lecture Notes in Computer Science
Rating:
Availability: Available

The two-volume set LNCS 5761 and LNCS 5762 constitute the refereed proceedings of the 12th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2009, held in London, UK, in September 2009. neuro, cell and multiscale image analysis; image analysis and computer aided diagnosis;

---

Published September, 2009
By Cesare Alippi, Marios M. Polycarpou, Christos Panayiotou, Georgios Ellinas and Marios Polycarpou
Publisher: Springer (Springer-Verlag Berlin and Heidelberg GmbH & Co. K)
Series: Lecture Notes in Computer Science
Rating:
Availability: Available

The ICANN conference is an annual meeting sp- sored by the European Neural Network Society (ENNS), in cooperation with the - ternational Neural Network Society (INNS) and the Japanese Neural Network Society (JNNS).

---