Search Results for Mathematics.

1.

Maple and Mathematica A Problem Solving Approach for Mathematics

Author

Shingareva, Inna K. author. Lizárraga-Celaya, Carlos. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-211-99432-0

Format:

Availability

Online Library~1

Available:
Copies:

2.

Maple and Mathematica A Problem Solving Approach for Mathematics

Author

Shingareva, Inna. author. Lizàrraga-Celaya, Carlos. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-211-73265-6

Format:

Availability

Online Library~1

Available:
Copies:

3.

Mathematica®: A Problem-Centered Approach

Author

Hazrat, Roozbeh. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84996-251-3

Format:

Availability

Online Library~1

Available:
Copies:

4.

Computability of Julia Sets

Author

Braverman, Mark. author. Yampolsky, Michael. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-68547-0

Format:

Availability

Online Library~1

Available:
Copies:

5.

An Introduction to Modern Mathematical Computing With Mathematica®

Author

Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

An Introduction to Modern Mathematical Computing With Maple™

Author

Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Algorithms and Programming Problems and Solutions

Author

Shen, Alexander. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4419-1748-5

Format:

Availability

Online Library~1

Available:
Copies:

8.

Realtime Data Mining Self-Learning Techniques for Recommendation Engines

Author

Paprotny, Alexander. author. Thess, Michael. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332858.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

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:

10.

Cover image for Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings

Decision and Game Theory for Security 4th International Conference, GameSec 2013, Fort Worth, TX, USA, November 11-12, 2013. Proceedings

Author

Das, Sajal K. editor. Nita-Rotaru, Cristina. editor. Kantarcioglu, Murat. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332947.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-02786-9

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I

Author

Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335157.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Advances in Cryptology - ASIACRYPT 2013 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II

Author

Sako, Kazue. editor. Sarkar, Palash. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335160.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

Author

Cimatti, Alessandro. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Decision and Game Theory for Security Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012. Proceedings

Decision and Game Theory for Security Third International Conference, GameSec 2012, Budapest, Hungary, November 5-6, 2012. Proceedings

Author

Grossklags, Jens. editor. Walrand, Jean. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Recent Advances in Algorithmic Differentiation

Author

Forth, Shaun. editor. Hovland, Paul. editor. Phipps, Eric. editor. Utke, Jean. editor. Walther, Andrea. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Advances in Cryptology – ASIACRYPT 2012 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings

Advances in Cryptology – ASIACRYPT 2012 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings

Author

Wang, Xiaoyun. editor. Sako, Kazue. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Pyomo – Optimization Modeling in Python

Author

Hart, William E. author. Laird, Carl. author. Watson, Jean-Paul. author. Woodruff, David L. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Automated Solution of Differential Equations by the Finite Element Method The FEniCS Book

Author

Logg, Anders. editor. Mardal, Kent-Andre. editor. Wells, Garth. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Decision and Game Theory for Security Second International Conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011. Proceedings

Decision and Game Theory for Security Second International Conference, GameSec 2011, College Park, MD, Maryland, USA, November 14-15, 2011. Proceedings

Author

Baras, John S. editor. Katz, Jonathan. editor. Altman, Eitan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Advances in Cryptology – ASIACRYPT 2011 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings

Advances in Cryptology – ASIACRYPT 2011 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings

Author

Lee, Dong Hoon. editor. Wang, Xiaoyun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Decision and Game Theory for Security First International Conference, GameSec 2010, Berlin, Germany, November 22-23, 2010. Proceedings

Decision and Game Theory for Security First International Conference, GameSec 2010, Berlin, Germany, November 22-23, 2010. Proceedings

Author

Alpcan, Tansu. editor. Buttyán, Levente. editor. Baras, John S. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

22.

Algorithmic Randomness and Complexity

Author

Downey, Rodney G. author. Hirschfeldt, Denis R. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-68441-3

Format:

Availability

Online Library~1

Available:
Copies:

23.

Handbook of Floating-Point Arithmetic

Author

Muller, Jean-Michel. author. Brisebarre, Nicolas. author. de Dinechin, Florent. author. Jeannerod, Claude-Pierre. author. Lefèvre, Vincent. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-4705-6

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Advances in Cryptology - ASIACRYPT 2010 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings

Advances in Cryptology - ASIACRYPT 2010 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings

Author

Abe, Masayuki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

25.

Cover image for Advances in Cryptology – ASIACRYPT 2009 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings

Advances in Cryptology – ASIACRYPT 2009 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings

Author

Matsui, Mitsuru. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Algorithmic Adventures From Knowledge to Magic

Author

Hromkovic, Juraj. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-85986-4

Format:

Availability

Online Library~1

Available:
Copies:

27.

A Graph-Theoretic Approach to Enterprise Network Dynamics

Author

Bunke, Horst. author. Dickinson, Peter J. author. Kraetzl, Miro. author. Wallis, Walter D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-8176-4519-9

Format:

Availability

Online Library~1

Available:
Copies:

28.

Combinatorial and Algorithmic Aspects of Networking 4th Workshop, CAAN 2007, Halifax, Canada, August 14, 2007. Revised Papers

Author

Janssen, Jeannette. editor. Prałat, Paweł. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-77294-1

Format:

Availability

Online Library~1

Available:
Copies:

29.

The Mathematica GuideBook for Numerics

Author

Trott, Michael. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-28814-7

Format:

Availability

Online Library~1

Available:
Copies:

30.

The Mathematica GuideBook for Symbolics

Author

Trott, Michael. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/0-387-28815-5

Format:

Availability

Online Library~1

Available:
Copies:

31.

Numerical Optimization Theoretical and Practical Aspects

Author

Bonnans, J. Frédéric. author. Gilbert, J. Charles. author. Lemaréchal, Claude. author. Sagastizábal, Claudia A. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-35447-5

Format:

Availability

Online Library~1

Available:
Copies:

32.

Combinatorial and Algorithmic Aspects of Networking Third Workshop, CAAN 2006, Chester, UK, July 2, 2006. Revised Papers

Author

Erlebach, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11922377

Format:

Availability

Online Library~1

Available:
Copies:

33.

MATLAB 7 Eine Einführung

Author

Überhuber, Christoph. author. Katzenbeisser, Stefan. author. Praetorius, Dirk. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138723

Format:

Availability

Online Library~1

Available:
Copies:

34.

Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA

Author

Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor. Nieminen, Risto M. editor. Roose, Dirk. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/b138692

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Combinatorial and Algorithmic Aspects of Networking First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers

Combinatorial and Algorithmic Aspects of Networking First Workshop on Combinatorial and Algorithmic Aspects of Networking, CAAN 2004, Banff, Alberta, Canada, August 5-7, 2004, Revised Selected Papers

Author

López-Ortiz, Alejandro. editor. Hamel, Angèle M. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11527954

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}