Search Results for Math Applications in Computer Science.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

28 Results Found

1 2 3

000000000000DEFAULT

Cover image for Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers

Parameterized and Exact Computation 8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4-6, 2013, Revised Selected Papers

Author

Gutin, Gregory. editor. Szeider, Stefan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333005.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03898-8

Format:

Availability

Online Library~1

Available:
Copies:

Scientific Computing and Cultural Heritage Contributions in Computational Humanities

Author

Bock, Hans Georg. editor. Jäger, Willi. editor. Winckler, Michael J. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333171.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

Author

Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334236.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Automated Reasoning and Mathematics Essays in Memory of William W. McCune

Author

Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334264.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers

Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers

Author

Manninen, Pekka. editor. Öster, Per. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334296.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings

Author

Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334549.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings

Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings

Author

Fernández-Izquierdo, María Ángeles. editor. Muñoz-Torres, María Jesús. editor. León, Raúl. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334573.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Mathematical Morphology and Its Applications to Signal and Image Processing 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013. Proceedings

Mathematical Morphology and Its Applications to Signal and Image Processing 11th International Symposium, ISMM 2013, Uppsala, Sweden, May 27-29, 2013. Proceedings

Author

Hendriks, Cris L. Luengo. editor. Borgefors, Gunilla. editor. Strand, Robin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334577.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Graph Theory with Algorithms and its Applications In Applied Science and Technology

Author

Saha Ray, Santanu. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335456.1)

Electronic Access

http://dx.doi.org/10.1007/978-81-322-0750-4

Format:

Availability

Online Library~1

Available:
Copies:

10.

Teoria degli Automi Finiti

Author

Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335644.1)

Electronic Access

http://dx.doi.org/10.1007/978-88-470-5474-5

Format:

Availability

Online Library~1

Available:
Copies:

11.

Nonlinear Optimization Applications Using the GAMS Technology

Author

Andrei, Neculai. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332120.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-6797-7

Format:

Availability

Online Library~1

Available:
Copies:

12.

Optimization Approaches for Solving String Selection Problems

Author

Pappalardo, Elisa. author. Pardalos, Panos M. author. Stracquadanio, Giovanni. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332467.1)

Electronic Access

http://dx.doi.org/10.1007/978-1-4614-9053-1

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3

	{displayName}	{count}
{error}