Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

Literatur zur Vorlesung Entwurf und Analyse von Algorithmen im Wintersemester 2000/2001

Bentley, Jon : Programming Pearls.
Addison-Wesley, 2000.
Signatur: INF 410/237.
Brassard, Gilles; Bratley, Paul: Algorithmik : Theorie und Praxis.
Wolfram, 1993.
Signatur: INF 335/130.
Brassard, Gilles; Bratley, Paul: Fundamentals of algorithmics.
Prentice-Hall International, 1996.
Signatur: INF 335/133.
Cormen, Thomas H.; Leiserson, Charles E.; Rivest, Ronald L.: Introduction to algorithms.
MIT Press, 1996.
Signatur INF 335/097.
Gary, Michael R.; Johnson, David S.: Computers and Intractability : A Guide to the Theory of NP-Completeness.
W. H. Freeman and Company, 1979.
Signatur: L inf 188, INF 370/004.
Horowitz, Ellis; Sahni, Sartaj: Fundamentals of computer algorithms.
Pitman, 1979.
Signatur: L inf 120, INF 335/051.
Mehlhorn, Kurt: Effiziente Algorithmen.
Teubner, 1977.
Signatur: L inf 423.
Rawlins, Gregory J. E.: Compared to what? : An introduction to the analysis of algorithms.
Computer Science Press, 1992.
Signatur: INF 335/143.
Schöning, Uwe: Algorithmen - kurz gefasst.
Spektrum Akademischer Verlag, 1997.
Signatur: L inf 60, INF 335/150.
Sedgewick, Robert: Algorithmen.
Addison-Wesley, 1992.
Signatur: INF 335/117.

Letzte Änderung: Wednesday, 26-Oct-05 08:59:16 GMT
www-aven@informatik.uni-kl.de