:? no label: BOOK ( ) Knuth, D.: The TEX-book :? no label: BOOK ( ) Steele, Guy, L.: Common LISP :? no label: BOOK (0) : :? no label: BOOK (1951) Jacobson, Nathan: Lectures in abstract algebra. Vol.1. Basic concepts. :? no label: BOOK (1953) Jacobson, Nathan: Lectures in abstract algebra. Vol.2. Linear algebra. :? no label: BOOK (1961) LeVeque, William Judson: Topics in number theory. Vol. 2. 2. print. :? no label: BOOK (1964) Jacobson, Nathan: Lectures in abstract algebra. Vol.3. Field theory and Galois theory. :? no label: BOOK (1966) Borewicz, Senon I.; Safarevic, Igor R.: Zahlentheorie. Aus dem Russ. uebers. von Helmut Koch. Mit e. Geleitwort von Helmut Hasse. :? no label: BOOK (1967) Rogers, Hartley: Theory of recursive functions and effective computability. :? no label: BOOK (1967) van der Waerden, B. L.: Algebra. Unter Benutzung von Vorlesungen von E(mil) Artin und E(mmy) Noether. 5. Aufl.d. Modernen Algebra. 2. Teil. :? no label: BOOK (1968) Brauer, Wilfried; Indermark, Klaus: Algorithmen, rekursive Funktionen und formale Sprachen. :? no label: BOOK (1968) Franz, Wolfgang: Topologie. 1. Allgemeine Topologie. 3. Auflage. :? no label: BOOK (1968) Jacobson, Nathan: Structure of rings. Revised ed. repr. :? no label: BOOK (1971) Alexandrov, P. S. (Hrsg.); Markusevic, A. I. (Hrsg.); Chincin, A. J. (Hrsg.): Enzyklopaedie der Elementarmathematik. Uebersetzung aus dem Russischen. Band 5. Geometrie. :? no label: BOOK (1973) Kolchin, E(llis) R.: Differential algebra and algebraic groups. :? no label: BOOK (1973) Sagle, Arthur A.; Walde, Ralph E.: Introduction to Lie groups and Lie algebras. :? no label: BOOK (1974) Jacobson, Nathan: Basic algebra. 1. :? no label: BOOK (1979) Bishop, Ron: Einfache Mikroprozessoren und der 6800 :? no label: BOOK (1980) Alexandrov, P. S. (Hrsg.); Markusevic, A. I. (Hrsg.); Chincin, A. J. (Hrsg.): Enzyklopaedie der Elementarmathematik. Uebersetzung aus dem Russischen. 2. Aufl. Band 4. Geometrie. :? no label: BOOK (1980) Jacobson, Nathan: Basic algebra. 2. :? no label: BOOK (1982) Bernutat-Buchmann, Ulrike; Ehlich, Hartmut; Schlo~er, Karl-Heinz: Proceedings of the 1982 Conferences on CYBER 200 in Bochum :? no label: BOOK (1982) Cellier, Francois E.: Progress in Modelling and Simulation. :? no label: BOOK (1982) Hofstadter, Douglas R.: Goedel, Escher, Bach. An eternal golden braid. A metaphorical fugue on minds and machines in the spirit of Lewis Carol. :? no label: BOOK (1982) Spriet, Jan A.; Vansteenkiste Ghislain C.: Computer-aided modelling and simulation. :? no label: BOOK (1983) Bernutat-Buchmann; et al.: Parallel Computing I, Eine Bibliographie :? no label: BOOK (1983) Zaks, Rodney: Programmierung des Z80. 2. Aufl. :? no label: BOOK (1984) Bara, Bruno G. (Ed); Guida, Giovanni (Ed): Computational Models of Natural Language Processing :? no label: BOOK (1984) Ernst, Dietrich; Garbrecht, Kurt; et al.: Chancen mit Chips. Zwischenbilanz einer Basistechnologie :? no label: BOOK (1984) Lang, Serge: Algebra. 2. ed. :? no label: BOOK (1984) Zissos, D.: System Design with Microprocessors. :? no label: BOOK (1985) Arsac, Jacques: Foundations of Programming :? no label: BOOK (1985) Camion, Paul: Can a Fast Signature Scheme without Secret Key be Secure :? no label: BOOK (1985) Godfrey, M. D.; Hendry, D. F.; Hermans, H. J.; Hessenberg, R. K.: Machine-independent Organic Software Tools (MINT) :? no label: BOOK (1985) Godfrey, M.D.; Hendry, D.F.; Hermans, H.J.; Hessenberg, R.K.: Machine-Independent Organic Software Tools (Mint) :? no label: BOOK (1985) Hardy, G. H.; Wright, E. M.: An introduction to the theory of numbers. 5. ed. repr. :? no label: BOOK (1985) Janson, Philippe A.: Operating Systems Structures and Mechanisms :? no label: BOOK (1985) Janson, Philippe A.: Operating Systems Structures and Mechanisms :? no label: BOOK (1985) Manna, Z.; Waldinger, R.: the logical basis for computer programming vol. 1 :? no label: BOOK (1985) Metcalf, Michael: FORTRAN Optimization :? no label: BOOK (1985) Metcalf, Michael: FORTRAN Optimization :? no label: BOOK (1986) Radermacher; Wirsing: Proc. Berichte aus Informatikinstituten :? no label: BOOK (1986) Ravenel, Douglas C.: Complex cobordism and stable homotopy groups of spheres. :? no label: BOOK (1986) Shelah, Saharon: Around classification theory of models. (14 loosely connected papaers by Shelah.) :? no label: BOOK (1987) Buchberger, Ernst: AI-Dictionary :? no label: BOOK (1988) Engeler, E.; Laeuchli, P.: Berechnungstheorie fuer Informatiker :? no label: PROCEEDINGS (1971) Clowes: 3rd int. joint conference on AI :? no label: PROCEEDINGS (1971) Pinzani, R.: sul trattamento automatico delle informazioni :? no label: PROCEEDINGS (1975) nn: int. conference on reliable software :? no label: PROCEEDINGS (1977) Visconti: 4th int. colloquium on advanced computing methods in theoretical ph ysics :? no label: PROCEEDINGS (1977) nn: IJCAI'77 :? no label: PROCEEDINGS (1978) Derrett: Software engineering: tools and methods :? no label: PROCEEDINGS (1979) Baeuerle: Symp. on the dynamic properties of solids and structured phase transitions :? no label: PROCEEDINGS (1979) Lewis: MACSYMA's user conference :? no label: PROCEEDINGS (1979) Remmele: Microcomputing :? no label: PROCEEDINGS (1979) nn: 3. Tagung Berichte aus Informatikinstituten :? no label: PROCEEDINGS (1980) Bourne: 7th ACM symposium on principles of programming languages :? no label: PROCEEDINGS (1980) Davis: LISP conference :? no label: PROCEEDINGS (1980) Plander: AI and information control systems of robots :? no label: PROCEEDINGS (1980) Rossa: Mini- and micro computer and their application :? no label: PROCEEDINGS (1980) nn: Computer architecture :? no label: PROCEEDINGS (1981) Kambayashi: Consecution retrieval property :? no label: PROCEEDINGS (1981) Wang: SYMSAC'81 :? no label: PROCEEDINGS (1981) nn: Berichte aus Informatikinstituten :? no label: PROCEEDINGS (1982) Philipp: Grundlagen und Anwendunge der Informationsverarbeitung :? no label: PROCEEDINGS (1982) nn: Int. school of high energy physics for young scientists :? no label: PROCEEDINGS (1983) Govorin: Systems and techniques in analytic computation :? no label: PROCEEDINGS (1983) Govorin: simulation programs and mathematical methods for solving physical problems :? no label: PROCEEDINGS (1983) Guttag: NSF workshop on the rewrite rule lab. :? no label: PROCEEDINGS (1983) Hamza: Mini- and Microcomputer ... :? no label: PROCEEDINGS (1983) Karpinski: topics in the theory of computation :? no label: PROCEEDINGS (1983) Maehle: Fehlertolerante Mehrprozessor- und Mehrrechner-systeme :? no label: PROCEEDINGS (1983) Mignotte: algorithmique calcul formel arithmetique :? no label: PROCEEDINGS (1983) Scheel: Zur Bedeutung der Information ... :? no label: PROCEEDINGS (1983) nn: Berichte aus Informatikinstituten :? no label: PROCEEDINGS (1984) Barth: Berichte aus Informatikinstituten :? no label: PROCEEDINGS (1984) Camp Linz: advanced topics in computer architecture :? no label: PROCEEDINGS (1984) Dresden: algorithmische und logische Grundlagen der Programmierung :? no label: PROCEEDINGS (1984) Eryov, A.N.: Proc. of the conference on tranlation and program transformation techniques :? no label: PROCEEDINGS (1984) General electrics: MACSYMA user conference :? no label: PROCEEDINGS (1984) Hyvoenen: STEP'84 :? no label: PROCEEDINGS (1984) Mastronardi: Mini- and Microcomputers :? no label: PROCEEDINGS (1984) Prof: teoriya i praktika automatizirovania :? no label: PROCEEDINGS (1984) nn: 1st RIKEN symp. :? no label: PROCEEDINGS (1985) Ebert, J. (ed.): Alternative Konzepte fuer Sprachen und Rechner :? no label: PROCEEDINGS (1985) Govorun, N.: International conference on computer algebra and its applications in theoretical physics :? no label: PROCEEDINGS (1985) O'Rourke: Computational geometry :? no label: PROCEEDINGS (1985) Snyder, Lawrence (ed.); Jamieson, Leah H.; Gannon, Dennis B.; Siegel, Howard Jay: Algorithmically Specialized Parallel Computers :? no label: PROCEEDINGS (1985) Steinringer: Wirtschaft und Technik :? no label: PROCEEDINGS (1985) Talukdar: coupling symbolic and numeric computation in expert systems :? no label: PROCEEDINGS (1985) nn: 2nd RIKEN symp. :? no label: PROCEEDINGS (1985) nn: 4. Oe. Wissenschaftsmesse, Bd. 3 :? no label: PROCEEDINGS (1985) nn: IFABO'85 :? no label: PROCEEDINGS (1985) nn: UNIX transparent :? no label: PROCEEDINGS (1986) Char: SYMSAC'86 :? no label: PROCEEDINGS (1986) INRIA: computer aided geometric reasoning :? no label: PROCEEDINGS (1986) Kapur, D.; Mundy, (eds.): Geometric Reasoning :? no label: PROCEEDINGS (1986) Radermacher: Berichte aus Informatikinstituten :? no label: PROCEEDINGS (1986) nn: 3rd RIKEN symp. :? no label: PROCEEDINGS (1986) nn: ACM conf. LISP and functional programming (Auszuege) :? no label: PROCEEDINGS (1986) nn: EXHIBIT'86 :? no label: PROCEEDINGS (1987) Albrecht, A.; Jung, H.; Mehlhorn, K.: Parallel algorithms and architectures :? no label: PROCEEDINGS (1987) Arnon, Dennis A.: Workshop on Environments for computational mathematics :? no label: PROCEEDINGS (1987) Ehrig, H.; Kowalski, R.; Levi, G.; Montanari, U.: TAPSOFT'87 :? no label: PROCEEDINGS (1987) Ehrig, H.; Kowalski, R.; Levi, G.; Montanari, U.: TAPSOFT'87 :? no label: PROCEEDINGS (1987) Inria: computer aided geometric reasoning, vol. 1 :? no label: PROCEEDINGS (1987) Inria: computer aided geometric reasoning, vol. 2 :? no label: PROCEEDINGS (1987) Wagner, R.R.; Traunmueller, R.; Mayr, H.C.: Informationsbedarfsermittlung und -analyse fuer den Entwurf von Informationssystemen :? no label: PROCEEDINGS (1987) Wagner: EMISA'87 :? no label: PROCEEDINGS (1987) nn: ICIAM '87 Austellungskatalog :? no label: PROCEEDINGS (1987) nn: RIKEN symp.