Extracted from "final" because the girl from mathlib said she is not interested in books with no number. No label: :? no label: BOOK Arsac, Jacques: Foundations of Programming (1985) [RISC] :? no label: BOOK Bara, Bruno G. (Ed); Guida, Giovanni (Ed): Computational Models of Natural Language Processing (1984) [RISC] :? no label: BOOK Bernutat-Buchmann, Ulrike; Ehlich, Hartmut; Schlo~er, Karl-Heinz: Proceedings of the 1982 Conferences on CYBER 200 in Bochum (1982) [RISC] :? no label: BOOK Bernutat-Buchmann; et al.: Parallel Computing I, Eine Bibliographie (1983) [RISC] :? no label: BOOK Bishop, Ron: Einfache Mikroprozessoren und der 6800 (1979) [RISC] :? no label: BOOK Camion, Paul: Can a Fast Signature Scheme without Secret Key be Secure (1985) [RISC] :? no label: BOOK Cellier, Francois E.: Progress in Modelling and Simulation. (1982) [RISC] :? no label: BOOK Engeler, E.; Laeuchli, P.: Berechnungstheorie fuer Informatiker (1988) [RISC] :? no label: BOOK Ernst, Dietrich; Garbrecht, Kurt; et al.: Chancen mit Chips. Zwischenbilanz einer Basistechnologie (1984) [RISC] :? no label: BOOK Franz, Wolfgang: Topologie. 1. Allgemeine Topologie. 3. Auflage. (1968) [RISC] :? no label: BOOK Godfrey, M. D.; Hendry, D. F.; Hermans, H. J.; Hessenberg, R. K.: Machine-independent Organic Software Tools (MINT) (1985) [RISC] :? no label: BOOK Godfrey, M.D.; Hendry, D.F.; Hermans, H.J.; Hessenberg, R.K.: Machine-Independent Organic Software Tools (Mint) (1985) [RISC] :? no label: BOOK Janson, Philippe A.: Operating Systems Structures and Mechanisms (1985) [RISC] :? no label: BOOK Janson, Philippe A.: Operating Systems Structures and Mechanisms (1985) [RISC] :? no label: BOOK Manna, Z.; Waldinger, R.: the logical basis for computer programming vol. 1 (1985) [unknown] :? no label: BOOK Metcalf, Michael: FORTRAN Optimization (1985) [RISC] :? no label: BOOK Metcalf, Michael: FORTRAN Optimization (1985) [RISC] :? no label: BOOK Ravenel, Douglas C.: Complex cobordism and stable homotopy groups of spheres. (1986) [RISC] :? no label: BOOK Sagle, Arthur A.; Walde, Ralph E.: Introduction to Lie groups and Lie algebras. (1973) [RISC] :? no label: BOOK Spriet, Jan A.; Vansteenkiste Ghislain C.: Computer-aided modelling and simulation. (1982) [RISC] :? no label: BOOK Steele, Guy, L.: Common LISP ( ) [RISC] :? no label: BOOK Zissos, D.: System Design with Microprocessors. (1984) [RISC] :? no label: PROCEEDINGS Albrecht, A.; Jung, H.; Mehlhorn, K.: Parallel algorithms and architectures (1987) [RISC] :? no label: PROCEEDINGS Arnon, Dennis A.: Workshop on Environments for computational mathematics (1987) [RISC] :? no label: PROCEEDINGS Baeuerle: Symp. on the dynamic properties of solids and structured phase transitions (1979) [unknown] :? no label: PROCEEDINGS Barth: Berichte aus Informatikinstituten (1984) [unknown] :? no label: PROCEEDINGS Bourne: 7th ACM symposium on principles of programming languages (1980) [unknown] :? no label: PROCEEDINGS Camp Linz: advanced topics in computer architecture (1984) [unknown] :? no label: PROCEEDINGS Char: SYMSAC'86 (1986) [unknown] :? no label: PROCEEDINGS Clowes: 3rd int. joint conference on AI (1971) [unknown] :? no label: PROCEEDINGS Davis: LISP conference (1980) [unknown] :? no label: PROCEEDINGS Derrett: Software engineering: tools and methods (1978) [unknown] :? no label: PROCEEDINGS Dresden: algorithmische und logische Grundlagen der Programmierung (1984) [unknown] :? no label: PROCEEDINGS Ebert, J. (ed.): Alternative Konzepte fuer Sprachen und Rechner (1985) [RISC] :? no label: PROCEEDINGS Ehrig, H.; Kowalski, R.; Levi, G.; Montanari, U.: TAPSOFT'87 (1987) [RISC] :? no label: PROCEEDINGS Ehrig, H.; Kowalski, R.; Levi, G.; Montanari, U.: TAPSOFT'87 (1987) [RISC] :? no label: PROCEEDINGS Eryov, A.N.: Proc. of the conference on tranlation and program transformation techniques (1984) [RISC] :? no label: PROCEEDINGS General electrics: MACSYMA user conference (1984) [unknown] :? no label: PROCEEDINGS Govorin: Systems and techniques in analytic computation (1983) [unknown] :? no label: PROCEEDINGS Govorin: simulation programs and mathematical methods for solving physical problems (1983) [unknown] :? no label: PROCEEDINGS Govorun, N.: International conference on computer algebra and its applications in theoretical physics (1985) [RISC] :? no label: PROCEEDINGS Guttag: NSF workshop on the rewrite rule lab. (1983) [unknown] :? no label: PROCEEDINGS Hamza: Mini- and Microcomputer ... (1983) [unknown] :? no label: PROCEEDINGS Hyvoenen: STEP'84 (1984) [unknown] :? no label: PROCEEDINGS INRIA: computer aided geometric reasoning (1986) [unknown] :? no label: PROCEEDINGS Kambayashi: Consecution retrieval property (1981) [unknown] :? no label: PROCEEDINGS Kapur, D.; Mundy, (eds.): Geometric Reasoning (1986) [RISC] :? no label: PROCEEDINGS Karpinski: topics in the theory of computation (1983) [unknown] :? no label: PROCEEDINGS Lewis: MACSYMA's user conference (1979) [unknown] :? no label: PROCEEDINGS Maehle: Fehlertolerante Mehrprozessor- und Mehrrechner-systeme (1983) [unknown] :? no label: PROCEEDINGS Mastronardi: Mini- and Microcomputers (1984) [unknown] :? no label: PROCEEDINGS Mignotte: algorithmique calcul formel arithmetique (1983) [unknown] :? no label: PROCEEDINGS O'Rourke: Computational geometry (1985) [unknown] :? no label: PROCEEDINGS Philipp: Grundlagen und Anwendunge der Informationsverarbeitung (1982) [unknown] :? no label: PROCEEDINGS Pinzani, R.: sul trattamento automatico delle informazioni (1971) [RISC] :? no label: PROCEEDINGS Plander: AI and information control systems of robots (1980) [unknown] :? no label: PROCEEDINGS Prof: teoriya i praktika automatizirovania (1984) [unknown] :? no label: PROCEEDINGS Radermacher: Berichte aus Informatikinstituten (1986) [unknown] :? no label: PROCEEDINGS Remmele: Microcomputing (1979) [unknown] :? no label: PROCEEDINGS Rossa: Mini- and micro computer and their application (1980) [unknown] :? no label: PROCEEDINGS Scheel: Zur Bedeutung der Information ... (1983) [unknown] :? no label: PROCEEDINGS Snyder, Lawrence (ed.); Jamieson, Leah H.; Gannon, Dennis B.; Siegel, Howard Jay: Algorithmically Specialized Parallel Computers (1985) [RISC] :? no label: PROCEEDINGS Steinringer: Wirtschaft und Technik (1985) [unknown] :? no label: PROCEEDINGS Talukdar: coupling symbolic and numeric computation in expert systems (1985) [unknown] :? no label: PROCEEDINGS Visconti: 4th int. colloquium on advanced computing methods in theoretical ph ysics (1977) [unknown] :? no label: PROCEEDINGS Wagner, R.R.; Traunmueller, R.; Mayr, H.C.: Informationsbedarfsermittlung und -analyse fuer den Entwurf von Informationssystemen (1987) [RISC] :? no label: PROCEEDINGS Wagner: EMISA'87 (1987) [unknown] :? no label: PROCEEDINGS Wang: SYMSAC'81 (1981) [unknown] :? no label: PROCEEDINGS nn: 1st RIKEN symp. (1984) [unknown] :? no label: PROCEEDINGS nn: 2nd RIKEN symp. (1985) [unknown] :? no label: PROCEEDINGS nn: 3. Tagung Berichte aus Informatikinstituten (1979) [unknown] :? no label: PROCEEDINGS nn: 3rd RIKEN symp. (1986) [unknown] :? no label: PROCEEDINGS nn: 4. Oe. Wissenschaftsmesse, Bd. 3 (1985) [unknown] :? no label: PROCEEDINGS nn: ACM conf. LISP and functional programming (Auszuege) (1986) [unknown] :? no label: PROCEEDINGS nn: Berichte aus Informatikinstituten (1981) [unknown] :? no label: PROCEEDINGS nn: Berichte aus Informatikinstituten (1983) [unknown] :? no label: PROCEEDINGS nn: Computer architecture (1980) [unknown] :? no label: PROCEEDINGS nn: EXHIBIT'86 (1986) [unknown] :? no label: PROCEEDINGS nn: ICIAM '87 Austellungskatalog (1987) [RISC] :? no label: PROCEEDINGS nn: IFABO'85 (1985) [unknown] :? no label: PROCEEDINGS nn: IJCAI'77 (1977) [unknown] :? no label: PROCEEDINGS nn: Int. school of high energy physics for young scientists (1982) [unknown] :? no label: PROCEEDINGS nn: RIKEN symp. (1987) [unknown] :? no label: PROCEEDINGS nn: UNIX transparent (1985) [unknown] :? no label: PROCEEDINGS nn: int. conference on reliable software (1975) [unknown] :Roider(Nachlass): BOOK Berger, A.: Einfuehrung in COBOL ( ) [RISC] :Roider(Nachlass): BOOK Bowen, Rufus: On axiom a diffeomorphisms ( ) [RISC] :Roider(Nachlass): BOOK Buchberger, B.; Collins, G.E.; Loos, R.; Albrecht, R.: Computer algebra, symbolic and algebraic computation ( ) [RISC] :Roider(Nachlass): BOOK Buchberger, B.; Lichtenberger, F.: Mathematik fue Informatiker I ( ) [RISC] :Roider(Nachlass): BOOK Davis, Martin: Computability and unsolvability ( ) [RISC] :Roider(Nachlass): BOOK Ornstein, Donald S.: Ergodic theory, randomness, and dynamical systems ( ) [RISC]