Informatics core courses
Informatik Stammvorlesungen
 |
Aho, Alfred V.; Hopcroft, John E. and Ullman, Jeffrey D. The design and analysis of computer algorithms Addison-Wesley 1974 |
print: AHO a 1974:1 1.Ex |
|
Aho, Alfred V.; Hopcroft, John E. and Ullman, Jeffrey D. Data structures and algorithms Addison Wesley Longman 1999 |
print: AHO a 1999:1 1.Ex |
|
 |
Ahuja, Ravindra K.; Magnanti, Thomas L. and Orlin, James B. Network flows: Theory, algorithms, and applications Prentice Hall 1993 |
print: AHU r 1993:1 1.Ex |
 |
Berg, Mark de; van Kreveld, Marc; 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 |
|
Boissonnat, Jean Daniel and Yvinec, Mariette Algorithmic geometry Cambridge University Press 1998 |
print: BOI j 1998:1 1.Ex |
|
 |
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 |
|
Crochemore, Maxime and Rytter, Wojcieich Text algorithms Oxford Univ. Press 1994 |
print: CRO m 1994:1 1.Ex |
|
|
Graham, Ronald L.; Knuth, Donald E. and Patashnik, Oren Concrete mathematics Addison-Wesley 1995 |
print: GRA r 1995:1 1.Ex e-book, ip-range MPI |
|
 |
JaJa, Joseph An introduction to parallel algorithms Addison-Wesley 1992 |
print: JAJ j 1992:1 1.Ex |
|
Kleinberg, Jon and Tardos, Eva Algorithm design Addison-Wesley 2006 |
print: KLE j 2006:1 1.Ex |
|
 |
Klein, Rolf Algorithmische Geometrie Addison-Wesley 1997 |
print: KLE r 1997:1 1.Ex e-book, ip-range MPI (2022) e-book, ip-range UdS (2022) |
|
Kozen, Dexter C. The design and analysis of algorithms Springer 1992 |
print: KOZ d 1992:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Leighton, F. Thomson Introduction to parallel algorithms and architectures: Arrays, trees, hypercubes Morgan Kaufmann 1992 |
print: LEI f 1992:1 1.Ex |
|
|
Lynch, Nancy A. Distributed algorithms Morgan Kaufmann 1996 |
print: LYN n 1996:1 1.Ex e-book, ip-range MPI |
|
|
Manber, Udi Introduction to algorithms: A creative approach Addison-Wesley 1989 |
print: MAN u 1989:1 1.Ex |
|
|
Mehlhorn, Kurt Data structures and algorithms 1: Sorting and searching Springer 1984 |
print: MEH k 1984:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Mehlhorn, Kurt Data structures and algorithms 2: Graph algorithms and NP-completeness Springer 1984 |
print: MEH k 1984:2 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Mehlhorn, Kurt Data structures and algorithms 3: Multi-dimensional searching and computational geometry Springer 1984 |
print: MEH k 1984:3 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Mehlhorn, Kurt and Sanders, Peter Algorithms and data structures: The basic toolbox Springer 2008 |
print: MEH k 2008:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Mignotte, Maurice Mathematics for computer algebra Springer 1992 |
print: MIG m 1992:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
 |
Motwani, Rajeev and Raghavan, Prabhakar Randomized algorithms Cambridge Univ. Press 2007 |
print: MOT r 2007:1 2.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Ottmann, Thomas and Widmayer, Peter Algorithmen und Datenstrukturen Springer 2017 |
print: OTT th 2017:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Rawlins, Gregory J. E. Compared to what? An introduction to the analysis of algorithms Freeman 1992 |
print: RAW g 1992:1 1.Ex |
|
|
Sedgewick, Robert Algorithms in C Addison-Wesley 1990 |
print: SED r 1990:1 1.Ex |
|
|
Sedgewick, Robert and Flajolet, Philippe An introduction to the analysis of algorithms Addison-Wesley 2013 |
print: SED r 2013:1 1.Ex |
|
|
Tarjan, Robert Endre Data structures and network algorithms Society for Industrial and Applied Mathematics 1983 |
print: CBMSA 44 e-book, ip-range UdS |
|
Russell, Stuart and Norvig, Peter Künstliche Intelligenz: Ein moderner Ansatz Prentice Hall 2007 |
print: RUS st 2007:1 1.Ex |
|
 |
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) |
|
Baader, Franz and Nipkow, Tobias Term rewriting and all that Cambridge Univ. Press 1999 |
print: BAA f 1999:1 1.Ex e-book, ip-range UdS |
|
 |
Biere, Armin Handbook of satisfiability: Part 1 IOS Press 2021 |
print: BIE a2 2021:1 1.Ex e-book, ip-range UdS |
|
Biere, Armin Handbook of satisfiability: Part 2 IOS Press 2021 |
print: BIE a2 2021:2 1.Ex e-book, ip-range UdS |
|
Fitting, Melvin First-order logic and automated theorem proving Springer 1996 |
print: FIT m 1996:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Robinson, Alan and Voronkov, Andrei Handbook of automated reasoning: Volume 1 North Holland 2001 |
print: ROB a2 2001:1 3.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Robinson, Alan and Voronkov, Andrei Handbook of automated reasoning: Volume 2 North Holland 2001 |
print: ROB a2 2001:2 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Schöning, Uwe Logik für Informatiker Spektrum 2000 |
print: SchÖN u 2000:1 1.Ex |
|
|
Schöning, Uwe and Torán, Jacobo The satisfiability problem: Algorithms and analyses Lehmanns 2013 |
print: SchÖN u 2013:1 1.Ex e-book, ip-range UdS |
|
Aho, Alfred V.; Lam, Monica S.; Sethi, Ravi and Ullman, Jeffrey D. Compilers: Principles, techniques, & tools Pearson 2007 |
print: AHO a 2007:1 1.Ex |
|
 |
Allen, Randy Optimizing compilers for modern architectures Morgan Kaufmann [u.a.] 2002 |
print: ALL r 2002:1 1.Ex |
 |
Appel, Andrew W. Modern compiler implementation in Java Cambridge Univ. Press 2002 |
print: APP a 2002:1 1.Ex e-book, ip-range UdS |
 |
Bertsimas, D. and Tsitsiklis, J. N. Introduction to linear optimization Athena Scientific 1997 |
print: BER d4 1997:1 1.Ex |
|
Colombet, Quentin LLVM code generation: A deep dive into compiler backend development Packt 2025 |
print: COL q 2025:1 1.Ex e-book, ip-range UdS |
|
|
Cooper, Keith D. and Torczon, Linda Engineering a compiler Morgan Kaufmann 2023 |
print: COO k 2023:1 1.Ex e-book, ip-range MPI (2011) e-book, ip-range UdS (2004) |
|
 |
Morgan, Bob Building an optimizing compiler Digital Press 1998 |
print: MOR b3 1998:1 1.Ex |
|
Seidl, Helmut; Wilhelm, Reinhard and Hack, Sebastian Compiler design: Analysis and transformation Springer 2012 |
print: SEI h3 2012:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Wilhelm, Reinhard; Seidl, Helmut and Hack, Sebastian Compiler design: Syntactic and semantic analysis Springer 2013 |
print: WIL r5 2013:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
 |
Wolfe, Michael J. High performance compilers for parallel computing Addison-Wesley 1996 |
print: WOL m2 1996:1 1.Ex |
|
Arora, Sanjeev and Barak, Boaz Computational complexity: A modern approach Cambridge 2009 |
print: ARO s 2009:1 1.Ex e-book, ip-range UdS |
|
|
Garey, Michael R. and Johnson, David S. Computers and intractability Freemann And Company 1979 |
print: GAR m2 1979:1 1.Ex |
|
|
Goldreich, Oded Computational complexity Cambridge 2008 |
print: GOL o 2008:1 1.Ex e-book, ip-range UdS |
|
|
Hopcroft, John E.; Motwani, Rajeev and Ullman, Jeffrey D. Introduction to automata theory, languages and computation Addison-Wesley 2007 |
print: HOP j 2007:1 1.Ex e-book, ip-range UdS (2013) |
|
|
Kozen, Dexter C. Theory of computation Springer 2006 |
print: KOZ d 2006:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Papadimitriou, Christos H. Computational complexity Addison-Wesley 1994 |
print: PAP ch 1994:1 1.Ex |
|
|
Reischuk, Karl Rüdiger Komplexitätstheorie Band I: Grundlagen, Maschinenmodelle, Zeit- und Platzkomplexität, Nichtdeterminismus Teubner 1999 |
print: REI k 1999:1 1.Ex e-book, ip-range MPI |
|
|
Savage, John E. Models of computation Addison-Wesley 2003 |
print: SAV j 2003:1 1.Ex |
|
 |
Schöning, Uwe Perlen der Theoretischen Informatik BI Wissenschaftsverlag 1995 |
print: SchÖN u 1995:3 1.Ex |
|
Schöning, Uwe Theoretische Informatik - kurzgefasst Spektrum Akad. Verl. 2012 |
print: SchÖN u 2012:1 1.Ex |
|
|
Sipser, Michael Introduction to the theory of computation Cengage Learning 2013 |
print: SIP m 2013:1 2.Ex |
|
|
Vollmer, Heribert Introduction to circuit complexity Springer 1999 |
print: VOL h 1999:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Wegener, Ingo Theoretische Informatik: Eine algorithmenorientierte Einführung Teubner jahr |
print: WEG i 1999:1 1.Ex e-book, ip-range MPI (2005) e-book, ip-range UdS (2005) |
|
||
|
Marschner, Steve and Shirley, Peter Fundamentals of computer graphics CRC Press 2022 |
print: MAR st2 2022:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS (3 simultaneous users, 2015) |
|
 |
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 |
|
Sellers, Graham; Kessenich, John and Shreiner, Dave OpenGL programming guide: The official guide to learning OpenGL, Version 4.5 with SPIR-V Addison Wesley 2016 |
print: KES j 2016:1 1.Ex e-book, ip-range MPI |
|
|
Ebert, David S. Texturing and modeling: A procedural approach Morgan Kaufmann 2003 |
print: EBE d 2003:1 1.Ex |
|
|
||
 |
Akenine-Möller, Tomas; Haines, Eric; Hoffman, Nathaniel; Pesce, Angelo; Iwanicki, Michal and Hillaire, Sebastien Real-time rendering Peters 2018 |
print: AKE t 2018:1 1.Ex |
|
Blinn, Jim Jim Blinn's corner: A trip down the graphics pipeline Morgan Kaufmann 1996 |
print: BLI j 1996:1 1.Ex |
|
|
Blinn, Jim Jim Blinn's corner: Dirty pixels Morgan Kaufmann 1998 |
print: BLI j 1998:1 1.Ex |
|
|
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; Bala, Kavita and Bekaert, Philippe Advanced global illumination Peters 2006 |
print: DUT ph 2006:1 1.Ex e-book, ip-range MPI |
|
 |
Encarnacao, Jose Luis; Straßer, Wolfgang and Klein, Reinhard Graphische Datenverarbeitung I: Gerätetechnik, Programmierung und Anwendung graphischer Systeme Oldenbourg 1996 |
print: ENC j 1996:1 1.Ex |
 |
Encarnacao, Jose Luis; Straßer, Wolfgang and Klein, Reinhard Graphische Datenverarbeitung II Oldenbourg 1997 |
print: ENC j 1997:1 1.Ex |
|
Fiume, Eugene The mathematical structure of raster graphics Academic Press 1989 |
print: FIU e 1989:1 1.Ex |
|
|
Foley, James; van Dam, Andries; Feiner, Steven K.; Hughes, John F. and Phillips, Richard L. Grundlagen der Computergraphik: Einführung, Konzepte, Methoden Addison-Wesley 1994 |
print: FOL j 1994:1 1.Ex |
|
 |
Foley, James; van Dam, Andries; Feiner, Steven K. and Hughes, John F. Computer graphics: Principles and practice Addison-Wesley 1996 |
print: FOL j 1996:1 1.Ex |
|
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 |
|
Glassner, Andrew S. Graphics gems Academic Press 1998 |
print: GLA a 1998:1 1.Ex |
|
|
Glassner, Andrew S. An introduction to ray tracing Academic Press 2002 |
print: GLA a 2002:1 1.Ex |
|
 |
Hearn, Donald Computer graphics Prentice Hall 1994 |
print: HEA d 1994:1 1.Ex |
|
Jensen, Henrik Wann Realistic image synthesis using photon mapping Peters 2010 |
print: JEN h 2010:1 1.Ex |
|
|
Joy, Kenneth I.; Grant, Charles W.; Max, Nelson L. and Hatfield, Lansing Tutorial: Computer graphics Image synthesis Computer Society Press 1988 |
print: JOY k 1988:1 1.Ex |
|
 |
Kessenich, John and Sellers, Graham Vulkan programming guide: The official guide to learning Vulkan Addison Wesley 2016 |
print: KES j 2016:2 1.Ex e-book, ip-range MPI |
|
Kilgour, Alistair and Earnshaw, Rae Graphics tools for software engineers Cambridge University Press 1989 |
print: KIL a 1989:1 1.Ex |
|
 |
Pavlidis, Theo Algorithmen zur Grafik und Bildverarbeitung Heise 1990 |
print: PAV th 1990:1 1.Ex |
|
Peitgen, H.-O. and Richter, P. H. The beauty of fractals Springer 1986 |
print: PEI h 1986:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
 |
Pixar The RenderMan interface, V3.1 Pixar 1995 |
print: PIX a 1995:1 1.Ex |
|
Rogers, D. F. Procedural elements for computer graphics WCB/McGraw Hill 1998 |
print: ROG d 1998:1 1.Ex |
|
|
Slusallek, Philipp Vision: An architecture for physically-based rendering Inst. für Math. Maschinen und Datenverarbeitung 1996 |
print: SLU ph 1996:1 1.Ex |
|
Watt, Alan H. and Watt, Mark Advanced animation and rendering techniques: Theory and practice ACM 1992 |
print: WAT a 1992:1 1.Ex |
|
 |
Bauschke, Heinz and Combettes, Patrick L. Convex analysis and monotone operator theory in Hilbert spaces Springer 2017 |
print: BAU h11 2017:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Bertsekas, Dimitri P.; Nedić, Angelia and Ozdaglar, Asuman E. Convex analysis and optimization Athena Scientific 2003 |
print: BER d 2003:2 1.Ex |
 |
Boyd, Stephen and Vandenberghe, Lieven Convex optimization Cambridge 2004 |
print: BOY st 2004:1 1.Ex |
 |
Nesterov, Yurii Introductory lectures on convex optimization: A basic course Springer 2004 |
print: NESt y 2004:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Rockafellar, Ralph Tyrrell Convex analysis Princeton 1970 |
print: ROCk r 1970:1 1.Ex e-book, ip-range UdS (1997) |
|
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 |
|
Goldreich, Oded Foundations of cryptography II: Basic applications Cambridge 2004 |
print: GOL o 2004:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Goldreich, Oded Foundations of cryptography I: Basic tools Cambridge 2006 |
print: GOL o 2006:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Harchol-Balter, Mor Introduction to probability for computing Cambridge 2024 |
print: HAR m7 2024:1 1.Ex |
 |
Hoffstein, Jeffrey; Pipher, Jill and Silverman, Joseph H. An introduction to mathematical cryptography Springer 2014 |
print: HOF j5 2014:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Katz, Jonathan and Lindel, Yehuda Introduction to modern cryptography CRC Press 2021 |
print: KAT j 2021:1 1.Ex e-book, ip-range UdS (2014) |
 |
Koblitz, Neal A course in number theory and cryptography Springer 1994 |
print: GTM 114,2 e-book, ip-range MPI e-book, ip-range UdS |
 |
Koblitz, Neal Algebraic aspects of cryptography Springer 1999 |
print: KOB n 1999:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Kraft, James and Washington, Lawrence An introduction to number theory with cryptography CRC Pr. 2018 |
print: KRA j9 2018:1 1.Ex e-book, ip-range UdS |
 |
Lang, Serge Undergraduate algebra Springer 2005 |
print: LAN s 2005:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Menezes, Alfred J.; Oorschot, Paul C. van and Vanstone, Scott A. Handbook of applied cryptography CRC Pr. 1997 |
print: MEN a 1997:1 1.Ex 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 |
 |
Shoup, Victor A computational introduction to number theory and algebra Cambridge 2009 |
print: ShOU v 2009:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Singh, Simon The code book: The science of secrecy from ancient Egypt to quantum cryptography Anchor Books 1999 |
print: SIN s4 1999:1 1.Ex |
 |
Smart, Nigel Cryptography made simple Springer 2016 |
print: SMA n 2016:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Wallis, Walter and George, John Introduction to combinatorics CRC Press 2017 |
print: WAL w4 2017:1 1.Ex e-book, ip-range UdS |
|
Alur, Rajeev Principles of cyber-physical systems MIT Press 2015 |
print: ALU r 2015:1 1.Ex e-book, ip-range UdS |
|
|
Åström, Karl J. and Murray, Richard M. Feedback systems: An introduction for scientists and engineers Princeton University Press 2021 |
print: AStR k2 2021:1 1.Ex e-book, no ip restriction |
|
Mitra, Sayan Verifying cyber-physical systems: A path to safe autonomy MIT Press 2021 |
print: MIT s2 2021:1 1.Ex |
|
Beaulieu, Alan Learning SQL O'Reilly 2009 |
print: BEA a 2009:1 1.Ex e-book, ip-range MPI |
|
|
Date, Chris J. An introduction to database systems Addison-Wesley 2006 |
print: DAT ch 2006:1 1.Ex |
|
|
Elmasri, Ramez and Navathe, Sham Fundamentals of database systems: Models, languages, design and application programming Pearson 2017 |
print: ELM r 2017:1 1.Ex |
|
|
Garcia-Molina, Hector; Ullman, Jeffrey D. and Widom, Jennifer Database systems: The complete book Prentice Hall International 2009 |
print: GAR h3 2009:1 1.Ex |
|
|
Kemper, Alfons and Eickler, Andre Datenbanksysteme: Eine Einführung Oldenbourg 2015 |
print: KEM a 2015:1 1.Ex |
|
|
Lehner, Wolfgang Datenbanktechnologie für Data-Warehouse-Systeme DPunkt 2003 |
print: LEH w 2003:1 1.Ex |
|
 |
Lightstone, Sam Physical database design: The database professional's guide to exploiting indexes, views, storage, and more Morgan Kaufmann 2007 |
print: LIG s 2007:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Loney, Kevin Oracle database 11G: The complete reference Oracle Press 2009 |
print: LON k 2009:1 1.Ex e-book, ip-range MPI |
|
|
Miner, Donald MapReduce design patterns O'Reilly Media 2013 |
print: MIN d 2013:1 1.Ex e-book, ip-range MPI |
|
|
Özsu, Tamer M. and Valduriez, Patrick Principles of distributed database systems Prentice Hall 2011 |
print: ÖZS t 2011:1 1.Ex e-book, ip-range MPI |
|
|
Patterson, David A. and Hennessy, John L. Computer organization and design Morgan Kaufmann 2012 |
print: PAT d 2012:1 1.Ex e-book, ip-range MPI (1994) e-book, ip-range UdS (2007) |
|
|
Plattner, Hasso and Zeier, Alexander In-memory data management: Technology and applications Springer 2012 |
print: PLA h2 2012:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
PostgreSQL Global Development Group PostgreSQL 9.0: The SQL language - Volume 1 Fultus Books 2011 |
print: POSt s 2011:1 1.Ex |
|
|
Ramakrishnan, R. and Gehrke, Johannes Database management systems McGraw Hill 2003 |
print: RAM r 2003:1 1.Ex |
|
|
Saake, Gunter; Sattler, Kai-Uwe and Heuer, Andreas Datenbanken: Konzepte und Sprachen mitp 2013 |
print: SAA g 2013:1 1.Ex e-book, ip-range MPI (2018) |
|
|
Takahashi, Mana and Azuma, Shoko The manga guide to databases No Starch Press 2009 |
print: TAK m2 2009:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Weikum, Gerhard and Vossen, Gottfried Transactional information systems: Theory, algorithms, and the practice of concurrency control and recovery Morgan Kaufmann 2002 |
print: WEI g 2002:1 1.Ex e-book, ip-range MPI |
|
|
White Tom Hadoop: The definitive guide O'Reilly 2012 |
print: WHI t2 2012:1 1.Ex e-book, ip-range MPI (2015) |
|
|
Witten, Ian H.; Moffat, Alistair and Bell, Timothy C. Managing gigabytes Morgan Kaufmann 2010 |
print: WIT i 2010:1 1.Ex |
Course Homepage: Digital Transmission, Signal Processing (Telecommunications 1)
Course Homepage: Audio-Visual Communication and Networks (Telecommunications 2)
 |
Bossert, Martin Kanalcodierung Oldenbourg 2013 |
print: BOS m2 2013:1 1.Ex e-book, ip-range UdS |
 |
Dahlman, Erik 5G NR: The next generation wireless access technology Academic Press 2021 |
print: DAH e 2021:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Friedrichs, Bernd Kanalcodierung: Grundlagen und Anwendungen in modernen Kommunikationssystemen Springer 1996 |
print: FRI b2 1996:1 1.Ex e-book, ip-range MPI |
|
 |
Gast, Matthew S. 802.11ac: A survival guide O'Reilly Media, Inc. 2013 |
print: GASt m 2013:1 1.Ex e-book, ip-range MPI e-book, no ip restriction |
 |
Göbel, Jürgen Kommunikationstechnik Hüthig 1999 |
print: GÖB j 1999:1 1.Ex |
|
Haykin, Simon and Moher, Michael Modern wireless communication Prentice Hall 2005 |
print: HAY s2 2005:1 1.Ex |
|
|
Huber, Johannes Trelliscodierung Springer 1992 |
print: HUB j 1992:1 1.Ex e-book, ip-range MPI |
|
 |
Kammeyer, Karl-Dirk and Dekorsy, Armin Nachrichtenübertragung Springer 2018 |
print: KAM k 2018:1 1.Ex e-book, ip-range MPI (2004) |
 |
Ohm, Jens-Rainer and Lüke, Hans Dieter Signalübertragung Springer 2014 |
print: OHM j 2014:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Oppenheim, Alan and Willsky, Alan Signals and systems Prentice Hall 1997 |
print: OPP a 1997:1 1.Ex |
|
|
Oppenheim, Alan and Schafer, Roland Discrete-time signal processing Pearson 2014 |
print: OPP a 2014:1 1.Ex |
|
|
Papoulis, Athanasios and Pillai, S. Unnikrishna Probability, random variables and stochastic processes McGraw-Hill 2002 |
print: PAP a 2002:1 1.Ex |
|
|
Peterson, William Wesley and Weldon, Edward J. Error-correcting codes MIT Press 1972 |
print: PET w 1972:1 1.Ex |
|
|
Proakis, John G. Communication systems engineering Prentice Hall 2002 |
print: PRO j2 2002:1 1.Ex |
|
|
Proakis, John G. Digital communications McGraw-Hill 2008 |
print: PRO j2 2008:1 1.Ex |
|
 |
Proakis, John G. Fundamentals of communication systems Pearson 2014 |
print: PRO j2 2014:1 1.Ex e-book, ip-range UdS (one simultaneous user) |
|
Reimers, Ulrich DVB: The family of international standards for digital video broadcasting Springer 2005 |
print: REI u2 2005:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Rohling, Hermann Einführung in die Informations- und Codierungstheorie Teubner 1995 |
print: ROH h2 1995:1 1.Ex e-book, ip-range MPI |
|
 |
Shannon, Claude E. and Weaver, Warren Mathematische Grundlagen der Informationstheorie Oldenburg 1976 |
print: ShAN c 1976:1 1.Ex |
|
Shannon, Claude E. and Weaver, Warren The mathematical theory of communication Oldenburg 1998 |
print: ShAN c 1998:1 1.Ex |
|
|
Stallings, William Wireless communications and networks Prentice Hall 2005 |
print: StAL w 2005:1 1.Ex |
|
Ahuja, Ravindra K.; Magnanti, Thomas L. and Orlin, James B. Network flows: Theory, algorithms, and applications Prentice Hall 1993 |
print: AHU r 1993:1 1.Ex |
|
Antoniou, Andreas and Lu, Wu-Sheng Practical optimization: Algorithms and engineering applications Springer 2007 |
print: ANT a2 2007:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Beasley, J. E. Advances in linear and integer programming Oxford University Press 1996 |
print: BEA j 1996:1 1.Ex |
|
|
Beisel, Ernst-Peter and Mendel, Manfred Optimierungsmethoden des Operations Research Band 1: Lineare und ganzzahlige lineare Optimierung Vieweg 1987 |
print: BEI e2 1987:1 1.Ex e-book, ip-range MPI |
|
|
Bertsimas, D. and Tsitsiklis, J. N. Introduction to linear optimization Athena Scientific 1997 |
print: BER d4 1997:1 1.Ex |
 |
Chvatal, Vasek Linear programming Freeman 1983 |
print: ChVA v 1983:1 1.Ex |
|
Cook, William J.; Cunningham, William H.; Pulleyblank, William R. and Schrijver, Alexander Combinatorial optimization Wiley 1998 |
print: COO w 1998:1 1.Ex e-book, ip-range UdS |
|
|
Dantzig, George B. Linear programming Volume 1: Introduction Springer 1997 |
print: DAN g2 1997:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
 |
Dantzig, George Bernard Linear programming and extensions Princeton Univ. Press 1998 |
print: DAN g2 1998:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Garey, Michael R. and Johnson, David S. Computers and intractability: A guide to the theory of NP-completeness Freemann And Company 1979 |
print: GAR m2 1979:1 1.Ex |
|
|
Korte, Bernhard and Vygen, Jens Combinatorial optimization Springer 2008 |
print: AAC 21 4 e-book, ip-range MPI (2018) e-book, ip-range UdS (2018) |
|
|
Lenstra, Jan Karel; Rinnooy Kan, Alexander H. G. and Schrijver, Alexander History of mathematical programming: A collection of personal reminiscences North-Holland 1991 |
print: LEN j2 1991:1 1.Ex |
|
|
Lovasz, L. and Plummer, M. D. Matching theory North-Holland 1986 |
print: AODM 29 e-book, ip-range MPI e-book, ip-range UdS |
|
|
Murty, Katta G. Operations research: Deterministic optimization models Prentice Hall 1995 |
print: MUR k 1995:1 1.Ex |
|
|
Nemhauser, George L. and Wolsey, Laurence A. Integer and combinatorial optimization Wiley 1988 |
print: NEM g 1988:1 1.Ex e-book, ip-range UdS |
|
|
Padberg, Manfred Linear optimization and extensions Springer 1999 |
print: AAC 12 2 e-book, ip-range MPI e-book, ip-range UdS |
|
|
Papadimitriou, Christos H. and Steiglitz, Kenneth Combinatorial optimization: Algorithms and complexity Prentice Hall 1982 |
print: PAP ch 1982:1 1.Ex e-book, ip-range UdS (1998) |
|
|
Schrijver, Alexander Theory of linear and integer programming Wiley 1999 |
print: SchRI a 1999:1 1.Ex |
|
|
Sierksma, G. Linear and integer programming: Theory and practice Marcel Dekker 1996 |
print: PAAM 198 |
|
|
Vazirani, V. Approximation algorithms Springer 2003 |
print: VAZ v 2003:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Wolsey, Laurence A. Integer programming Wiley 1998 |
print: WOL l 1998:1 1.Ex |
|
Coulouris, George; Dollimore, Jean and Jindberg, Tim Distributed systems Pearson 2012 |
print: COU g 2012:1 1.Ex |
|
 |
Steen van, Maarten and Tanenbaum, Andrew S. Distributed systems Prentice Hall 2017 |
print: StEE m 2017:1 1.Ex e-book, no ip restriction (3rd ed.) |
 |
Butz, Andreas; Krüger, Antonio and Völkel, Sarah Theres Mensch-Maschine-Interaktion De Gruyter 2022 |
print: BUT a2 2022:1 1.Ex e-book, ip-range UdS |
|
Dix, Alan J. Human-computer interaction Pearson 2004 |
print: DIX a 2004:1 1.Ex |
|
|
Hornbæk, Kasper; Kristensson, Per Ola and Oulasvirta, Antti Introduction to human-computer interaction Oxford University Press 2025 |
print: HOR k2 2025:1 1.Ex e-book, no ip restriction |
|
Preim, Bernhard and Dachselt, Raimund Interaktive Systeme Band 1: Grundlagen, Graphical User Interfaces, Informationsvisualisierung Springer 2010 |
print: PRE b2 2010:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Preim, Bernhard and Dachselt, Raimund Interaktive Systeme Band 2: User Interface Engineering, 3D-Interaktion, Natural User Interfaces Springer-Vieweg 2015 |
print: PRE b2 2015:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
 |
Rogers, Yvonne; Preece, Jenny and Sharp, Helen Interaction design Wiley 2023 |
print: ROG y 2023:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS (2019) |
|
Shneiderman, Ben and Plaisant, Catherine Designing the user interface: Strategies for effective human-computer interaction Addison-Wesley 2010 |
print: ShNE b 2010:1 1.Ex |
|
Agoston, Max K. Computer graphics and geometric modelling Springer 2005 |
print: AGO m 2005:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Bäni, Werner Wavelets: Eine Einführung für Ingenieure Oldenbourg 2002 |
print: BÄN w 2002:1 1.Ex e-book, ip-range (2005) |
|
|
Bigun, Josef Vision with direction Springer 2006 |
print: BIG j 2006:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Faugeras, Olivier Three-dimensional computer vision MIT Press 1996 |
print: FAU o 1996:1 1.Ex |
|
|
Faugeras, O.; Luong, Q.-T. and Papadopoulo, T. The geometry of multiple images: The laws that govern the formation of multiple images of a scene and some of their applications MIT Press 2001 |
print: FAU o 2001:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
 |
Gonzalez, Rafael C. and Woods, Richard E. Digital image processing Pearson 2018 |
print: GON r 2018:1 1.Ex e-book, ip-range UdS |
 |
Handels, Heinz Medizinische Bildverarbeitung Vieweg + Teubner 2009 |
print: HAN h2 2009:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Hartley, Richard and Zisserman, Andrew Multiple view geometry in computer vision Cambridge 2003 |
print: HAR r2 2003:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Horn, B. K. P. Robot vision MIT Press 2001 |
print: HOR b2 2001:1 1.Ex |
|
|
Jain, Ramesh; Kasturi, Rangachar and Schunck, Brian G. Machine vision McGraw Hill 1995 |
print: JAI r2 1995:1 1.Ex |
|
|
Klette, R.; Schlüns, K. and Koschan, A. Computer vision: Three-dimensional data from images Springer 1998 |
print: KLE r3 1998:1 1.Ex |
|
|
Klette, R. Concise computer vision Springer 2014 |
print: KLE r3 2014:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Ma, Y.; Soatto, S.; Kosecka, J. and Sastry, S.S. An invitation to 3-D vision Springer 2004 |
print: MA y 2004:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Mallat, Stephane A wavelet tour of signal processing Academic Press 1999 |
print: MAL st 1999:1 1.Ex e-book, ip-range UdS |
|
 |
Marr, David Vision: A computational investigation into the human representation and processing of visual information W.H. Freeman & Company 1982 |
print: MAR d 1982:1 1.Ex e-book, ip-range MPI (2010) e-book, ip-range UdS (2010) |
|
Parker, James R. Algorithms for image processing and computer vision Wiley 1996 |
print: PAR j 1996:1 1.Ex e-book, ip-range UdS (2011) |
|
|
Petrou, Maria and Bosdogianni, Panagiota Image processing: The fundamentals Wiley 1999 |
print: PET m2 1999:1 1.Ex e-book, ip-range UdS (2010) |
|
|
Soille, Pierre Morphological image analysis: Principles and applications Springer 2003 |
print: SOI p 2003:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Sommer, Gerald Geometric computing with Clifford algebras Springer 2001 |
print: SOM g 2001:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Sonka, Milan; Hlavac, Vaclav and Boyle, Roger Image processing: Analysis and machine vision O'Reilly 1999 |
print: SON m 1999:1 1.Ex e-book, ip-range MPI (1993) |
|
|
Strang, Gilbert and Nguyen, Truong Wavelets and filter banks Wellesley 1997 |
print: StRA g 1997: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 |
|
Tönnies, Klaus D. Grundlagen der Bildverarbeitung Pearson 2005 |
print: TÖN k 2005:1 1.Ex |
|
|
Trucco, Emanuele and Verri, Alessandro Introductory techniques for 3-D computer vision Prentice Hall 1998 |
print: TRU e 1998:1 1.Ex |
|
|
||
|
Andrews, Peter B. An introduction to mathematical logic and type theory: To truth through proof Kluwer Academic Publishers 2002 |
print: AND p 2002:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Baader, Franz and Nipkow, Tobias Term rewriting and all that Cambridge University Press 1999 |
print: BAA f 1999:1 1.Ex e-book, ip-range UdS |
|
|
Bertot, Yves and Casteran, Pierre Interactive theorem proving and program development Springer 2004 |
print: BER y 2004:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Forster, Thomas Logic, induction and sets Cambridge Univ. Press 2003 |
print: FOR th 2003:1 1.Ex e-book, ip-range UdS |
|
|
Girard, Jean-Yves Proof and types Cambridge University Press 1993 |
print: GIR j 1993:1 1.Ex e-book, no ip restriction |
|
|
Hindley, James Roger and Seldin Jonathan P. Lambda-calculus and combinators Cambridge University Press 2008 |
print: HIN j 2008:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
 |
Institute for advanced study Homotopy type theory Princeton, NJ 2013 |
print: UFM n 2013:1 1.Ex |
|
Luo, Zhaohui Computation and reasoning: A type theory for computer science Oxford University Press 2002 |
print: LUO z 2002:1 1.Ex |
|
|
Per, Martin-Löf Intuitionistic type theory Bibliopolis 1984 |
e-book, no ip restriction |
|
Prawitz, Dag Natural deduction: A proof-theoretical study Dover Publications 2006 |
print: PRA d3 2006:1 1.Ex |
|
|
Robinson, Alan Handbook of automated reasoning - Band 2 Course relevant article: Proof assistants using dependent type systems (p. 1149-1238) by Barendregt, Henk and Geuvers, Herman North Holland 2001 |
print: ROB a2 2001:2 1.Ex e-book, ip-range MPI |
|
|
Sørensen, Morten Heine and Urzyczyn, Pawel Lectures on the Curry-Howard isomorphism Elsevier 2006 |
print: SOR m 2006:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Troelstra, Anne Sjerp and Schwichtenberg, Helmut Basic proof theory Cambridge University Press 2003 |
print: TRO a 2003:1 1.Ex e-book, ip-range UdS |
|
|
Bishop, Christopher M. Pattern recognition and machine learning Springer 2009 |
print: BISh ch 2009:1 1.Ex |
|
 |
Bishop, Christopher M. and Bishop, Hugh Deep learning: Foundations and concepts Springer 2024 |
print: BISh ch 2024:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Boyd, Stephen and Vandenberghe, Lieven Convex optimization Cambridge 2004 |
print: BOY st 2004:1 1.Ex |
|
Devroye, Luc; Györfi, Laszlo and Lugosi, Gabor A probabilistic theory of pattern recognition Springer 1996 |
print: DEV l 1996:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Duda, R.O.; Hart, P.E. and Stork, D.G. Pattern classification Wiley 2010 |
print: DUD r3 2010:1 1.Ex |
|
 |
Goodfellow, Ian Deep learning MIT Press 2016 |
print: GOO i2 2016:1 1.Ex e-book, no ip restriction |
 |
Hastie, Trevor; Tibshirani, Robert and Friedman, Jerome H. namThe elements of statistical learninge Springer 2011 |
print: HASt t 2011:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Jacod, Jean and Protter, Philip E. Probability essentials Springer 2004 |
print: JAC j2 2004:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Schölkopf, Bernhard and Smola, Alexander Johannes Learning with kernels MIT Press 2002 |
print: SchÖL b 2002:1 1.Ex e-book, ip-range UdS |
|
|
Wasserman, Larry All of statistics Springer 2005 |
print: WAS l 2005:1 1.Ex print: Kopiervorlage e-book, ip-range MPI e-book, ip-range UdS |
|
Anderson, Thomas and Dahlin, Michael Operating systems Recursive Books 2014 |
print: AND th 2014:1 1.Ex |
|
 |
Bovet, Daniel Pierre and Cesati, Marco Understanding the LINUX kernel O'Reilly 2006 |
print: BOV d 2006:1 1.Ex e-book, ip-range MPI |
|
Goodheart, Berny and Cox, James The magic garden explained Prentice-Hall 1994 |
print: GOO b 1994:1 1.Ex |
|
|
McKusick, Marshall Kirk; Bostic, Keith; Karels, Michael J. and Quarterman, John S. The design and implementation of the FreeBSD operating system Addison-Wesley 2015 |
print: McKU m 2015:1 1.Ex e-book, ip-range MPI (2004) |
|
|
Silberschatz, Abraham; Galvin, Peter B. and Gagne, Greg naOperating system conceptsme Wiley 2014 |
print: SIL a 2014:1 1.Ex e-book, ip-range MPI (2008) |
|
|
Yosifovich, Pavel; Ionescu, Alex; Russinovich, Mark E; Solomon, David A. Microsoft Windows internals: System architecture, processes, threads, memory management, and more Microsoft Press 2017 |
print: YOS p 2017:1 1.Ex e-book, ip-range MPI (Part 1) |
|
Allievi, Andrea; Ionescu, Alex; Russinovich, Mark E. and Solomon, David A. Microsoft Windows internals: Part 2 Pearson 2020 |
print: ALL a2 2020:1 1.Ex e-book, ip-range MPI (2012) |
|
 |
Anderson, Ross Security engineering: A guide to building dependable distributed systems Wiley 2020 |
print: AND r2 2020:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Bishop, Matt; Sullivan, Elisabeth and Ruppel, Michelle Computer security: Art and science Addison-Wesley 2019 |
print: BISh m 2019:1 1.Ex e-book, ip-range MPI |
 |
Eckert, Claudia IT-Sicherheit De Gruyter 2023 |
print: ECkE c 2023:1 1.Ex e-book, ip-range UdS |
 |
Ferguson, Niels; Schneier, Bruce and Kohno, Tadayoshi Cryptography engineering: Design principles and practical applications Wiley 2010 |
print: FER n 2010:1 1.Ex e-book, ip-range UdS |
|
Ferraiolo, David F.; Kuhn, D. Richard and Chandramouli, Ramaswamy Role-based access control Artech House 2007 |
print: FER d 2007:1 1.Ex e-book, ip-range UdS |
|
|
Katz, Jonathan and Lindel, Yehuda Introduction to modern cryptography CRC Press 2021 |
print: KAT j 2021:1 1.Ex e-book, ip-range UdS (2015) |
|
Schneier, Bruce Secrets and lies Wiley and Sons 2000 |
print: SchNE b 2000:1 1.Ex e-book, ip-range MPI (2015) e-book, ip-range UdS |
|
 |
Schneier, Bruce Applied cryptography Wiley 2015 |
print: SchNE b 2015:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Stallings, William Network security essentials Pearson 2017 |
print: StAL w 2017:1 1.Ex |
 |
Stallings, William and Brown, Lawrie Computer security: Principles and practice Pearson 2018 |
print: StAL w 2018:1 1.Ex e-book, ip-range UdS |
 |
Wong, David Real-world cryptography Manning Publications 2021 |
print: WON d 2021:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Yosifovich, Pavel; Ionescu, Alex; Russinovich, Mark E. and Solomon, David A. Microsoft Windows internals: Part 1 Microsoft Press 2017 |
print: YOS p 2017:1 1.Ex e-book, ip-range MPI |
|
Abadi, Martin and Cardelli, Luca A theory of objects Springer 1996 |
print: ABA m 1996:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Abramsky, Samson; Gabbay, Dov M. and Maibaum, T.S.E Handbook of logic in computer science 4: Semantic modelling Oxford University Press 1995 |
print: ABR s 1995:1 1.Ex e-book, ip-range UdS |
|
|
Apt, Krzysztof R. and Olderog, Ernst-Rüdiger Verification of sequential and concurrent programs Springer 2009 |
print: APT k 2009:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Baader, Franz and Nipkow, Tobias Term rewriting and all that Cambridge University Press 1998 |
print: BAA f 1999:1 1.Ex e-book, ip-range UdS |
|
 |
Barendregt, Hendrik P. The lambda calculus: Its syntax and semantics North-Holland 1985 |
print: BAR h 1985:1 1.Ex e-book, ip-range UdS |
 |
Barendregt, Hendrik P.; Dekkers, Wil and Statman, Rick Lambda calculus with types Cambridge Univ. Press 2011 |
print: BAR h 2011:1 1.Ex e-book, ip-range MPI (2013) e-book, ip-range UdS (2013) |
|
Barr, M. and Wells, C. Category theory for computing science Prentice-Hall 1990 |
print: BAR m 1990:1 1.Ex |
|
|
Bertot, Yves and Casteran, Pierre Interactive theorem proving and program development Springer 2004 |
print: BER y 2004:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Castagna, Guiseppe Object-oriented programming Birkhäuser 1997 |
print: CASt g 1997:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Chandy, K. Mai and Misra, Jayadev Parallel program design Addison-Wesley 1988 |
print: ChAN k 1988:1 1.Ex |
|
|
Crossley, John Newsome What is mathematical logic? Oxford University Press 1990 |
print: CRO j2 1990:1 1.Ex |
|
|
Girard, J.-Y.; Taylor, P. and Lafont, Y. Proofs and types Cambridge University Press 1993 |
print: GIR j 1993:1 1.Ex |
|
|
Gries, David B. The science of programming Springer 1981 |
print: GRI d 1981:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Gunter, Carl A. Semantics of programming languages: Structures and techniques The MIT Press 1992 |
print: GUN c 1992:1 1.Ex |
|
|
Gunter, Carl A. and Mitchell, John C. Theoretical aspects of object-oriented programming The MIT Press 1994 |
print: GUN c 1994:1 1.Ex |
|
 |
Halmos, P.R. Naive set theory Litton Ed. Publ. Inc. 1974 |
print: HAL p 1974:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Hankin, Chris Lambda calculi Clarendon Press 1994 |
print: HAN ch2 1994:1 1.Ex |
|
|
Harper, Robert Practical foundations for programming languages Cambridge Univ. Press 2013 |
print: HAR r5 2013:1 1.Ex e-book, ip-range UdS |
|
|
Hermes, Hans Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen Springer 1971 |
print: HER h 1971:1 1.Ex e-book, ip-range MPI |
|
|
Hindley, James Roger Basic simple type theory Cambridge University Press 1997 |
print: HIN j 1997:1 1.Ex e-book, ip-range MPI |
|
|
Hindley, James Roger and Seldin, Jonathan Lambda calculus and combinators: An introduction London Mathematical Society 2008 |
print: HIN j 2008:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Hoare, C.A.R. Developments in concurrency and communication Addison-Wesley 1990 |
print: HOA ch 1990:1 1.Ex |
|
|
Huet, G. Logical foundations of functional programming Addison-Wesley 1990 |
print: HUE g 1990:1 1.Ex |
|
|
Jones, Neil D. Computability and complexity from a programming perspective The MIT Press 1997 |
print: JON n 1997:1 1.Ex e-book, ip-range MPI |
|
|
Leeuwen, Jan van Formal models and semantics The MIT Press 1990 |
print: LEE j2 1990:2 1.Ex |
|
 |
Loeckx, J. and Sieber, K. The foundations of program verification Wiley 1987 |
print: LOE j 1987:1 1.Ex e-book, ip-range MPI |
|
Milner, Robin A calculus of communicating systems Springer 1980 |
print: LNCS 92 e-book, no ip restriction |
|
|
Milner, Robin; Tofte, Mads; Harper, Robert and MacQueen, David The definition of Standard ML The MIT Press 1997 |
print: MIL r 1997:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Milner, Robin Communication and concurrency Prentice-Hall 2006 |
print: MIL r 2006:1 1.Ex |
|
|
Mitchell, John C. Foundations for programming languages MIT Press 1996 |
print: MIT j 1996:1 1.Ex |
|
 |
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 e-book, ip-range UdS |
 |
Nielson, Hanne Riis and Nielson, Flemming Semantics with applications: An appetizer Springer 2007 |
print: NIE h3 2007:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Milner, Robin and Tofte, Mads Commentary on Standard ML The MIT Press 1991 |
print: P ML 1991:1 1.Ex |
|
Pierce, Benjamin C. Basic category theory for computer scientists MIT Press 1993 |
print: PIE b 1993:1 1.Ex e-book, ip-range MPI (1991) e-book, ip-range UdS (1991) |
|
|
Pierce, Benjamin C. Types and programming languages MIT Press 2002 |
print: PIE b 2002:1 1.Ex e-book, ip-range UdS |
|
|
Pierce, Benjamin C. Advanced topics in types and programming languages MIT Press 2005 |
print: PIE b 2005:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Schmidt, David A. The structure of typed programming languages The MIT Press 1994 |
print: SchMI d2 1994:1 1.Ex |
|
|
Seldin, Jonathan P. and Hindley, Roger To H.B. Curry: Essays on combinatory logic, lambda calculus and formalism Academic Press 1980 |
print: SEL j 1980:1 1.Ex |
|
Sørensen, Morten Heine and Urzyczyn, Pawel Lectures on the curry-howard isomorphism Elsevier 2006 |
print: SOR m 2006:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
 |
Tennent, R.D. Semantics of programming languages Prentice-Hall 1991 |
print: TEN r 1991:1 1.Ex |
|
Winskel, Glynn The formal semantics of programming languages The MIT Press 1997 |
print: WIN g2 1997:1 1.Ex e-book, ip-range UdS (1993) |
 |
Apel, Sven; Batory, Don; Kästner, Christian and Saake, Gunter Feature-oriented software product lines: Concepts and implementation Springer 2013 |
print: APE s 2013:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Czarnecki, Krzysztof Generative programming: Methods, tools, and applications Addison-Wesley 2000 |
print: CZA k 2000:1 1.Ex |
|
Gamma, Erich; Helm, Richard and Johnson, Ralph Design patterns: Elements of reusable object-oriented software Addison-Wesley 2004 |
print: GAM e 2004:1 1.Ex e-book, ip-range MPI (2015, german version) e-book, ip-range UdS (2015, german version) |
|
 |
Meinicke, Jens Mastering software variability with FeatureIDE Springer 2017 |
print: MEI j4 2017:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Pierce, Benjamin C. Types and programming languages MIT Press 2002 |
print: PIE b 2002:1 1.Ex e-book, ip-range UdS |
|
|
Smolka, Gert Programmierung: Eine Einführung in die Informatik mit Standard ML Oldenbourg 2011 |
print: SMO g 2011:1 1.Ex e-book, ip-range UdS |
|
Baier, Christel and Katoen, Joost-Pieter Principles of model checking MIT 2008 |
print: BAI ch 2008:1 1.Ex |
|
|
Clarke, Edmund M.; Grumberg, Orna and Peled, A. Model checking MIT Press 1999 |
print: CLA e 1999:1 1.Ex e-book, ip-range UdS |
|
|
Grädel, Erich; Thomas, Wolfgang and Wilke, Thomas Automata, logics, and infinite games Springer 2002 |
print: LNCS 2500 2.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Huth, Michael and Ryan, Mark Logic in computer science Cambridge 2006 |
print: HUTh m 2006:1 1.Ex |
|
|
Kaminski, Benjamin Lucien Advanced weakest precondition calculi for probabilistic programs RWTH Aachen 2019 |
e-book, no ip restriction |