Search Results for Software.

6 Results Found

000000DEFAULT

Cover image for Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Author

Hähnle, Reiner. editor. Knoop, Jens. editor. Margaria, Tiziana. editor. Schreiner, Dietmar. editor. Steffen, Bernhard. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34781-8

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Advanced Machine Learning Technologies and Applications First International Conference, AMLTA 2012, Cairo, Egypt, December 8-10, 2012. Proceedings

Advanced Machine Learning Technologies and Applications First International Conference, AMLTA 2012, Cairo, Egypt, December 8-10, 2012. Proceedings

Author

Hassanien, Aboul Ella. editor. Salem, Abdel-Badeeh M. editor. Ramadan, Rabie. editor. Kim, Tai-hoon. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35326-0

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Advances in Communication, Network, and Computing Third International Conference, CNC 2012, Chennai, India, February 24-25, 2012, Revised Selected Papers

Advances in Communication, Network, and Computing Third International Conference, CNC 2012, Chennai, India, February 24-25, 2012, Revised Selected Papers

Author

Das, Vinu V. editor. Stephen, Janahanlal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35615-5

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Similarity Search and Applications 5th International Conference, SISAP 2012, Toronto, ON, Canada, August 9-10, 2012. Proceedings

Author

Navarro, Gonzalo. editor. Pestov, Vladimir. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-32153-5

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Intelligent Data Engineering and Automated Learning - IDEAL 2012 13th International Conference, Natal, Brazil, August 29-31, 2012. Proceedings

Intelligent Data Engineering and Automated Learning - IDEAL 2012 13th International Conference, Natal, Brazil, August 29-31, 2012. Proceedings

Author

Yin, Hujun. editor. Costa, José A. F. editor. Barreto, Guilherme. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-32639-4

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Artificial Evolution 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, Revised Selected Papers

Artificial Evolution 10th International Conference, Evolution Artificielle, EA 2011, Angers, France, October 24-26, 2011, Revised Selected Papers

Author

Hao, Jin-Kao. editor. Legrand, Pierrick. editor. Collet, Pierre. editor. Monmarché, Nicolas. editor. Lutton, Evelyne. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-35533-2

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}