1. Medical image computing and computer-assisted intervention : MICCAI 2005 : 8th international conference, Palm Springs, CA, USA, October 26-29, 2005 : proceedings Author/Creator: International Conference on Medical Image Computing and Computer-Assisted Intervention Palm Springs, Calif.) 2005 : (8th Publication/Creation: Berlin ; New York : Springer, [2005] Resource Type: Book Access & Availability: Loading
2. PORTAL language description Author/Creator: Businger, Arnold, 1953- Publication/Creation: Berlin ; New York : Springer-Verlag, [1985] Resource Type: Book Access & Availability: Loading
3. Interactive systems : proceedings, 6th Informatik Symposium, IBM Germany, Bad Homburg v. d. H., September 1976 Author/Creator: Informatik Symposium Bad Homburg vor der Höhe, Germany) 1976 : (6th Publication/Creation: Berlin ; New York : Springer-Verlag, 1977 Resource Type: Book Access & Availability: Loading
4. Theoretical computer science Author/Creator: GI-Fachtagung Theoretische Informatik Darmstadt, Germany) 1977 : (3rd Publication/Creation: Berlin ; New York : Springer-Verlag, 1977 Resource Type: Book Access & Availability: Loading
5. Komplexität von Entscheidungsproblemen : ein Seminar Publication/Creation: Berlin ; New York : Springer-Verlag, 1976 Resource Type: Book Access & Availability: Loading
6. Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 Author/Creator: Informatik Symposium Wildbad im Schwarzwald, Germany) 1974 : (4th Publication/Creation: Berlin ; New York : Springer-Verlag, 1975 Resource Type: Book Access & Availability: Loading
7. Interval mathematics : proceedings of the international symposium, Karlsruhe, West Germany, May 20-24, 1975 Publication/Creation: Berlin ; New York : Springer-Verlag, 1975 Resource Type: Book Access & Availability: Loading
8. Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 Publication/Creation: Berlin ; New York : Springer-Verlag, 1975 Resource Type: Book Access & Availability: Loading