Switch to list view
Switch to thumbnail view
Select an Action
13 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Geometry of quantum theory
Geometry of quantum theory
Author 
Varadarajan, V. S.
Preferred Shelf Number 
QC 174.1 V35 1968 V.1
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Quantum theory of the solid state
Quantum theory of the solid state
Author 
Callaway, Joseph.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780121552015
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Quantum theory of molecules and solids
Quantum theory of molecules and solids
Author 
Slater, John Clarke, 1900-
Preferred Shelf Number 
QC 174.1 S56 1963-67 V.1
Format: 
Availability 
Beytepe Library~3
Available:
Copies:
4. 
Cover image for Magnetism
Magnetism
Author 
Rado, George T. (George Tibor), 1917- ed. Suhl, Harry, joint ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780125753050
ScienceDirect http://www.sciencedirect.com/science/book/9780125753012
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Field theory in particle physics
Field theory in particle physics
Author 
Wit, B. de. Smith, J. (Jack), 1938-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444869968
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Relativistic electronic structure theory
Relativistic electronic structure theory
Author 
Schwerdtfeger, Peter.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444512499
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers
Information Technologies and Intelligent Decision Making Systems Second International Conference, ITIDMS 2022, Virtual Event, December 12-14, 2022, Revised Selected Papers
Author 
Gibadullin, Arthur. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520219.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31353-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Author 
Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520842.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30829-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
Author 
Wies, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520944.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30044-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Arithmetic of Finite Fields 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022, Revised Selected Papers
Arithmetic of Finite Fields 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022, Revised Selected Papers
Author 
Mesnager, Sihem. editor. Zhou, Zhengchun. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520791.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-22944-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
Author 
Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520898.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-27181-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
Author 
Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(520976.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38499-8
Format: 
Availability 
Online Library~1
Available:
Copies: