Search Results for Math Applications in Computer Science.

28 Results Found

1 2 3

000000000000DEFAULT

13.

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:

14.

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:

15.

Cover image for Recent Developments in the Numerics of Nonlinear Hyperbolic Conservation Laws Lectures Presented at a Workshop at the Mathematical Research Institute Oberwolfach, Germany, Jan 15 – 21, 2012

Recent Developments in the Numerics of Nonlinear Hyperbolic Conservation Laws Lectures Presented at a Workshop at the Mathematical Research Institute Oberwolfach, Germany, Jan 15 – 21, 2012

Author

Ansorge, Rainer. editor. Bijl, Hester. editor. Meister, Andreas. editor. Sonar, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333681.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

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:

17.

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:

18.

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:

19.

Cover image for The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

Author

Bonizzoni, Paola. editor. Brattka, Vasco. editor. Löwe, Benedikt. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334718.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings

Author

Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.

Preferred Shelf Number

ONLINE(334781.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

A Mathematical Introduction to Compressive Sensing

Author

Foucart, Simon. author. Rauhut, Holger. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(330552.1)

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-4948-7

Format:

Availability

Online Library~1

Available:
Copies:

22.

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:

23.

Mathematics of Fuzzy Sets and Fuzzy Logic

Author

Bede, Barnabas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333950.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

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:

1 2 3

	{displayName}	{count}
{error}