Informatics advanced courses / seminars
Informatik Vertiefungsvorlesungen / Seminare
 |
Bürgisser, Peter; Clausen, Michael and Shokrollahi, Mohammad Amin Algebraic complexity theory Springer 1997 |
print: GMW 315 e-book, ip-range MPI e-book, ip-range UdS |
 |
Bürgisser, Peter Completeness and reduction in algebraic complexity theory Springer 2000 |
print: BÜR p 2000:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Arora, Sanjeev and Barak, Boaz Computational complexity: A modern approach Cambridge 2009 |
print: ARO s 2009:1 1.Ex e-book, ip-range UdS |
|
 |
Cormen, Thomas H.; Leiserson, Charles, E.; Rivest, Ronald L. and Stein, Clifford Introduction to algorithms MIT 2022 |
print: COR th 2022:1 1.Ex e-book, ip-range UdS |
 |
Gács, Peter and Lovász, László Complexity of Algorithms Gács and Lovász 1999 |
e-book, no ip restriction |
|
Trevisan, Luca Lecture Notes on Computational Complexity Trevisan 2004 |
e-book, no ip restriction |
|
Wilf, Herbert S. Algorithms and complexity A.K. Peters 2002 |
print: WIL h2 2002:1 1.Ex e-book, no ip restriction (1994) |
|
Cormen, Thomas H.; Leiserson, Charles, E.;Rivest, Ronald L. and Stein, Clifford Introduction to algorithms MIT 2022 |
print: COR th 2022:1 1.Ex e-book, ip-range UdS |
 |
Joux, Antoine Algorithmic Cryptanalysis Chapman & Hall 2009 |
print: JOU a 2009:1 1.Ex e-book, ip-range UdS |
 |
Knuth, Donald Ervin The art of computer programming Volume 3: Sorting and searching Addison-Wesley 2007 |
print: KNU d 2007:1 1.Ex e-book, ip-range MPI |
 |
Knuth, Donald Ervin The art of computer programming Volume 1: Fundamental algorithms Addison-Wesley 2008 |
print: KNU d 2008:1 1.Ex e-book, ip-range MPI |
|
De la Higuera, Colin Grammatical inference: Learning automata and grammars Cambridge University Press 2010 |
print: HIG c 2010:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Aigner, Martin and Ziegler, Günter M. Das BUCH der Beweise Springer 2018 |
print: AIG m 2018:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Aigner, Martin and Ziegler, Günter M. Proofs from THE BOOK Springer 2018 |
print: AIG m 2018:2 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Bishop, Christopher M Pattern recognition and machine learning Springer 2009 |
print: BISh ch 2009:1 1.Ex |
|
Brunton, Steven L. and Kutz, Nathan Data-driven science and engineering: Machine learning, dynamical systems, and control Cambridge 2019 |
e-book, ip-range MPI e-book, ip-range UdS |
 |
Géron, Aurélien Hands-on machine learning with Scikit-Learn, Keras, and TensorFlow: Concepts, tools, and techniques to build intelligent systems O'Reilly 2019 |
print: GER a3 2019:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Goodfellow, Ian Deep learning MIT 2016 |
print: GOO i2 2016:1 1.Ex e-book, no ip restriction |
 |
Hastie, Trevor; Tibshirani, Robert and Friedman, Jerome H. The elements of statistical learning Springer 2011 |
print: HASt t 2011:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
James, Gareth et al. An introduction to statistical learning: With applications in R Springer 2021 |
print: JAM g3 2021:1 2.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Murphy, Kevin P. Machine learning: A probabilistic perspective MIT 2012 |
print: MUR k4 2012:1 1.Ex e-book, ip-range UdS |
 |
Russell, Stuart and Norvig, Peter Artificial intelligence: A modern approach Pearson 2021 |
print: RUS st 2021:1 1.Ex e-book, ip-range UdS (2016) |
 |
Spiegelhalter, David J. The art of statistics: Learning from data Pelican 2019 |
print: SpIE d 2020:1 1.Ex |
 |
Sutton, Richard S. and Barto, Andrew Reinforcement learning: An introduction MIT 2018 |
print: SUT r 2018:1 1.Ex e-book, ip-range MPI (1992) e-book, ip-range UdS |
 |
Wintjen, Marc and Vlahutin, Andrew Practical data analysis using Jupyter notebook Packt 2020 |
print: WIN m4 2020:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Barenboim, Leonid and Elkin, Michael Distributed graph coloring: Fundamentals and recent developments Morgan & Claypool 2013 |
print: BAR l2 2013:1 1.Ex e-book, ip-range MPI |
 |
Peleg, David Distributed computing: A locality-sensitive approach SIAM 2000 |
print: PEL d2 2000:1 1.Ex e-book, ip-range UdS |
 |
Kaye, Phillip; Laflamme, Raymond and Mosca, Michele An introduction to quantum computing Oxford University Press 2010 |
print: KAY ph 2010:1 1.Ex e-book, ip-range UdS |
|
Majidy, Shayan; Wilson, Christopher and Laflamme, Raymond Building quantum computers: A practical introduction Cambridge University Press 2025 |
print: MAJ s 2025:1 1.Ex |
 |
Mermin, N. David Quantum computer science Cambridge University Press 2007 |
print: MER n 2007:1 1.Ex e-book, ip-range UdS |
 |
Nielsen, Michael A. and Chuang, Isaac L. Quantum computation and quantum information Cambridge University Press 2010 |
print: NIE m3 2010:1 2.Ex |
 |
Rau, Jochen Quantum theory Oxford University Press 2021 |
print: RAU j2 2021:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Rieffel, Eleanor and Polak, Wolfgang Quantum computing MIT Press 2014 |
print: RIE e4 2014:1 1.Ex e-book, ip-range UdS |
|
Watrous, John Understanding quantum information and computation arXiv 2025 |
e-book, no ip restriction |
|
Hastie, Trevor; Tibshirani, Robert and Friedman, Jerome H. The Elements of Statistical Learning Springer 2011 |
print: HASt t 2011:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
James, Gareth et al. An Introduction to Statistical Learning With Applications in Python Springer 2023 |
print: JAM g3 2023:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Felderer, Michael and Travassos, Guilherme H. Contemporary empirical methods in software engineering Springer 2020 |
print: FEL m2 2020:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Juristo, Natalia and Moreno, Ana M. Basics of software engineering experimentation Springer 2010 |
e-book, ip-range MPI e-book, ip-range UdS |
|
Prechelt, Lutz Kontrollierte Experimente in der Softwaretechnik: Potenzial und Methodik Springer 2014 |
print: PRE l2 2014:1 1.Ex |
 |
Wohlin, Claes et al. Experimentation in software engineering Springer 2024 |
print: WOH c 2024:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Molnar, Christoph Interpretable machine learning: A guide for making black box models explainable Christoph Molnar 2022 |
print: MOL ch2 2022:1 1.Ex e-book, no ip restriction |
 |
Goodspeed, Travis Microcontroller exploits No Starch Press 2024 |
print: GOO t 2024:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS (1-user-licence) |
|
Nappa, Antonio and Blázquez, Eduardo Fuzzing against the machine: Automate vulnerability research with emulated IoT devices on QEMU Packt 2023 |
print: NAP a 2023:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
 |
Woudenberg, Jasper van and O'Flynn, Colin The hardware hacking handbook: Breaking embedded security with hardware attacks No Starch Press 2022 |
print: WOU j 2022:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS (1-user-licence) |
 |
Adams, Ernest Fundamentals of game design New Riders 2014 |
print: ADA e2 2014:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS (1-user licence) |
 |
Drachen, Anders; Mirza-Babaei, Pejman and Nacke, Lennart E. Games user research Oxford 2018 |
print: DRA a 2018:1 1.Ex e-book, ip-range UdS |
 |
Fullerton, Tracy Game design workshop: A playcentric approach to creating innovative games CRC Press 2024 |
print: FUL t 2024:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Koster, Raph A theory of fun for game design O'Reilly 2014 |
print: KOSt r 2014:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Rogers, Scott Level up! The guide to great video game design Wiley 2014 |
print: ROG s 2014:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Rouse, Richard Game design: Theory and practice Wordware 2005 |
print: ROU r2 2005:1 1.Ex |
|
 |
Salen Tekinbas, Katie and Zimmerman, Eric Rules of play: Game design fundamentals MIT 2004 |
print: SAL k 2004:1 1.Ex e-book, ip-range UdS |
 |
Schell, Jesse The art of game design: A book of lenses CRC Press 2020 |
print: SchEL j 2020:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Schreiber, Ian and Romero, Brenda Game balance CRC Press 2022 |
print: SchRE i 2022:1 1.Ex e-book, ip-range UdS |
|
Olchawa, Andrzej and Starcik, Milenko The spacecraft hacker's handbook: Exploiting ground stations, flight software, and satellite terminals No Starch Press 2026 |
print: ordered e-book, ip-range MPI |
|
Bishop, Christopher M. Pattern recognition and machine learning Springer 2009 |
print: BISh ch 2009:1 1.Ex |
|
|
Forsyth, David A. and Ponce, Jean Computer vision Pearson 2012 |
print: FOR d 2012:1 1.Ex |
|
 |
Szeliski, Richard Computer vision: Algorithms and applications Springer 2022 |
print: SZE r2 2022:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Gallenbacher, Jens Abenteuer Informatik Springer 2021 |
print: GAL j4 2021:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Hofstadter, Douglas R. Gödel, Escher, Bach: Ein endloses geflochtenes Band Dt. Taschenbuch-Verl. 1991 |
print: HOF d2 1991:2 1.Ex |
|
Minsky, Marvin L. The society of mind Simon and Schuster 1988 |
print: MIN m 1988:2 1.Ex |
|
|
Vöcking, Berthold; Alt, Helmut and Dietzfelbinger, Martin Taschenbuch der Algorithmen Springer 2008 |
print: VÖCk b 2008:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Blahut, Richard E. Theory of remote image formation Cambridge University Press 2004 |
print: BLA r4 2005:1 1.Ex |
 |
Epstein, Charles L. Introduction to the mathematics of medical imaging Pearson [u.a.] 2003 |
print: EPSt ch 2003:1 1.Ex e-book, ip-range UdS (2008) |
 |
Jähne, Bernd Computer Vision and Applications Academic Press 2000 |
print: JÄH b 2000:1 1.Ex e-book, ip-range UdS |
 |
Kak, Avinash C. and Slaney, Malcolm Principles of computerized tomographic imaging SIAM 2001 |
print: KAK a 2001:1 1.Ex e-book, ip-range UdS |
 |
Webb, Steve The physics of medical imaging IOP 1993 |
print: WEB st 1993:1 1.Ex |
|
Hankerson, Darrel R. Introduction to information theory and data compression CRC Press 1998 |
print: HAN d2 1998:1 1.Ex |
|
|
Sayood, Khalid Introduction to data compression Kaufmann 2006 |
print: SAY k 2006:1 1.Ex e-book, ip-range MPI (2012) e-book, ip-range UdS |
|
|
Strutz, Tilo Bilddatenkompression Vieweg + Teubner in GWV Fachverlage GmbH 2009 |
print: StRU t 2009:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Chou, Philip A. and van der Schaar, Mihaela Multimedia over IP and wireless networks: Compression, networking, and systems Academic Press 2007 |
print: ChOU ph 2007:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Prasad, Ramjee and Ruggieri, Marina Technology trends in wireless communications Artech House 2003 |
print: PRA r2 2003:1 1.Ex e-book, ip-range UdS |
|
Boor, Carl de A practical guide to splines Springer 2001 |
print: BOO c 2001:1 1.Ex |
|
|
Davis, Philip J. Interpolation and approximation Blaisdell Publ. Co. 1963 |
print: DAV ph 1963:1 1.Ex |
|
 |
Farin, Gerald E. Curves and surfaces for CAGD: A practical guide Morgan Kaufmann 2002 |
print: FAR g 2002:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Fasshauer, Gregory E. Meshfree approximation methods with MATLAB World Scientific 2007 |
print: FAS g 2007:1 1.Ex e-book, ip-range UdS |
|
Prenter, Pady M. Splines and variational methods Dover 2008 |
print: PRE p 2008:1 1.Ex | |
|
Schumaker, Larry Spline functions: Basic theory Cambridge University Press 2007 |
print: SchUM l 2007:1 2.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Trefethen, Lloyd N. Approximation theory and approximation practice SIAM 2020 |
print: TRE l 2020:1 1.Ex e-book, ip-range UdS |
|
 |
Villiers, Johan Mathematics of approximation Springer 2012 |
print: VIL j 2012:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Wendland, Holger Scattered data approximation Cambridge University Press 2010 |
print: WEN h3 2010:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Carrier, Brian File system forensic analysis Addison-Wesley 2005 |
print: CAR b 2005:1 1.Ex e-book, ip-range MPI |
|
 |
Casey, Eoghan Digital evidence and computer crime: Forensic science, computers and the internet Academic Press 2011 |
print: CAS e2 2011:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS (2004) |
 |
Ligh, Michael Hale et al. The art of memory forensics: Detecting malware and threats in Windows, Linux, and Mac memory Wiley 2014 |
print: LIG m2 2014:1 2.Ex e-book, ip-range MPI |
|
Lucy, David Introduction to statistics for forensic scientists Wiley 2005 |
print: LUC d2 2005:1 1.Ex |
|
|
Nelson, Bill; Phillips, Amelia and Steuart, Chris Guide to computer forensics and investigations Cengage 2024 |
print: NEL b 2024:1 1.Ex |
 |
Blaicher, Christian et al. Informationssicherheit und Datenschutz: Handbuch für Praktiker und Begleitbuch zum T.I.S.P. dpunkt.verlag 2024 |
print: BLA ch3 2024:1 1.Ex e-book, ip-range MPI |
 |
Hoeren, Thomas and Bensinger, Viola Haftung im Internet De Gruyter 2023 |
e-book, ip-range UdS |
 |
Hoeren, Thomas and Pinelli, Stefan Datenrecht De Gruyter 2025 |
e-book, ip-range UdS |
|
Jandt, Silke and Steidle, Roland Datenschutz im Internet Nomos 2025 |
e-book, ip-range UdS |
 |
Kneuper, Ralf Datenschutz für Softwareentwicklung und IT: Eine praxisorientierte Einführung Springer 2021 |
e-book, ip-range MPI e-book, ip-range UdS |
|
Kühling, Jürgen; Klar, Manuel and Sackmann, Florian Datenschutzrecht C.F. Müller 2025 |
print: REF 20 44 1.Ex |
 |
Linardatos, Dimitrios; Roth-Isigkeit, David and Rückert, Christian Recht der Digitalisierung: Fälle und Lösungen Nomos 2025 |
e-book, ip-range UdS |
 |
Petrlic, Ronald; Sorge, Christoph and Ziebarth, Wolfgang Datenschutz: Einführung in technischen Datenschutz, Datenschutzrecht und angewandte Kryptographie Springer 2022 |
e-book, ip-range MPI e-book, ip-range UdS |
 |
Selzer, Annika Aktuelle Entwicklungen des Rechtsrahmens der Cybersicherheit und Privatheit: Sammelband zur ATHENE-Konferenz 2025 in Darmstadt Springer 2026 |
e-book, no ip restriction |
|
Vogel, Jacqueline Lehrbuch für Datenschutzbeauftragte Teil 1: Basiswissen Vogel-Verlag 2024 |
print: VOG j 2024:1 1.Ex |
|
Adamaszek, Anna; Har-Peled, Sariel and Wiese, Andreas Approximation schemes for independent set and sparse subsets of polygons ACM 2019 |
e-book, no ip restriction |
|
Calude, Cristian S. et al. Deciding parity games in quasi-polynomial time SIAM 2022 |
e-book, ip-range MPI local digital version |
|
Dorfman, Dani; Kaplan, Haim and Zwick, Uri A faster deterministic exponential time algorithm for energy games and mean payoff games Dagstuhl 2019 |
e-book, no ip restriction |
|
Grohe, Martin; Neuen, Daniel and Schweitzer, Pascal A faster isomorphism test for graphs of small degree SIAM 2023 |
e-book, ip-range MPI local digital version |
|
Jurdziński, Marcin; Morvan, Rémi and Thejaswini, K. S. Universal algorithms for parity games and nested fixpoints arXiv 2022 |
e-book, no ip restriction |
|
Kisfaludi-Bak, Sándor A quasi-polynomial algorithm for well-spaced hyperbolic TSP JoCG 2021 |
e-book, no ip restriction |
|
Matougek, J.; Sharir, M. and Welzl E. A subexponential bound for linear programming Springer 1996 |
e-book, ip-range MPI e-book, ip-range UdS e-book, no ip restriction |
|
Nederlof, Jesper; Swennenhuis, Céline M. F. and Węgrzycki, Karol A subexponential time algorithm for makespan scheduling of unit jobs with precedence constraints SIAM 2025 |
|
|
Parys, Paweł Parity games: Another view on Lehtinen's algorithm arXiv 2019 |
e-book, no ip restriction |
|
Szabó, Tibor and Welzl, Emo Unique sink orientations of cubes IEEEXplore 2001 |
e-book, ip-range MPI e-book, ip-range UdS |
|
Alberts, Bruce et al. Molecular biology of the cell Norton & Company 2022 |
print: ALB b 2022:1 1.Ex |
 |
Postma, Dees B.W. et al. A design space of sports interaction technology now 2022 |
print: POSt d 2022:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Aggarwal, Charu C. Neural networks and deep learning: A textbook Springer 2023 |
print: AGG ch 2023:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Calin, Ovidiu L. Deep learning architectures: A mathematical approach Springer 2020 |
print: CAL o 2020:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Goodfellow, Ian; Bengio, Yoshua and Courville, Aaron Deep learning MIT 2016 |
print: GOO i2 2016:1 1.Ex e-book, no ip restriction |
 |
Ye, Jong Chul Geometry of deep learning: A signal processing perspective Springer 2022 |
print: YE j 2022:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Berg, Mark de; Kreveld, Marc van; Overmars, Mark and Schwartzkopf, Otfried Computational geometry: Algorithms and applications Springer 2008 |
print: BER m2 2008:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Björck, Åke Numerical methods for least squares problems SIAM 1996 |
print: BJÖ a 1996:1 1.Ex e-book, ip-range UdS e-book, ip-range UdS (2024) |
|
Boor, Carl de A practical guide to splines Springer 2001 |
print: BOO c 2001:1 1.Ex |
|
 |
Botsch, Mario et al. Polygon mesh processing CRC Press 2010 |
print: BOT m2 2010:1 1.Ex e-book, ip-range UdS |
 |
Bridson, Robert Fluid simulation for computer graphics CRC Press 2016 |
print: BRI r 2016:1 1.Ex e-book, ip-range MPI |
 |
Deuflhard, Peter Newton methods for nonlinear problems: Affine invariance and adaptive algorithms Springer 2011 |
print: DEU p 2011:1 2.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Devadoss, Satyan L. and O'Rourke, Joseph Discrete and computational geometry Princeton University Press 2011 |
print: DEV s 2011:1 1.Ex e-book, ip-range UdS (ordered) |
 |
Fasshauer, Gregory E. Meshfree approximation methods with MATLAB World Scientific 2007 |
print: FAS g 2007:1 1.Ex e-book, ip-range UdS |
 |
Gallier, Jean H. and Quaintance, Jocelyn Differential geometry and lie groups: A computational perspective Springer 2020 |
print: GAL j2 2020:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Golub, Gene H. and Van Loan, Charles F. Matrix computations Hopkins University Press 2013 |
print: GOL g 2013:1 1.Ex |
|
 |
Griffiths, D.; Dold, J. and Silvester, D. Essential partial differential equations: Analytical and computational aspects Springer 2015 |
print: GRI d5 2015:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Heath, Michael T. Scientific computing: An introductory survey SIAM 2018 |
print: HEA m 2018:1 1.Ex e-book, ip-range UdS |
|
|
Lapidus, Leon and Pinder, George Francis Numerical solution of partial differential equations in science and engineering Wiley 1982 |
print: LAP l 1982:1 1.Ex e-book, ip-range UdS (1999) |
|
|
LeVeque, Randall J. Finite difference methods for ordinary and partial differential equations: Steady-state and time-dependent problems SIAM 2007 |
print: LEV r 2007:1 1.Ex e-book, ip-range UdS |
|
 |
Morton, Keith W. and Mayers, David F. Numerical solution of partial differential equations Cambridge University Press 2005 |
print: MOR k 2005:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Nocedal, Jorge and Wright, Stephen J. Numerical optimization Springer 2006 |
print: NOC j 2006:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Rubinstein, Reuven Y. Simulation and the Monte Carlo method Wiley 1981 |
print: RUB r 1981:1 1.Ex e-book, ip-range MPI (2007) |
|
Trefethen, Lloyd N. and Bau, David Numerical linear algebra SIAM 1997 |
print: TRE l 1997:1 1.Ex |
|
 |
Wendland, Holger Scattered data approximation Cambridge University Press 2010 |
print: WEN h3 2010:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Limoncelli, Thomas; Chalup, Strata and Hogan, Christina The practice of system and network administration Volume 1: DevOps and other best practices for enterprise IT Addison-Wesley 2017 |
print: LIM t 2017:1 1.Ex e-book, ip-range MPI |
 |
Cygan, Marek et al. Parameterized algorithms Springer 2015 |
print: CYG m 2015:1 2.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Cousot, Patrick Principles of abstract interpretation MIT Press 2021 |
print: COU p3 2021:1 1.Ex e-book, ip-range UdS |
|
Kaminski, Benjamin Lucien Advanced weakest precondition calculi for probabilistic programs Dissertation 2019 |
e-book, no ip restriction |
 |
Nielson, Flemming; Nielson, Hanne Riis and Hankin, Chris Principles of program analysis Springer 2010 |
print: NIE f 2010:1 2.Ex e-book, ip-range MPI (1999) e-book, ip-range UdS (1999) |
 |
Rival, Xavier and Yi, Kwangkeun Introduction to static analysis: An abstract interpretation perspective Cambridge 2020 |
print: RIV x 2020:1 1.Ex e-book, ip-range UdS |
|
Cluet, Sophie and Moerkotte, Guido On the complexity of generating optimal left-deep processing trees with cross products ICDT 1995 |
e-book, ip-range UdS |
|
DeHaan, David and Tompa, Frank Wm. Optimal top-down join enumeration SIGMOD 2007 |
e-book, ip-range UdS |
|
Fender, Pit and Moerkotte, Guido A new, highly efficient, and easy to implement top-down join enumeration algorithm IEEE 2011 |
e-book, ip-range UdS |
|
Haffner, Immanuel and Dittrich, Jens Efficiently computing join orders with heuristic search SIGMOD 2023 |
e-book, ip-range UdS |
|
Ibaraki, Toshihide and Kameda, Tiko On the optimal nesting order for computing N-relational joins ACM Transactions on Database Systems 1984 |
e-book, ip-range UdS |
|
Krishnamurthy, Ravi; Boral, Haran and Zaniolo, Carlo Optimization of nonrecursive queries MCC 1986 |
e-book, ip-range UdS |
|
Moerkotte, Guido and Neumann, Thomas Analysis of two existing and one new dynamic programming algorithm for the generation of optimal bushy join trees without cross products VLDB 2006 |
e-book, ip-range UdS |
|
Neumann, Thomas Query simplification: Graceful degradation for join-order optimization SIGMOD 2009 |
e-book, ip-range UdS |
|
Neumann, Thomas and Radke, Bernhard Adaptive optimization of very large join queries SIGMOD 2018 |
e-book, ip-range UdS |
|
Ono, Kiyoshi and Lohman, Guy M. Measuring the complexity of join enumeration in query optimization IBM 1990 |
e-book, ip-range UdS |
|
Selinger, P. Griffiths et al. Access path selection in a relational database management system SIGMOD 1979 |
e-book, ip-range UdS |
|
Steinbrunn, Michael; Moerkotte, Guido and Kemper, Alfons Heuristic and randomized optimization for the join ordering problem Verlag jahr |
e-book, ip-range UdS |
|
Vance, Bennet and Maier, David Rapid bushy join-order optimization with Cartesian products ACM SIGMOD 1996 |
e-book, ip-range UdS |
 |
Mitzenmacher, Michael and Upfal, Eli Probability and computing: Randomization and probabilistic techniques in algorithms and data analysis Cambridge University Press 2017 |
print: MIT m 2017:1 1.Ex |
 |
Williamson, David P. and Shmoys, David Bernard The design of approximation algorithms Cambridge University Press 2011 |
print: WIL d7 2011:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Cohen, M. F. and Wallace, J. R. Radiosity and realistic image synthesis Academic Press Professional 1993 |
print: COH m 1993:1 1.Ex e-book, ip-range UdS |
|
|
Dutré, Philip; Bekaert, Philippe and Bala, Kavita Advanced global illumination Peters 2006 |
print: DUT ph 2006:1 1.Ex e-book, ip-range MPI |
|
|
Glassner, Andrew S. Principles of digital image synthesis: Volume 1 Morgan Kaufmann 1995 |
print: GLA a 1995:1 1.Ex e-book, no ip restriction |
|
 |
Glassner, Andrew S. Principles of digital image synthesis: Volume 2 Morgan Kaufmann 1995 |
print: GLA a 1995:2 1.Ex e-book, no ip restriction |
|
Jensen, Henrik Wann Realistic image synthesis using photon mapping A K Peteres LTD. 2010 |
print: JEN h 2010:1 1.Ex |
|
 |
Pharr, Matt; Jakob, Wenzel and Humphreys, Greg Physically based rendering MIT 2023 |
print: PhAR m 2023:1 1.Ex e-book, ip-range MPI (2016) e-book, ip-range UdS (2016) e-book, no ip restriction |
 |
Reinhard, Erik High dynamic range imaging Elsevier Morgan Kaufmann 2010 |
print: REI e3 2010:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS (2006) |
|
Shirley, Peter and Morley, Keith R. Realistic ray tracing A K Peteres LTD. 2009 |
print: ShIR p 2009:1 1.Ex |
|
|
Georgiev, Iliyan Path sampling techniques for efficient light transport simulation Universität des Saarlandes 2015 |
print: 2015 Georgiev, Iliyan e-book, no ip restriction |
|
Sutton, Richard S. and Barto, Andrew Reinforcement learning: An introduction MIT 2018 |
print: SUT r 2018:1 1.Ex e-book, ip-range MPI (1992) e-book, ip-range UdS |
 |
Maini, Anil K. and Agrawal, Varsha Satellite technology: Principles and applications Wiley 2014 |
e-book, ip-range MPI e-book, ip-range UdS |
 |
Currie, Anne; Hsu, Sarah and Bergman, Sara Building green software: A sustainable approach to software development and operations O'Reilly 2024 |
print: CUR a2 2024:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Gregg, Brendan Systems performance: Enterprise and the cloud Addison-Wesley 2021 |
print: GRE b2 2021:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Höfner, Anja and Frick, Vivian Was Bits und Bäume verbindet: Digitalisierung nachhaltig gestalten oekom 2019 |
e-book, no ip restriction |
|
Kruglov, Artem and Succi, Giancarlo Developing sustainable and energy-efficient software systems Springer 2023 |
e-book, no ip restriction |
|
Gollmann, Dieter Computer security Wiley 2011 |
print: GOL d 2011:1 1.Ex e-book, ip-range UdS |
|
|
Nance, Kara and Eagle, Chris The Ghidra book: The definitive guide No Starch Press 2026 |
print: NAN k3 2026:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Aggarwal, Charu C. Data mining Springer 2015 |
print: AGG ch 2015:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
 |
Peters, Jonas; Janzing, Dominik and Schölkopf, Bernhard Elements of causal inference MIT Press 2017 |
print: PET j8 2017:1 1.Ex e-book, no ip restriction |
|
Wasserman, Larry All of statistics Springer 2005 |
print: WAS l 2005:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Jerald, Jason The VR book: Human-centered design for virtual reality M&C 2016 |
print: JER j2 2016:1 1.Ex e-book, ip-range UdS |
|
Drachen, Anders; Mirza-Babaei, Pejman and Nacke, Lennart E. Games user research Oxford 2018 |
print: DRA a 2018:1 1.Ex e-book, ip-range UdS |