Allgemein

• H. Balzert: Lehrbuch Grundlagen der Informatik, Spektrum Akademischer Verlag, 2004

Algorithmen

• T. Ottmann, P. Widmayer: Algorithmen und Datenstrukturen, Spektrum Akademischer Verlag, 1996

Rechnerstrukturen

• Nehmer, Sturm: Systemsoftware, dpunkt.verlag, 1998
• Hennessy, Patterson: Computer Architecture A Quantitative Approach, Morgan Kaufmann Publishers, 2002

Java

• Ullenboom: Java ist auch eine Insel, Galileo Computing
• Krüger: Handbuch der Java-Programmierung, Addison-Wesley, 2002
• Ambler: Thinking in Java, Prentice Hall, 2000
• de.comp.lang.java Frequently Asked Questions
• Deutsche Java-Newsgroup
• Englische Java-Newsgroup
• Java 1.4-Api

C

• Kernighan, Ritchie: Programmieren in C, Hanser, 1988
• Kernighan, Ritchie: Das C-Lösungsbuch zu 'Programmieren in C', Hanser, 1989
• Monadjemi, Winkler: Jetzt lerne ich C, Markt+Technik, 2003
• Prof. Dr. Hendrix: Programmieren in C , Skript zur Vorlesung
• de.comp.lang.c Frequently Asked Questions
• Deutsche C-Newsgroup
• Englische C-Newsgroup
• Make
  
  • http://www.linuxfibel.de/make.htm
  • http://de.wikipedia.org/wiki/Makefile
• Präprozessor
  
  • http://www.wias-berlin.de/people/telschow/2000ss-edv1/04praeprozessor.ppt

Verifikation

• Liggesmeyer, P.: Software-Qualität, Spektrum Akademischer Verlag, 2002
• Floyd R.W., Assigning meanings to Programs, in: Proceedings of the American Mathematical Society Symposium in Applied Mathematics, Vol. 19, 1967, pp. 19-32
• Hoare C.A.R., Proof of a Program: FIND, in: Communications of the ACM, Vol. 14, No. 1, January 1971, pp. 39-45
• Logrippo L., Melanchuk T., Du Wors R.J., The Algebraic Specification Language LOTOS: An Industrial Experience, in: Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development, Napa, May 1990, Software Engineering Notes, Vol. 15, No. 4, September 1990, pp. 59-66

Software Engineering

• Jalote, P.: An Integrated Approach to Software Engineering, Springer-Verlag, 2005