|
 |
|
Library (
Fri Mar 8 10:25:13 CET 2002
)
(Thorsten's Homepage)
Buecher:
========
Anderson/Nash, Linear Programming in infinite-dimensional Spaces, Wiley, 1987
Barth/Muehlbauer/Nikol/Woerle, Mathematische Formeln und Definitionen, Bayerischer Schulbuch, J. Lindauer, 4. Auflage 1985
Bauer/Goos, Informatik - Eine einfuehrende Uebersicht erster Teil, Springer, 3. Auflage 1982
Bauer/Goos, Informatik - Eine einfuehrende Uebersicht zweiter Teil, Springer, 3. Auflage 1984
Bauer/Gnatz/Hill, Informatik - Aufgaben und Loesungen erster Teil, Springer, 1975
Bauer/Gnatz/Hill, Informatik - Aufgaben und Loesungen zweiter Teil, Springer, 1976
Beluntze/Sommer, Theorie Frunktionen mehrerer komplexer Veraenderlichen,, 19??
Betterigde, Cassell's German Dictionary, Cassell's, 4. Auflage 1981
Borghoff/Gasteiger/Schmalz/Weigele, MI - Eine Maschine fuer die Informatikausbildung, IFI TUM, 1991
Borwise, Admissible Sets and Searching,, 19??
Boot, Quadratic Programming - Algorithms - Anomalies - Applications, North-Holland, 1964
Bronstein/Semendjajew/Musiol/Muehlig, Taschenbuch der Mathematik, Harri Deutscher, 1. Auflage 1993
Bungartz/Griebel/Zenger, Einfuehrung in die Computergraphik, Vieweg, 1996
Burkhardt, UML - Unified Modelling Language, Addison Wesley, 1997
Claus/Schwill, Duden - Informatik, Dudenverlag, 2. Auflage 1993
Chandy/Misra, ....
Draeger, Das Isotopieproblem topologischer Graphen, IFI TUM, 1991
Dreyfus, The Art and Theory of dynamic Programming, Academic, 1977
Ebbinghaus/Flum/Thomas, Einfuehrung in die mathematische Logik, BI Wissenschaftsverlag, 3. Auflage 1992
Edenhofer/Kredler, Formelsammlung zu Einfuehrung in die Wahrscheinlichkeitstheorie und Statistik, IFM TUM, 2. Auflage 1994
Egle, Graphen und Praeordnungen, BI Wissenschaftsverlag, 1977
Endres/Stroehlein, Fakultaet fuer Informatik, IFI TUM, 1995
Engeln-Muellges/Reutter, Formelsammlung zur Numerischen Mathematik, BI Wissenschaftsverlag, 5. Auflage 1986
Forster, Analysis 1 - Differential- und Integralrechnung einer Veraenderlichen, Vieweg, 4. Auflage, 1992
Forster, Analysis 2 - Differentialrechnung im R^n, Gewoehnliche Differentialgleichungen, Vieweg, 5. Auflage, 1991
Fuchs, Similarity-Based Lemma Generation with Lemma-Delaying Tableaux Enumeration, IFI TUM, 1998
Goosens/Mittelbach/Samarin, The Latex Companion, Addison-Wesley, 1994
Greiner, Wahrscheinlichkeitstheorie und Statistik fuer Informatiker - Aufgabensammlung, IFI TUM, 1994
Greiner, Stochastik fuer die Studienanfaenger der Informatik - Aufgabensammlung, IFI TUM, 1996
Greiner, Stochastik fuer Studierende der Informatik - Aufgabensammlung, CS Press, 1997
Greiner/Schramm, Nicht-Monotones Schliessen auf Wahrscheinlichkeitsmodellen begruendet durch die Prinzipien Indifferenz, Unabhaengigkeit und maximale Entropie, IFI TUM, 1994
Greiner/Tinhofer, Stochastik fuer Studienanfaenger der Informatik, Hanser, 1996
Greub, Linear Algebra, Springer, 2. Auflage 1963
Groebner, Matrizenrechnung, BI Hochschultaschenbuecher, 1966
Hammer/Hammer, Physikalische Formeln und Tabellen, Bayerischer Schulbuch, J. Lindauer, 4. Auflage 1985
Hartung, Statistik - Lehr- und Handbuch der angewandten Statistik, Oldenburg, 11. Auflage 1998
Hopcroft/Ullman, Einfuehrung in die Automathentheorie, formale Sprachen und Komplexitaetstheorie, Addison-Wesley, 3. Auflage 1994
Hurwitz/Gourant, Vorlesung ueber allg. Funktionentheorie und elliptische Funktionen,, 19??
Jensen/Wirth, Pascal User Manual and Report, Springer, 3. Auflage 1985
Jessen, Chair of Computer Architecture/Computer Structures (Lehrstuhl fuer Informatik VIII) - Report of Activities, IFI TUM, 1997
Jones, GOFER, 1996
Judin/Goldstein, Lineare Optimierung I, Akademie, 1968
Judin/Goldstein, Lineare Optimierung II, Akademie, 1970
Kaufmann/Henry-Labordere, Academic, 1977
Kaufmann/Cruon, Dynamic Programming - Sequential Scientific Management, Academic, 1967
Kerningham/Ritchie, The C Programming Langugae, Prentice Hall, 1988
Krueger, Programmieren mit Modula-2, Markt&Technik, 1988
Kruse/Gebhardt/Klawonn, Fuzzy-Systeme, B.G.Teubner, 2. Auflage 1995
Lamport, Latex User's Guid and Reference Manual, Addison-Wesley, 2. Auflage 1994
Leipholz, Stability Theory, Teubner, 2. Auflage 1987
Masters, Practical Neural Network Recipes in C++, Academic Press, 1993
McClelland/Rummelhart, Parallel Distributed Processing, Volume II, MIT Press, 1986
Mehlhorn, Data Structures and Algorithms 1: Sorting ans Searching, Springer, 1984
Millner, Communication and Concurrency, ???, 199?
Nemhauser/Wolsey, Integer and Combinatorial Optimization, Wiley, 1988
Nozicka/Guddat/Hollatz, Theorie der linearen Optimierung, Akademie, 1972
Nozicka/Hollatz/Bank, Theorie der linearen parametrischen Optimierung, Akademie, 1974
Orfali/Harkey, Client/Server Programmiung with JAVA and CORBA, Wiley Computer Publishing, 2. Auflage 1998
Pau, Komplexitaetstheorie, Teubner, 1978
Plauger, The Draft Standard C++ Library, Prentice Hall, 1995
Prehofer, Solving Higher-Order Equations: From Logic to Programming, IFI TUM, Dissertation 1995
Proebster, Rechnernetze, Vorabdruck 1998
Reisig, Petris Nets and Algebraic Specifications, IFI TUM, 1990
Renyi, Tagebuch ueber die Informationstheorie, Birkhaeuser, 1982
Ridder, Multiresolution Image Processing: Gauss- und Laplacepyramiden zur Texturanalyse, IFI TUM, 1994
Rummelhart/McClelland, Parallel Distributed Processing, Volume I, MIT Press, 1986
Sayegh, CORBA - Standard, Spezifikationen, Entwicklung, O'Reilly, 1997
Schild/Jannot, 200 Utilities fuer PC-/MS-DOS, Markt&Technik, 1989
Schoening, Theoretische Informatik - kurgefasst, Spektrum, 2. Auflage 1995
Schuette, Vollstaendige Systeme modaler und intuitionistischer Logik, Springer, 1968
Schur, Vorlesung ueber Invariantentheorie, Springer, 1968
Sedgewick, Algorithmen, Addision-Wesley, 3. Nachdruck 1994
Seelos, Medizinische Informatik, Biometrie und Epidemiologie, de Gruyter, 1997
Shelah, Classification theory and the number of non-isomorphic models, North-Holland, 1978
Siegert, Robotik, 1996
Standke, Turbo-Prolog - Abbild menschlicher Denkstrategien, tewi, 1987
Stoer/Bulirsch, Einfuehrung in die Numerische Mathematik I, Springer, 3. Auflage 1979
Stoer/Bulirsch, Einfuehrung in die Numerische Mathematik II, Springer, 2. Auflage 1978
Suchowitzki/Awdejewa, Lineare und konvexe Programmierung, Oldenburg, 1969
Tanenbaum, Modern Operating Systems, Prentice Hall, 1992
Titze, Algebra I. Teil, Bayerischer Schulbuchverlag, 5. Auflage, 1967
Winskel, The Formal Semantics of Programming Languages, MIT Press, 2. Nachdruck 1994
???, LK Pysik, Abitur-Pruefungsaufgaben 1983 - 1989, Stark, 12. Auflage, 1989
???, LK Pysik, Abitur-Pruefungsaufgaben 1986 - 1991, Stark, 14. Auflage, 1991
???, SFB 331 - Arbeits- und Ergebnisberichte, 1991 - 1994, Hieronymus, 1994
???, SFB 331 - Abschlussbericht, 1994 - 1997, Hieronymus, 1997
???, SFB 331 - Finanzierungsantrag, 1995 - 1997, Hieronymus, 1997
???, TCL/TK Manpages
???, TCL/TK an Introduction
???, TUM - Fakultaet fuer Informatik, 1995
???, TUM - Fakultaet fuer Informatik, 1997
???, TUM - Fakultaet fuer Informatik, 1998
Diplomarbeiten:
===============
Blum, Objekterkennung anhand von 3D-Strukturen zur Lokalisation eines autonomen mobilen Roboters, ET TUM, Diplomarbeit, 1996
Hartinger, Ein Multiagentensystem fuer sprechaktbasierte Verhandlungsprotokolle, IFI TUM, Diplomarbeit, 1998
Magin, NoWait-RPC Eine Benutzerbibliothek fuer asynchrone Remote Procedure Calls, ET TUM, Diplomarbeit, 1996
Schmitt, Evalutation of the Neural Folding Architecture for Inductive Learning Tasks concerning Logical Terms and Chemical Structures, IFI TUM, Diplomarbeit, 1997
Dissertationen:
===============
Burschka, Videobasierte Umgebungsexploration am Beispiel eines binokularen Stereo-Kamerasystems, LPR TUM, Dissertation, 1998
Goller, A Connectionist Approch for Learning Search-Control Heuristics for Automated Deduction Systems, IFI TUM, Dissertation, 1997
Steger, Unbiased Extraction of Curvilinear Structures from 2D and 3D Images, Herbert Utz, Dissertation, 1998
Azarm, Ein dezentrales Verfahren zur reaktiven und konfliktfreien Fahrzeugfuehrung in Mulitroboterumgebungen, VDI, 1997
Journals:
=========
Connection Science, Volume 8(3&4), Carfax, 1996
Fuzzy sets and systems, Volume 48(1), North-Holland, 1992
Konferenzbaende:
================
Brauer/Freska, Fuzzy-Neuro Systems '98, infix, 1998
Bulsari/Fernandez/Kallio, Engineering Benefits from Neural Networks, Systeemitekniikan seura ry, 1998
Fronhoefer/Haehnle/Kaeufl, Theorem Proving with Analytic Tableaux and Related Methods, FFI Karlsruhe, 1992
Novak, Neural Network World, Volume 6(2-4), IDG, 1996
Schmidt/Freyberger, Autonome Mobile Systeme 1996, Springer, 1996
Woern/Dillmann/Henrich, Autonome Mobile Systeme 1998, Springer, 1998
Seminare:
=========
Radig, Computer Vision, IFI TUM, WiSw 1993/94
Radig, Hauptseminar "Woxel-Bildanalyse", IFI TUM, WiSw 1994/95
Skripte:
========
Baumgarten, Betriebssysteme, IFI TUM, WiSe 1995/96
Baumgarten, Rechnernetze und Rechnerkommunikation, IFI TUM, SoSe 1996
Bayer, Datenbanksysteme, IFI TUM, SoSe 1996
Bayer, Datenstrukturen und Datenorganisation, IFI TUM, WiSe 1995/96
Bode/Hellwagner, Parallelrechner, IFI TUM, SoSe 1994&1995
Bode, Rechnerarchitektur, IFI TUM, WiSe 1995/96
Brauer, Automaten und Formale Sprachen, IFI TUM, WiSe 1994/95
Brauer, Einfuehrung in die Informatik I, WiSe 1995/96
Brauer, Fuzzy Logic, IFI TUM, WiSe 1997/98
Brandl/Goebel/Harlfinger/Oheimb, JAVA-Kurs, IFI TUM, WiSe 1998/99
Brockhaus/Falkner, Uebersetzerbau, IFI TU-Wien, 2. Auflage SoSe 1989
Broy, Grundlagen der Programm- und Systementwicklung, IFI TUM, WiSe 1995/96
Deco, Neuronale Netze - Lernende Systeme, IFI TUM, WiSe 1997/98
Eckstein, Interpretation von Bildfolgen, IFI TUM, SoSe 1996
Eickel, Uebersetzung von Programmiersprachen, IFI TUM, WiSe 1995/96
Endres, Werkzeuge in der Programmentwicklung, IFI TUM, WiSe 1995/96
Esparze, Berechenbarkeit und Entscheidbarkeit, IFI TUM, WiSe 1994/95 & 1995/96
Esparza, Nichtsequentielle Systeme, nebenlaeufige Prozesse, IFI TUM, SoSe 1996
Esparza, Petrinetze, IFI TUM, SoSe 1995 & WiSe 1995/96
Geiger, Neuronale Netze - Anwendung in der Industrie, IFI TUM, SoSe 1995
Hellwagner, Parallelrechner, IFI TUM, SoSe 1995
Jansen, Automaten und Formale Sprachen, IFI TUM, WiSe 1995/96
Jessen, Rechnernetze und Rechnerkommunikation, IFI TUM, SoSe 1997
Karzel, Lineare Algebra und analytische Geometrie I, IFI TUM, Neuauflage 1992
Letz, Das Beweiserpraktikum, IFI TUM, SoSe 1997
Mitschang, Datenbanksysteme I, IFI TUM, SoSe 1995&1996
Nipkow, Das Lambda Kalkuel, IFI TUM, WiSe 1995/96
Nipkow, Semantik von Programmiersprachen, IFI TUM, WiSe 1995/96 & 1996/97
Paul, Parallele und verteilte Algorithmen, IFI TUM, SoSe 1995
Poetsch-Heffter, Uebersetzung von Programmiersprachen, IFI TUM, WiSe 1994/95
Radig, Bildinterpretation, IFI TUM, SoSe 1995
Radig, Bilderverstehen, IFI TUM, WiSe 1995/96
Raggett, HTML 3.1 Reference Specification, W3C, 1997
Schlichter, Verteilte Anwendungen, IFI TUM, SoSe 1997
Schmidhuber, Lernalgorithmen fuer Neuronale Netze, IFI TUM, SoSe 1994
Schweikard, Wissensbasierte Systeme I, IFI TUM, WiSe 1995/96
Siegert/Rueb, Echtzeitsysteme, IFI TUM, WiSe 1994/95
Stueckl, Java Einfuehrung in die Programmierung, vhs ScriptPool, 1997
Hayes-Widmann, Analysis I + II, IFM TUM, WiSe 1992/93, SoSe 1993
Karzel, Lineare Algebra I + II, IFM TUM, WiSe 1992/93, SoSe 1993
Paul, Einfuehrung in die Informatik I + II, IFI TUM, WiSe 1992/93, SoSe 1993
Siegert, Einfuehrung in die Informatik III, IFI TUM, WiSe 1992/93
Schlichter, Einfuehrung in die Informatik IV, IFI TUM, SoSe 1993
Tinhofer, Wahrscheinlichkeitstheorie und Statistik I fuer Informatiker, IFM TUM, SoSe 1994
Bulirsch, Numerik I fuer Informatiker, IFM TUM, WiSe 1993/94
???, Einfuehrung in die Informatik IV
???, Anatomie I und II, Fachschaft, 1990
???, Physiologie, Fachschaft, WiSe 1993/94
Systementwicklungsprojekte:
===========================
Schmitt, Performance Evaluations of the Backpropagation Algorithm and a modified Artificial Genetic Algorithm for Artificial Neural Network Training, Volume I (Thesis), Univ. of Newcastle upon Tyne, Individual Project, 1995
Schmitt, Performance Evaluations of the Backpropagation Algorithm and a modified Artificial Genetic Algorithm for Artificial Neural Network Training, Volume II (Code), Univ. of Newcastle upon Tyne, Individual Project, 1995
|