Search Results for Mathematics.

1.

Mathematics of Discrete Structures for Computer Science

Author

Pace, Gordon J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II

Author

Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Karczewski, Konrad. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-78054-2

Format:

Availability

Online Library~1

Available:
Copies:

3.

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

Author

Kanazawa, Makoto. editor. Kornai, András. editor. Kracht, Marcus. editor. Seki, Hiroyuki. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers

The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers

Author

Ebert, Christian. editor. Jäger, Gerhard. editor. Michaelis, Jens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

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:

6.

Contemporary Cryptology

Author

Catalano, Dario. author. Cramer, Ronald. author. Crescenzo, Giovanni. author. Darmgård, Ivan. author. Pointcheval, David. author.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-7643-7394-6

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Author

Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-4020-3532-2

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings

Sequences and Their Applications - SETA 2014 8th International Conference, Melbourne, VIC, Australia, November 24-28, 2014, Proceedings

Author

Schmidt, Kai-Uwe. editor. Winterhof, Arne. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-12325-7

Format:

Availability

Online Library~1

Available:
Copies:

9.

People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010

Author

Lipton, Richard J. author. Regan, Kenneth W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335104.1)

Electronic Access

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

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.

Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers

Author

Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332975.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Author

Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334465.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

13.

Cover image for Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings

Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings

Author

Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334663.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings

Author

Gąsieniec, Leszek. editor. Wolter, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334901.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings

Author

Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335032.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

Author

Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334022.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

Author

Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334564.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Combinatorial Search: From Algorithms to Systems

Author

Hamadi, Youssef. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(335109.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

Boolean Function Complexity Advances and Frontiers

Author

Jukna, Stasys. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Extremal Combinatorics With Applications in Computer Science

Author

Jukna, Stasys. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Apartness and Uniformity A Constructive Development

Author

Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

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.

Post-Quantum Cryptography

Author

Bernstein, Daniel J. editor. Buchmann, Johannes. editor. Dahmen, Erik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-88702-7

Format:

Availability

Online Library~1

Available:
Copies:

24.

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:

25.

Gröbner Bases, Coding, and Cryptography

Author

Sala, Massimiliano. editor. Sakata, Shojiro. editor. Mora, Teo. editor. Traverso, Carlo. editor. Perret, Ludovic. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

26.

Encyclopedia of Algorithms

Author

Kao, Ming-Yang. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-30162-4

Format:

Availability

Online Library~1

Available:
Copies:

27.

A Concise Introduction to Languages and Machines

Author

Parkes, Alan P. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-84800-121-3

Format:

Availability

Online Library~1

Available:
Copies:

28.

A Computer Scientist's Guide to Cell Biology A travelogue from a stranger in a strange land

Author

Cohen, William W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-0-387-48278-1

Format:

Availability

Online Library~1

Available:
Copies:

29.

Experimental Research in Evolutionary Computation The New Experimentalism

Author

Bartz-Beielstein, Thomas. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-32027-X

Format:

Availability

Online Library~1

Available:
Copies:

30.

Theory of Computation

Author

Kozen, Dexter C. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-477-5

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings

Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings

Author

Zhang, Jun. editor. He, Ji-Huan. editor. Fu, Yuxi. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}