Technische Informatik

  • Hans Liebig
  • Thomas Flik
  • Peter Rechenberg
  • Hans Peter Mössenbock

Abstract

In der Informatik verbindet sich das axiomatische, logisch-strukturtheoretische Denken der Mathematik mit dem konstruktiven und ökonomischen, d. h. praktisch-ingenieurmäßigen Handeln der Technik. Die Informatik ist daher sowohl eine Strukturwissenschaft, die abstrakt (und immateriell) betrieben wird, als auch eine Ingenieurwissenschaft, die sich konkret (und materiell) mit der Entwicklung, dem Bau und dem Betrieb technischer Produkte befasst.

Literatur

Handbücher und Nachschlagewerke

  1. Claus, V.; Schwill, A.: Duden Informatik. 4. Aufl. Mannheim: Dudenverlag 2006Google Scholar
  2. Rechenberg, P.; Pomberger, G. (Hrsg.): Informatik-Handbuch. 4. Aufl. München: Hanser 2006Google Scholar
  3. Siemers, Ch.; Sikora, A. (Hrsg.): Taschenbuch Digitaltechnik. München: Hanser 2003Google Scholar

Allgemeine Literatur zu Kapitel 1 und 2

  1. Hermes, H.: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. 3. Aufl. Berlin: Springer 1978MATHGoogle Scholar
  2. Hilbert, D.; Ackermann, W.: Grundzüge der theoretischen Logik. 6. Aufl. Berlin: Springer 1972MATHGoogle Scholar
  3. Hopcroft, J.E.; Motwani, R., Ullman, J.D.: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. 2. Aufl. Pearson Studium 2002Google Scholar
  4. Liebig, H.: Logischer Entwurf digitaler Systeme. 4. Aufl. Berlin: Springer 2005Google Scholar

Allgemeine Literatur zu Kapitel 3 und 4

  1. Liebig, H.: Logischer Entwurf digitaler Systeme. 4. Aufl. Berlin: Springer 2005Google Scholar
  2. Lipp, H.M.: Grundlagen der Digitaltechnik. 4. Aufl. München: Oldenbourg 2002Google Scholar
  3. Mano, M.M.; Kime, Ch.R.: Logic and Computer Design Fundamentals. 3rd. ed. Pearson Education 2004Google Scholar
  4. Unger, S.H.: The essence of logic circuits. 2nd ed. New York: IEEE Press 1996Google Scholar
  5. Tietze, U; Schenk, C.: Halbleiter-Spannungstechnik. 12. Aufl. Berlin: Springer 2002Google Scholar

Allgemeine Literatur zu Kapitel 5 und 6

  1. Bode, A.: Rechnerarchitektur und Prozessoren. In: Rechenberg, P.; Pomberger, G.: Informatik-Handbuch. 4. Aufl. München: Hanser 2006Google Scholar
  2. Flik, Th.: Mikroprozessortechnik und Rechnerstrukturen. 7. Aufl. Berlin: Springer 2005Google Scholar
  3. Flik, Th.; Liebig, H.: Mikroprozessortechnik. 5. Aufl. Berlin: Springer 1998MATHGoogle Scholar
  4. Flynn, M.J.: Computer architecture. Boston: Jones and Bartlett 1995Google Scholar
  5. Hennessy, J.L.; Patterson, D.A.: Computer architecture. 3rd ed. San Mateo: Kaufmann 2003Google Scholar
  6. Herrmann, P.: Rechnerarchitektur. 3. Aufl. Braunschweig: Vieweg 2002Google Scholar
  7. Liebig, H.: Rechnerorganisation. 3. Aufl. Berlin: Springer 2003MATHGoogle Scholar
  8. Menge, M.: Moderne Prozessorarchitekturen. Berlin: Springer 2005MATHGoogle Scholar
  9. Patterson, D.A.; Hennessey, J.L.: Rechnerorganisation und -entwurf. München: Elsevier 2005Google Scholar
  10. Stallings, W.: Computer organization and architecture. 7th ed. Englewood Cliffs: Prentice Hall 2006Google Scholar

Allgemeine Literatur zu Kapitel 7

  1. Flik, Th.: Mikroprozessortechnik. 7. Aufl. Berlin: Springer 2005Google Scholar
  2. Flynn, M.J.: Computer architecture. Boston: Jones and Bartlett 1995Google Scholar
  3. Hellwagner, H.: Arbeitsspeicher- und Bussysteme. In: Rechenberg, P.; Pomberger, G.: Informatik-Handbuch. 4. Aufl. München: Hanser 2006Google Scholar
  4. Proebster, W.; Schwarzstein, D.: Externe Speicher und Peripheriegeräte. In: Rechenberg, P.; Pomberger, G.: Informatik-Handbuch. 4. Aufl. München: Hanser 2006Google Scholar
  5. Steinmetz, R.; Mühlhäuser, M.; Welzl, M.: Rechnernetze. In: Rechenberg, P.; Pomberger, G.: Informatik-Handbuch. 4. Aufl. München: Hanser 2006Google Scholar
  6. Tanenbaum, A.S.: Computernetzwerke. 4. Aufl. München: Pearson/Addison-Wesley 2003Google Scholar
  7. Ungerer, T.: Parallelrechner und parallele Programmierung. Heidelberg: Spektrum 1997MATHGoogle Scholar
  8. Völz, H.: Wissen, Erkennen, Information. Digitale Bibliothek 2007Google Scholar
  9. Volkert, J.: Parallelrechner. In: Rechenberg, P.; Pomberger, G.: Informatik-Handbuch. 4. Aufl. München: Hanser 2006Google Scholar

Allgemeine Literatur zu Kapitel 8

  1. Borrmann, L.: Betriebssysteme. In: Rechenberg, P.; Pomberger, G.: Informatik-Handbuch. 4. Aufl. München: Hanser 2006Google Scholar
  2. Stallings, W: Betriebssysteme. 4. Aufl. München: Pearson/Prentice Hall 2003Google Scholar
  3. Tanenbaum, A.S.: Moderne Betriebssysteme. 2. Aufl. München: Pearson/Prentice Hall 2002Google Scholar

Allgemeine Literatur zu Kapitel 9 und 10

  1. Aho, A.V.; et. al.: Data structures and algorithms. Reading, Mass.: Addison-Wesley 1994Google Scholar
  2. Knuth, D.E.: The art of computer programming. vol. 1: Fundamental algorithms. 3rd. ed. Reading, Mass.: Addison-Wesley 1997MATHGoogle Scholar
  3. Nievergelt, J.; Hinrichs, K.H.: Algorithms and data structures. Englewood Cliffs, N.J.: Prentice-Hall 1993Google Scholar
  4. Ottmann, T.; Widmayer, P.: Algorithmen und Datenstrukturen. Heidelberg: Spektrum 2002MATHGoogle Scholar
  5. Sedgewick, R.: Algorithmen. München: Addison-Wesley Longman 2002Google Scholar
  6. Wirth, N.: Algorithmen und Datenstrukturen mit Modula-2. 5. Aufl. Stuttgart: Teubner 1996Google Scholar

Allgemeine Literatur zu Kapitel 11

  1. Goos, G.: Programmiersprachen. In: Rechenberg, P.; Pomberger G.: Informatik-Handbuch. 4. Aufl. München: Hanser 2006Google Scholar
  2. Pratt, T.W.: Programming languages. 4th ed. London: Prentice-Hall 2001Google Scholar

Allgemeine Literatur zu Kapitel 12

  1. Balzert, H.: Lehrbuch der Software-Technik. 2 Bde. Heidelberg: Spektrum 2000Google Scholar
  2. Pomberger, G.; Pree, W.: Software Engineering, Architektur-Design und Prozessorientierung. 3. Aufl. München: Hanser 2004Google Scholar
  3. Sommerville, I.: Software engineering. 7th ed. Amsterdam: Addison-Wesley Longman 2004Google Scholar

Spezielle Literatur zu Kapitel 1

  1. Giloi, W.K.; Liebig, H.: Logischer Entwurf digitaler Systeme. 2. Aufl. Berlin: Springer 1980MATHGoogle Scholar
  2. Hill, J.H.; Peterson, G.R.: Computer aided logical design with emphasis on VLSI. 4th ed. New York: John Wiley 1993Google Scholar
  3. (Hilbert/Ackermann 1972)Google Scholar

Spezielle Literatur zu Kapitel 2

  1. Liebig, H.: Rechnerorganisation. 3. Aufl. Berlin: Springer 2003MATHGoogle Scholar

Spezielle Literatur zu Kapitel 3

  1. Mead, C.; Convay, L.: Introduction to VLSI systems. Reading, Mass.: Addison-Wesley 1980Google Scholar
  2. (Liebig 2005)Google Scholar
  3. Omondi, A.R.: Computer Arithmetic Systems. Englewood Cliffs: Prentice Hall 1994MATHGoogle Scholar

Spezielle Literatur zu Kapitel 4

  1. (Liebig 2005)Google Scholar
  2. Mead, C.; Conway, L.: Introduction to VLSI systems. Reading, Mass.: Addison-Wesley 1980Google Scholar
  3. IEEE standards VHDL language reference manual. IEEE Std 1076-1993Google Scholar

Spezielle Literatur zu Kapitel 5

  1. (Liebig 2003)Google Scholar
  2. (Menge 2005)Google Scholar

Spezielle Literatur zu Kapitel 6

  1. Bohn, W.F.; Flik, Th.: Zeichen- und Zahlendarstellungen. In: Rechenberg, P.; Pomberger, G.: Informatik-Handbuch. 4. Aufl. München: Hanser 2006Google Scholar
  2. (Flik 2005)Google Scholar
  3. Goldberg, D.: Computer arithmetic. In: Patterson, D.A.; Hennessey, J.L.: Computer architecture. San Mateo, Calif.: Kaufmann 1990Google Scholar
  4. Goldberg, D.: What every computer scientist should know about floating point arithmetic. ACM Computing Surv. 23 (1991) 5–8CrossRefGoogle Scholar
  5. Hamming, R.W.: Information and Codierung: Fehlererkennung und -korrektur. Weinheim: VCH 1987Google Scholar
  6. Hoffmann, R.: Rechnerentwurf. 3. Aufl. München: Oldenbourg 1993Google Scholar
  7. Omondi, A.R.: Computer Arithmetic Systems. Englewood Cliffs: Prentice Hall 1994MATHGoogle Scholar
  8. Stalling, W: Computer Organization & Architecture. 7th ed. Prentice Hall: Pearson 2006Google Scholar
  9. Tanenbaum, A.S.: Computernetzwerke. 4. Aufl. München: Pearson/Addison-Wesley 2003Google Scholar
  10. The Unicode Consortium: The Unicode Standard. Version 4.0. Reading: Addison-Wesley 2003Google Scholar

Spezielle Literatur zu Kapitel 7

  1. Budruk, R.; Anderson, D.; Shanley, T: PCI express system architecture. 4rd ed. Boston: Addison-Wesley 2004Google Scholar
  2. (Flik 2005)Google Scholar
  3. Flynn, M.J.: Some computer organizations and their effectiveness. IEEE Trans. Computers C-21 (1972) 948–960MATHCrossRefGoogle Scholar
  4. (Flynn 1995)Google Scholar
  5. HyperTransport i/o link specification, Revision 2.00. HyperTransport Technology Consortium 2004Google Scholar
  6. PCI local bus specification, rev. 2.2. Portland: PCI Special Interest Group 1998Google Scholar
  7. PCI-X addendum to the PCI local bus specification. Hillsboro: PCI Special Interest Group 1999Google Scholar
  8. Shanley, T.; Anderson, D.: PCI system architecture. 4rd ed. Reading: Addison-Wesley 1999Google Scholar
  9. (Tanenbaum 2003)Google Scholar
  10. (Ungerer 1997)Google Scholar
  11. VITA 1.5: 2eSST draft standard 1.8 Scottsdale: VITA 1999Google Scholar
  12. (Völz 2007)Google Scholar

Spezielle Literatur zu Kapitel 8

  1. (Borrmann 2006)Google Scholar
  2. Bourne, S.R.: Das UNIX-System V. 2. Aufl. Bonn: Addison-Wesley 1992Google Scholar
  3. Dijkstra, E.W.: Co-operating sequential processes. In: Genuys, F. (Ed).: Programming languages. London: Academic Pr. 1968Google Scholar
  4. (Stallings 2003)Google Scholar
  5. (Tanenbaum 2002)Google Scholar

Spezielle Literatur zu Kapitel 9

  1. Buchberger, B. (Hrsg.): EUROCAL ’85. (Lecture Notes in Computer Science, 203). Berlin: Springer 1985 (Proceedings einer Tagung über symbolisches Rechnen)Google Scholar
  2. Buchberger, B.; u. a.; Rechnerorientierte Verfahren. Stuttgart: Teubner 1986Google Scholar
  3. Encarnaçao, J.; Straßer, W.; Klein, R.: Grafische Datenverarbeitung, 2 Bde. 4. Aufl. München: Oldenbourg 1998Google Scholar
  4. Foley, J.D.; u. a.: Introduction to computer graphics. Reading, Mass.: Addison-Wesley 1993Google Scholar
  5. Henrici, P.: Elemente der numerischen Analysis, 2 Bde. Mannheim: Bibliogr. Inst. 1972, 1973Google Scholar
  6. Knuth, D.E.: The art of computer programming, vol. 1: Fundamental algorithms. 3rd ed. Reading, Mass.: Addison-Wesley 1997Google Scholar
  7. Knuth, D.E.: The art of computer programming, vol. 2: Seminumerical algorithms. 3rd ed. Reading, Mass.: Addison-Wesley 1997Google Scholar
  8. Manna, Z.: Mathematical theory of computation. Dover Publications 1993Google Scholar
  9. Mehlhorn, K.: Multi-dimensional searching and computational geometry. Berlin: Springer 1984MATHGoogle Scholar
  10. Oppenheim, A.V.; Schafer, R.W.: Digital signal processing. Englewood Cliffs, N.J.: Prentice-Hall 1975MATHGoogle Scholar
  11. Oppenheim, A.V. (Ed.): Applications of digital signal processing. Englewood Cliffs, N.J.: Prentice-Hall 1978Google Scholar
  12. Rechenberg, P.; Pomberger, G. (Hrsg.): Informatik-Handbuch. 4. Aufl. München: Hanser 2006Google Scholar
  13. Überhuber, C.: Computer-Numerik (2 Bde.). Berlin: Springer 1995Google Scholar
  14. Sedgewick, R.: Algorithmen. München: Addison-Wesley Longman 2002Google Scholar
  15. Stetter, H.J.: Numerik für Informatiker. München: Oldenbourg 1990Google Scholar

Spezielle Literatur zu Kapitel 10

  1. (Aho u. a. 1994)Google Scholar

Spezielle Literatur zu Kapitel 11

  1. ACM Sigplan Notices 27 (1992), 5. (Das ganze Heft ist der Sprache Haskell gewidmet, mit Sprachdefinition.)Google Scholar
  2. DIN 66028: Programmiersprache COBOLGoogle Scholar
  3. DIN 66255: Programmiersprache PL/I (05.80)Google Scholar
  4. ISO/IEC 1539-1:2004; Information technology; Programming languages; FortranGoogle Scholar
  5. DIN EN 27185: Informationstechnik; Programmiersprachen; PascalGoogle Scholar
  6. DIN ISO/IEC 8652: Informationstechnik; Programmiersprachen; AdaGoogle Scholar
  7. DIN EN 29899: Programmiersprachen; CGoogle Scholar
  8. ISO/IEC 14882 Informationstechnik; Programmiersprachen; C++Google Scholar
  9. ISO/IEC 10514-1 Informationstechnik; Programmiersprachen; Modula-2Google Scholar
  10. ISO/IEC 13211-1 Informationstechnik; Programmiersprachen; PrologGoogle Scholar
  11. Backus, J.W.; u. a.: Revised report on the algorithmic language ALGOL 60. Numer. Mathematik 4 (1963) 420–453CrossRefGoogle Scholar
  12. Herrtwich, R.G.; Hommel, G.: Nebenläufige Programme. 2. Aufl. Berlin: Springer 1994MATHGoogle Scholar
  13. Blaschek, G.; Pomberger, G.; Ritzinger, F.: Einführung in die Programmierung mit Modula-2. Berlin: Springer 1990Google Scholar
  14. Clocksin, W.F.; Mellish, C.S.: Programming in Prolog. 5th ed. Berlin: Springer 2003MATHGoogle Scholar
  15. Coplien, J.O.: Advanced C++, Programming Styles and Idioms. Reading, Mass.: Addison-Wesley 1992Google Scholar
  16. Ellis, M.A.; Stroustrup, B.: The annotated C++ reference manual. Amsterdam: Addison-Wesley Longman 1996Google Scholar
  17. Goldberg, A.; Robson, D.: Smalltalk-80. Reading, Mass.: Addison-Wesley 1995Google Scholar
  18. Hinze, R.: Einführung in die funktionale Programmierung mit Miranda. Stuttgart: Teubner 1992MATHGoogle Scholar
  19. Jensen, K.; Wirth, N.: Pascal user manual and report (revised for the ISO Pascal standard). 4th ed. New York: Springer 1991Google Scholar
  20. Kernighan, B.W.; Ritchie, D.M.: Programmieren in C. 2. Aufl. München: Hanser 1990MATHGoogle Scholar
  21. Koepf, W.; u. a.: Mathematik mit DERIVE. Braunschweig: Vieweg 1993MATHGoogle Scholar
  22. Kutzler, B.; u. a.: Softwaresysteme zur Formelmanipulation. Ehningen: Expert-Vlg. 1990Google Scholar
  23. Perrot, R.H.; Zarea-Aliabadi, A.: Supercomputer languages. Computing Surveys 18 (1986) 5–22CrossRefGoogle Scholar
  24. Pomberger, G.; Pree, W.: Software Engineering, Architektur-Design und Prozessorientierung. 3. Aufl. München: Hanser 2004Google Scholar
  25. Steele, G.L.: Common LISP. 2nd ed. Bedford, Mass.: Digital Pr. 1990MATHGoogle Scholar
  26. Stoyan, H.; Görz, G.: LISP. 1. korr. Nachdruck, Berlin: Springer 1986Google Scholar
  27. Stroustrup, B.: The C++ programming language. 3rd ed. Amsterdam: Addison-Wesley Longman 1998Google Scholar
  28. Metcalf, M.; Reid, J.; Cohen, M.: Fortran 95/2003 explained. Oxford University Press 2004Google Scholar
  29. Wexelblat, R.L. (Ed.): History of programming languages. New York: Academic Pr. 1981MATHGoogle Scholar
  30. Wirth, N.: Programmieren in Modula-2. 2. Aufl. Berlin: Springer 1991Google Scholar
  31. Wolfram, S.: The Mathematica book. 4th ed. Cambridge University Press 1999Google Scholar
  32. Information über die NAG-Bibliothek: Numerical Algorithms Group, Wilkinson House, Jordan Hill Road, Oxford 0X2 8DR, GBGoogle Scholar
  33. Information über die IMSL-Bibliothek: In Deutschland: IMSL, Adlerstr. 74, D-40211 Düsseldorf, in Österreich: Uni Software Plus, Softwarepark Hagenberg, A-4232 HagenbergGoogle Scholar
  34. Information über Maple: Symbolic Computation Group, The University of Waterloo, Waterloo, Ontario, N2L 3G1, CanadaGoogle Scholar
  35. Information über Derive and Reduce: Uni Software Plus, Softwarepark Hagenberg, A-4232 HagenbergGoogle Scholar
  36. Ada 95 Reference Manual. Berlin: Springer 1997Google Scholar
  37. Burkhart, H.: Parallele Programmierung. In: Rechenberg, P.; Pomberger, G.: Informatik-Handbuch. 4. Aufl. München: Hanser 2006Google Scholar
  38. Böszörményi, L.; Weich, C.: Programmieren mit Modula-3. Berlin:Springer 1995Google Scholar
  39. Gosling, J.; u. a.: The Java language specification. 3rd ed. Reading: Addison-Wesley 2005Google Scholar
  40. Reiser, M.; Wirth, N.: Programmieren in Oberon. Korr. Nachdr. Bonn: Addison-Wesley Longman 1997Google Scholar
  41. Mössenböck, H.: Objektorientierte Programmierung in Oberon-2. 3. Aufl. Berlin: Springer 1998MATHGoogle Scholar
  42. Mössenböck, H.: Sprechen Sie Java? 3. Aufl. Heidelberg: dpunkt 2005Google Scholar
  43. Mössenböck, H.: Softwareentwicklung mit C# 2.0. 2. Aufl. Heidelberg: dpunkt 2003Google Scholar
  44. Bratko, I.: Prolog programming for artificial intelligence. 3rd ed. Addison-Wesley 2000Google Scholar
  45. Gibson, R.G.; Bergin, T.J.: History of programming languages II. Addison-Wesley 1996Google Scholar

Spezielle Literatur zu Kapitel 12

  1. McCabe, T.: A complexity measure. IEEE Trans. Software Engineering SE-2 (1976) 308–320CrossRefMathSciNetGoogle Scholar
  2. Nievergelt, J.; Ventura, A.: Die Gestaltung interaktiver Programme. Stuttgart: Teubner 1983MATHGoogle Scholar
  3. Oulsnam, G.: Unravelling unstructured programs. Computer J. 25 (1982) 379–387MATHGoogle Scholar
  4. Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Commun. ACM 15 (1972) 1053–1058CrossRefGoogle Scholar
  5. Pomberger, G.; Bischofberger, W.: Prototyping-oriented software development. Berlin: Springer 1992MATHGoogle Scholar
  6. Pomberger, G.; Pree, W.: Software Engineering, Architektur-Design und Prozessorientierung. 3. Aufl. München: Hanser 1996Google Scholar
  7. Wirth, N.: Program development by stepwise refinement. Commun. ACM 14 (1971) 221–227MATHCrossRefGoogle Scholar
  8. Wirth, N.: On the composition of well-structured programs. Computing Surveys 6 (1974) 247–259MATHCrossRefGoogle Scholar
  9. Boehm, B.: A spiral model of software development and enhancement. IEEE Computer 21 (5) 61–72Google Scholar
  10. Beck, K.: Extreme programming explained. Addison-Wesley 2000Google Scholar
  11. Schwaber, K.; Beedle, M.: Agile software development with Scrum. Prentice Hall 2002Google Scholar
  12. Dijkstra, E.W.: Go to statement considered harmful. Commun. ACM 11 (1968) 147–148CrossRefGoogle Scholar
  13. Kappel, G.; Hitz, M.; Retschitzegger, W.; Kapsammer, E.: UML@work. dpunkt 2005Google Scholar
  14. Myers, G.; J., Sandler, C.; Badgett, T.; Thomas, T.M.: The art of software testing. 2nd ed. Wiley 2004Google Scholar
  15. Spillner, A.; Linz, T.: Basiswissen Softwaretest. 3. Aufl. dpunkt 2005Google Scholar
  16. Gries, D.: The science of programming. Springer 1989Google Scholar
  17. Gilb, T.; Graham, D.: Software inspection. Addison-Wesley 1993Google Scholar
  18. Beck, K.: JUnit pocket guide. O’Reilly 2004Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Hans Liebig
    • 1
  • Thomas Flik
    • 2
  • Peter Rechenberg
    • 3
  • Hans Peter Mössenbock
    • 4
  1. 1.Institut für Technische Informatik und MikroelektronikTechnische Universität BerlinBerlinDeutschland
  2. 2.Institut für Technische Informatik und MikroelektronikTechnische Universität BerlinBerlinDeutschland
  3. 3.Institut für Pervasive ComputingJohannes Kepler Universität LinzLinzÖsterreich
  4. 4.Institut für SystemsoftwareJohannes Kepler Universität LinzLinzÖsterreich

Personalised recommendations