Search Results for Modular functions.

1.

Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory

Author

Blümlein, Johannes. editor. Schneider, Carsten. editor. Paule, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-04480-0

Format:

Availability

Online Library~1

Available:
Copies:

2.

Complex Analysis 2 Riemann Surfaces, Several Complex Variables, Abelian Functions, Higher Modular Functions

Author

Freitag, Eberhard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Computer Algebra in Scientific Computing 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings

Computer Algebra in Scientific Computing 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings

Author

Boulier, François. editor. England, Matthew. editor. (orcid) Kotsireas, Ilias. editor. Sadykov, Timur M. editor. Vorozhtsov, Evgenii V. editor. (orcid)

Preferred Shelf Number

XX(521117.1)

Electronic Access

https://doi.org/10.1007/978-3-031-41724-5

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

Author

Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520843.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30823-9

Format:

Availability

Online Library~1

Available:
Copies:

5.

CryptoSchool

Author

von zur Gathen, Joachim. author. SpringerLink (Online service)

Preferred Shelf Number

XX(518657.1)

Electronic Access

https://doi.org/10.1007/978-3-662-48425-8

Format:

Availability

Online Library~1

Available:
Copies:

6.

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

Author

Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519028.1)

Electronic Access

https://doi.org/10.1007/978-3-319-21668-3

Format:

Availability

Online Library~1

Available:
Copies:

7.

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Author

Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519043.1)

Electronic Access

https://doi.org/10.1007/978-3-319-22102-1

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Vitek, Jan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519237.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46669-8

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519090.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46681-0

Format:

Availability

Online Library~1

Available:
Copies:

10.

Moonshine - The First Quarter Century and Beyond Proceedings of a Workshop on the Moonshine Conjectures and Vertex Algebras

Author

Lepowsky, James. McKay, John. Tuite, Michael P..

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

11.

Moonshine beyond the Monster The Bridge Connecting Algebra, Modular Forms and Physics

Author

Gannon, Terry.

Preferred Shelf Number

ONLINE

Electronic Access

Access by subscription

Format:

Availability

Online Library~1

Available:
Copies:

12.

Vertex operator algebras and the Monster

Author

Frenkel, Igor. Lepowsky, J. (James) Meurman, Arne.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect http://www.sciencedirect.com/science/book/9780122670657

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}