:? 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] :ln.c.-05: PROCEEDINGS Ershov, A.; et al.: International symposium on theoretical programming (1972) [RISC] :ln.c.-19: PROCEEDINGS Robinet, B.: Programming symposium (1974) [RISC] :ln.c.-25: BOOK Manes, E.G.: Category theory applied to computation and control (1974) [RISC] :ln.c.-33: BOOK Brakhage, H.: Automata theory and formal languages (1975) [RISC] :ln.c.-35: BOOK Everling, W.: Exercises in computer systems analysis (1975) [RISC] :ln.c.-37: BOOK Boehm, C.: Lambda calculus and computer science theory (1975) [RISC] :ln.c.-45: BOOK Mazurkiewicz, A.: mathematical foundations of computer science (1976) [RISC] :ln.c.-48: BOOK Tzschach, H.; et al.: Theoretical computer science (1977) [RISC] :ln.c.-62: BOOK Ausiello, G.; et al.: Automata, Languages and programming (1978) [RISC] :ln.c.-64: BOOK Winkowski, J.: Mathematical foundations of computer science (1978) [RISC] 1:001: BOOK Buchberger, Bruno (Ed); Collins, George E. (Ed); Loos, Ruediger (Ed): Computer Algebra Symbolic and Algebraic Computation, Second Edition (1982) [RISC] 1:1a49: BOOK Addison, J.W.: The theory of models (1963) [RISC] 1:1r57: BOOK Rice, J.R.: Mathematical software ( ) [RISC] 3:3a10: BOOK Aiserman, M.A.: Logik - Automaten - Algorithmen ( ) [RISC] 3:3b101: BOOK Bobrow, D.G.: Symbol manipulation languages and techniques ( ) [RISC] 3:3b190: BOOK Bird, R.: Programs and machines ( ) [RISC] 3:3c112: BOOK Charnial, E.: Computational semantics ( ) [RISC] 4:4b55II: BOOK Boehme, G.: Anwendungsorientierte Mathematik, Band II (1975) [RISC] 4:4l30: BOOK Lausch, H.: Algebra of polynomials ( ) [RISC] 4:4r57: BOOK Richter, M.M.: Logikkalkuele ( ) [RISC] 4:4w28: BOOK Wedekind, H.: Systemanalyse ( ) [RISC] 7:7a144: BOOK Darling, A.R.: Use of mathematical literature ( ) [RISC]