Search Results for Computer software.

86 Results Found

1 2 3 4 5 .. 8

000000000000DEFAULT

13.

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

Author

Paule, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332822.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

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:

15.

Visual Mathematics and Cyberlearning

Author

Martinovic, Dragana. editor. Freiman, Viktor. editor. Karadag, Zekeriya. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335714.1)

Electronic Access

http://dx.doi.org/10.1007/978-94-007-2321-4

Format:

Availability

Online Library~1

Available:
Copies:

16.

Übungsbuch Mathematik für Wirtschaftswissenschaftler Aufgabensammlung mit ausführlichen Lösungen

Author

Wendler, Tilo. author. Tippe, Ulrike. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337084.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Technologien im Mathematikunterricht Eine Sammlung von Trends und Ideen

Author

Ruppert, Markus. editor. Wörler, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(338115.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-658-03008-7

Format:

Availability

Online Library~1

Available:
Copies:

18.

Introduction to Global Optimization Exploiting Space-Filling Curves

Author

Sergeyev, Yaroslav D. author. Strongin, Roman G. author. Lera, Daniela. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332385.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

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:

20.

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:

21.

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:

22.

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:

23.

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:

24.

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:

1 2 3 4 5 .. 8

	{displayName}	{count}
{error}