Fachbibliothek Mathematik/Informatik/Rechenzentrum

Handapparat Informatik

 

Algorithmen und Datenstrukturen:

Arnold, Ken: The Java programming language. Addison-Wesley, 4. ed.,  2006.

Cormen, Thomas H.: Introduction to algorithms. MIT Press, 3. ed., 2009.

Goodrich, Michael T.: Data structures and algorithms in Java. Wiley, 6. ed., 2015.

Ottmann, Thomas: Algorithmen und Datenstrukturen. Spektrum Akad. Verlag, 5. Aufl., 2012.

Sedgewick, Robert: Algorithmen und Datenstrukturen. Pearson, 4., aktual. Aufl., 2014.

Sedgewick, Robert: Algorithms. Addison-Wesley, 4. ed., 2011.

Weiss, Mark Allen: Data structures & algorithm analysis in Java. Addison-Wesley, 3.ed., 2012.

Wolff, Christian: Einführung in Java : objektorientiertes Programmieren mit der Java-2-Plattform. Teubner, 1999.


 
 
Betriebssysteme:

Comer, Douglas: Operating system design. Vol. 1: The Xinu approach. Prentice-Hall, 1988.
 
Stallings, William: Betriebssysteme : Prinzipien und Umsetzung. Pearson Education, 4., überarb. Aufl., 2003.

Stallings, William: Operating Systems: internals and design principles. Pearson Education Limited, 8.ed., global ed., 2015

Tanenbaum, Andrew S.: Modern operating systems. Pearson/Prentice-Hall, 3. ed., 2009.

Tanenbaum, Andrew S.: Operating systems: design and implementation. Prentice-Hall, 3. ed., 2006.


 

Datenbanksysteme:

Elmasri, Ramez: Fundamentals of database systems. Addison-Wesley, 7. ed., Pearson, 2015.

Kemper, Alfons: Datenbanksysteme : eine Einführung. Oldenburg, 9. erw. u. aktual. Aufl., 2013.

Kemper, Alfons: Datenbanksysteme : eine Einführung. De Gruyter Oldenburg, 10., aktual. u. erw. Aufl., 2015.

Kemper, Alfons: Übungsbuch Datenbanksysteme . Oldenburg, 3. aktual. u. erw. Aufl., 2012.

Lewis, Philip M.: Databases and transaction processing. Addison-Wesley, 2002.

Melton, Jim: Advanced SQL : 1999 : understanding object-relational and … Morgan Kaufmann, 2003.

Melton, Jim: SQL : 1999 : understanding relational language components. Morgan Kaufmann, 2002.

Thalheim, Bernhard: Entity-relationship modeling: foundations of database technology. Springer, 2000.

 



Digitale Systeme:

Katz, Randy H. : Contemporary logic design. Pearson Education Int., 2.ed, 2005.
 
Paul, Reinhold: Elektrotechnik und Elektronik für Informatiker. Bd.1: Grundgebiete der Elektrotechnik. Teubner, 2. Aufl., 1999.

Paul, Reinhold: Elektrotechnik für Informatiker : mit MATLAB u. Multisim. Teubner, 2004.

Schiffmann, Wolfram: Technische Informatik. Bd. 1: Grundlagen der digitalen Elektronik. Springer, 5. Aufl., 2004.

Schiffmann, Wolfram: Technische Informatik. Bd. 2: Grundlagen der Computertechnik. Springer, 5. neu bearb. u. erg. Aufl., 2005.

Schiffmann, Wolfram: Technische Informatik. Übungsbuch zur technischen Informatik 1 und 2. Springer, 3. Aufl., 2004.

 

 

Effiziente Algorithmen:

Aho, Alfred V.: The design and analysis of computer algorithms.Addison-Wesley, 1974.

Cormen, Thomas H.: Introduction to algorithms. MIT Press,  3. ed., 2009.
 
Motwani, Rajeev: Randomized algorithms. Cambridge Univ. Press, 1995.

Papadimitriou, Christos H.: Combinatorial optimization: algorithms and complexity. Dover Publ., corr., 1998.

Papdimitriou, Christos H.: Computational complexity, Addison-Wesley, 1994.

 

 

Kryptographie:

Buchmann, Johannes: Einführung in die Kryptographie. Springer, 6. überarb. Aufl., 2016.

Delfs, Hans: Introduction to cryptography : principles and applications. Springer, 2. ed, 2007.

Kahn, David: The codebreakers : the story of secret writing. Scribner, 1996.

Koblitz, Neal: A course in number theory and cryptography. Springer, 2. ed., 1994.

Menezes, Alfred J.: Handbook of applied cryptography. CRC Press, 1997.

Stavroulakis, Peter: Handbook of information and communication security . Springer, 2010.
 
Stinson, Douglas R. : Cryptography : theory and practice. Chapman & Hall/CRC, 3.ed., 2006.

 

 

Modellierung:

Carlis, John Vincent: Mastering data modeling: a user-driven approach . Addison-Wesley, 2001

Dirks, Ulrich: Modelle. Lang, 2008.

Halloun, Ibrahim A.: Modeling theory in science education. Springer, 2006

Henderson-Sellers, Brian:On the mathematics of modelling, metamodelling, ontologies and modelling languages. Springer, 2012

Luderer, Bernd: Die Kunst des Modellierens : mathematisch-ökonomische Modelle. Vieweg+Teubner, 1.Aufl., 2008

West, Matthew: Developing high quality data models. Morgan Kaufmann/Elsevier, 2011

 


Nebenläufige und verteilte Programmierung:

Andrews, Gregory R.: Foundations of multithreaded, parallel, a. distributed programming. Addison Wesley, 2000.

Magee, Jeff: Concurrency: state models & Java programs. Wiley, 2.ed., 2006.



Programmierung:

Abelson, Harold: Struktur und Interpretation von Computerprogrammen. Springer, 4. Aufl., 2001. (2 Ex.)


Balzert, Helmut: Java : der Einstieg in die Programmierung. W3L-Verl., 4. Aufl., 2013.

Berghammer, Rudolf: Ordnungen und Verbände : Grundlagen, Vorgehensweisen und Anwendungen. Springer, Vieweg, 2013.

Berghammer, Rudolf : Semantik von Programmiersprachen. Logos-Verl., 2001. (2 Ex.)

Doberkat, Ernst-Erich: Einführung in die objektorientierte Programmierung mit Java. Oldenbourg, 2. Auf., 2002. (2 Ex.)

Evans, Benjamin J. und D. Flanagan: Java in a nutshell: a desktop quick reference. O’Reilly, 6. ed., 2015.
 
Felleisen, Matthias: How to design programs: an introduction to programming and computing. MIT Pr., 2002.

Klaeren, Herbert: Die Macht der Abstraktion: Einführung in die Programmierung. Teubner, 2007. (3. Ex.)

Pepper, Peter: Funktionale Programmierung in OPAL, ML, HASKELL u. GOFER. Springer, 2. Aufl., 2003. (2 Ex.) 

Pepper, Peter: Funktionale Programmierung: Sprachdesign u. Programmiertechnik, Springer, 2006.

Savitch, Walter J.: Java : an introduction to problem solving & programming. Pearson Education, 7. global ed., 2015.

Ullman, Jeffrey D.: Elements of ML programming. Prentice Hall, 2. ed., 1998. (2 Ex.)




Programmierung für Ingenieure:

Paul, Georg: Grundlagen der Informatik für Ingenieure. Teubner, 2003.

 

 

Rechnerorganisation und –architektur:

Bryant, Randal E.: Computer systems: a programmer’s perspective. Pearson, 3rd . ed., global. ed., c 2016.


Kernighan, Brian W. : Programmieren in C : mit dem C-Reference Manual in deutscher Sprache. Hanser, 2. Ausg. ANSI C, 1990. (2 Ex.)

 


Software Engineering:

Bass, Len: Software architecture in practice. Addison-Wesley, 3. ed., 2013.

Ben-Ari, Moti: Principles of concurrent and distributed programming. Addison-Wesley, 2.ed., 2006.
 
Bunse, Christian: Vorgehensmodelle Kompakt, Spektrum Akad. Verl., 2. Aufl., 2008.

Freeman, Eric: Entwurfsmuster von Kopf bis Fuß : [aktuell zu Java 8]. O’Reilly, 2. Aufl., 2015.

Gamma, Erich: Design Pattens: Entwurfsmuster als Elemente wiederverwendbarer objektorientierter Software. mitp, 1. Aufl., 2015.
 
Goncalves, Antonio: Beginning Java EE 7. Apress, Springer, 2013.


Grechenig, Thomas: Softwaretechnik: mit Fallbeispielen aus realen Entwicklungsprojekten. Pearson Studium, 2010.
 
Liggesmeyer, Peter: Software-Qualität: Testen, Analysieren und Verifizieren von Software. Spektrum Akad. Verl., 2. Aufl., 2009.

Ludewig, Jochen: Software Engineering: Grundlagen, Menschen, Prozesse, Techniken. d.punkt-Verl., 3. korr. Aufl, 2013.
 
Mattson, Timothy G.: Patterns for parallel programming. Addison-Wesley, 6. pr., 2010.

Oestereich, Bernd: Analyse und Design mit UML 2.5: objektorientierte Softwareentwicklung. Oldenbourg, 11. umfassend überarb. u.  aktual. Aufl., 2013..

Ortega-Arjona, Jorge Luis: Patterns for parallel software design. Wiley, 2010.

Rupp, Chris: Requirements-Engineering und –Management: aus der Praxis von klassisch bis agil. Hanser, 6. aktual. und erw. Aufl., 2014.

Rupp, Chris: UML 2 glasklar: Praxiswissen für die UML-Modellierung. Hanser, 4. aktual. und erw. Aufl., 2012.
 
Sommerville, Ian: Software engineering. Pearson Education, 10.ed., global ed., c 2016.

Taylor, Richard N.: Software architecture : foundations, theory, and practice. Wiley, 2010.

Wallmüller, Ernest: Software Quality Engineering : ein Leitfaden für bessere Software-Qualität. Hanser, 3. Aufl., 2011.
 


Theoretische Informatik:

Asteroth, Alexander: Theoretische Informatik : eine Einfuehrung in Berechenbarkeit … Pearson Studium, 2002. (2 Ex.)

Baader, Franz: Term rewriting und all that. Cambridge, 1999.

Berghammer, Rudolf: Ordnungen, Verbände und Relationen mit Anwendungen. Springer Vieweg, 2. durchges. u. korr. Aufl., 2012. (2 Ex.)
Hromkovič, Juraj: Theoretical computer science : introduction to automata, computability, complexity...  Springer, 2004. (2 Ex.) 

Hromkovič, Juraj: Theoretische Informatik: Formale Sprachen … Springer Vieweg. 5., überarb. Aufl., 2014.

König, Lukas: 100 Übungsaufgaben zu Grundlagen der Informatik. Bd. 1: Theoretische Informatik. Oldenbourg, 2014.

König, Lukas: 100 Übungsaufgaben zu Grundlagen der Informatik. Bd. 2: Technische Informatik. Oldenbourg, 2014.

Papadimitriou, Christos H.: Computational complexity. Addsion-Wesley,  1995.
Schöning, Uwe: Ideen der Informatik. Oldenbourg, 3. Aufl., 2008.

Schöning, Uwe: Theoretische Informatik – kurz gefasst. Spektrum, 5. Aufl., 2008.

Sipser, Michael: Introduction to the theory of computation. Cengage learning, 3. ed., internat. ed., 2012.


Wagner, Klaus W.: Theoretische Informatik : eine kompakte Einführung. Springer, 2. Aufl., 2003. (2 Ex.)

 


Verifikation nebenläufiger Programme:

Apt, Krzysztof: Verification of sequential and concurrent programs. Springer, 3. ed., 2009.

Roever, Willem-Paul de: Concurrency verification: introduction to compositional and noncompositional methods. Cambridge Univ. Press, 2001.

 

 

Verteilte Algorithmen:

Attiya, Hagit: Distributed computing : fundamentals, simulations and advanced topics. Wiley, 2.ed., 2004.

Lynch, Nancy Ann: Distributed algorithms. Morgan Kaufmann, 2003.

 

 

Verteilte Systeme:

Coulouris, George: Distributed systems: concepts and design. Addison-Wesley, 5. ed., 2012.
 
Tanenbaum,Andrew S:: Distributed systems: principles and paradigms. Pearson Education International, 2. ed., 2007.


 

Wirtschaftsinformatik:

Bruning, James L.: Computational handbook statistics. Longman, 4.ed., 1997.

Coenenberg, Adolf Gerhard: Kostenrechnung und Kostenanalyse. Schäffer-Poeschel, 8. Aufl., 2012.
 
De Virgilio, Roberto: Semantic search over the web. Springer, 2012.

De Virgilio, Roberto: Semantic web information management: a model-based perspective. Springer, 2010.

Embely, David W..: Handbook of conceptual modeling : theory, practice, and research challenges. Springer, 2011.

Ferstl, Otto K.: Grundlagen der Wirtschaftsinformatik. Oldenbourg, 7. aktual. Aufl., 2013.

Friedl, Birgit: Kostenrechnung: Grundlagen, Teilrechnungen und Systeme der Kostenrechnung, Oldenbourg, 2. Aufl., 2010.
 
Friedl, Birgit: Kostenrechnung: Übungen und Fallstudien, Oldenbourg, 2007.

Furia, Carlo A.: Modeling time in computing. Springer, 2012.
 
Hansen, Hans Robert: Wirtschaftsinformatik: Grundlagen und Anwendungen. DeGruyter, 11., völlig neu bearb. Aufl., 2015.

Hansen, Hans Robert: Wirtschaftsinformatik; 2: Informationstechnik. Lucius und Lucius. 9. Aufl., 2005.
 
Heinold, Michael: Buchführung in Fallbeispielen. Schäffer-Poeschel, 12. Aufl., 2012.
 
Heinhold, Michael: Kosten- und Erfolgsrechnung in Fallbeispielen. Lucius und Lucius, 5. Aufl., 2010.
 
Johnston, Tom: Managing time in relational databases. Elsevier/Morgan Kaufmann, 2010.
 
Keilus, Michael: Managementorientierte Kosten- und Leistungsrechnung. Teubner, 2. Aufl., 2006.
 
Krimmel, Mandy: SAP Net Weaver ® Process Integration. Galileo Press, 2. aktualis. u. erw. Aufl. zu Release 7.1, 2010.

Lacasta, Javier: Terminological ontologies: design, management and practical applications. Springer, 2010.
 
Lemke, Claudia u. Walter Brenner: Einführung in die Wirtschaftsinformatik. Bd 1 : Verstehen des digitalen Zeitalters. Springer, Gabler, 2015.


Schildbach, Thomas: Kosten- und Leistungsrechnung. Lucius und Lucius, 10. Aufl., 2009.

Spillner, Andreas: Basiswissen Softwaretest : Aus- und Weiterbildung zum Certified Tester. dpunkt Verl., 5. überarb. u. aktual. Aufl., 2012.

Warren, Paul: Context and semantics for knowledge management: technologies for personal productivity. Springer, 2011.
 
Wöhe, Günter: Grundzüge der Buchführung und Bilanztechnik. Vahlen, 8. völlig überarb. Aufl., 2012.

 

 

Vorschau