Search Results for Software.

213 Results Found

1 2 3 4 5 .. 18

000000000000DEFAULT

25.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings

Author

Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334724.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Algorithms and Data Structures 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings

Author

Dehne, Frank. editor. Solis-Oba, Roberto. editor. Sack, Jörg-Rüdiger. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334893.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

27.

Contemporary Evolution Strategies

Author

Bäck, Thomas. author. Foussette, Christophe. author. Krause, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334897.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

28.

Networked Systems First International Conference, NETYS 2013, Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers

Author

Gramoli, Vincent. editor. Guerraoui, Rachid. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334899.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

29.

Space-Efficient Data Structures, Streams, and Algorithms Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday

Author

Brodnik, Andrej. editor. López-Ortiz, Alejandro. editor. Raman, Venkatesh. editor. Viola, Alfredo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334921.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

30.

Cover image for Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

Author

Chatterjee, Krishnendu. editor. Sgall, Jirí. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334925.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings

Author

Raghavendra, Prasad. editor. Raskhodnikova, Sofya. editor. Jansen, Klaus. editor. Rolim, José D. P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334929.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

32.

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:

33.

Image Analysis and Processing – ICIAP 2013 17th International Conference, Naples, Italy, September 9-13, 2013. Proceedings, Part I

Author

Petrosino, Alfredo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335069.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

34.

Image Analysis and Processing – ICIAP 2013 17th International Conference, Naples, Italy, September 9-13, 2013, Proceedings, Part II

Author

Petrosino, Alfredo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335070.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings

Cellular Automata and Discrete Complex Systems 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings

Author

Kari, Jarkko. editor. Kutrib, Martin. editor. Malcher, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335022.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

36.

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Author

Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335023.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5 .. 18

	{displayName}	{count}
{error}