Search Results for algorithm.

1090 Results Found

1 .. 67 68 69 70 71 .. 91

000000000000DEFAULT

817.

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

Author

Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334825.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

818.

Cover image for Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I

Author

Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.

Preferred Shelf Number

ONLINE(334826.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

819.

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V

Author

Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.

Preferred Shelf Number

ONLINE(334827.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

820.

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II

Author

Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.

Preferred Shelf Number

ONLINE(334828.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

821.

Computational Science and Its Applications – ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III

Author

Murgante, Beniamino. editor. Misra, Sanjay. editor. Carlini, Maurizio. editor. Torre, Carmelo M. editor. Nguyen, Hong-Quang. editor.

Preferred Shelf Number

ONLINE(334829.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

822.

Algorithms – ESA 2013 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings

Author

Bodlaender, Hans L. editor. Italiano, Giuseppe F. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334947.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

823.

Cover image for Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings

Author

Jurgensen, Helmut. editor. Reis, Rogério. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334778.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

824.

Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings

Author

Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334973.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

825.

Cover image for Security Engineering and Intelligence Informatics CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013. Proceedings

Security Engineering and Intelligence Informatics CD-ARES 2013 Workshops: MoCrySEn and SeCIHD, Regensburg, Germany, September 2-6, 2013. Proceedings

Author

Cuzzocrea, Alfredo. editor. Kittl, Christian. editor. Simos, Dimitris E. editor. Weippl, Edgar. editor. Xu, Lida. editor.

Preferred Shelf Number

ONLINE(334975.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

826.

Cover image for Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings

Author

Schulte, Christian. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334980.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

827.

Cover image for Advances in Artificial Intelligence 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings

Advances in Artificial Intelligence 15th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2013, Madrid, Spain, September 17-20, 2013. Proceedings

Author

Bielza, Concha. editor. Salmerón, Antonio. editor. Alonso-Betanzos, Amparo. editor. Hidalgo, J. Ignacio. editor. Martínez, Luis. editor.

Preferred Shelf Number

ONLINE(334981.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

828.

Cover image for OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

Author

Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334990.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 67 68 69 70 71 .. 91

	{displayName}	{count}
{error}