Informatics basic courses
Vorlesungen Informatik Bachelor
 |
Andree, Martin Big Tech muss weg! Campus 2023 |
print: REF 23 58 1.Ex |
|
Caspar, Johannes Wir Datensklaven: Wege aus der digitalen Ausbeutung Econ 2023 |
print: REF 23 60 1.Ex |
|
Conger, Kate and Mac, Ryan Elon Musk und die Zerstörung von Twitter: Die Inside-Story Rowohlt 2024 |
print: REF 23 56 1.Ex |
 |
Dittrich, Jens Patterns in data management: A flipped textbook 2016 |
print: DIT j2 2016:1 1.Ex |
|
Elmasri, Ramez and Navathe, Sham Fundamentals of database systems: Models, languages, design and application programming Pearson Studium 2017 |
print: ELM r 2017:1 1.Ex |
|
 |
Eschbach, Andreas NSA - Nationales Sicherheits-Amt: Roman Bastei Lübbe 2018 |
print: BELLET. E 2 |
|
Fowler, Martin NoSQL distilled Addison-Wesley 2013 |
print: FOW m 2013:1 1.Ex e-book, ip-range MPI |
|
|
Hillenbrand, Tom Drohnenland Kiepenheuer & Witsch 2015 |
print: BELLET. H 11 |
|
|
Karwin, Bill SQL antipatterns: Avoiding the pitfalls of database programming Pragmatic Bookshelf 2012 |
print: KAR b 2012:1 1.Ex e-book, ip-range MPI (2022) |
|
|
Kemper, Alfons and Wimmer, Martin Übungsbuch Datenbanksysteme Oldenbourg 2011 |
print: KEM a 2012:1 1.Ex |
|
|
Kemper, Alfons and Eickler, André Datenbanksysteme: Eine Einführung De Gruyter 2015 |
print: KEM a 2015:1 1.Ex |
|
|
Kling, Marc-Uwe QualityLand Ullstein 2019 |
print: BELLET. K 35 |
|
Kling, Marc-Uwe QualityLand 2.0 Ullstein 2020 |
print: BELLET. K 36 |
|
Kling, Marc-Uwe QualityLand (english version) Orion 2021 |
print: BELLET. K 38 |
|
Kling, Marc-Uwe Views Ullstein 2024 |
print: BELLET. K 37 |
 |
Liu, Ling and Özsu, M. Tamer Encyclopedia of database systems: Band 1 Springer 2009 |
print: REF 2-I 25,1 1.Ex e-book, ip-range MPI (2018) e-book, ip-range UdS |
|
Liu, Ling and Özsu, M. Tamer Encyclopedia of database systems: Band 2 Springer 2009 |
print: REF 2-I 25,2 1.Ex e-book, ip-range MPI (2018) e-book, ip-range UdS |
|
Liu, Ling and Özsu, M. Tamer Encyclopedia of database systems: Band 3 Springer 2009 |
print: REF 2-I 25,3 1.Ex e-book, ip-range MPI (2018) e-book, ip-range UdS |
|
Liu, Ling and Özsu, M. Tamer Encyclopedia of database systems: Band 4 Springer 2009 |
print: REF 2-I 25,4 1.Ex e-book, ip-range MPI (2018) e-book, ip-range UdS |
|
Liu, Ling and Özsu, M. Tamer Encyclopedia of database systems: Band 5 Springer 2009 |
print: REF 2-I 25,5 1.Ex e-book, ip-range MPI (2018) e-book, ip-range UdS |
 |
Perkins, Luc; Redmond, Eric and Wilson, Jim R. Seven databases in seven weeks Pragmatic Bookshelf 2018 |
print: PER l2 2018:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Simon, Leena Digitale Mündigkeit: Wie wir mit einer neuen Haltung die Welt retten können Art d'Ameublement 2024 |
print: REF 23 59 1.Ex |
|
|
Snowden, Edward J. Permanent record: Meine Geschichte Fischer 2020 |
print: REF 18 148 1.Ex |
|
|
Staschen, Björn In der Social-Media-Falle: Wie wir unsere digitale Freiheit retten können Hirzel 2023 |
print: REF 23 57 1.Ex e-book, ip-range UdS |
 |
Takahashi, Mana and Azuma, Shoko Informatik-Manga Datenbanken Vieweg + Teubner 2010 |
print: TAK m2 2010:1 1.Ex e-book, ip-range MPI (english version) e-book, ip-range UdS (english version) |
 |
Winand, Markus SQL performance explained 2012 |
print: WIN m2 2012:2 1.Ex |
 |
Zhao, Alice SQL kurz & gut O'Reilly 2022 |
print: ZHA a2 2022:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Ertel Wolfgang Grundkurs Künstliche Intelligenz: Eine praxisorientierte Einführung Springer 2025 |
print: ERT w 2025: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 Computer security: Principles and practice Pearson 2018 |
print: StAL w 2018:1 1.Ex e-book, ip-range UdS |
|
Tanenbaum, Andrew S. Computer networks Pearson 2011 |
print: TAN a 2011:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS (2014, International edition) |
|
Stallings, William Network security essentials Pearson 2016 |
print: StAL w 2017:1 1.Ex |
|
Tanenbaum, Andrew S. Computer networks Pearson 2011 |
print: TAN a 2011:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS (2014, International edition) |
|
Böhringer, Joachim; Bühler, Peter and Schlaich, Patrick Kompendium der Mediengestaltung Digital und Print: Produktion und Technik für Digital- und Printmedien Springer 2008 |
print: BÖH j3 2008:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Böhringer, Joachim; Bühler, Peter and Schlaich, Patrick Kompendium der Mediengestaltung Digital und Print: Konzeption und Gestaltung für Digital- und Printmedien Springer 2008 |
print: BÖH j3 2008:2 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
 |
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 |
|
Dahm, Markus Grundlagen der Mensch-Computer-Interaktion Pearson Studium 2006 |
print: DAH m 2006:1 2.Ex |
|
|
Henning, Peter A. Taschenbuch Multimedia Hanser 2007 |
print: HEN p5 2007:1 3.Ex e-book, ip-range UdS |
|
|
Heyna, Arne; Briede, Marc and Schmidt, Ulrich Datenformate im Medienbereich Fachbuchverlag Leipzig 2003 |
print: HEY a2 2003:1 2.Ex |
|
|
Holzinger, Andreas Basiswissen Multimedia Band 1: Technik Vogel 2001 |
print: HOL a2 2001:1 1.Ex |
|
 |
Holzinger, Andreas Basiswissen Multimedia Band 3: Design Vogel 2002 |
print: HOL a2 2002:1 1.Ex |
|
Malaka, Rainer; Butz, Andreas and Hußigmann, Heinrich Medieninformatik: Eine Einführung Pearson Studium 2009 |
print: MAL r 2009:1 2.Ex e-book, ip-range UdS |
|
 |
Meffert, Beate and Hochmuth, Olaf Werkzeuge der Signalverarbeitung: Grundlagen, Anwendungsbeispiele, Übungsaufgaben Pearson Studium 2004 |
print: MEF b 2004:1 2.Ex |
|
Raffaseder, Hannes Audiodesign Hanser 2010 |
print: RAF h 2010:1 1.Ex e-book, ip-range UdS |
|
Hopcroft, John E.; Motwani, Rajeev and Ullman, Jeffrey D. Einführung in die Automatentheorie, formale Sprachen und Komplexitätstheorie Pearson Studium 2006 |
print: HOP j 2006:1 1.Ex |
|
|
Hopcroft, John E.; Motwani, Rajeev and Ullman, Jeffrey D. Introduction to automata theory, languages, and computation Pearson, Addison-Wesley 2007 |
print: HOP j 2007:1 1.Ex e-book, ip-range UdS (2013) |
|
|
Kozen, Dexter C. Automata and computability Springer 1999 |
print: KOZ d 1999:1 1.Ex e-book, ip-range MPI (1997) e-book, ip-range UdS (1997) |
|
|
Lewis, Harry R. and Papadimitriou, Christos H. Elements of the theory of computation Prentice Hall 1998 |
print: LEW h 1998:1 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 |
 |
Cormen, Thomas H.; Leiserson, Charles E.; Rivest, Ronald and Stein, Clifford Algorithmen: Eine Einführung Oldenbourg 2013 |
print: COR th 2013:1 1.Ex e-book, ip-range UdS |
|
Dasgupta, Sanjoy; Papdimitriou, Christos; Vazirani, Umesh Algorithms McGraw Hill 2008 |
print: DAS s3 2008:1 1.Ex e-book, no ip restriction (Chapter 7) |
|
|
Dietzfelbinger, Martin; Mehlhorn, Kurt and Sanders, Peter Algorithmen und Datenstrukturen: Die Grundwerkzeuge Springer 2014 |
print: DIE m2 2014:1 2.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Kleinberg, Jon and Tardos, Eva Algorithm design Addison-Wesley 2006 |
print: KLE j 2006:1 1.Ex |
|
|
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 |
|
 |
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 |
 |
Schöning, Uwe Algorithmik Spektrum Akad. Verl. 2011 |
print: SchÖN u 2011:1 1.Ex |
|
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 |
 |
Evans, Brian Beginning Arduino programming Springer 2011 |
print: EVA b2 2011:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Krumm, John Ubiquitous computing fundamentals Chapman & Hall/CRC Press 2009 |
print: KRU j 2009:1 1.Ex |
 |
Noble, Joshua J. Programming interactivity O'Reilly 2009 |
print: NOB j 2009:1 1.Ex e-book, ip-range MPI (2012) |
 |
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) |
 |
Scherz, Paul Practical electronics for inventors McGraw-Hill 2016 |
print: SChER p5 2016:1 1.Ex e-book, ip-range MPI |
Course Homepage: Mathematics for Computer Scientists 1
Course Homepage: Mathematics for Computer Scientists 2
Course Homepage: Mathematics for Computer Scientists 3
 |
Courant, Richard and John, Fritz Introduction to calculus and analysis I Springer 1999 |
print: COU r 1999:1 2.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Courant, Richard and John, Fritz Introduction to calculus and analysis II/1 Springer 2000 |
print: COU r 2000:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Erciyeş, Kayhan Discrete mathematics and graph theory Springer 2021 |
print: ERC k 2021:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Hartmann, Peter Mathematics for computer scientists: A practice-oriented approach Springer 2023 |
print: HAR p2 2023:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Howie, John M. Real analysis Springer 2001 |
print: HOW j 2001:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Jänich, Klaus Linear algebra Springer 1994 |
print: JÄN k 1994:1 2.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Spivak, Michael Calculus Publish or Perish 2008 |
print: SpIV m 2008:1 1.Ex |
|
Strang, Gilbert Introduction to linear algebra Wellesley 2023 |
print: StRA g 2023:1 1.Ex |
|
 |
Williams, David Weighing the odds: A course in probability and statistics Cambridge 2004 |
print: WIL d4 2004:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
Course Homepage: Mathematik für Informatiker*innen 1
Course Homepage: Mathematik für Informatiker*innen 2
Course Homepage: Mathematik für Informatiker*innen 3
 |
Ansorge, Rainer; Oberle, Hans Joachim; Rothe, K. and Sonar, Th. Mathematik für Ingenieure 1 Wiley 2010 |
print: ANS r 2010:1 1.Ex |
|
Ansorge, Rainer; Oberle, Hans Joachim; Rothe, K. and Sonar, Th. Mathematik für Ingenieure 2 Wiley 2011 |
print: ANS r 2011:1 1.Ex |
|
|
Anton, Howard Lineare Algebra: Einführung, Grundlagen, übungen Spektrum 1998 |
print: ANT h 1998:1 1.Ex |
|
 |
Blatter, Christian Analysis 3 Springer 1981 |
print: BLA ch2 1981:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Blatter, Christian Analysis 1 Springer 1991 |
print: BLA ch2 1991:1 1.Ex e-book, ip-range MPI (1977) e-book, ip-range UdS (1977) |
 |
Blatter, Christian Analysis 2 Springer 1992 |
print: BLA ch2 1992:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Courant, Richard and John, Fritz Introduction to calculus and analysis I Springer 1999 |
print: COU r 1999:1 2.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Courant, Richard and John, Fritz Introduction to calculus and analysis II/1 Springer 2000 |
print: COU r 2000:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Dümbgen, Lutz Stochastik für Informatiker Springer 2003 |
print: DÜM l 2003:1 1.Ex e-book, ip-range MPI |
|
 |
Fischer, Gerd Lineare Algebra Springer 2014 |
print: FISch g 2014:1 1.Ex e-book, ip-range MPI (2025) e-book, ip-range UdS (2025) |
 |
Forster, Otto Analysis 1: Differential- und Integralrechnung einer Veränderlichen Springer 2013 |
print: FOR o 2013:1 1.Ex e-book, ip-range MPI (2023) e-book, ip-range UdS (2023) |
 |
Forster, Otto Analysis 2: Differentialrechnung im IRn, gewöhnliche Differentialgleichungen Springer 2017 |
print: FOR o 2017:3 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Georgii, Hans-Otto Stochastik: Einführung in die Wahrscheinlichkeitstheorie und Statistik De Gruyter 2004 |
print: GEO h 2004:1 1.Ex e-book, ip-range MPI (2009) e-book, ip-range UdS (2009) |
 |
Georgii, Hans-Otto Stochastics: Introduction to probability and statistics De Gruyter 2013 |
print: GEO h 2013:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Hachenberger, Dirk Mathematik für Informatiker Pearson 2005 |
print: HACh d 2005:1 1.Ex |
 |
Hartmann, Peter Mathematik für Informatiker: Ein praxisbezogenes Lehrbuch Vieweg 2019 |
print: HAR p2 2019:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Hartmann, Peter Mathematics for computer scientists: A practice-oriented approach Springer 2023 |
print: HAR p2 2023:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Henze, Norbert Stochastik für Einsteiger Springer 2018 |
print: HEN n 2018:1 1.Ex e-book, ip-range MPI (2023) e-book, ip-range UdS (2023) |
 |
Heuser, Harro Lehrbuch der Analysis: Teil 2 Vieweg + Teubner 2008 |
print: HEU h 2008:1 1.Ex e-book, ip-range MPI (2002) e-book, ip-range UdS (2004) |
|
Heuser, Harro Lehrbuch der Analysis: Teil 1 Vieweg + Teubner 2009 |
print: HEU h 2009:1 1.Ex e-book, ip-range MPI (2003) e-book, ip-range UdS (2003) |
|
Krengel, Ulrich Einführung in die Wahrscheinlichkeitstheorie und Statistik Vieweg 2005 |
print: KRE u 2005:1 2.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
 |
Struckmann, Werner und Wätjen, Dietmar Mathematik für Informatiker Springer 2016 |
print: StRU w 2016:1 2.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Teschl, Gerald and Teschl, Susanne Mathematik für Informatiker Band 1: Diskrete Mathematik und Lineare Algebra Springer 2013 |
print: TESch g 2013:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Teschl, Gerald and Teschl, Susanne Mathematik für Informatiker Band 2: Analysis und Statistik Springer 2014 |
print: TESch g 2014:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Williams, David Weighing the odds: A course in probability and statistics Cambridge 2004 |
print: WIL d4 2004:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Wolff, Manfred and Hauck, Peter Mathematik für Informatik und BioInformatik Springer 2004 |
print: WOL m3 2004:1 1.Ex e-book, ip-range MPI |
|
Aceto, Luca; Ingolfsdottir, Anna; Larsen, Kim Guldstrand and Srba, Jiri Reactive systems: Modelling, specification and verification Cambridge University Press 2007 |
print: ACE l 2007:1 1.Ex e-book, ip-range UdS |
|
|
Andrews, Gregory R. Concurrent programming: Principles and practice Addison-Wesley 1991 |
print: AND g 1991:1 1.Ex |
|
|
Ben-Ari, Moti Principles of concurrent and distributed programming Addison-Wesley 2006 |
print: BEN m 2006:1 1.Ex e-book, ip-range MPI |
|
|
Bowman, Howard and Gomez, Rodolfo Concurrency theory Springer 2006 |
print: BOW h 2006:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Goetz, Brian; Peierls, Tim; Bloch, Joshua; Bowbeer, Joseph and Holmes, David Java concurrency in practice Addison-Wesley 2007 |
print: P JAV 2007:5 1.Ex |
|
 |
Gosling, James; Joy, Bill; Steele, Guy and Bracha, Gilad The Java language specification Addison-Wesley 2014 |
e-book, ip-range MPI |
|
Herlihy, Maurice and Shavit, Nir The art of multiprocessor programming Elsevier 2008 |
print: HER m 2008:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS (2012) |
|
|
Lea, Doug Concurrent programming in Java: Design principles and patterns Addison-Wesley 2007 |
print: P JAV 2007:4 1.Ex e-book, ip-range MPI (1999) |
|
|
Lindsey, Clark S.; Tolliver, Johnny S. and Lindblad, Thomas JavaTech Cambridge Univ. Press 2005 |
print: LIN c 2005:1 1.Ex e-book, ip-range UdS |
|
|
Magee, Jeff and Kramer, Jeff Concurrency: State models and Java programs Wiley 2007 |
print: MAG j 2007: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 Communication and concurrency Prentice-Hall 2006 |
print: MIL r 2006:1 1.Ex |
|
|
Olderog, Ernst-Rüdiger Nets, terms and formulas: Three views of concurrent processes and their relationship Cambridge 2005 |
print: OLD e 2005:1 1.Ex e-book, ip-range UdS |
|
|
Reisig, Wolfgang Petrinetze: Eine Einführung Springer 1982 |
print: REI w 1982:1 1.Ex e-book, ip-range MPI e-book, ip-range MPI (1986) |
|
|
Taubner, Dirk Finite representations of CCS and TCSP programs by automata and Petri nets Springer 1989 |
print: LNCS 369 2.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Abelson, Harold; Sussman, Gerald and Sussman, Julie Structure and interpretation of computer programs MIT-Press 1997 |
print: ABE h 1997:1 1.Ex e-book, no ip restriction |
|
|
Aho, Alfred V. and Ullman, Jeffrey D. Foundations of computer science Computer Science Press 1995 |
print: AHO a 1995:1 1.Ex |
|
|
Broy, Manfred and Rumpe, Bernhard Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen Springer 1998 |
print: BRO m2 1998:1 1.Ex e-book, ip-range MPI e-book, ip-range MPI (2002) |
|
|
Clarkson, Michael R. OCaml Programming: Correct + Efficient + Beautiful Michael R. Clarkson 2026 |
e-book, no ip restriction |
|
Cousineau, Guy and Mauny, Micheal The functional approach to programming Cambridge University Press 1998 |
print: COU g2 1998:1 1.Ex |
|
|
Felleisen, Matthias and Freidman, Dan The little MLer MIT-Press 1998 |
print: FEL m 1998:2 1.Ex |
|
|
Goos, Gerhard Vorlesungen über Informatik - Band I: Grundlagen und funktionales Programmieren Springer 1997 |
print: GOO g 1997:2 1.Ex e-book, ip-range MPI (2006) e-book, ip-range UdS (2006) |
|
|
Milner, Robert; Tofte, Mads; Harper, Robert and MacQueen, David The definition of Standard ML MIT-Press 1997 |
print: MIL r 1997:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
|
Minsky, Yaron and Madhavapeddy, Anil Real world Ocaml: Functional programming for the masses Cambridge University Press 2022 |
print: MIN y 2022:1 1.Ex e-book, no ip restriction |
|
|
Mitchell, John C. Concepts in programming languages Cambridge Univ. Press 2003 |
print: MIT j 2003:1 1.Ex e-book, ip-range UdS |
|
|
Bird, Richard Introduction to functional programming using Haskell Prentice Hall 1998 |
print: P HAS 1998:1 1.Ex |
|
|
Hudak, Paul The Haskell school of expression: Learning functional programming through multimedia Cambridge University Press 2000 |
print: P HAS 2000:1 1.Ex |
|
|
Wikström, Ake Functional programming using Standard ML Prentice Hall International 1987 |
print: P ML 1987:1 1.Ex |
|
 |
Ullman, Jeffrey Elements of ML programming Prentice-Hall 1998 |
print: P ML 1998:2 1.Ex |
|
Hansen, Michael R. and Rischel, Hans Introduction to programming using SML Addison Wesley 1999 |
print: P ML 1999:2 1.Ex |
|
|
Paulson, Larry ML for the working programmer Cambridge University Press 2004 |
print: P ML 2004:1 1.Ex |
|
|
Rosen, Kenneth H. Discrete mathematics and its applications McGraw Hill 2003 |
print: ROS k 2003:1 1.Ex |
|
|
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 |
|
|
Smolka, Gert Programming: Chapter trees 2012 |
print: Paper copy |
|
||
 |
Chacon, Scott Pro Git Berkeley, CA : Apress 2014 |
e-book, no ip restriction (Springer Link) e-book, no ip restriction |
|
Öggl, Bernd and Kofler, Michael Git: Projektverwaltung für Entwickler und DevOps-Teams Rheinwerk 2024 |
print: ÖGG b 2024:1 1.Ex |
|
Learn Git Branching An interactive online course on advanced Git features |
Website |
|
||
|
Larus, James Assemblers, Linkers, and the SPIM Simulator Microsoft Research 1993 |
e-book, no ip restriction |
|
Price, Charles MIPS IV Instruction Set MIPS Technologies 1995 |
e-book, no ip restriction |
|
||
|
Kernighan, Brian W. Programmieren in C Hanser 1990 |
print: P C 1990:1 1.Ex |
|
|
Erlenkötter, Helmut C: Programmieren von Anfang an Rowohlt Taschenbuch Verl. 2011 |
print: P C 2011:1 1.Ex |
|
 |
Klima, Robert Programmieren in C Springer 2010 |
print: P C 2010:2 2.Ex e-book, ip-range MPI e-book, ip-range UdS |
|
Wolf, Jürgen and Krooß, René Grundkurs C Rheinwerk 2020 |
print: P C 2020:1 1.Ex e-book, ip-range UdS |
 |
Seacord, Robert C. Effective C: An introduction to professional C programming No Starch Press 2020 |
print: P C 2020:2 1.Ex e-book, ip-range MPI e-book, ip-range UdS (1-user-licence) |
|
||
 |
Gosling, James The Java language specification Addison-Wesley 1996 |
print: P JAV 1996:4 1.Ex e-book, ip-range MPI (2014) |
 |
Ullenboom, Christian Java ist auch eine Insel Rheinwerk 2024 |
print: P JAV 2024:1 1.Ex e-book, ip-range UdS |
 |
Balzert, Helmut Lehrbuch der Softwaretechnik: Basiskonzepte und Requirements Engineering Spektrum Akad. Verl. 2009 |
e-book, ip-range MPI e-book, ip-range UdS |
 |
Balzert, Helmut Lehrbuch der Softwaretechnik: Entwurf, Implementierung, Installation und Betrieb Spektrum Akad. Verl. 2011 |
e-book, ip-range MPI e-book, ip-range UdS |
|
Buschmann, Frank Pattern-oriented software architecture Vol.1: A system of patterns Wiley 2002 |
print: BUSch f 2002:1 1.Ex e-book, ip-range MPI (1996) |
|
 |
D'Souza, Desmond Francis Objects, components, and frameworks with UML Addison-Wesley 2001 |
print: SOU d 2001:1 1.Ex |
|
Eckel, Bruce and Isakova, Svetlana Atomic kotlin Mindview LLC 2021 |
print: ECkE b2 2021:1 1.Ex e-book, ip-range UdS (1-user licence) |
|
 |
Fowler, Martin UML distilled: A brief guide to the standard object modeling language Addison Wesley 2004 |
print: FOW m 2004:1 1.Ex e-book, ip-range MPI |
 |
Fowler, Martin Refactoring: Improving the design of existing code Addison-Wesley 2019 |
print: FOW m 2019:1 1.Ex e-book, ip-range MPI |
 |
Freeman, Eric and Robson, Elisabeth Head first design patterns O'Reilly 2021 |
print: FRE e2 2021:1 1.Ex e-book, ip-range MPI |
|
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, deutsche Version) e-book, ip-range UdS (2015, deutsche Version) |
|
 |
Pezzè, Mauro Software testing and analysis Wiley 2008 |
print: PEZ m 2008:1 1.Ex |
|
Pressman, Roger S. and Maxim, Bruce R. Software engineering: A practitioner's approach McGraw-Hill 2020 |
print: PRE r3 2020:1 1.Ex |
|
 |
Shaw, Mary Software architecture Prentice Hall 1996 |
print: ShAW m 1996:1 1.Ex |
|
Sommerville, Ian Software engineering Addison-Wesley 2018 |
print: SOM i 2018:1 1.Ex |
|
 |
Stevens, Perdita Using UML: Software engineering with objects and components Addison-Wesley 2009 |
print: StEV p2 2009:1 1.Ex |
 |
Wirfs-Brock, Rebecca Designing object oriented software Prentice Hall 1990 |
print: WIR r 1990:1 1.Ex |
 |
Baron, Michael Probability and statistics for computer scientists CRC 2019 |
print: BAR m10 2019:1 1.Ex e-book, ip-range (2013) |
 |
Forsyth, David Probability and statistics for computer science Springer 2018 |
print: FOR d 2018:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Grus, Joel Data science from scratch O'Reilly 2019 |
print: GRU j2 2019:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
McKinney, Wes Python for data analysis: Data wrangling with Pandas, NumPy, and Jupyter O'Reilly 2022 |
print: McKI w 2022:1 1.Ex e-book, ip-range MPI e-book, ip-range UdS |
 |
Arpaci-Dusseau, Remzi and Arpaci-Dusseau, Andrea Operating systems: Three easy pieces Arpaci-Dusseau Books, LLC 2023 |
print: ARP r 2023:1 1.Ex e-book, no ip restriction |
|
Becker, Bernd and Molitor, Paul Louis Technische Informatik Oldenbourg 2008 |
print: BECk b 2008:1 1.Ex e-book, ip-range UdS |
|
 |
Harris, David and Harris, Sarah Digital design and computer architecture, ARM edition Elsevier, Morgan Kaufmann 2016 |
e-book, ip-range UdS |
 |
Harris, David and Harris, Sarah Digital design and computer architecture, RISC-V edition Elsevier, Morgan Kaufmann 2022 |
print: HAR d7 2022:1 1.Ex e-book, ip-range MPI (2012) |
|
Hennessy, John L.; Patterson, David A. and Kozyrakis, Christos Computer architecture: A quantitative approach Elsevier, Morgan Kaufmann 2026 |
print: HEN j2 2026:1 1.Ex e-book, ip-range MPI (2012) e-book, ip-range UdS (2012) |
|
 |
Hennessy, John L. and Patterson, David A. Computer organization and design, RISC-V edition Elsevier, Morgan Kaufmann 2021 |
print: HEN j2 2021:1 1.Ex e-book, ip-range MPI (2018) e-book, ip-range UdS (2018) |
|
Tanenbaum, Andrew S. Modern operating systems Pearson/Prentice Hall 2009 |
print: TAN a 2009:1 1.Ex |