:? 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] 11:011: BOOK Barendregt, H.P.: The Lambda Calculuss of Natural Language Processing Its Syntax and Semantics (1984) [RISC] 12:012: BOOK Rine, David C. (Ed): Computer Science and Multiple-Valued Logic Theory and Applications (1984) [RISC] 13:13: BOOK : (0) [RISC] 13:13: BOOK : (0) [RISC] 17:17: BOOK Kulisch, U.; Ullrich, Ch.: Wissenschaftliches Rechnen und Programmiersprachen (1982) [RISC] 18:18: BOOK Paul, W. J.: Komplexitaetstheorie (1978) [RISC] 19:019: BOOK Berstel, Jean: Transductions and Context-Free Languages (1979) [RISC] 19:19: BOOK Berstel, J.: Transductions and Context-Free Languages (1979) [RISC] 20:20: BOOK Schnorr, C. P.: Rekursive Funktionen und ihre Komplexitaet (1974) [RISC] 21:21: BOOK Richter, M. M.: Logikkalkuele (1978) [RISC] 22:22: BOOK Loeckx, Jacques; Sieber, Kurt: The Foundations of Program Verification (1984) [RISC] 23:23: BOOK Kemp, Rainer: Fundamentals of the Average Case Analysis of Particular Algorithms (1984) [RISC] 24:24: BOOK van Lint, J. H.: Introduction to Coding Theory (1982) [RISC] 25:025: BOOK Beardon, Alan F.: The Geometry of Discrete Groups (1983) [RISC] 25:25: BOOK Beardon, Alan F.: The Geometry of Discrete Groups (1983) [RISC] 26:26: BOOK Berg, Christian; Christensen, Jens Peter Reus; Ressel, Paul: Harmonic Analysis on Semigroups Theory of Positive Definite and Related Functions (1984) [RISC] 27:27: BOOK Edwards, Harold M.: Galois Theory (1984) [RISC] 28:028: BOOK Bott, Raoul; Tu, Loring W.: Differential Forms in Algebraic Topology (1982) [RISC] 28:28: BOOK Bott, Raoul; Tu, Loring W.: Differential Forms in Algebraic Topology (1982) [RISC] 29:29: BOOK Forster, Otto: Lectures on Riemann Surfaces (1981) [RISC] 30:30: BOOK Warner, Frank W.: Foundations of Differentiable Manifolds and Lie Groups (1983) [RISC] 31:31: BOOK Brondsted, Arne: An Introduction to Convex Polytopes (1983) [RISC] 32:32: BOOK Grove, L. C.; Benson, C. T.: Finite Reflection Groups (1971) [RISC] 33:33: BOOK Hartshorne, Robin: Algebraic Geometry (1977) [RISC] 34:34: BOOK Ireland, Kenneth; Rosen, Michael: A Classical Introduction to Modern Number Theory (1972) [RISC] 35:35: BOOK Varadarajan, V. S.: Lie Groups, Lie Algebras, and Their Representation (1974) [RISC] 36:36: BOOK Kelly, Paul; Matthews, Gordon: The Non-Euclidean, Hyperbolic Plane Its Structure and Consistency (1981) [RISC] 37:37: BOOK Marchuk, G. I.; Shaidurov, V. V.: Difference Methods and Their Extrapolations (1983) [RISC] 38:38: BOOK Marchuk, G. I.: Methods of Numerical Mathematics Second Edition (1982) [RISC] 39:39: BOOK Scharlau, W.; Opolka, Hans: From Fermat to Minkowski (1985) [RISC] 40:40: BOOK Macki, Jack; Strauss, Aaron: Introduction to Optimal Control Theory (1982) [RISC] 41:41: BOOK Ebbinghaus, H. D.; Flum, J.; Thomas, W.: Mathematical Logic (1984) [RISC] 42:42: BOOK Protter, M. H.; Morrey, Charles B. Jr.: Intermediate Calculus (1985) [RISC] 43:043: BOOK Curtis, Morton L.: Matrix Groups Second Edition (1979) [RISC] 43:43: BOOK Curtis, Morton L.: Matrix Groups Second Edition (1984) [RISC] 44:44: BOOK Simmonds, James G.: A Brief on Tensor Analysis (1982) [RISC] 45:45: BOOK Yosida, K.: Operational Calculus A Theory of Hyperfunctions (1984) [RISC] 46:46: BOOK Naimark, M. A.; Stern, A. I.: Theory of Group Representations (1982) [RISC] 47:47: BOOK Reisel, Robert B.: Elementary Theory of Metric Spaces (1982) [RISC] 48:48: BOOK Arkowitz, M.; Curjel, C. R.: Groups of Homotopy Classes (1967) [RISC] 49:49: BOOK Hermes, Hans: Eine Termlogik mit Auswahloperator (1965) [RISC] 50:50: BOOK Lang, Serge: Introduction to Algebraic and Abelian Functions Second Edition (1982) [RISC] 51:51: BOOK Diestel, Joseph: Sequences and Series in Banach Spaces (1984) [RISC] 52:52: BOOK Oort, F.: Commutative group schemes (1966) [RISC] 53:53: BOOK Froehlicher, A.; Bucher, W.: Calculus in Vector Spaces without Norm (1966) [RISC] 54:54: BOOK Troutman, John L.: Variational Calculus with Elementary Convexity (1983) [RISC] 55:55: BOOK Jaenich, Klaus: Topology (1984) [RISC] 56:56: BOOK Martin, George E.: The Foundations of Geometry and the Non-Euclidean Plane (1975) [RISC] 57:57: BOOK Pierce, Richard S.: Associate Algebras (1982) [RISC] 58:058: BOOK Broecker, Theodor; Dieck, Tammo tom: Representations of Compact Lie Groups (1985) [RISC] 58:58: BOOK Broecker, Theodor; Dieck, Tammo tom: Representations of Compact Lie Groups (1985) [RISC] 59:59: BOOK Brown, Kenneth S.: Cohomology of Groups (1982) [RISC] 60:60: BOOK Halmos, Paul R.: A Hilbert Space Problem Book (1982) [RISC] 61:61: BOOK Naylor, Arch W.; Sell, George R.: Linear Operator Theory in Engineering and Science (1982) [RISC] 62:62: BOOK Pazy, A.: Semigroups of Linear Operators and Applications to Partial Differential Equations (1983) [RISC] 63:63: BOOK Fischer, Emanuel: Intermediate Real Analysis (1983) [RISC] 64:64: BOOK Silvester, Peter P.: The Unix System Guidebook An Introductory Guide for Serious Users (1984) [RISC] 64:64: BOOK Silvester, Peter P.: The Unix System Guidebook An Introductory Guide for Serious Users (1984) [RISC] 65:65: BOOK Kfoury, A. J.; Moll, Robert N.; Arbib, Michael A.: A Programming Approach to Computability (1982) [RISC] 66:66: BOOK Washington, Lawrence C.: Introduction to Cyclotomic Fields (1982) [RISC] 67:67: BOOK Kostrikin, A. I.: Introduction to Algebra (1982) [RISC] 68:68: BOOK Lidl, Rudolf; Pilz, Guenther: Applied Abstract Algebra (1984) [RISC] 69:69: BOOK Smith, Larry: Linear Algebra Second Edition (1984) [RISC] 70:70: BOOK Chow, Shui-Nee; Hale, Jack K.: Methods of Bifurcation Theory (1982) [RISC] 71:071: BOOK Aubin, Thierry: Nonlinear Analysis on Manifolds.s in Combinatorial Optimization Monge-Ampere Equations (1982) [RISC] 71:71: BOOK Aubin, Thierry: Nonlinear Analysis on Manifolds. Monge-Ampere Equations (1982) [RISC] 72:72: PROCEEDINGS Jouannaud, Jean-Pierre: Functional Programming Languages and Computer Architecture (1985) [RISC] 73:073: BOOK Kluzniak, Feliks; Szpakowicz, Stanislaw: PROLOG for Programmers (1985) [RISC] 76:76: PROCEEDINGS Muehlbacher, Joerg (ed.): Mikroelektronik fuer den Menschen, Band 1 Chancen und Perspektiven fuer Wirtschaft, Bildungswesen und Medizin (1985) [RISC] 77:77: PROCEEDINGS Muehlbacher, Joerg (ed.): Mikroelektronik fuer den Menschen, Band 2 Chancen und Perspektiven fuer Wirtschaft, Bildungswesen und Medizin (1985) [RISC] 199:199: BOOK nn: ACM guide to computing literature (1982) [RISC] 207:207: BOOK nn: World directory of mathematicians 1986 (1986) [RISC] 257:257-0: BOOK Mueller, G.H. (ed.): omega-bibliography of mathematical logic vol 1: classical logic (1987) [RISC] 258:258-0: BOOK Mueller, G.H. (ed.): omega-bibliography of mathematical logic vol 2: non-classical logic (1987) [RISC] 259:259-0: BOOK Mueller, G.H. (ed.): omega-bibliography of mathematical logic vol 3: model theory (1987) [RISC] 260:260-0: BOOK Mueller, G.H. (ed.): omega-bibliography of mathematical logic vol 4: recursion theory (1987) [RISC] 261:261-0: BOOK Mueller, G.H. (ed.): omega-bibliography of mathematical logic vol 5: set theory (1987) [RISC] 262:262-0: BOOK Mueller, G.H. (ed.): omega-bibliography of mathematical logic vol 6: proof theory, constructive mathematics (1987) [RISC] 484:484: BOOK Bernays, Paul; Fraenkel, Abraham: Axiomatic Set Theory (1968) [RISC] 572:572: BOOK church: Introduction to modal logic ( ) [RISC] 591:591: BOOK Crossley: Sets, models and recursion theory ( ) [RISC] 707:707: BOOK Hermes, Hans: Einfuehrung in die Mathematische Logik Klassische Pr"dikatenlogik (1963) [RISC] 707:707: BOOK Hermes: Einfuehrung in die mathematische Logik ( ) [RISC] 1018:1018: BOOK Suppes, Patrick: Axiomatic Set Theory (1960) [RISC] 1018:1018: BOOK Suppes, Patrick: Axiomatic Set Theory (1960) [RISC] 1027:1027: BOOK Schmidt, Arnold H.: Mathematische Gesetze der Logik I: Vorlesungen ueber Aussagenlogik (1960) [RISC] 1027:1027: BOOK Schmidt, Arnold H.: Mathematische Gesetze der Logik I: Vorlesungen ueber Aussagenlogik (1960) [RISC] 1198:1198: BOOK Groebner, Wolfgang: Algebraische Geometrie ( ) [RISC] 1215:1215: BOOK curry: Foundations of mathematical logic ( ) [RISC] 1224:1224: BOOK Coxeter: Introduction to geometry ( ) [RISC] 1717:1717: BOOK Leech, John (Ed): Computational Problems in Abstract Algebra (1970) [RISC] 2426:2426: PROCEEDINGS Watanable: Methods of pattern recognition (1969) [RISC] 2709:2709: BOOK Coxeter: Unvergaengliche Geometrie ( ) [RISC] 3297:3297: BOOK Hilbert: Grundlagen der Geometrie ( ) [RISC] 3304:3304: BOOK Freudenthal, Hans: The Language of LOGIC (1966) [RISC] 3406:3406: BOOK Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Levy, Azriel: Foundations of Set Theory Second Edition (1973) [RISC] 3457:3457: BOOK Schafarewitsch, I.R.: Grundzuege der algebraischen Geometrie (1972) [RISC] 3462:3462: BOOK Bonne, W.W. (Ed); Cannonito, F.B. (Ed); Lyndon, R.C. (Ed): Word Problems Decision Problems and the Burnside Problem in Group Theory (1973) [RISC] 3463:3463: BOOK Schoenfield, Joseph R.: Mathematical Logic (1967) [RISC] 3463:3463: BOOK Schoenfield, Joseph R.: Mathematical Logic (1967) [RISC] 3507:3507: BOOK Mal`cev, A.I.: The Metamathematics of Algebraic Systems (1971) [RISC] 3743:3743: BOOK Quine, Willard Van Orman: Mengenlehre und ihre Logik (1973) [RISC] 3750:3750: BOOK Jech, Thomas J.: The Axiom of Chioce (1973) [RISC] 4050:4050: BOOK Chang, C.C.; Keisler, H.J.: Model Theory (1973) [RISC] 4057:4057: BOOK Hilbert, D.; Bernays, P.: Grundlagen der Mathematik II (1970) [RISC] 4059:4059: BOOK Luckhardt, Horst: Extensional Goedel Functional Interpretation A Consistency Proof of Classical Analysis (1973) [RISC] 4060:4060: PROCEEDINGS Hodges; et al. (eds.): Conference on mathematical logic (1970) [RISC] 4061:4061: PROCEEDINGS Mathias; et al. (eds.): Cambridge summer school in mathematical logic (1971) [RISC] 4097:4097: PROCEEDINGS Lakatos (ed.): Inductive logic (1965) [RISC] 4099:4099: BOOK Keisler, H. Jerome: Model Theory For Infinitary Logic Logic with Countable Conjunctions and Finite Quantifiers (1971) [RISC] 4101:4101: PROCEEDINGS Kino; et al (eds.): Intuism and proof theory (1968) [RISC] 4102:4102: PROCEEDINGS Gandy; Yates (eds.): Logic colloquium (1969) [RISC] 4103:4103: PROCEEDINGS Fenstad (ed.): 2nd scandinavian logic symposium (1970) [RISC] 4104:4104: BOOK Luschei, Eugene C.: The Logical Systems of Lesniewski (1962) [RISC] 4106:4106: BOOK Lakatos (ed.): Philosophy of mathematics (1965) [RISC] 4107:4107: PROCEEDINGS Suppes; et al. (eds.): Logic, methodology and philosophy of science (1971) [RISC] 4109:4109: BOOK Crossley, John N.: Constructive Order Types (1969) [RISC] 4110:4110: BOOK Szabo, M.E. (Ed): The Collected Papers of Gerhard Gentzen (1969) [RISC] 4111:4111: BOOK Skolem, Th.; Hasenjaeger, G.; Kreisel, G.; Robinson, A.: Mathematical Interpretation of Formal Systems (1971) [RISC] 4111:4111: BOOK Skolem, Th.; Hasenjaeger, G.; Kreisel, G.; Robinson, A.: Mathematical Interpretation of Formal Systems (1971) [RISC] 4112:4112: BOOK Sullivan, Mark W.: Apuleian Logic The Nature, Sources and Influence of Apuleius`s (1967) [RISC] 4112:4112: BOOK Sullivan, Mark W.: Apuleian Logic The Nature, Sources and Influence of Apuleius`s (1967) [RISC] 4114:4114: PROCEEDINGS VanRottselar; Staal: Logic, methodology and philosophy of science (1967) [RISC] 4115:4115: BOOK Hintikka, Jaakko (Ed); Suppes, Patrick (Ed): Aspects of Inductive Logic (1966) [RISC] 4116:4116: BOOK Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M.: Undecidable Theories (1971) [RISC] 4116:4116: BOOK Tarski, Alfred; Mostowski, Andrzej; Robinson, Raphael M.: Undecidable Theories (1971) [RISC] 4117:4117: BOOK Tarski, Alfred; Chang, Chen-Chung; Jonsson, Bjarni: Ordinal Algebras (1970) [RISC] 4117:4117: BOOK Tarski, Alfred; Chang, Chen-Chung; Jonsson, Bjarni: Ordinal Algebras (1970) [RISC] 4119:4119: BOOK Henkin. Leon; Monk, J. Donald; Tarski, Alfred: Cylindrical Algebras Part I (1971) [RISC] 4120:4120: BOOK Basri, Saul A.: A Deductive Theory of Space and Time (1966) [RISC] 4121:4121: BOOK Ackerman, W.: Solvable Cases of the Decision Problem (1968) [RISC] 4122:4122: BOOK Moschovakis, Yiannis N.: Elementary Induction on Absgtract Structures (1974) [RISC] 4123:4123: BOOK Curry, Haskell B.: Formalist Philosophy of Mathematics (1970) [RISC] 4124:4124: BOOK Craig, William: Logic in Algebraic Form Three Languages and Theories (1974) [RISC] 4125:4125: PROCEEDINGS Bar-Hillel: Mathematical logic (1968) [RISC] 4126:4126: BOOK Bar-Hillel, Yehoshua (Ed): Mathemaical Logic and Foundations of Set Theory (1970) [RISC] 4127:4127: PROCEEDINGS Bar-Hillel: Logic, methodology and philosophy of science (1964) [RISC] 4128:4128: BOOK Rasiowa, Helena: An Algebraic Approach to Non-Classical Logics (1974) [RISC] 4129:4129: BOOK Andrews, P.B.: A Transfinite Type Theory with Type Variables (1965) [RISC] 4130:4130: BOOK Goodstein, R.L.: Recursive Analysis (1961) [RISC] 4131:4131: BOOK Goodstein, R.L.: Recursive Number Theory A Development of Recursive Arithmetic in a Logic-Free ... (1964) [RISC] 4132:4132: BOOK Penstad; Hinman (eds.): Generalized recursion theory ( ) [RISC] 4158:4158: BOOK Coffman, Edward G.; Denning, Peter J.: Operating Systems Theory (1973) [RISC] 4164:4164: BOOK Rudeanu, Sergiu: Boolean Functions and Equations (1974) [RISC] 4165:4165: BOOK Leisenring, A.C.: Mathematical Logic and Hilbert`s E-Symbol (1969) [RISC] 4167:4167: BOOK Robbin, Joel W.: Mathematical Logic A First Course (1969) [RISC] 4182:4182: BOOK Sacks, Gerald E.: Degrees of Unsolvability Second Edition (1966) [RISC] 4182:4182: BOOK Sacks, Gerald E.: Degrees of Unsolvability Second Edition (1966) [RISC] 4206:4206: BOOK Leclercq, Rene: The Logic of the Plausible and Some of its Applications (1974) [RISC] 4234:4234: BOOK Neumann, John von: Theory of Self-Reproducing Automata (1966) [RISC] 4290:4290: BOOK Lausch, Hans; Noebauer, Wilfried: Algebra of Polynomials (1973) [RISC] 4307:4307: BOOK Enderton, Herbert E.: A Mathematical Introduction to Logic (1972) [RISC] 4308:4308: BOOK Eilenberg, Samuel; Elgot, Calvin C.: Recursiveness (1970) [RISC] 4310:4310: BOOK Chang, Chin-Liang; Lee, Richard Char-Tung: Symbolic Logic and Mechanical Theorem Proving (1973) [RISC] 4321:4321: BOOK Yasuhara, Ann: Recursive Function Theory and Logic (1971) [RISC] 4321:4321: BOOK Yasuhara, Ann: Recursive Function Theory and Logic (1971) [RISC] 4322:4322: PROCEEDINGS Traub, Joe Fred: Complexity of sequential and parallel numerical algorithms. Proceedings ... Carnegie-Mellon, Pittsburgh, May 16-18, 1986. (1973) [RISC] 4344:4344: BOOK Genuys, F. (Ed): Programming Languages NATO Advanced Study Institute (1968) [RISC] 4346:4346: BOOK Shannon, C.E. (Ed); McCarthy, J. (Ed): Studien zur Theorie der Automaten (1956) [RISC] 4346:4346: BOOK Shannon, C.E. (Ed); McCarthy, J. (Ed): Studien zur Theorie der Automaten (1956) [RISC] 4348:4348: BOOK Margaris, Angelo: First Order Mathematical Logic (1967) [RISC] 4413:4413: PROCEEDINGS Harrison; et al. (eds.): ACM symposium on theory of computing (1969) [RISC] 4414:4414: PROCEEDINGS Karp; et al. (eds.): 2th annual symposium on theory of computing (1970) [RISC] 4415:4415: PROCEEDINGS Lewis; et al. (eds.): 3th annual symposium on theory of computing (1971) [RISC] 4416:4416: PROCEEDINGS Rosenberg (ed.): 4th annual symposium on theory of computing (1972) [RISC] 4417:4417: PROCEEDINGS Borodin; et al. (eds.): 5th annual symposium on theory of computing (1973) [RISC] 4418:4418: PROCEEDINGS NN: 6th annual symposium on theory of computing (1974) [RISC] 4422:4422: PROCEEDINGS nn: symp. on very high level languages (1974) [RISC] 4423:4423: BOOK Silberg, Bruce (Ed): Decision Table Bibliography (1972) [RISC] 4423:4423: BOOK Silberg, Bruce (Ed): Decision Table Bibliography (1972) [RISC] 4425:4425: BOOK Tou; Wegner (eds.): Data structures in programming languages (1971) [RISC] 4492:4492: BOOK Nilsson, Nils J.: Problem-solving methods in artificial intelligence. (1971) [RISC] 4515:4515: BOOK Holt, Richard C.: On deadlock in computer systems. (1972) [RISC] 4518:4518: BOOK Fraisse, Roland: Cours de Logique Mathematique Relation et formule logique (1971) [RISC] 4519:4519: BOOK Fraisse, Roland: Cours de Logique Mathematique Theorie des modeles (1972) [RISC] 4520:4520: BOOK Grzegorczyk, Andrzej: An Outline of Mathematical Logic (1974) [RISC] 4584:4584: BOOK Birkhoff; Hall: Computer in algebra and number theory (1970) [RISC] 4675:4675: BOOK Salomaa, Arto: Formal Languages (1973) [RISC] 4675:4675: BOOK Salomaa, Arto: Formal Languages (1973) [RISC] 4676:4676: BOOK Budach, Lothar; Hoehnke, Hans J.: Automaten und Fonktoren (1975) [RISC] 4742:4742: BOOK Ginsburg, Seymour: Algebraic and Automata-Theoretic Properties of Formal Languages (1975) [RISC] 4784:4784: PROCEEDINGS Clearwater (ed.): Optical computing symposium (1972) [RISC] 4785:4785: PROCEEDINGS nn: 5th annual workshop on microprogramming (1972) [RISC] 4786:4786: PROCEEDINGS Sarlo (ed.): Symp. on programming and machine organization (1971) [RISC] 4787:4787: PROCEEDINGS Winkler (ed.): Computer communication (1972) [RISC] 4788:4788: PROCEEDINGS nn: Computer and software reliability (1973) [RISC] 4789:4789: PROCEEDINGS nn: Computer conference on parallel processing (1973) [RISC] 4790:4790: PROCEEDINGS nn: Data network (1973) [RISC] 4791:4791: PROCEEDINGS Avizienis (ed.): Compon 72 (1972) [RISC] 4792:4792: PROCEEDINGS Borodin; et al. (eds.): 12th annual symposium on switching and automata theory (1971) [RISC] 4793:4793: PROCEEDINGS nn: Switching and automata theory (1973) [RISC] 4794:4794: PROCEEDINGS nn: International symposium on multiple valued logic (1973) [RISC] 4795:4795: PROCEEDINGS nn: COMPON 73 (1973) [RISC] 4796:4796: PROCEEDINGS Lipovski; Szygenda (eds.): Symposium on computer architecture (1973) [RISC] 4797:4797: PROCEEDINGS nn: Symposium on high-level languages (1973) [RISC] 4875:4875: PROCEEDINGS Boddenberg: Logik I ( ) [RISC] 4904:4904: BOOK Marcus, Solomon: Algebraic Linguistics; Analytic Models (1967) [RISC] 4927:4927: PROCEEDINGS Rose; Shepherdson (eds.): Logic colloquium (1973) [RISC] 4929:4929: BOOK Manaster, Alfred B.: Completeness, Compactness, and Undecidability: An Introduction to Mathematical Logic (1975) [RISC] 5025:5025: PROCEEDINGS Feng (ed.): Parallel Processing (1974) [RISC] 5028:5028: PROCEEDINGS Nickel (ed.): Intervall Mathematics (1975) [RISC] 5050:5050: BOOK Hallerberg, Arthur E.: Logic in Mathematics: An Elementary Approach (1974) [RISC] 5068:5068: PROCEEDINGS Dold (ed.): Logic colloquium (1972) [RISC] 5105:5105: BOOK Schank, Roger C.: Computer Models of Thought and Language (1973) [RISC] 5105:5105: BOOK Schank, Roger C.: Computer Models of Thought and Language (1973) [RISC] 5132:5132: BOOK Manna, Zohar: Mathematical Theory of Computation (1974) [RISC] 5133:5133: BOOK Wang, Hao: From Mathematics to Philosophy (1974) [RISC] 5133:5133: BOOK Wang, Hao: From Mathematics to Philosophy (1974) [RISC] 5135:5135: BOOK Takeuti, Gaisu: Proof Theory (1975) [RISC] 5135:5135: BOOK Takeuti, Gaisu: Proof Theory (1975) [RISC] 5190:5190: PROCEEDINGS Haendler; Peschl; Unger (eds.): Kolloquium ueber Automatentheorie (1965) [RISC] 5192:5192: PROCEEDINGS Peschl; Unger (eds.): Kolloquium ueber Schaltkreise und Schaltwerktheorie (1960) [RISC] 5217:5217: BOOK Hunt, Earl B.: Artificial Intelligence (1975) [RISC] 5246:5246: BOOK Nijenhuis, Albert; Wilf, Herbert S.: Combinatorial Algorithms (1975) [RISC] 5285:5285: BOOK Dickmann, M.A.: Large Infinitary Languages Model Theory (1975) [RISC] 5480:5480: BOOK Shafarevich, I.R.: basic algebraic geometry ( ) [RISC] 5490:5490: PROCEEDINGS Kanger (ed.): 3rd Scandinavian logic symposium (1973) [RISC] 5502:5502: BOOK Traub, J.F. (Ed): Analytic Computational Complexity (1976) [RISC] 5502:5502: BOOK Traub, J.F. (Ed): Analytic Computational Complexity (1976) [RISC] 5581:5581: BOOK Raphael, Bertram: The Thinking Computer Mind Inside Matter (1976) [RISC] 5585:5585: BOOK Foster, Caxton C.: Content Addressable Parallel Processors (1976) [RISC] 5651:5651: BOOK Takeuti, G.; Zaring, W.M.: Introduction to Axiomatic Set Theory (1971) [RISC] 5651:5651: BOOK Takeuti, G.; Zaring, W.M.: Introduction to Axiomatic Set Theory (1971) [RISC] 5759:5759: BOOK Aho, Alfred V.; Hopcroft, John E.; Ullman, Jeffrey D.: The Design and Analysis of Computer Algorithms (1974) [RISC] 5760:5760: BOOK Aho; et al.: Design and analysis of computer algorithms ( ) [RISC] 5827:5827: PROCEEDINGS nn: 7th annual symposium on theory of computation (1975) [RISC] 5828:5828: PROCEEDINGS Petrick (ed.): 2nd symposium on symbolic and algebraic manipulation (1971) [RISC] 5830:5830: BOOK Barwise, J.: Admissible sets and structures. An approach to definability theory ( ) [RISC] 5877:5877: BOOK Ledgard, Henry F.: Programming Proversbs (1975) [RISC] 5888:5888: BOOK Traub, J.F. (Ed): Algorithms and Complexity New Directions and Recent Results (1976) [RISC] 5888:5888: BOOK Traub, J.F. (Ed): Algorithms and Complexity New Directions and Recent Results (1976) [RISC] 5922:5922: BOOK Mueller, Gert H. (Ed): Sets and Classes on the work by Paul Bernays (1976) [RISC] 5974:5974: BOOK Fraenkel, Abraham A.: Abstract Set Theory Fourth Edition (1976) [RISC] 5977:5977: BOOK Curry, Haskell B.; Feys, Robert; Craig, William: Combinatory Logic Volume I (1974) [RISC] 6062:6062: BOOK Schuette, Kurt: Proof Theorie (1977) [RISC] 6062:6062: BOOK Schuette, Kurt: Proof Theorie (1977) [RISC] 6078:6078: BOOK Beck, Robert E. (Ed); Kolman, Bernard (Ed): Computers in Nonassociative Rings and Algebras (1977) [RISC] 6138:6138: BOOK Spies, P.P. (Ed): Modelle fuer Rechensysteme (1977) [RISC] 6138:6138: BOOK Spies, P.P. (Ed): Modelle fuer Rechensysteme (1977) [RISC] 6241:6241: BOOK Stanat, Donald F.; McAllister, David F.: Discrete Mathematics in Computer Science (1977) [RISC] 6241:6241: BOOK Stanat, Donald F.; McAllister, David F.: Discrete Mathematics in Computer Science (1977) [RISC] 6242:6242: BOOK Yeh, Raymond T. (Ed): Current Trends in Programming Methodology Volume I: Software Specification and Design (1977) [RISC] 6242:6242: BOOK Yeh, Raymond T. (Ed): Current Trends in Programming Methodology Volume I: Software Specification and Design (1977) [RISC] 6260:6260: PROCEEDINGS Gandy (ed.): Logic colloquium (1976) [RISC] 6279:6279: BOOK Knuth, Donald E.: Surreal Numbers (1974) [RISC] 6297:6297: BOOK Mazurkiewicz, Antoni; Pawlak, Zdzislaw: Mathematical Foundations of Computer Science (1974) [RISC] 6382:6382: BOOK Barwise, J.: Handbook of mathematical logic ( ) [RISC] 6388:6388: BOOK Renschuch, B.: Idealtheorie ( ) [RISC] 6388:6388: BOOK Renschuch, B.: Idealtheorie (1976) [RISC] 6391:6391: BOOK Heijenoort, Jean van: From Frege to Goedel A Source Book in Mathematical Logic (1967) [RISC] 6490:6490: BOOK Lightstone, A.H.: Mathematical Logic An Introduction to Model Theory (1978) [RISC] 6496:6496: BOOK Daigneault, Aubert (Ed): Studies in Algebraic Logic Volume 9 (1974) [RISC] 6497:6497: BOOK Coffman, E.G. (Ed): Computer and Job-Shop Scheduling Theory (1976) [RISC] 6524:6524: BOOK Szabo, M.E.: Algebra of Proofs (1978) [RISC] 6524:6524: BOOK Szabo, M.E.: Algebra of Proofs (1978) [RISC] 6551:6551: BOOK Hinman, Peter G.: Recursion-Theoretic Hierarchies (1978) [RISC] 6564:6564: BOOK Alspach, B. (Ed); Hell, P. (Ed); Miller, D.J. (Ed): Annals of Discrete Mathematics Algorithmic Aspects of Combinatorics (1978) [RISC] 6667:6667: BOOK Grandy, Richard E.: Advanced Logic for Applications (1977) [RISC] 6668:6668: PROCEEDINGS Butis; Hintikka (eds.): Logic foundations of mathematics and computability theory (1975) [RISC] 6729:6729: BOOK Bell, J.L.: Boolean-Valued Models and Independence Proofs in Set Theory (1977) [RISC] 6730:6730: BOOK Bridge, Jane: Beginning Model Theory The Completeness Theorem and some Consequences (1977) [RISC] 6800:6800: BOOK Loveland, Donald W.: Automated Theorem Proving: A Logical Basis (1978) [RISC] 7115:7115: PROCEEDINGS Macintyre; et al. (eds.): Logic colloquium (1977) [RISC] 7153:7153: PROCEEDINGS Leblanc (ed.): Truth, syntax and modality (1970) [RISC] 7154:7154: BOOK Lukasiewicz, Jan: Selected Works (1970) [RISC] 7155:7155: BOOK Drake, Frank R.: Set Theory An Introduction to Large Cardinals (1974) [RISC] 7156:7156: BOOK Williams, Neil H.: Combinatorial Set Theory (1977) [RISC] 7156:7156: BOOK Williams, Neil H.: Combinatorial Set Theory (1977) [RISC] 7157:7157: BOOK Bochenski, I.M.: Ancient Formal Logic (1968) [RISC] 7158:7158: BOOK Leblanc, Hugues: Truth-Value Semantics (1976) [RISC] 7159:7159: PROCEEDINGS Fenstad; et al. (eds.): Generalized recursion theory (1977) [RISC] 7160:7160: BOOK Shelah, S.: Classification Theory and the Number of Non-Isomorphic Models (1978) [RISC] 7160:7160: BOOK Shelah, S.: Classification Theory and the Number of Non-Isomorphic Models (1978) [RISC] 7183:7183: BOOK Dijkstra, Edsger W.: A Discipline of Programming (1976) [RISC] 7212:7212: BOOK Gries, David (Ed): A Collection of Articles by Members of IFIP WG2.3 (1978) [RISC] 7213:7213: BOOK Machtey, Michael; Young, Paul: An Introduction to General Theory of Algorithms (1978) [RISC] 7225:7225: PROCEEDINGS Bracchi; Lockeman (eds.): Information, systems methodology (1978) [RISC] 7226:7226: PROCEEDINGS Schindler; Giloi (eds.): GI Jahrestagung (1978) [RISC] 7303:7303: BOOK Knuth, D.E.: The art of computer programming ( ) [RISC] 7343:7343: BOOK Gewald, Klaus; Haake, Gisela; Pfadler, Werner: Software Engineering Grundlagen und Technik rationeller Programmentwicklung (1979) [RISC] 7347:7347: BOOK Davio, Marc; Deschamps, Jean-Pierre; Thayse, Andre: Discrete and Switching Functions (1978) [RISC] 7470:7470: BOOK Beech, Graham (Ed): Computer Assisted Learning in Science Education (1978) [RISC] 7638:7638: BOOK Klein, Wolfgang; Dittmar, Norbert: Developing Grammars The Acquisition of German Syntax by Foreign Workers (1979) [RISC] 7640:7640: BOOK Miller, Max: The Logic of Language Development in Early Childhood (1979) [RISC] 7641:7641: BOOK Noordman, Leonard G.M.: Inferring from Language (1979) [RISC] 7643:7643: BOOK Sinclair, A. (Ed); Jarvella, R.J.; Levelt, W.J.M.: The Child`s Conception of Language (1978) [RISC] 7643:7643: BOOK Sinclair, A. (Ed); Jarvella, R.J.; Levelt, W.J.M.: The Child`s Conception of Language (1978) [RISC] 7683:7683: PROCEEDINGS Johnson; Tinsley (eds.): Informatics and mathematics in secondary schools (1977) [RISC] 7684:7684: PROCEEDINGS Arruda; et al. (eds.): Mathematical logic in Latin Amerika (1978) [RISC] 7690:7690: BOOK Doerfler, W.; Fischer, R.: Beweisen im Mathematikunterricht (1979) [RISC] 7722:7722: PROCEEDINGS Baer (ed.): Parallel processing (1977) [RISC] 7723:7723: PROCEEDINGS Enslow (ed.): Parallel processing (1976) [RISC] 7724:7724: PROCEEDINGS nn: IEEE 1978 fault tolerance computing (1978) [RISC] 7725:7725: PROCEEDINGS nn: Symposium on foundations of computer science (1977) [RISC] 7726:7726: PROCEEDINGS nn: Software engineering (1978) [RISC] 7778:7778: BOOK Frost: Curve tracing ( ) [RISC] 7796:7796: BOOK Mostowski, Andrezej: Foundational Studies Selected Works, Volume I (1979) [RISC] 7797:7797: BOOK Mostowski, Andrezej: Foundational Studies Selected Works, Volume II (1979) [RISC] 7876:7876: BOOK Adian, S. I.; Boone, W.W.; Higman, G.: Word Problems II (1980) [RISC] 7879:7879: PROCEEDINGS nn: 7th annual symposium on computational architecture ( ) [RISC] 7924:7924: BOOK Moschovakis, Yiannis N.: Descriptive Set Theory (1980) [RISC] 7948:7948: BOOK Epstein, Richard L.: Degrees of Unsolvability: Structures and Theory (1979) [RISC] 7949:7949: BOOK Fenstad, Jens E.: General Recursion Theory An Axiomatic Approach (1980) [RISC] 7954:7954: BOOK Flum, Joerg; Ziegler, Martin: Topological Model Theory (1980) [RISC] 7959:7959: BOOK Zuse, Konrad: Beschreibung des Plankalkuels (1977) [RISC] 7959:7959: BOOK Zuse, Konrad: Beschreibung des Plankalkuels (1977) [RISC] 7971:7971: BOOK Ferrante, Jeanne; Rackoff, Charles W.: The Computational Complexity of Logical Theories (1979) [RISC] 7980:7980: BOOK Bowen, Kenneth A.: Model Theory for Modal Logic (1979) [RISC] 7985:7985: BOOK Cutland, Nigel: Computability An Introduction to Recursive Function Theory (1980) [RISC] 7994:7994: BOOK Metropolis, N. (Ed); Howlett, J. (Ed); Rota, Gian-Carlo (Ed): A History of Computing in the Twentieth Century A Collection of Essays (1980) [RISC] 8007:8007: BOOK Edwards, R.E.: A Formal Background to Mathematics 1a Logic, Sets and Numbers (1979) [RISC] 8026:8026: BOOK Normann, Dag: Recursion on the Countable Functionals (1980) [RISC] 8027:8027: BOOK Boyer; Moore: A computational logic (1979) [RISC] 8028:8028: BOOK Anderson, T. (Ed); Randell, B. (Ed): Computing Systems Reliability (1979) [RISC] 8029:8029: BOOK Dreben, Burton; Goldfarb, Warren D.: The Decision Problem Solvable Classes of Quantificational Formulas (1979) [RISC] 8032:8032: BOOK Parkin, Andrew: System Analysis (1980) [RISC] 8033:8033: BOOK Rozenberg, Grzegorz; Salomaa, Arto: The Mathematical Theory of L Systems (1980) [RISC] 8034:8034: BOOK Bostock, David: Logic and Arithmetic Rational and Irrational Numbers (1979) [RISC] 8036:8036: PROCEEDINGS Boffa; et al. (eds.): Logic colloquium (1978) [RISC] 8037:8037: BOOK Saarinen, Esa (Ed): Game-Theoretical Semantics (1979) [RISC] 8037:8037: BOOK Saarinen, Esa (Ed): Game-Theoretical Semantics (1979) [RISC] 8051:8051: BOOK Gosling, John B.: Design of Arithmetic Units for Digital Computers (1980) [RISC] 8057:8057: BOOK Gipper, Hans: Rationalisierung in der SW-Erstellung durch ein verallgemeinertes Genratorprinzip (1979) [RISC] 8058:8058: BOOK Robinson, J.A.: Logic: Forma and Function The Mechanization of Deductive Reasoning (1979) [RISC] 8063:8063: BOOK Gschwendtner, Hermann: Schaltalgebra fuer Fachschulen Technik (1977) [RISC] 8079:8079: PROCEEDINGS Barwise; et al. (eds.): The Kleene Symposium (1978) [RISC] 8087:8087: BOOK Arsenault, J.E. (Ed); Roberts, J.A. (Ed): Reliability & Maintainability of Electronic Systems (1980) [RISC] 8089:8089: BOOK Boolos, Georg: The Unprovability of Consistency An essay in modal logic (1979) [RISC] 8090:8090: BOOK Chellas, Brian F.: Moda Logic An Introduction (1980) [RISC] 8093:8093: BOOK Kowalski: Logic for problem solving ( ) [RISC] 8094:8094: BOOK Lewis, Harry R.: Unsolvable Classes of Quantificational Formulas (1979) [RISC] 8098:8098: PROCEEDINGS Drake, F.R. (Ed); Wainer, S.S. (Ed): Recursion Theory: Its Generalisations and Applications (1980) [RISC] 8100:8100: BOOK Wand, Mitchell: Induction, Recursion and Programming (1980) [RISC] 8100:8100: BOOK Wand, Mitchell: Induction, Recursion and Programming (1980) [RISC] 8109:8109: BOOK Riddle, W.E.; Fairley, R.E.: Software Development Tools (1980) [RISC] 8113:8113: BOOK Kunen, Kenneth: Set Theory An Introduction to Independence Proofs (1980) [RISC] 8159:8159: BOOK Sluga, Hans D.: Gottlob Frege (1980) [RISC] 8159:8159: BOOK Sluga, Hans D.: Gottlob Frege (1980) [RISC] 8160:8160: BOOK Resnik, Michael D.: Frege and The Philosophy of Mathematics (1980) [RISC] 8185:8185: BOOK Howard, James C.: Practical Applications of Symbolic Computation (1980) [RISC] 8186:8186: BOOK Knoedel, W. (Hrsg.); Schneider, H. J.: Parallel processes and related automata. (1981) [RISC] 8190:8190: BOOK Rautenberg, Wolfgang: Klassische und nichtklassische Aussagenlogik (1979) [RISC] 8200:8200: BOOK Horowitz, Ellis; Sahni, Sartaj: Fundamentals of computer algorithms. (1978) [RISC] 8224:8224: BOOK Constable, Robert L.; O'Donnell, Michael J.: A Programming Logic with an Introduction to the PL/CV Verifier (1978) [RISC] 8229:8229: PROCEEDINGS Berg; Giloi (eds.): The case of formel specification software (1979) [RISC] 8238:8238: PROCEEDINGS Weelblat: History of programming languages (1978) [RISC] 8259:8259: BOOK Bauer, F.L.: Algorithmische Sprache und Programmentwicklung ( ) [RISC] 8259:8259: BOOK Bauer, F.L.; Woessner, H.: Algorithmische Sprache und Programmentwicklung (1981) [RISC] 8280:8280: BOOK Anderson, Robert B.: Proving Programs Correct (1979) [RISC] 8282:8282: BOOK Shapiro, Stuart C.: Techniques of Artificial Intelligence (1979) [RISC] 8292:8292: BOOK Bundy, A.; Burstall, R.M.; Weir, S.; Young, R.M.: Artificial Intelligence: An Introductory Course (1980) [RISC] 8294:8294: BOOK Henderson, Peter: Functional Programming Application and Implementation (1980) [RISC] 8298:8298: PROCEEDINGS Astesiano; Boehm (eds.): CAAP (1981) [RISC] 8304:8304: PROCEEDINGS lavington (ed.): Information processing (1980) [RISC] 8311:8311: BOOK Ershov, A.P.: The British Lectures (1980) [RISC] 8312:8312: BOOK Kulisch, Ulrich W.; Miranker, Willard L.: Computer Arithmetik in Theory and Practice (1981) [RISC] 8332:8332: BOOK Arbib, Michael A.; Kfoury, A.J.; Moll, Robert N.: A Basis for Theoretical Computer Science (1981) [RISC] 8348:8348: BOOK Arsac, Jacques: La Construction de Programmes Structures (1977) [RISC] 8401:8401: BOOK Barnes, Donald W.; Mack, John M.: An Algebraic Introduction to Mathematical Logic (1975) [RISC] 8425:8425: PROCEEDINGS Even; Kariv (eds.): Automata, languages and programs (1981) [RISC] 8426:8426: PROCEEDINGS Gruska; Chytil (eds.): mathematical foundations of computer science (1981) [RISC] 8458:8458: BOOK Uspenskij, V.A.: Theory of Equations (1948) [RISC] 8458:8458: BOOK Uspenskij, V.A.: Theory of Equations (1948) [RISC] 8473:8473: BOOK Chuaqui, Rolando Basim: Axiomaic Set Theory Impredicative Theories of Classes (1981) [RISC] 8474:8474: BOOK Lipson, John D.: Elements of Algebra and Algebraic Computation (1981) [RISC] 8493:8493: BOOK Barr, Avron (Ed); Feigenbaum, Edward A. (Ed): The Handbook of Artificial Intelligence Volume I (1981) [RISC] 8527:8527: PROCEEDINGS Siekmann (ed.): GWAI (1981) [RISC] 8528:8528: BOOK Wahlster, Wolfgang: Natuerlichsprachliche Argumentation in Dialogsystemen KI-Verfahren zur Rekonstruktion und Erklaerung ... (1981) [RISC] 8528:8528: BOOK Wahlster, Wolfgang: Natuerlichsprachliche Argumentation in Dialogsystemen KI-Verfahren zur Rekonstruktion und Erklaerung ... (1981) [RISC] 8529:8529: PROCEEDINGS Brauer (ed.): GI Jahrestagung (1981) [RISC] 8530:8530: BOOK Sandford, David M.: Using Sophisticated Models in Resolution Theorem Proving (1980) [RISC] 8530:8530: BOOK Sandford, David M.: Using Sophisticated Models in Resolution Theorem Proving (1980) [RISC] 8531:8531: BOOK Marlin, Christopher D.: Coroutines A Programming Methodology, a Language Design and an Implementation (1980) [RISC] 8532:8532: BOOK Peterson, James L.: Computer Programs for Spelling Correction: An Experiment in Program Design (1980) [RISC] 8534:8534: BOOK Clocksin, W.F.; Mellish, C.S.: Programming in PROLOG (1981) [RISC] 8549:8549: BOOK Cohen, Donald N.: Knowledge Based Theorem Proving and Learning (1981) [RISC] 8550:8550: BOOK Greene, Daniel H.; Knuth, Donald E.: Mathematics for the Analysis of Algorithms (1981) [RISC] 8555:8555: BOOK Zimmer: comp. problems, methods ... in algebraic number theory ( ) [RISC] 8557:8557: PROCEEDINGS Gecseg (ed.): Fundamentals of computation theory (1981) [RISC] 8559:8559: BOOK Kunii, Tosijasu L. (Ed): VLSI Engineering Beyond Software Engineering (1984) [RISC] 8565:8565: BOOK Nilsson, Nils J.: Principles of artificial intelligence. (1980) [RISC] 8567:8567: PROCEEDINGS Bjorner (ed.): Abstract software specification (1979) [RISC] 8572:8572: BOOK Coxeter: Geometry revisited ( ) [RISC] 8579:8579: BOOK Ahl, David H. (Ed): Computers in Mathematics: A Sourcebook of Ideas (1979) [RISC] 8595:8595: BOOK Fitting, Melvin: Fundamentals of Generalized Recursion Theory (1981) [RISC] 8620:8620: BOOK Gordon: Edinburgh LCF ( ) [RISC] 8622:8622: PROCEEDINGS DeBakker; et al. (eds.): Automata, languages and programs (1980) [RISC] 8623:8623: PROCEEDINGS Dembinski (ed.): Mathematical foundations of computer science (1980) [RISC] 8626:8626: PROCEEDINGS Diaz; Ramos (eds.): Formalization of program concepts (1981) [RISC] 8633:8633: BOOK Konheim: Cryptography ( ) [RISC] 8661:8661: PROCEEDINGS Kahn (ed.): Semantics of concurrent computation (1979) [RISC] 8670:8670: BOOK Potthoff, Klaus: Einfuehrung in die Modelltheorie und ihre Anwendungen (1981) [RISC] 8692:8692: BOOK Krekel: PASCAL ( ) [RISC] 8699:8699: BOOK Bus, J.C.P.: Numerical Solution of Systems of Nonlinear Equations (1980) [RISC] 8702:8702: BOOK Marty, Rudolf: PISA A Programming System for Interactive Production of App. SW. (1981) [RISC] 8703:8703: PROCEEDINGS Jones (ed.): Semantics and directed compiler generation (1980) [RISC] 8705:8705: BOOK Liskov, Barbara; Atkinson, Russell; Bloom, Toby; Moss, Eliot: CLU Reference Manual (1981) [RISC] 8708:8708: BOOK Hibbard, Peter; Hisgen, Andy; Rosenberg, Jonathan; Shaw, Mary: Studies in Ada Style (1981) [RISC] 8729:8729: BOOK Agazzi, Evandro (Ed): Modern Logic - A Survey Historical, Philosophical and Mathematical Aspects of ... (1981) [RISC] 8732:8732: BOOK Webb, Judson Chambers: Mechnaism, Mentalism and Metamathematics (1980) [RISC] 8732:8732: BOOK Webb, Judson Chambers: Mechnaism, Mentalism and Metamathematics (1980) [RISC] 8787:8787: BOOK Schinzel, Andrzej: Selected Topics on Polynomials (1982) [RISC] 8787:8787: BOOK Schinzel, Andrzej: Selected Topics on Polynomials (1982) [RISC] 8800:8800: BOOK Shaw, Mary (Ed): ALPHARD: Form and Content (1981) [RISC] 8800:8800: BOOK Shaw, Mary (Ed): ALPHARD: Form and Content (1981) [RISC] 8824:8824: PROCEEDINGS Cohen; et al. (eds.): Logic methodology and philosophy of science (1979) [RISC] 8836:8836: BOOK Wallach, Y.: Alternating sequential/parallel processing. (1982) [RISC] 8837:8837: PROCEEDINGS Ershov, A.P. (Ed); Knuth, D.E. (Ed): Algorithms in Modern Mathematics and Computer Science (1981) [RISC] 8838:8838: BOOK Hailpem, B.: Verifying concurrent processes using temporal logic ( ) [RISC] 8839:8839: BOOK Goldblatt, Robert: Axiomatising the Logic of Computer Programming (1982) [RISC] 8840:8840: PROCEEDINGS Kozen (ed.): Logic of programs (1981) [RISC] 8842:8842: PROCEEDINGS Mueller; et al. (eds.): Logic symposia (1979) [RISC] 8843:8843: PROCEEDINGS Girault; Reisig (eds.): Application and theory of petri nets (1980) [RISC] 8907:8907: PROCEEDINGS Schneider; Wassermann (eds.): Automated tools for information systems design (1982) [RISC] 8908:8908: BOOK Doemoelki; Gercely (eds.): Mathematical logic in computer science (1978) [RISC] 8909:8909: BOOK Csakany, B. (Ed); Rosenberg, I. (Ed): Finite Algebra and Multiple-Valued Logic (1981) [RISC] 8910:8910: PROCEEDINGS Stern (ed): Proceedings of the Herbrand symposium (1981) [RISC] 8911:8911: PROCEEDINGS Reid (ed.): Relationship: numerical computation and programs (1982) [RISC] 8912:8912: BOOK Robinson: Model theory ( ) [RISC] 8913:8913: BOOK Robinson, Abraham: Complete Theories (1956) [RISC] 8914:8914: PROCEEDINGS Jackson (ed.): Teaching informatics courses (1981) [RISC] 8948:8948: BOOK Dijkstra, Edsger W.: Selected Writings on Computing: A Personal Perspective (1982) [RISC] 8980:8980: BOOK Buchberger, Bruno (Ed); Collins, George E. (Ed); Loos, Ruediger (Ed): Computer Algebra Symbolic and Algebraic Computation (1982) [RISC] 8989:8989: BOOK Bibel, Wolfgang: Automated Theorem Proving (1982) [RISC] 9048:9048: BOOK Lawrence, J. Dennis: A Catalog of Special Plane Curves (1972) [RISC] 9062:9062: BOOK Solow, Daniel: How to Read and do Proofs An Introduction to Mathematical Thought Process (1982) [RISC] 9062:9062: BOOK Solow, Daniel: How to Read and do Proofs An Introduction to Mathematical Thought Process (1982) [RISC] 9102:9102: PROCEEDINGS Beth (ed.): Cryptography (1982) [RISC] 9118:9118: BOOK Lang, S.; Murrow, G.: Geometry, a high school course (1983) [RISC] 9148:9148: BOOK Nagl, Manfred: Einfuehrung in die Programmiersprache Ada (1982) [RISC] 9156:9156: BOOK Schmidt, Joachim W.; Brodie, Michael L.: Relational Database Systems Analysis and Comparison (1983) [RISC] 9156:9156: BOOK Schmidt, Joachim W.; Brodie, Michael L.: Relational Database Systems Analysis and Comparison (1983) [RISC] 9158:9158: PROCEEDINGS Bibel; Siekmann (eds.): Kuenstliche Intelligenz (1982) [RISC] 9159:9159: PROCEEDINGS Wahlster (ed.): GWAI 1982 (1982) [RISC] 9160:9160: BOOK Engeler E.: Metamathematik der Elementarmathematik (1983) [RISC] 9161:9161: PROCEEDINGS Messina; Murli (eds.): Problems and methods in mathematical software production (1980) [RISC] 9181:9181: BOOK Larson, Loren C.: Problem-Solving Through Problems (1983) [RISC] 9186:9186: PROCEEDINGS Ohno, Y. (Ed): Requirements, Engineering, Environments (1982) [RISC] 9187:9187: PROCEEDINGS Bjorner (ed.): Formal description of program concepts (1982) [RISC] 9209:9209: BOOK Myers, Glenford J.: Methodisches Testen von Programmen (1982) [RISC] 9235:9235: BOOK Evans, David J. (Hrsg.): Parallel processing systems. (1982) [RISC] 9244:9244: BOOK Berka, Karel; Kreiser, Lothar: Logik-Texte Kommentirte Auswahl zur Geschichte der modernen Logik (1983) [RISC] 9255:9255: BOOK Gottinger, Hans W.: Coping with Complexity Perspecives for Economics, Management and ... (1983) [RISC] 9256:9256: PROCEEDINGS Biermann; Guibo (eds.): Computer program synthesis methods (1981) [RISC] 9257:9257: BOOK Broy, M.; Schmidt, G.: Theoretical foundations of programming methodology (1982) [RISC] 9258:9258: BOOK Aho, Alfred V.; Hopcroft, John E.; Ullman, Jeffrey D.: Data Structures and Algorithms (1983) [RISC] 9265:9265: BOOK Barr, Avron (Ed); Feigenbaum, Edward A. (Ed): The Handbook of Artificial Intelligence Volume II (1982) [RISC] 9266:9266: BOOK Cohen, Paul R. (Ed); Feigenbaum, Edward A. (Ed): The Handbook of Artificial Intelligence Volume III (1982) [RISC] 9294:9294: PROCEEDINGS Anceau; Aas (eds.): VLSI 1983 (1983) [RISC] 9311:9311: PROCEEDINGS Ralston; Young (eds.): Teh future of college mathematics (1983) [RISC] 9312:9312: BOOK Staunstrup (ed.): Program Specifications ( ) [RISC] 9313:9313: BOOK Gries, David: The Science of Programming (1981) [RISC] 9338:9338: BOOK Darlington; et al.: Functional programming and its applications ( ) [RISC] 9338:9338: BOOK Darlinton, J. (Ed); Henderson, P. (Ed); Turner, D.A. (Ed): Functional Programming and its Applications An Advanced Course (1982) [RISC] 9339:9339: BOOK Clark, K.L.; McCabe, F.G.: micro-PROLOG: Programming in Logic (1984) [RISC] 9346:9346: BOOK Ledgard, Henry F.: ADA An Introduction (1983) [RISC] 9347:9347: PROCEEDINGS Salwicki (ed.): Logics of programs and their applications (1980) [RISC] 9348:9348: PROCEEDINGS Goto; et al. (eds.): RIMS Symp. (1982) [RISC] 9349:9349: PROCEEDINGS Hommel; Kroenig (eds.): Requirements Engineering (1983) [RISC] 9357:9357: BOOK Broy, Manfred (Ed); Schmidt, Gunther (Ed): Theoretical Foundations of Programming Methodology (1982) [RISC] 9357:9357: BOOK Helson, H.: harmonic analysis (1983) [RISC] 9360:9360: BOOK Kwong, Yat-sang: On reductions and livelocks in asynchronous parallel computing. (1982) [RISC] 9362:9362: BOOK Johnson, Scott D.: A Computer System for Checking Proofs (1982) [RISC] 9363:9363: BOOK Catell, R.G.G.: Formalization and Automatic Derivation of Code Generators (1982) [RISC] 9364:9364: BOOK Woods, John Lowe: Path Selection for Symbolic Execution Systems (1982) [RISC] 9364:9364: BOOK Woods, John Lowe: Path Selection for Symbolic Execution Systems (1982) [RISC] 9365:9365: BOOK Oleinick, Peter N.: Parallel algorothms on a multiprocessor. (1982) [RISC] 9366:9366: BOOK McCarthy, John; Abrahams, Paul W.; Edwards, Daniel J.; Hart, Timothy P.: LISP 1.5 Programmer`s Manual 2. Edition, 3. Printing (1981) [RISC] 9368:9368: BOOK Kemmerer, Richard A.: Formal Verification of an Operating System Security Kernel (1982) [RISC] 9374:9374: BOOK Siklossy, Laurent: Let`s Talk LISP (1976) [RISC] 9374:9374: BOOK Siklossy, Laurent: Let`s Talk LISP (1976) [RISC] 9380:9380: BOOK Klix, Friedhart (Ed): Human and Artificial Intelligence (1979) [RISC] 9384:9384: BOOK Uhr: Algorithmic structured computer array and networks (1984) [RISC] 9385:9385: BOOK Karp, Richard Alan: Proving Operating Systems Correct (1983) [RISC] 9392:9392: BOOK Davis: Computability ( ) [RISC] 9397:9397: PROCEEDINGS Lolli; Longo; Marcja (eds.): Logic Colloquium (1982) [RISC] 9400:9400: BOOK Weissman, Clark: LISP 1.5 Primer (1967) [RISC] 9401:9401: BOOK Friedman, Daniel P.: The Little LISPer (1974) [RISC] 9403:9403: BOOK Kohonen, Teuvo: Self-Organization and Associative Memory (1984) [RISC] 9404:9404: BOOK Wong, C.K.: Algorithmic Studies in Mass Storage Systems (1983) [RISC] 9404:9404: BOOK Wong, C.K.: Algorithmic Studies in Mass Storage Systems (1983) [RISC] 9406:9406: BOOK Nakajima, R. (Ed); Yuasa, T. (Ed): The IOTA Programming System A Modular Programming Environment (1983) [RISC] 9408:9408: PROCEEDINGS Diaz (ed.): Automata, Languages and programs (1983) [RISC] 9409:9409: PROCEEDINGS Herkenrath; et al. (eds.): Mathematical learning models (1983) [RISC] 9410:9410: BOOK Lerman, Manuel: Degrees of Unsolvability Local and Global Theory (1983) [RISC] 9411:9411: PROCEEDINGS Van Hulzen (ed.): Eurocal 1983 (1983) [RISC] 9412:9412: PROCEEDINGS Ausiello; Protasi (eds.): CAAP 1983 (1983) [RISC] 9414:9414: BOOK Uehara; Barbacc (eds.): Computer Hardware description languages (1983) [RISC] 9415:9415: PROCEEDINGS Ruschitzka, Manfred (Hrsg.); Christensen, M. (Hrsg.); Ames, W. F. (Hrsg.); Vichnevetsky, R. (Hrsg.): Parallel and large-scale computers. Performance, architecture, applications...10th IMACS world congress. Montreal 8-13 Aug.1982 (1983) [RISC] 9416:9416: PROCEEDINGS Chong; Wicks (eds.): Southeast Asian conference on logic (1981) [RISC] 9421:9421: BOOK Boyer, R.S.; Moore, J. St.: The correctness problem in computer science ( ) [RISC] 9423:9423: BOOK Clark, K.L. (Ed); Taernlund, S.-A. (Ed): Logic Programming (1982) [RISC] 9424:9424: BOOK Preston: Multicomputers and image processing ( ) [RISC] 9425:9425: BOOK Paker: Multi-microprocessor systems ( ) [RISC] 9431:9431: BOOK Lee: Computer Semantics ( ) [RISC] 9435:9435: BOOK Retti, J.; Bibel, W.; Buchberger, B.; Buchberger, E.: Artificial Intelligence - Eine Einfuehrung (1984) [RISC] 9440:9440: BOOK Marek, Wiktor; Onyszkiewicz, Janusz: Elements of Logic and Foundations of Mathematics in Problems (1982) [RISC] 9443:9443: BOOK Jones, Andrew J. I.: Communicaion and Meaning An Essay in Applied Modal Logic (1983) [RISC] 9444:9444: BOOK Fitting, Melvin: Proof Methods for Modal and Intuitionistic Logics (1983) [RISC] 9445:9445: BOOK Gabbay, D. (Ed); Guenthner, F. (Ed): Handbook of Philosophical Logic Volume II: Extensions of Classical Logic (1984) [RISC] 9473:9473: BOOK Schwabhaeuser, W.; Szmielew, W.; Tarski, A.: Metamathematische Methoden in der Geometrie (1983) [RISC] 9473:9473: BOOK Schwabhaeuser, W.; Szmielew, W.; Tarski, A.: Metamathematische Methoden in der Geometrie (1983) [RISC] 9484:9484: BOOK Sleeman, D. (Ed); Brown, J.S. (Ed): Intelligent Tutoring Systems (1982) [RISC] 9484:9484: BOOK Sleeman, D. (Ed); Brown, J.S. (Ed): Intelligent Tutoring Systems (1982) [RISC] 9486:9486: BOOK Stoyan, Herbert; Goerz, Guenter: LISP Eine Einfuehrung in die Programmierung (1984) [RISC] 9487:9487: BOOK Sims, Charles S.: Abstract Algebra A Computational Approach (1984) [RISC] 9487:9487: BOOK Sims, Charles S.: Abstract Algebra A Computational Approach (1984) [RISC] 9488:9488: BOOK Danicic, I.: LISP Programming (1983) [RISC] 9488:9488: BOOK Danicic, I.: Lisp Programming (1983) [RISC] 9491:9491: BOOK Bucher, Walter: Theoretische Grundlagen der Programmiersprachen Automaten und Sprachen (1984) [RISC] 9502:9502: BOOK Allen, John: Anatomy of LISP (1978) [RISC] 9505:9505: BOOK Salomaa, Arto: Jewels of Formal Language Theory (1981) [RISC] 9505:9505: BOOK Salomaa, Arto: Jewels of Formal Language Theory (1981) [RISC] 9511:9511: BOOK Beth: Kryptography ( ) [RISC] 9527:9527: BOOK Briggs, Hwang: Computer architecture and parallel processing ( ) [RISC] 9528:9528: BOOK Bunse: numerische lineare Algebra ( ) [RISC] 9542:9542: BOOK Rand, R.H.: Computer Algebra in Applied Mathematics: An Introduction to MACSYMA (1984) [RISC] 9550:9550: BOOK Dehning, Waltraud; Essig, Heidrun; Maass, Sussanne: The Adaptation of Virtual Man-Computer Interfaces to User Requirements in Dialogs (1981) [RISC] 9551:9551: BOOK Constable, Robert L.; Johnson, S.D.; Eichenlaub, C.D.: An Introduction to the PL/CV2 Programming Logic (1982) [RISC] 9552:9552: BOOK Kahn: Semantics of Data types ( ) [RISC] 9553:9553: BOOK Doberkat, Ernst-Erich: Stochastic Automata: Stability, Nondeterminism and Prediction (1981) [RISC] 9555:9555: BOOK Ronse, Christian: Feedback Shift Registers (1984) [RISC] 9556:9556: PROCEEDINGS Paul; Robinet (eds.): Int. Symp. on Programming (1984) [RISC] 9557:9557: PROCEEDINGS Fontet; Mehlhorn (eds.): STACS 1984 (1984) [RISC] 9558:9558: BOOK Clarke; Kozen (eds.): Logic of programs (1983) [RISC] 9559:9559: BOOK Kunii, T.L.: VLSI Design ( ) [RISC] 9561:9561: BOOK Hirst, Graeme: Anaphora in Natural Language Understanding: A Survey (1981) [RISC] 9562:9562: BOOK Casanova, Marco Antonio: The concurrency control problem for database systems. (1981) [RISC] 9564:9564: BOOK Bolc, Leonard (Ed); Kulpa, Zenon (Ed): Digital Image Processing Systems (1981) [RISC] 9567:9567: BOOK Guessarian, Irene: Algebraic Semantics (1981) [RISC] 9568:9568: BOOK Nijholt, A.: Context free grammars ( ) [RISC] 9568:9568: BOOK Nijholt, Anton: Context-Free Grammars: Covers, Normal Forms, and Parsing (1980) [RISC] 9569:9569: BOOK Loveland (ed.): Automated deduction (1982) [RISC] 9570:9570: BOOK Karpinski (ed.): Foundations of Comp. Theory (1983) [RISC] 9575:9575: BOOK Milner, Robin: A Calculus of Communicating Systems (1980) [RISC] 9576:9576: BOOK Overmars, Mark H.: The Design of Dynamic Data Structures (1983) [RISC] 9578:9578: PROCEEDINGS Paredaens (ed.): Automata, alnguages and programming (1984) [RISC] 9579:9579: BOOK Tarski, Alfred: Einfuehrung in die mathematische Logik 5. Auflage (1977) [RISC] 9579:9579: BOOK Tarski, Alfred: Einfuehrung in die mathematische Logik 5. Auflage (1977) [RISC] 9580:9580: BOOK Ausiello, G. (Ed); Lucertini, M. (Ed): Analysis and Design of Algorithms in Combinatorial Optimization (1981) [RISC] 9581:9581: BOOK Novikov, P.S.: Grundzuege der mathematischen Logik (1973) [RISC] 9586:9586: BOOK Peters, Fritz Eduard: Einfuehrung in Mathematische Methoden der Informatik (1974) [RISC] 9588:9588: BOOK Laufer, Henry B.: Discrete Mathematics and Applied Modern Algebra (1984) [RISC] 9590:9590: BOOK Ebbinghaus, Heinz-Dieter: Einfuehrung in die Mengenlehre (1979) [RISC] 9591:9591: BOOK Ecker, Klaus: Organisation von parallelen Prozessen. Theorie deterministischer Schedules. (1977) [RISC] 9594:9594: BOOK Asser, Guenter: Einfuehrung in die Mathematische Logik Teil 1: Aussagenkalkuel (1983) [RISC] 9595:9595: BOOK Asser, Guenter: Einfuehrung in die Mathematische Logik Teil 2: Praedikatenkalkuel der Ersten Stufe (1976) [RISC] 9596:9596: BOOK Asser, Guenter: Einfuehrung in die Mathematische Logik Teil 3: Praedikatenlogik Hoeherer Stufe (1981) [RISC] 9600:9600: BOOK Groebner: algebraische Geometrie I ( ) [RISC] 9601:9601: BOOK Groebner: algebraische Geometrie II ( ) [RISC] 9607:9607: BOOK Malitz, Jerome: Intoriduction to Mathematical Logic Set Theory Computable Functions Model Theory (1979) [RISC] 9608:9608: BOOK Deussen (ed.): Theoretical computer science (1981) [RISC] 9609:9609: BOOK Cremers; Krieger (eds.): Theoretical computer science (1983) [RISC] 9610:9610: BOOK Heyting, A.: Mathematische Grundlagenforschung Intuitionismus, Beweistheorie (1974) [RISC] 9611:9611: BOOK Gordon: Denotational description ( ) [RISC] 9612:9612: BOOK Manin, Yu.I.: A Course in Mathematical Logic (1977) [RISC] 9613:9613: BOOK Klaeren, H.A.: Algebraische Spezifikation Eine Einfuehrung (1983) [RISC] 9614:9614: BOOK Maurer (ed.): Automata, Languages, Programming (1979) [RISC] 9616:9616: BOOK Buchberger, Bruno; Lichtenberger, Franz: Mathematik fuer Informatiker I Die Methode der Mathematik (1981) [RISC] 9618:9618: BOOK Heidler, K.; et al. (eds.): Rekursive Funktionen ( ) [RISC] 9618:9618: BOOK Heidler, Klaus; Hermes, Hans; Mahn, Friedrich-K.: Rekursive Funktionen (1977) [RISC] 9622:9622: BOOK Winograd, Shmuel: Arithmetic complexity of computations. (1980) [RISC] 9623:9623: BOOK Manna, Zohar: Lectures on the logic of computer programming. (1980) [RISC] 9624:9624: BOOK Kolman (ed.): Lie Algebras (1972) [RISC] 9625:9625: BOOK Aho, Alfred V.; Ullman, Jeffrey D.: Principles of Computer Design (1977) [RISC] 9626:9626: BOOK hayes-Roth, Frederick; Waterman, Donald A.; Lenat, Douglas B.: Building Expert Systems (1983) [RISC] 9627:9627: BOOK Spencer, Donald D.: Computer Science Mathematics (1976) [RISC] 9627:9627: BOOK Spencer, Donald D.: Computer Science Mathematics (1976) [RISC] 9635:9635: BOOK Karpinsky; et al. (eds.): Topics in the theory of computation (1983) [RISC] 9636:9636: BOOK Book, Ronald V. (Ed): Formal Laguage Theory Perspectives and Open Problems (1980) [RISC] 9637:9637: BOOK Prather, Ronald E.: Discrete Mathematical Structures for Computer Science (1976) [RISC] 9639:9639: BOOK Boolos, Georg; Jeffrey, Richard: Computatibility and Logic (1980) [RISC] 9644:9644: BOOK Kronsjo, Lydia I.: Algorithms: Their Complexity and Efficiency (1979) [RISC] 9645:9645: BOOK Palmer, D.C.; Morris, B.D.: Computing Science (1980) [RISC] 9646:9646: BOOK Rudin; West (eds.): Protocol specification, testing, and verification (1983) [RISC] 9647:9647: BOOK Manna, Zohar; Waldinger, Richard: Studies in Automatic Programming Logic (1977) [RISC] 9648:9648: BOOK Bell, J.L.; Machover, M.: A Course in Mathematical Logic (1977) [RISC] 9649:9649: BOOK DeBakker; Van Vliet (eds.): Algorithmic languages (1981) [RISC] 9650:9650: BOOK Tremblay, J.P.; Manohar, R.: Discrete Mathematical Structures with Applications to Computer Science (1975) [RISC] 9650:9650: BOOK Tremblay, J.P.; Manohar, R.: Discrete Mathematical Structures with Applications to Computer Science (1975) [RISC] 9670:9670: BOOK Pouzet; Richard (eds.): Orders, description and rules (1982) [RISC] 9691:9691: BOOK Alty, J.L.; Coombs, M.J.: Expert Systems Concepts and Examples (1984) [RISC] 9693:9693: BOOK Kant, Elaine: Efficiency in Program Synthesis (1981) [RISC] 9714:9714: BOOK Chow, Wushow (Hrsg.); Cotton, Ira W.; Falk, Gilbert; Lam, Simon S.: Computer communications. Vol. 1. Principles. (Weitere Beitraeger:) Patrick V. McGregor, R.Andrews Pickens, Helen M. Wood (1983) [RISC] 9715:9715: BOOK Tanenbaum, Andrew S.: Computer networks. (1981) [RISC] 9739:9739: BOOK Lee; Gonzales; Fu: Robotics ( ) [RISC] 9741:9741: BOOK Knuth, Donald E.: Fundamental Algorithms The Art of Computer Programming (1973) [RISC] 9748:9748: BOOK Adams, James L.: Ich Hab's (1984) [RISC] 9749:9749: BOOK Goldschlager, Les; Lister, Andrew: Informatik Eine moderne Einfuehrung (1984) [RISC] 9750:9750: BOOK McDougall, Anne; Adams, Tony; Adams, Pauline: Einstieg in LOGO mit MIT-LOGO und Apple-LOGO (1982) [RISC] 9751:9751: BOOK Banahan, M.; Rutter, A.: UNIX Lernen, verstehen, anwenden (1984) [RISC] 9752:9752: BOOK Ben-Ari, M.: Grundlagen der Parallel-Programmierung. (Principles of concurrent programming. Deutsch.) (1985) [RISC] 9753:9753: BOOK Graf, Ulrich: Darstellende Geometrie Elfte Auflage (1978) [RISC] 9754:9754: BOOK Ausiello, G. (Ed); Lucertini, M. (Ed); Serafini, P. (Ed): Algorithm Design for Computer System Design (1984) [RISC] 9763:9763: BOOK Rohl, J.S.: Recursion via Pascal (1984) [RISC] 9764:9764: BOOK Gascoigne, Serafim: Microchild Learning through LOGO (1984) [RISC] 9765:9765: BOOK McGregor: Pascal for Science and engineering ( ) [RISC] 9766:9766: BOOK Politakis, Peter G.: Empirical Analysis for Expert Systems (1985) [RISC] 9767:9767: BOOK Cohen, Paul R.: Heuristic Reasining about Uncertainty: An AI Approach (1985) [RISC] 9768:9768: BOOK Jamieson, M. J.: Elementary Numerical Methods (1983) [RISC] 9769:9769: BOOK Bramer (ed.): Research and development in expert systems (1984) [RISC] 9770:9770: BOOK Paul, Richard P.: Robot Manipulators: Mathematics, Programming, and Control The Computer Control of Robot Manipulators (1981) [RISC] 9771:9771: BOOK Winston, Patrick Henry (Ed); Brown, Richard Henry (Ed): Artificial Intelligence: An MIT Perspective Volume I: Expert Problem Solving Natural Language ... (1979) [RISC] 9771:9771: BOOK Winston, Patrick Henry (Ed); Brown, Richard Henry (Ed): Artificial Intelligence: An MIT Perspective Volume I: Expert Problem Solving Natural Language ... (1979) [RISC] 9772:9772: BOOK Winston, Patrick Henry (Ed); Brown, Richard Henry (Ed): Artificial Intelligence: An MIT Perspective Volume 2: Understanding Vision Manipulation Computer ... (1979) [RISC] 9772:9772: BOOK Winston, Patrick Henry (Ed); Brown, Richard Henry (Ed): Artificial Intelligence: An MIT Perspective Volume 2: Understanding Vision Manipulation Computer ... (1979) [RISC] 9773:9773: BOOK Brady, Michael (Ed); Hollerbach, John M. (Ed); Johnson, Timothy L. (Ed); Lozano-Perez, Tomas (Ed): Robert Motion: Planning and Control (1982) [RISC] 9774:9774: BOOK Winston; Prendergast (eds.): The AI business (1984) [RISC] 9775:9775: BOOK Queinnec, Christian: LISP and Engineering (1984) [RISC] 9777:9777: BOOK Dunsmuir, M.R.M.; Davies, G.J.: Programming the UNIX System (1985) [RISC] 9778:9778: BOOK Herman, Gary: Micro-Music for the Commodore 64 and BBC Computer (1985) [RISC] 9779:9779: BOOK Berry, R.E.; Meekings, B.A.E.: A Book on C (1984) [RISC] 9780:9780: BOOK Angell, Ian O.: A Practical Introduction to Computer Graphics (1981) [RISC] 9781:9781: BOOK Bornat, Richard: Understanding and Writing Compilers A do-it-yourself guide (1979) [RISC] 9782:9782: BOOK Angell, I. O.: Advanced Graphics with the IBM Personal Computer (1985) [RISC] 9783:9783: BOOK Ibbett, Roland N.: The Architecture of High Performance Computers (1982) [RISC] 9784:9784: BOOK Paddon, D.J. (Ed): Supercomputers and parallel Computation (1984) [RISC] 9785:9785: BOOK Rogers, M.W. (Ed): Ada: Language, Compilers and Bibliography (1980) [RISC] 9786:9786: BOOK Siegel, Howard Jay: Interconnection networks for large-scale parallel processing. Theory and case studies. (1985) [RISC] 9787:9787: PROCEEDINGS Tenhagen (ed.): Eurographics 1983 (1983) [RISC] 9788:9788: BOOK Hausen (ed.): Software validitation (1983) [RISC] 9789:9789: BOOK Brady, J. M. (ed.): Computer Vision (1981) [RISC] 9789:9789: BOOK Brady, Michael (Ed): Computer Vision (1981) [RISC] 9790:9790: BOOK Pearl, J. (ed.): Search and Heuristics (1983) [RISC] 9791:9791: PROCEEDINGS Roukens, J. (ed.); Renuart, J. F.: ESPRIT '84 Status Report of Ongoing Work (1985) [RISC] 9792:9792: PROCEEDINGS Moto-Oka (ed.): 5th generation computer systems (1981) [RISC] 9793:9793: BOOK Cipprs; Iapr (eds.): Pattern recognition, vol. 1 (1984) [RISC] 9794:9794: BOOK Cipprs; Iapr (eds.): Pattern recognition, vol. 2 (1984) [RISC] 9795:9795: BOOK Lee, C.S.G.; Gonzalez, R.C.; Fu, K.S.: Tutorial on ROBOTICS (1983) [RISC] 9796:9796: BOOK Rosenfeld (ed.): Applied machine vision (1984) [RISC] 9797:9797: BOOK Phang (ed.): Trends in electronics (1984) [RISC] 9798:9798: BOOK Hasemer, Tony: A Beginner's Guide to LISP (1984) [RISC] 9799:9799: BOOK Krueger, Myron W.: Artificial Reality (1983) [RISC] 9800:9800: BOOK Pearl, Jedea: HEURISTICS Intelligent Search Strategies for Computer Prob. Solving (1984) [RISC] 9801:9801: BOOK Tou, Julius T.; Gonzalez, Rafael C.: Pattern Recognition Principles (1974) [RISC] 9801:9801: BOOK Tou, Julius T.; Gonzalez, Rafael C.: Pattern Recognition Principles (1974) [RISC] 9803:9803: BOOK Charniak, Eugene; McDermott, Drew: Introduction to Artificial Intelligence (1985) [RISC] 9804:9804: BOOK Batchelor, B.G. (Ed); Hill, D.A. (Ed); Hodgson, D.C. (Ed): Automated Visual Inspection (1985) [RISC] 9805:9805: BOOK Bernolds, Thomas (Ed); Albers, Guenter (Ed): Artificial Intelligence: Towards Practical Application (1985) [RISC] 9806:9806: PROCEEDINGS Bertolazzi, Paola (Hrsg.); Luccio, Fabrizio (Hrsg.): VLSI, algorithms and architectures. Proceedings ... Amalfi, May 23-25, 1984. (1985) [RISC] 9807:9807: PROCEEDINGS Bo; Tucker (eds.): Eurographics 1984 (1984) [RISC] 9808:9808: PROCEEDINGS Danthine, Andre (Hrsg.); Geradin, Michel (Hrsg.): Advanced software in robotics. Proceedings ... Liege, May 6-8, 1984. (1984) [RISC] 9809:9809: BOOK Kochan (ed.); Banerji: Integration of CAD/CAM (1983) [RISC] 9810:9810: PROCEEDINGS Griffiths, M. (Ed); Tagg, E. D. (Ed): The Role of Programming in Teaching Informatics (1985) [RISC] 9810:9810: PROCEEDINGS Stern (ed.): Herbrand symposium logic colloquium (1981) [RISC] 9811:9811: BOOK Elithorn; Banerji: Artificial and human intelligence ( ) [RISC] 9812:9812: BOOK Ausilleo; Lucertin (eds.): Analysis and design of algorithms (1983) [RISC] 9813:9813: PROCEEDINGS Troelstra, A. S. (ed.); Van Dalen, D.: The L.E.J. Brouwer Centenary Symposium (1982) [RISC] 9814:9814: PROCEEDINGS Metakides (ed.): Patras Logic symposium (1980) [RISC] 9815:9815: BOOK Nastasescu, C.; Oystaeyen, F. van: Graded Ring Theory (1982) [RISC] 9816:9816: BOOK Rubin, Herman; Rubin, Jean E.: Equivalents of the Axiom of Choice, II (1985) [RISC] 9817:9817: PROCEEDINGS Van Dalen, D.; Lascar, D.; Smiley, T. J.: Logic Colloquium '80 (1982) [RISC] 9818:9818: BOOK Elithorn, Alick (Ed); Banerji, Ranan (Ed): Artificial and Human Intelligence (1984) [RISC] 9818:9818: BOOK Shapiro, S. (ed.): Intensional Mathematics (1985) [RISC] 9819:9819: PROCEEDINGS ICOT (ed.): 5th generation computer systems (1984) [RISC] 9820:9820: PROCEEDINGS Dwivedi, Suren N. (ed.): Robotics and Factories of the Future (1984) [RISC] 9821:9821: BOOK Pan, Victor: How to Multiply Matrices Faster (1984) [RISC] 9822:9822: BOOK Gleaves, Richard: Modula-2 fuer Pacsal-Programmierer (1985) [RISC] 9823:9823: BOOK Zuse, Konrad: Der Computer Mein Lebenswerk (1984) [RISC] 9823:9823: BOOK Zuse, Konrad: Der Computer Mein Lebenswerk (1984) [RISC] 9824:9824: BOOK Mueller; Richter; (eds.): Models and sets ( ) [RISC] 9825:9825: BOOK Cossart: Resolution of surface singularities ( ) [RISC] 9826:9826: PROCEEDINGS Shostak; (ed.): Automated Deduction 1984 ( ) [RISC] 9827:9827: BOOK Shaw, Mary (Ed): The Carnegie-Mellon Curriculum for Undergraduate Computer Science (1985) [RISC] 9827:9827: BOOK Shaw, Mary (Ed): The Carnegie-Mellon Curriculum for Undergraduate Computer Science (1985) [RISC] 9828:9828: PROCEEDINGS Richter; et al.; (eds.): Computation and proof theory 1983 ( ) [RISC] 9829:9829: BOOK Beeson, Michael J.: Foundations of Constructive Mathematics (1985) [RISC] 9830:9830: BOOK Chong, C.T.: Techniques of Admissible Recursion Theory (1984) [RISC] 9830:9830: PROCEEDINGS Greco, S.; Strano, R.: Complete Intersections (1984) [RISC] 9831:9831: BOOK Chong, C.T.: Techniques of admissible recursion theory ( ) [RISC] 9832:9832: PROCEEDINGS Habel; (ed.): Kuenstliche Intelligenz 1984 ( ) [RISC] 9833:9833: BOOK Jensen, Kahleen; Wirth, Niklaus: Pascal User Manual and Report (1974) [RISC] 9834:9834: BOOK Arbarello, E.; Cornalba, M.; Griffiths, P. A.; Harris, J.: Geometry of Algebraic Curves Volume I (1985) [RISC] 9834:9834: BOOK Arbarello, E.; Cornalba, M.; Griffiths, P.A.; Harris, J.: Geometry of Algebraic Curves Volume 1 (1985) [RISC] 9835:9835: BOOK CIP Language Group: The Munich Project CIP Volume I: The Wide Spectrum Language CIP-L (1985) [RISC] 9837:9837: PROCEEDINGS Ehrich; (ed.): GI Tagung 1984 ( ) [RISC] 9838:9838: BOOK Josephc; Shyamasundar: Foundations of software technology and theoretical computer science ( ) [RISC] 9839:9839: BOOK Abelson, Harold; diSessa, Andrea A.: Turtle Geometry The Computer as a Medium for Exploring Mathematics (1984) [RISC] 9840:9840: BOOK Barwise, Jon; Perry, John: Situations and Attitudes (1983) [RISC] 9841:9841: BOOK Bolc, Leonard (Ed): Natural Language Questing Answering Systems (1980) [RISC] 9842:9842: BOOK Bolc, Leonard (Ed): Natural Language Based Computer Systems (1980) [RISC] 9843:9843: BOOK Bolc, Leonard (Ed): Representation and Processing of Natural Language (1980) [RISC] 9844:9844: PROCEEDINGS Brady, Michael (ed.); Paul, Richard (ed.): Robotics Research The First International Symposium (1984) [RISC] 9845:9845: BOOK Cooke, D.J.; Bez, H.E.: Computer Mathematics (1984) [RISC] 9846:9846: BOOK Day, A. Colin: Text Processing (1984) [RISC] 9847:9847: BOOK Devlin, Keith: Micro-Maths Mathematical Problems and Theorems to Consider and Solve on a Comp. (1985) [RISC] 9848:9848: BOOK Dew, P.M.; James, K.R.: Introduction to Numerical Computation in PASCAL (1983) [RISC] 9849:9849: BOOK Dummett, Michael: Elements of Intuitionism (1977) [RISC] 9850:9850: BOOK Dyer, Michael George: In-Depth Understanding A Computer Model of Integrated Processing for Narrative Comprehensi (1983) [RISC] 9851:9851: BOOK Fisher, Alec: Formal Number Theory and Computability A Workbook (1982) [RISC] 9852:9852: BOOK Haugeland, John (ed.): Mind Design Philosophy - Psychology - Artificial Intelligence (1981) [RISC] 9853:9853: BOOK Hildreth, Ellen Catherine: The Measurement of Visual Motion (1984) [RISC] 9855:9855: BOOK Hyman, Anthony: Charles Babbage Pioneer of the Computer (1984) [RISC] 9856:9856: BOOK Johnson, Steven D.: Synthesis of Digital Designs from Recursion Equations (1984) [RISC] 9857:9857: BOOK Korf, Richard E.: Learning to Solve Problems by Searching for Macro-Operators (1985) [RISC] 9857:9857: BOOK Korf, Richard E.: Learning to Solve Problems by Searching for Macro-Operators (1985) [RISC] 9858:9858: BOOK Leighton, Frank Thomson: Complexity Issues in VLSI Optimal Layouts for the Shuffle-Exchange Graph and Other Networks (1983) [RISC] 9859:9859: BOOK Leiserson, Charles Eric: Area-Efficient VLSI Computation (1983) [RISC] 9860:9860: BOOK Mallgren, William R.: Formal Specification of Interactive Graphics Programming Languages (1983) [RISC] 9861:9861: BOOK Meijer, Anton; Peeters, Paul: Computer network architectures (1982) [RISC] 9862:9862: BOOK Moreau, R.: The Computer Comes of Age The People, the Hardware, and the Software (1984) [RISC] 9863:9863: BOOK Ohta, Yuichi: Knowledge-based Interpretation of Outdoor Natural Color Scenes (1985) [RISC] 9864:9864: BOOK Pylyshyn, Zenon W.: Computation and Cognition Toward a Foundation for Cognitive Science (1984) [RISC] 9865:9865: BOOK Rose, H.E.: Subrecursion Functions and Hierarchies (1984) [RISC] 9866:9866: BOOK Salman, W.P.; Tisserand, O.; Toulout, B.: FORTH (1984) [RISC] 9866:9866: BOOK Salman, W.P.; Tisserand, O.; Toulout, B.: FORTH (1984) [RISC] 9867:9867: BOOK Shapiro, Ehud Y.: Algorithmic Program Debugging (1983) [RISC] 9867:9867: BOOK Shapiro, Ehud Y.: Algorithmic Program Debugging (1983) [RISC] 9868:9868: BOOK Stoy, Joseph E.: Denotational Semantics: The Scott-Strachey Appraoch to Programming Language Theory (1977) [RISC] 9868:9868: BOOK Stoy, Joseph E.: Denotational Semantics: The Scott-Strachey Appraoch to Programming Language Theory (1977) [RISC] 9869:9869: BOOK Troelstra, A.S.: Choice Sequences A Chapter of Intuitionistic Mathematics (1977) [RISC] 9869:9869: BOOK Troelstra, A.S.: Choice Sequences A Chapter of Intuitionistic Mathematics (1977) [RISC] 9870:9870: BOOK Wegner, Peter (ed.): Research Directions in Software Technology (1979) [RISC] 9872:9872: BOOK Jankel, Annabel; Morton, Rocky: Creative Computer Graphics (1984) [RISC] 9873:9873: BOOK Salomaa, Arto: Computation and Automata (1985) [RISC] 9873:9873: BOOK Salomaa, Arto: Computation and Automata (1985) [RISC] 9874:9874: BOOK Kulp, Martin: Menschliches und maschinelles Denken (1968) [RISC] 9875:9875: BOOK Leblanc, Hugues; Mendelson, Elliott: Foundations: Logic, Language and Mathematics (1984) [RISC] 9875:9875: BOOK Leblanc; et al.; (eds.): Foundations, logic, languages and mathematics ( ) [RISC] 9876:9876-68: BOOK Halpern, Richard: Microcomputer Graphics Using PASCAL For the Apple II Family (1985) [RISC] 9876:9876: BOOK Halpern, R.: Microcomputer graphics using PASCAL for the Apple II family ( ) [RISC] 9877:9877: BOOK Touretzky, David S.: LISP A Gentle Introduction to Symbolic Computation (1984) [RISC] 9878:9878: BOOK Knuth; Neuhold; (eds.): specification and design of software systems ( ) [RISC] 9879:9879: BOOK McDonald, Bernard R.: Linear Algebra Over Commutative Rings (1984) [RISC] 9880:9880: BOOK Lloyd, J. W.: Foundations of Logic Programming (1984) [RISC] 9882:9882: BOOK Abney, Darrell H.; Rubin, Laurence; Sibrel, Donald W.: Computer Mathematics for Programmers (1985) [RISC] 9883:9883: BOOK Semple, J. G.; Roth, L.: Introduction to Algebraic Geometry (1949) [RISC] 9897:9897: BOOK Muller; Pottmeyer; (eds.): The fifth generation challenge ( ) [RISC] 9898:9898: BOOK Winston, Patrick Henry; Horn, Berthold Klaus Paul: LISP Second Edition (1984) [RISC] 9920:9920: BOOK Bezdek, James C.: Pattern recognition with fuzzy objective function algorithms. (1981) [RISC] 9921:9921: BOOK Nagao, Makoto; Matsuyama, Takashi: A Structural Analysis of Complex Aerial Photographs. (1980) [RISC] 9922:9922: BOOK Preston, Kendall Jr.; Duff, Michael J.B.: Modern Cellular Automata Theory and Applications. (1984) [RISC] 9923:9923: BOOK Hodges, Andrew: Alan Turing: The enigma. (1983) [RISC] 9924:9924: BOOK Goldberg, Adele: Smalltalk-80, The Interactive Programming Environment (1984) [RISC] 9925:9925: BOOK Goldberg, Adele; Robson, David: Smalltalk-80, The Language and its Implementation (1983) [RISC] 9926:9926: BOOK Krasner, Glenn (Ed): Smalltalk-80, Bits of History, Words of Advice (1984) [RISC] 9927:9927: BOOK Kluzniak, Feliks; Szpakowicz, Stanislaw: PROLOG for Programmers (1985) [RISC] 9928:9928: BOOK Waterman, Donald A.: A Guide to Expert Systems (1986) [RISC] 9940:9940: BOOK Boerger, Egon: Berechenbarkeit, Komplexitaet, Logik (1985) [RISC] 9943:9943: BOOK Abelson, Harold; Sussman, Jay; Sussman, Julie: Structure and Interpretation of Computer Programs (1985) [RISC] 9946:9946: BOOK Danckwerts, Rainer; Vogel, Dakwart; Bovermann, Klaus: Elementare Methoden der Kombinatorik (1985) [RISC] 9957:9957: BOOK Moyne, John A.: Understanding Language Man or Machine (1985) [RISC] 9967:9967: BOOK Rodrigue, Garry (Ed): Parallel Computations (1982) [RISC] 9968:9968: BOOK Turski, Wladislaw M.: Infomatics A Propaedeutic View (1985) [RISC] 9969:9969: BOOK O'Shea, Tim (Ed): Advances in Artificial Intelligence (1985) [RISC] 9975:9975: BOOK Plum, Thomasce (Ed): Das C-Lernbuch (1983) [RISC] 9989:9989: BOOK Nivat, Maurice (Ed); Reynolds, John C. (Ed): Algebraic methods in semantics (1985) [RISC] 9993:9993: BOOK Burnham, W.D.; Hall, A.R.: Prolog Programming and Applicatons (1985) [RISC] 9994:9994: BOOK Cluley, J.C.: Transducers for Microprocessor Systems (1985) [RISC] 9998:9998: BOOK Gabbay, D. (Ed); Guenthner F. (Ed): Handbook of Philosophical Logic (1986) [RISC] 10009:10009: BOOK Atkinson, Michael D. (Ed): Computational Group Theory (1984) [RISC] 10010:10010: BOOK Hogger, Christopher John: Introduction to Logic Programning (1984) [RISC] 10010:10010: BOOK Hogger: Introduction to logic programming ( ) [RISC] 10011:10011: BOOK Barnhill Robert E. (Ed); Boehm, Wolfgang (Ed): Surfaces in CAGD'84 (1985) [RISC] 10032:10032: BOOK Fraisse, R.: Theory of Relations (1986) [RISC] 10034:10034: BOOK Neuwirth, E.; Schauer, H.; Tauber, M.J.: Kinder, Computer und Bildung (1985) [RISC] 10034:10034: BOOK Neuwirth; et al.: Kinder, Computer und Bildung ( ) [RISC] 10036:10036: BOOK Davis, Philip J.; Chinn, William G.: 3.1416 And All That (1985) [RISC] 10037:10037: BOOK Gander, Walter: Comptermathematik (1985) [RISC] 10038:10038: BOOK Kunz, Ernst: Introduction to commutative algebra and algebraic geometry. Transl. by Michael Ackerman. Preface by David Mumford. (1985) [RISC] 10039:10039: BOOK Ehrig: Mathematical foundations of software development ( ) [RISC] 10040:10040: BOOK Ehrig; et al. s; (eds.): Formal methods and software development, vol. 2 ( ) [RISC] 10041:10041: BOOK Barringer, Howard.: A Survey of Verification Techniques for Parallel Programs (1985) [RISC] 10046:10046: BOOK Brosowski, Bruno; Kress, Rainer: Einfuehrung in die Numerische Mathemaik I (1975) [RISC] 10047:10047: BOOK Engeln; Muellges; Reutter: Numerische Mathematik fuer Ingenieure ( ) [RISC] 10048:10048: BOOK Weissinger, Johannes: Numerische Mathematik auf Personal-Computern Teil 1: Eine Einfuehrung in die Theorie und in die Progr. BASIC (1984) [RISC] 10048:10048: BOOK Weissinger, Johannes: Numerische Mathematik auf Personal-Computern Teil 1: Eine Einfuehrung in die Theorie und in die Progr. BASIC (1984) [RISC] 10048:10048: BOOK Weissinger, Johannes: Numerische Mathematik auf Personal-Computern. Teil 1. E. Einf. in die Theorie u. in die Programmierung in BASIC. (1984) [RISC] 10049:10049: BOOK Weissinger, Johannes: Numerische Mathematik auf Personal-Computern Teil 2: BASIC-Programme (1984) [RISC] 10049:10049: BOOK Weissinger, Johannes: Numerische Mathematik auf Personal-Computern Teil 2: BASIC-Programme (1984) [RISC] 10049:10049: BOOK Weissinger, Johannes: Numerische Mathematik auf Personal-Computern. Teil 2. BASIC-Programme. (1984) [RISC] 10050:10050: BOOK Bruderer, Herbert E.: Nichtnumerische Datenverabeitung (1980) [RISC] 10051:10051: BOOK Haase, Volkmar: Die Technik der neuen Medien (1983) [RISC] 10052:10052: BOOK Zima, Hans: Compilerbau I (1982) [RISC] 10053:10053: BOOK Zima, Hans: Compilerbau II (1983) [RISC] 10054:10054: BOOK Waldschmidt, Helmut E.; Walter, Hermann K.-G.: Grundzuege der Informatik I (1984) [RISC] 10054:10054: BOOK Waldschmidt; Walter: Grundzuege der informatik I ( ) [RISC] 10055:10055: BOOK Balzert, Helmut (Ed): Moderne Software-Entwicklungssysteme und -werkzeuge (1985) [RISC] 10056:10056: BOOK Feuer, Alan R.: C-Puzzlebuch C-Programmier Training (1985) [RISC] 10057:10057: BOOK Kernighan, Brian W.; Ritchie, Dennis M.: Programmieren in C (1983) [RISC] 10057:10057: BOOK Kernighan; Ritchie: Programming in C ( ) [RISC] 10058:10058: BOOK Cross, Mark; Moscardini, A.O.: Learning the Art of Mathematical Modelling (1985) [RISC] 10059:10059: BOOK Riesel, Hans: Prime Numbers and Computer Methods for Factorization (1985) [RISC] 10061:10061: BOOK Havey, Brian: Computer Science Logo Style Volume I, Intermediate Programming (1985) [RISC] 10062:10062: BOOK Saram, Hugh de (Ed): Programming in micro-PROLOG (1985) [RISC] 10063:10063: BOOK Wulf, William A.; Shaw, Mary; Hilfinger, Paul N.: Fundaental Structures of Computer Science (1981) [RISC] 10064:10064: BOOK Quirk, W.J. (Ed): Verification and Validation of Real-Time Software (1985) [RISC] 10065:10065: BOOK Thayse, Andre: P-Functions and Boolean Matrix Factorizaion (1984) [RISC] 10066:10066: BOOK Sherman, Mark Steven: Paragon:ing Languages and Their Definition A Language Using Type Hierarchies for the Specification ... (1985) [RISC] 10067:10067: PROCEEDINGS Chytil M.P. (Ed); Koubek, V. (Ed): Mathematical Foundations of Computer Science 1984 (1984) [RISC] 10068:10068: BOOK Bekic, H.: Programming languages and their definition ( ) [RISC] 10068:10068: BOOK Jones, C.B. (Ed): Programming Languages and Their Definition (1984) [RISC] 10069:10069: PROCEEDINGS Mehlhorn, K. (Ed): STACS 85 (1985) [RISC] 10070:10070: BOOK Hawkins, Cliffard (Ed); Sorgi, Maco (Ed): Research How to Plan, Speak and Write About It (1985) [RISC] 10071:10071: BOOK Vogel, W.: Lectures on results on Bezout's theorem. Notes by D. P. Patil. (1984) [RISC] 10072:10072: BOOK Shirota, Yukari; Kunii, Tosiyasu L.: First Book on UNIX for Executives (1984) [RISC] 10076:10076: BOOK Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 1 (1985) [RISC] 10077:10077: PROCEEDINGS Blaser, A. (Ed); Pistor, P. (Ed): Datenbank-Systeme fuer B!ro, Technik und Wissenschaft (1985) [RISC] 10078:10078: BOOK Hartley, John: Flexible Automation in Japan (1984) [RISC] 10079:10079: BOOK ten Hagen, Paul J.W.: Eurographics Tutorials 83 (1984) [RISC] 10080:10080: BOOK Miklosko, J. (Hrsg.); Kotov, V. E. (Hrsg.): Algorithms, software and hardware of parallel computers. (Weitere Beitr.:) J. Chudnik, G. David, N.N. Mirenkov, J. Ondas u.a. (1984) [RISC] 10081:10081: BOOK Mehlhorn, Kurt: Data Structures and Algorithms 1: Sorting and Searching (1984) [RISC] 10082:10082: BOOK Mehlhorn, Kurt: Data Structures and Algorithms 2: Graph Algorithms and NP-Completeness (1984) [RISC] 10083:10083: BOOK Mehlhorn, Kurt: Multi-dimensional Searching and Computational Geometry (1984) [RISC] 10086:10086: BOOK Craig, John J.: Introduction to Robotics Mechanics & Control (1986) [RISC] 10087:10087: BOOK Wos, Larry; Overbeek, Ross; Lusk, Ewing; Boyle, Jim: Automated Reasoning Introduction and Applicaions (1984) [RISC] 10088:10088: BOOK Reynolds, John C.: The Crat of Programming (1981) [RISC] 10088:10088: BOOK Reynolds: The craft of programming ( ) [RISC] 10089:10089: BOOK Lewis, Harry R.; Papadimitriou, Christos H.: Elements of the Theory of Computation (1981) [RISC] 10090:10090: PROCEEDINGS Farmer, Doyne (Ed); Toffoli, Fommaso (Ed); Wolfram, Stephen (Ed): Cellular Automata (1984) [RISC] 10091:10091: PROCEEDINGS Feilmeier, Manfred (Hrsg.); Joubert, Gerhard (Hrsg.); Schendel, Udo (Hrsg.): Parallel computing 83. Proceedings ... Berlin, 26-28 September, 1983. (1984) [RISC] 10092:10092: BOOK Mendelsohn, Eric (Ed): Algebraic and Geometric Combinatorics (1982) [RISC] 10093:10093: BOOK Mansfield, Richard; Weitkamp, Galen: Recursive Aspects of Descriptive Set Theory (1985) [RISC] 10097:10097: BOOK Hoae, C.A.R.: Communicating Sequential Processes (1985) [RISC] 10099:10099: BOOK Courcelle, B. (Ed): Ninth Colloquium on Trees in Algebra and Programming (1984) [RISC] 10102:10102: BOOK Wagner, K.; Wechsung G.: Computational Complexity (1986) [RISC] 10103:10103: BOOK Negoita, Constantin Virgil: Expert Systems and Fuzzy Systems (1985) [RISC] 10104:10104: BOOK Lewis, Ted G.: PASCAL for the IBM Personal Computer (1983) [RISC] 10105:10105: BOOK Kelman, Peter; Bardige, Art; Choae, JOnathan; Hanify, George: Computers in Teaching Mathemaics (1983) [RISC] 10106:10106: BOOK Ross, Peter: Logo Programming for the IBM PC (1985) [RISC] 10107:10107: BOOK Traub, J.F.; Wasilkowski, G.W.; Wozniakowski, H.: Information, Uncertainty, Complexity (1983) [RISC] 10108:10108: BOOK Shaw, Tony: dBASE IIuer Image: Applications of Computer Graphics Developing applications (1984) [RISC] 10109:10109: BOOK Gonnet, H.G.: Handbook of ALgorithms and Data Structures (1984) [RISC] 10109:10109: BOOK Gonnet: Hnadbook of algorithms and data structures ( ) [RISC] 10110:10110: BOOK Greenberg, Donald; Marcus, Aaron; Schmidt, Allan H.; Gorter, Vervon: The Compuer Image: Applications of Computer Graphics (1982) [RISC] 10111:10111: BOOK Park, Chan S.: Interactive Microcomputer Graphics (1985) [RISC] 10112:10112: BOOK Bennetts, R.G.: Design of Testable Logic Circuits (1984) [RISC] 10113:10113: BOOK Mead, Caver; Conway, Lynn: Introduction to VLSI Systems (1980) [RISC] 10114:10114: BOOK Glasser, Lance A.; Dobberpuhl, Daniel W.: The Design and Analysis of VLSI Circuits (1984) [RISC] 10115:10115: BOOK Lamport, Leslie: LATEX. A document preparation system. (1986) [RISC] 10116:10116: BOOK Myers, Roy E.: Microcomputer Graphics for the IBM PC (1984) [RISC] 10117:10117: BOOK Sargent III, Murray; Shoemaker, Richard L: The IBM Personal Computer From the Inside Out (1983) [RISC] 10119:10119: BOOK Wadge; Ashcroft: Lucid, the dataflow programming language ( ) [RISC] 10119:10119: BOOK Wagde, William W.; Ashcroft, Edward A.: Lucid, The Dataflow Programming Language (1985) [RISC] 10120:10120: BOOK Hopgood, F.R.A.; Duce, D.A.; Gallop, J.R.; Sutcliffe, D.C.: Introduction to the Graphical Kernel System (GKS) (1983) [RISC] 10121:10121: BOOK Yovits, Marshall C. (Ed): Advances in Computers Volume 23 (1984) [RISC] 10122:10122: BOOK Yovits, Marshall C. (Ed): Advances in Computers Volume 24 (1985) [RISC] 10123:10123: BOOK Mandelbrot, Benoit B.: The Fractal Geometry of Nature (1977) [RISC] 10124:10124: BOOK Gersting, Judith L.: Mathematical Structures for Computer Science (1982) [RISC] 10125:10125: BOOK Bransford, John D.; Stein, Barry S.: The Ideal Problem Solver A Guide for Improving Thinking, Learning and Creativity (1984) [RISC] 10126:10126: BOOK Gadner, Martin: Aha, Insight (1978) [RISC] 10127:10127: BOOK Koberg, Don; Bagnall, Jim: the Universal Traveler a Soft-Systems guide to: creativity, problem-solving ... (1974) [RISC] 10132:10132: BOOK Reid-Green, Keith: Computerspiele und Computergrafik (1984) [RISC] 10168:10168: BOOK Mitchell, David: An Adventure in Programing Techniques (1986) [RISC] 10173:10173: BOOK Brooks, Rodney A.: Programming in Common LISP (1985) [RISC] 10178:10178: BOOK Pavelle, Richard (Ed): Application to Computer Algebra (1985) [RISC] 10179:10179: BOOK Jackson, Peter: Introduction to Expert Systems (1986) [RISC] 10187:10187: BOOK Tiberghien, J. (Ed): New Computer Architectures (1984) [RISC] 10188:10188: BOOK Knuth, Donald E.: The TEXbook (1986) [RISC] 10189:10189: BOOK Brownston, Lee; Farrell, Robert; Kant, Elaine; Martin, Nancy: Programming Expert Systems in OPS5 An Introduction to Rule-Based Programming (1985) [RISC] 10190:10190: BOOK Weste, Neil H.E.; Eshraghian, Kamran: Principles of Cmos VLSI Design (1985) [RISC] 10192:10192: BOOK Green, David: Modern Logic Design (1986) [RISC] 10194:10194: BOOK Barcan Marcus, Ruth (Ed); Dorn, Georg J.W. (Ed); Weingartner, Paul (Ed): Logic, Methodology and Philosophy of Science VII (1986) [RISC] 10195:10195: BOOK Radermacher, Franz-Josef; Wirsing, Martin: Berichte aus den Informatikinstituten (1986) [RISC] 10195:10195: PROCEEDINGS Radermacher; Wirsing: Berichte aus Informatikinstituten 1986 ( ) [RISC] 10197:10197: BOOK Bratko, Ivan: PROLOG Programming for Artificial Intelligence (1986) [RISC] 10233:10233: BOOK Peitgen, Heinz-Otto; Richter, Peter H.: The Beauty of fractals. (1986) [RISC] 10234:10234: BOOK Cox, Brad J.: Object-oriented Programming. An evolutionary approach. (1986) [RISC] 10235:10235: PROCEEDINGS Demongeot, J. (Hrsg.); Goles, E. (Hrsg.); Tchuente, M. (Hrsg.): Dynamical Systems and cellular automata. (1985) [RISC] 10238:10238: BOOK Brauner, Heinrich: Lehrbuch der konstruktiven Geometrie. (1986) [RISC] 10242:10242: BOOK Preparata, Franco P.; Shamos, Michael Ian: Computational Geometry. An introduction. (1985) [RISC] 10248:10248: BOOK Knuth, Donald E.: The TEXbook (1986) [RISC] 10249:10249: BOOK Campbell, J.A.(Hrsg.): Implementations of Prolog. (1985) [RISC] 10249:10249: BOOK Campbell; et al.: Implementations of PROLOG ( ) [RISC] 10254:10254: BOOK Giannesini, Francis; Kanoui, Henry; Pasero, Robert; van Caneghem, Michel: Prolog. (1986) [RISC] 10254:10254: BOOK Giannesini; et al.: PROLOG ( ) [RISC] 10255:10255: PROCEEDINGS Rice, John R. (Hrsg.): Mathematical Software. (1971) [RISC] 10259:10259: PROCEEDINGS Paris, J. B. (Hrsg.); Wilkie, A. J. (Hrsg.); Wilmers, G. M. (Hrsg.): Logoc colloquium '84. Proceedings of the colloquium held in Manchester, July 1984. (1986) [RISC] 10260:10260: PROCEEDINGS Rollinger, Claus-Rainer(Hrsg.); Horn, Werner (Hrsg.): GWAI-86 (10th German workshop on artificial intelligence) und 2. oesterreichische Artificial-Intelligence-Tagung (1986) [RISC] 10265:10265: BOOK Bishop, Judy (Judith Mary): Data abstraction in programming languages. (1986) [RISC] 10270:10270: BOOK Ritt, Joseph Fels: Differential algebra. (1950) [RISC] 10271:10271: BOOK Groebner, W(olfgang): Gruppi, anelli e algebre di Lie. (1975) [RISC] 10286:10286: PROCEEDINGS Siekmann, Joerg H. (Hrsg.): 8th (eigth) International conference on automated deduction. Oxford, England, July 27 - August 1, 1986. Proceedings. (1986) [RISC] 10296:10296: BOOK Meier, Andreas: Methoden der grafischen und geometrischen Datenverarbeitung. (1986) [RISC] 10297:10297: BOOK Kleine Buening, Hans; Schmitgen, Stefan: PROLOG. Grundlagen u. Anwendungen. (1986) [RISC] 10310:10310: PROCEEDINGS Dubois, Donald Ward (Hrsg.); Recio, Thomas (Hrsg.): Ordered fields and real algebraic geometry. Proceedings of the special session ... San Francisco, CA, January 7-11, 1981. (1982) [RISC] 10319:10319: BOOK M(a)cGregor, Jim (James) J.; Watt, Alan H.: The art of graphics for the IBM PC. (1986) [RISC] 10323:10323: BOOK Conlon, Tom: Learning Micro-PROLOG. (1985) [RISC] 10323:10323: BOOK Conlon, Tom: Learning Micro-PROLOG. A problem solving approach. 2. printing. (1986) [RISC] 10337:10337: BOOK Wirth, Niklaus: Systematisches Programmieren. Eine Einfuehrung. 5. Aufl. (1985) [RISC] 10338:10338: BOOK Wirth, Niklaus: Algorithmen und Datenstrukturen mit Modula-2. 4. Aufl. (1986) [RISC] 10346:10346: BOOK van der Waerden, B. L.: (Teils.) Zur algebraische Geometrie. Selected papers. Mit einem Geleitwort von F(riedrich) Hirzebruch. (1983) [RISC] 10348:10348: BOOK van der Waerden, B. L.: Einfuehrung in die algebraische Geometrie. 2. Aufl. (1973) [RISC] 10349:10349: PROCEEDINGS Selman, Alan L. (Hrsg.): Structure in complexity theory. Proceedings ... Berkeley, June 2-5, 1986. (1986) [RISC] 10350:10350: PROCEEDINGS Bibel, Wolfgang (Hrsg.); Kowalski, Robert (Hrsg.): 5. conference on automated deduction. Les Arcs, France, July 8-11, 1980. (1980) [RISC] 10352:10352: PROCEEDINGS Shapiro, Ehud (Hrsg.): Third (3.) international conference on logic programming. ... London ... July 14-18, 1986. Proceedings. (1986) [RISC] 10362:10362: BOOK Gonshor, Harry: An introduction to the theory of surreal numbers (1986) [RISC] 10392:10392: BOOK Pieper, Herbert: Zahlen aus Primzahlen. 2. durchges. u. erw. Aufl. (1984) [RISC] 10402:10402: BOOK Knuth, Donald: METAFONT: teh program (1986) [RISC] 10411:10411: PROCEEDINGS Kerschberg, Larry: Expert database systems (1986) [RISC] 10412:10412: BOOK Knuth, Donald: Computer modern typefaces (1986) [RISC] 10413:10413: BOOK Gehani, N.; McGettrick, A.D.: Software specification techniques (1986) [RISC] 10414:10414: BOOK Knuth, Donald: The METAFONTbook (1986) [RISC] 10415:10415: BOOK Cleaveland, J.C.: An introduction to data analysis ( ) [RISC] 10416:10416: BOOK Knuth, Donald: TEX: the program (1986) [RISC] 10417:10417: BOOK Klahr, Philip; Waterman, Donald A.: Expert systems, techniques, tools and apllications (1986) [RISC] 10418:10418: BOOK Cohen, B.; Harwood, W.T.; Jackson, M.I.: The specification of complex systems (1986) [RISC] 10432:10432: PROCEEDINGS Gruska, J.; Rovan, B.; Wiedermann, J.: Mathematical foundations of computer science 1986 (1986) [RISC] 10437:10437: BOOK Ivanov, L.L.: Algebraic recursion theory (1986) [RISC] 10444:10444: BOOK Lorbeer, W.; Werner D.: Wie funktionieren Roboter (1986) [RISC] 10445:10445: BOOK Buchberger, B.; Kutzler, B.; Feilmeier, M.; et al.: Rechnerorientierte Verfahren (1986) [RISC] 10446:10446: BOOK Afflerbach, L.; Lehn J.: Zufallszahlen und Simulation (1986) [RISC] 10447:10447: BOOK Savage, J.E.: The complexity of computing (1987) [RISC] 10448:10448: BOOK Devroye, Luc: Lecture notes on bucket algorithms (1986) [RISC] 10451:10451: BOOK Critchlow, A.J.: Introduction to robotics (1985) [RISC] 10452:10452: BOOK Enderle, G.; Grave, G.; Lillehagen, F.: Advances in Computer Graphics I (1986) [RISC] 10453:10453: BOOK Bresenham, J.E.; Earnshaw, R.A.; Pitteway, M.L.V.: Fundamental algorithms for computer graphics (1985) [RISC] 10453:10453: BOOK Earnshaw, R.A.: Fundamental algorithms for computer graphics ( ) [RISC] 10454:10454: BOOK Duer, A.: Moebius functions, incidence algebras and power series representati ons (1986) [RISC] 10455:10455: BOOK Bibel, W.; Jorrand, Ph.: Fundamental of artificial intelligence ( ) [RISC] 10455:10455: BOOK Goos, G.; Hartmanis, J.: Fundamentals of artificial intelligence (1986) [RISC] 10455:10455: BOOK Goos, G.; Hartmanis, J.: Fundamentals of artificial intelligence (1986) [RISC] 10456:10456: BOOK Henle, J.M.: An outline of set theory (1986) [RISC] 10457:10457: PROCEEDINGS Miranker, W.L.; Toupin, R.A.: Accurate Scientific Computations (1985) [RISC] 10459:10459: BOOK lawler: the traveling salesman problem ( ) [RISC] 10460:10460: PROCEEDINGS Price, Keith: Computer vision and pattern recognition (1985) [RISC] 10462:10462: BOOK Mortenson, M.E.: Geometric modelling (1985) [RISC] 10464:10464: BOOK Loeckx; Sieber: The foundations of program verification ( ) [RISC] 10465:10465: BOOK Rosenfeld, A.: Techniques for 3-D machine perception (1986) [RISC] 10466:10466: PROCEEDINGS Kowalik, J.S.: coupling symbolic and numerical computing in expert systems (1985) [RISC] 10467:10467: PROCEEDINGS Vandoni, C.E.: Eurographics'85 (1985) [RISC] 10468:10468: BOOK Ball, W.E.; et al.: Studies in computer science (1982) [RISC] 10469:10469: BOOK Seidenberg, A.: Studies in algebraic geometry (1980) [RISC] 10470:10470: BOOK Toussaint: Computational geometry ( ) [RISC] 10471:10471: BOOK Lovasz; Szemeredi: Theory of algorithms ( ) [RISC] 10472:10472: BOOK Demetrovics, J.; Knuth, E.; Rado, P.: Computer-aided specification techniques (1985) [RISC] 10473:10473: BOOK McCord, M.; Sowa, J.F.; Wilson, W.G.: Knowledge Systems and PROLOG (1987) [RISC] 10474:10474: BOOK Bulla, Fritz: Digitalgraphik (1987) [RISC] 10475:10475: BOOK Gregory, J.A.: The mathematics of surfaces (1986) [RISC] 10477:10477: BOOK Evans, E. Graham; Griffith, Phillip: Syzygies (1985) [RISC] 10478:10478: BOOK Cameron, Neil: Introduction to linear and convex programming (1985) [RISC] 10479:10479: BOOK Gibbson, Alan: Algorithmic graph theory (1985) [RISC] 10485:10485: BOOK Heitzinger; et al.: Nichtlineare Gleichungen ( ) [RISC] 10485:10485: BOOK Heitzinger; et al.: Nichtlineare Gleichungen ( ) [RISC] 10506:10506: BOOK Henkin: cylindric algebras ( ) [RISC] 10509:10509: BOOK Traub: annual review of computer science, vol. 1 (1986) [RISC] 10534:10534: BOOK Lipovski, G.J.; Malek, M.: Parallel computing (1987) [RISC] 10535:10535: BOOK Pomerance, Carl: Lecture notes on primality testing and factoring (1984) [RISC] 10539:10539: BOOK Conery, J.S.: Parallel execution of logic programs (1987) [RISC] 10556:10556: PROCEEDINGS Nickel, K. (ed.): Interval Mathematics 1985 (1986) [RISC] 10557:10557: BOOK Magnenat-Thalmann, N.; Thalmann, D.: Computer animation (1985) [RISC] 10558:10558: PROCEEDINGS Makedon, F.; Papatheodorou, T.; Spirakis, P. (eds.): VLSI algorithms and architectures (1986) [RISC] 10559:10559: BOOK Pavlidis, T.: algorithms for graphics and image processing (1982) [RISC] 10560:10560: BOOK Schroeder, M.R.: Number theory in science and communications (1984) [RISC] 10561:10561: PROCEEDINGS Weinstock, H.; Bork, A. (eds.): Designing computer-based learning materials (1985) [RISC] 10562:10562: PROCEEDINGS DeBakker, J.W.; Nijman, A.J.; Treleaven, P.C. (eds.): PARLE, parallel architectures and languages Europe, vol. 1 (1987) [RISC] 10563:10563: PROCEEDINGS DeBakker, J.W.; Nijman, A.J.; Treleaven, P.C. (eds.): PARLE, parallel architectures and languages Europe, vol. 2 (1987) [RISC] 10564:10564: PROCEEDINGS Robinet, B.; Wilhelm, R. (eds.): ESOP 86 (1986) [RISC] 10565:10565: BOOK Shirai, Y.: Three-dimensional computer vision (1986) [RISC] 10566:10566: BOOK Schnupp, P.; Nguyen Huu, C.T.: Expertensystem-Praktikum (1987) [RISC] 10567:10567: BOOK Soare, R.I.: Recursively enumerable sets and degrees (1987) [RISC] 10568:10568: PROCEEDINGS Melton, Austin (ed.): Mathematical foundations of programming semantics (1986) [RISC] 10569:10569: BOOK Rembold, U.; Dillmann, R.: computer-aided design and manufacturing (1986) [RISC] 10570:10570: BOOK Naish, Lee: Negation and control in prolog (1986) [RISC] 10571:10571: BOOK Manes, E.G.; Arbib, M.A.: Algebraic approaches to program semantics (1986) [RISC] 10572:10572: PROCEEDINGS Haendler, W.; Haupt, D.; Jeltsch, R.; et al. (eds.): CONPAR 86 Conference on algorithms and hardware for parallel processing (1986) [RISC] 10573:10573: PROCEEDINGS Kott, L.: Automata, Languages and Programming (1986) [RISC] 10574:10574: BOOK Kroeger, F.: Temporal Logic of programs (1987) [RISC] 10575:10575: PROCEEDINGS Kunii, T. L. (ed.): Advanced Computer Graphics (1986) [RISC] 10576:10576: BOOK Fried, M.D.; Jarden, M.: Field arithmetik (1986) [RISC] 10577:10577: BOOK Gibbs, N.E.; Fairley, R.E.; (eds.): Software Engineering education (1987) [RISC] 10578:10578: PROCEEDINGS Ganzinger, H.; Jones, N.D.; (eds.): Programs as data objects (1985) [RISC] 10579:10579: PROCEEDINGS Desarmenie, J.(ed.): TEX for scientific documentation (1986) [RISC] 10580:10580: BOOK Franke, H.W.: Computer graphics - computer art (1985) [RISC] 10581:10581: PROCEEDINGS Ehrig, H.; Kowalski, R.; Levi, G.; Montanari, U. (eds.): TAPSOFT 87, vol. 1 (1987) [RISC] 10582:10582: PROCEEDINGS Ehrig, H.; Kowalski, R.; Levi, G.; Montanari, U. (eds.): TAPSOFT 87, vol. 2 (1987) [RISC] 10583:10583: BOOK Duch, W.: GRMS or graphical representation of model spaces vol. 1, basics (1986) [RISC] 10584:10584: BOOK Blume, Ch.; Jakob, W.: Programming languages for industrial robots (1986) [RISC] 10585:10585: BOOK Bundy, A. (ed.): Catalogue of artificial intelligence tools (1986) [RISC] 10586:10586: PROCEEDINGS Conradi, R.; Didriksen, T.M.; Wanvik, D.H.: Advanced programming environments (1986) [RISC] 10587:10587: PROCEEDINGS Calmet, J. (ed.): Algebraic algorithms and error-correcting-codes (198) [RISC] 10588:10588: BOOK Berger, Marcel: Geometry I (1977) [RISC] 10589:10589: BOOK Berger, Marcel: Geometry II (1977) [RISC] 10590:10590: BOOK Avenhaus, R.; Huber, R.K.; Kettelle, J.D.; (eds.): Modelling and analysis in arms control (1986) [RISC] 10591:10591: BOOK Newman, W.M.; Sproull, R.F.: Principles of interactive computer graphics (1979) [RISC] 10592:10592: PROCEEDINGS Nori, K. V.; (ed.): Foundations of Software technology and theoretical computer science (1986) [RISC] 10597:10597: BOOK Turner, Raymond: Logics for artificial intelligence (1984) [RISC] 10602:10602: BOOK Wilson, Stephen: Chemistry by computer (1986) [RISC] 10603:10603: BOOK Pin, J.E.: Varieties of Formal languages (1986) [RISC] 10604:10604: PROCEEDINGS Pickett, M.S.; Boyse, J.W.; (eds.): Solid modeling by computers From Theory to Applications (1984) [RISC] 10605:10605: PROCEEDINGS Cantoni, V.; Levialdi, S.; Musso, G. (eds.): Image analysis and processing (1986) [RISC] 10606:10606: PROCEEDINGS Chang, Shi-kuo; Ichikawa, Tadao; Ligomenides, Panos A.; (eds.): Visual Languages (1986) [RISC] 10607:10607: BOOK Browne, Arthur; Norton-Wayne, Leonard: Vision and information processing for automation (1986) [RISC] 10609:10609: BOOK Horn, B.K.P.: Robot Vision (1986) [RISC] 10610:10610: BOOK Marsan, M.A.; Balbo, G.; Conte, G.: Performance models of multiprocessor systems (1986) [RISC] 10611:10611: BOOK Winston, P.H.; Brown, R.H.: Artificial Intelligence, An MIT perspective, vol. 1 (1979) [RISC] 10612:10612: BOOK Winston, P.H.; Brown, R.H.: Artificial Intelligence, An MIT perspective, vol. 2 (1979) [RISC] 10613:10613: BOOK Toffoli, T.; Margolus, N.: Cellular automata machines (1987) [RISC] 10614:10614: BOOK Sugihara, Kokichi: Machine interpretation of line drawings (1986) [RISC] 10615:10615: BOOK Potter, J.L. (ed.): The massively parallel processor (1986) [RISC] 10616:10616: BOOK Raibert, Marc H.: Legged robots that balance (1986) [RISC] 10617:10617: BOOK McCarthy, J.M.: Kinematics of Robot Manipulators (1986) [RISC] 10618:10618: BOOK Mason, M.T.; Salisbury, J.K., Jr.: Robot hands and the mechanics of manipulation (1985) [RISC] 10619:10619: PROCEEDINGS Leiserson, Charles E., (ed.): Advanced research in VLSI (1986) [RISC] 10620:10620: BOOK Harvey, Brian: Computer science LOGO style, vol. 2 projects, styles, and techniques (1986) [RISC] 10621:10621: PROCEEDINGS hanafusa, Hideo; Inoue, Hirochika; (eds.): Robotics research, the second international symposium (1986) [RISC] 10622:10622: BOOK Fujiwara, Hideo: Logic testing and design for testability (1985) [RISC] 10623:10623: PROCEEDINGS Faugeras, O.D.; Giralt, Georges: Robotics research, the third international symposium (1986) [RISC] 10624:10624: BOOK Baird, H.S.: Model-based image matching using location (1985) [RISC] 10625:10625: BOOK O'Donell, M.J.: Equational logic as a programming language (1985) [RISC] 10626:10626: BOOK Kowalik, J.S. (ed.): Parallel MIMD computation (1985) [RISC] 10627:10627: BOOK Salmon, Rod; Slater, Mel: Computer graphics, systems and concepts (1987) [RISC] 10628:10628: BOOK Turski, W. M.; Maibaum, T.S.E.: The specification of computer programs (1987) [RISC] 10629:10629: BOOK Belli, Fevzi: Einfuehrung in die logische Programmierung mit PROLOG (1987) [RISC] 10630:10630: BOOK Sterling, Leon; Shapiro, Ehud: The art of PROLOG (1986) [RISC] 10633:10633: BOOK Coxeter, H.S.M.: Unvergaengliche Geometrie (1981) [RISC] 10634:10634: BOOK Morgan, A.: Solving polynomial systems using continuation for engineering and scientific problems (1987) [RISC] 10656:10656: BOOK Farin, Gerald E.: Geometric Modeling: algorithms and new trends (1987) [RISC] 10670:10670: BOOK Mirkowska, G.; Salwicki, A.: Algorithmic logic (1987) [RISC] 10673:10673: BOOK Budd, T.: A little Smalltalk ( ) [RISC] 10697:10697: BOOK Gardan, Yvon: Mathematics and CAD, vol. 1, numerical mthods for CAD (1986) [RISC] 10698:10698: BOOK Morecki, A.; Bianchi, G.; Kedzior, K.; (eds.): RoManSY 6 (1987) [RISC] 10699:10699: BOOK Andre, F.; Herman, D.; Verjus, J.-P.: Synchronization of parallel programs (1985) [RISC] 10700:10700: BOOK Raynal, M.: Algorithms for mutual exclusion (1986) [RISC] 10950:10950: BOOK Gunzenhaeuser, R.; Boecker, H.-D.: Prototypen benutzergerechter Computersysteme (1988) [RISC] 10952:10952: BOOK Schefe, P.: Informatik, eine konstruktive Einfuehrung (1987) [RISC] 10953:10953: BOOK Barthel, G.; Hirzebruch, F.; Hoefer, T.: Geradenkonfigurationen und algebraische Flaechen (1987) [RISC] 10954:10954: BOOK Schoening, U.: Logik fuer Informatiker (1987) [RISC] 10955:10955: BOOK Boehm, W.; Gose, G.; Kahmann, J.: Methoden der numerischen Mathematik (1985) [RISC] 10956:10956: BOOK Dimca, A.: Topics on real and complex singularities (1987) [RISC] 10962:10962: BOOK Huckaba, J.A.: Commutative rings with zero divisors (1988) [RISC] 10963:10963: BOOK Weihrauch, K.: Computability (1987) [RISC] 10964:10964: PROCEEDINGS Tinhofer, G.; Schmidt, G.: Graph-theoretic concepts in computer science (1987) [RISC] 10965:10965: PROCEEDINGS Dauchet, M.; Nivat, M. (eds.): CAAP'88 (1988) [RISC] 10966:10966: BOOK Murota, K.: Systems analysis by graphs and matroids (1987) [RISC] 10967:10967: BOOK Sedgewick, R.: Algorithms (1988) [RISC] 10968:10968: BOOK Hanus, M.G.: Problemloesen mit prolog (1987) [RISC] 10969:10969: BOOK Ranky, P.G.; Ho, C.Y.: Robot modelling (1985) [RISC] 10970:10970: BOOK Holland, G.: Problemloesen mit micro-Prolog (1986) [RISC] 10971:10971: BOOK Rogers, D.F.; Earnshaw, R.A.: techniques for computer graphics (1987) [RISC] 10972:10972: PROCEEDINGS Lescanne, P. (ed.): Rewriting techniques and applications (1987) [RISC] 10973:10973: PROCEEDINGS Zilli, M. Venturini (ed.): Mathematical models for the semantics of parallelism (1987) [RISC] 10974:10974: BOOK Barsky, B.A.: Computer graphics abd geometric modeling using beta-splines (1988) [RISC] 10979:10979: BOOK Sommerhalder, R.; van Westrhenen, S.C.: The theory of computability (1988) [RISC] 10980:10980: BOOK Maes, P.; Nardi, D. (eds.): Meta-level architectures and reflection (1988) [RISC] 10981:10981: BOOK Mendelson, E.: Algebraic and geometric combinatorics (1982) [RISC] 10982:10982: BOOK Gruber, P.M.; Lekkerkerker, C.G.: Geometry of numbers (1987) [RISC] 10983:10983: BOOK Hunt, V.D.: Robotics sourcebook (1988) [RISC] 10985:10985: PROCEEDINGS Ottmann, T. (ed.): Automata, languages and programming (1987) [RISC] 10986:10986: PROCEEDINGS Cori, R.; Wirsing, M. (eds.): STACS 88 (1988) [RISC] 10987:10987: PROCEEDINGS Kelemenova, A.; Kelemen, J. (eds.): Trends, techniques and problems in theoretical computer science (1987) [RISC] 10988:10988: PROCEEDINGS Ehrig, H.; Nagl, M.; Rozenberg, G.; Rosenfeld, A. (eds.): Graph-grammars and their application to computer science (1987) [RISC] 10989:10989: PROCEEDINGS Main, M.; Melton, A.; Mislove, M.; Schmidt, D. (eds.): Mathematical foundations of programming language semantics (1987) [RISC] 10990:10990: PROCEEDINGS Boscarol, M.; Aiello, L. C.; Levi, G. (eds.): Foundations of logic and functional programming (1987) [RISC] 10991:10991: BOOK Freytag, J.Ch.: Translating relational queries into iterative programs (1987) [RISC] 10992:10992: BOOK Kernighan, B.W.; Plauger, P.J.: Software tools (1976) [RISC] 10993:10993: BOOK Kernighan, B.W.; Plauger, P.J.: the elements of programming style (1978) [RISC] 10994:10994: PROCEEDINGS Albrecht, A.; Jung, H.; Mehlhorn, K. (eds.): Parallel algorithms and architectures (1987) [RISC] 10995:10995: PROCEEDINGS Wada, E. (ed.): Logic programming '86 (1987) [RISC] 10996:10996: PROCEEDINGS Jantke, K.P. (ed.): Analogical and inductive inference (1987) [RISC] 10997:10997: PROCEEDINGS Kahn, G. (ed.): Functional programming languages and computer architecture (1987) [RISC] 10998:10998: PROCEEDINGS Budach, L.; Bukharajev, R.G.; Lupanov, O.B. (eds.): Fundamentals of computer theory (1987) [RISC] 10999:10999: BOOK Boerger, E. (ed.): computation theory and logic (1987) [RISC] 11000:11000: BOOK Snyders, D.; Thayse, A.: from logic design to logic programming (1987) [RISC] 11001:11001: PROCEEDINGS Bouchon, B.; Yager, R.R. (eds.): Uncertainty in knowledge-based systems (1987) [RISC] 11007:11007: BOOK Rooney, J.; Steadman, P.; (eds.): principles of computer aided design (1987) [RISC] 11008:11008: BOOK Stone, H.W.: kinematic modeling, identification, and control of robotic manipulators (1987) [RISC] 11009:11009: BOOK Woodcock, J.(ed.); Loomes, M.: software engineering mathematics (1988) [RISC] 11011:11011: BOOK Gibbons, Alan: algorithmic graph theory (1988) [RISC] 11012:11012: BOOK Schoenfeld, A.H.: mathematical problem solving (1985) [RISC] 11013:11013: BOOK Barthels, R.H.; Beatty, J.C.; Barsky, B.A.: An introduction to splines for use in computer graphics and geometric modeling (1987) [RISC] 11014:11014: BOOK Papadimitriou, Ch. H.; Steiglitz, K.: combinatorial optimization (1982) [RISC] 11015:11015: BOOK Michalski, R.S.; Carbonell, J.G.; Mitchell, T.M.: machine learning (1983) [RISC] 11016:11016: BOOK Fox, G.; Johnson, M.; Lyzenga, G.; et al.: solving problems on concurrent processors, vol. 1 (1988) [RISC] 11023:11023: BOOK Qiulin, D.; Davies, B.J.: surface engineering geometry for computer aided design and manufacture (1987) [RISC] 11024:11024: BOOK Gries, D.: compiler construction for digital computers (1971) [RISC] 11031:11031: BOOK Atiyah, M.F.; MacDonald, I.G.: introduction to commutative algebra (1969) [RISC] 11032:11032: BOOK Kernighan, B.W.; Ritchie, D.M.: the c programming language (1988) [RISC] 11033:11033: BOOK Rubinstein, R.: digital typography (1988) [RISC] 11043:11043: BOOK Yamaguchi, F.: curves and surfaces in computer aided geometric design (1988) [RISC] 11044:11044: BOOK Bahrami, A.: designing artificial intelligence based software (1988) [RISC] 11045:11045: BOOK Schauer, H.; Barta, G.: Konzepte der Programmiersprachen (1986) [RISC] 11046:11046: BOOK Pang, G.K.H.; MacFarlane,A.G.J.: an expert systems approach to computer-aided design of multivariable systems (1987) [RISC] 11047:11047: BOOK Cip system group: the munich project CIP (1987) [RISC] 11066:11066: BOOK Adobe systems inc.: postscript, Einfuehrung und Leitfaden (1988) [RISC] 11067:11067: BOOK Schrijver, A.: theory of linear and integer programming (1987) [RISC] 11079:11079: BOOK Rydeheard, D.E.; Burstall, R.M.: Computational category theory (1988) [RISC] 11080:11080: BOOK Dragalin, A.G.: Mathematical intuitionism, introduction to proof theory (1987) [RISC] 11081:11081: BOOK Saridis, G.N. (ed.): Advances in robotics, vol. 1, theory and applications (1985) [RISC] 11082:11082: BOOK Backhouse, R.C.: program construction and verification (1986) [RISC] 11083:11083: BOOK Hoare, C.A.R.; Shepherdson, J.C. (eds.): Mathematical logic and programming languages (1985) [RISC] 11087:11087: BOOK Chvatal, Vasek: linear programming (1983) [RISC] 11093:11093: BOOK Jantzen, M.llis: confluent string rewriting (1988) [RISC] 11094:11094: BOOK Keene, S.E.: object-oriented programming in common lisp (1989) [RISC] 11095:11095: BOOK Harmon, P..llis; King, D.: Expertensysteme in der Praxis (1989) [RISC] 11096:11096: BOOK Horowitz, Ellis; Sahni, Sartaj: data structures in pascal (1984) [RISC] 11097:11097: BOOK Rome, E.; Uthmann, T.; Diederich, J.: KI-workstations (1988) [RISC] 11106:11106: BOOK Reid, Miles: undergraduate algebraic geometry (1988) [RISC] 11180:11180: BOOK Gardarin, G.; Valduriez, P.: relational databases and knowledge bases (1989) [RISC] 11233:11233: BOOK Wolfram, St.: Mathematica, A system for doing mathematics by computer (1988) [RISC] 11241:11241: BOOK Calingaert, P.: program translation fundamentals (1987) [RISC] 11242:11242: BOOK Markov, A.A.; Nagorny, N.M.: the theory of algorithms (1988) [RISC] 11243:11243: BOOK Tourlakis, G.J.: computability (1984) [RISC] 11244:11244: BOOK Andrews, P.B.: an introduction to mathematical logic and type theory: to truth through proof (1986) [RISC] 11249:11249: PROCEEDINGS Aggarwal, A. (ed.): compuational geometry 2nd annual symp. (1986) [RISC] 11250:11250: BOOK Kalmbach, G.: diskreter Mathematik (1988) [RISC] 11251:11251: BOOK Turksen, I.B. (ed.): computer integrated manufacturing (1988) [RISC] 11252:11252: BOOK Deubler, R.U.: Kreuz und Quer (1987) [RISC] 11253:11253: BOOK Huebner, W.; Lux-Muelders, G.; Muth, M.: Theseus (1987) [RISC] 11254:11254: BOOK Cordes, R.; et al.: Prolog (1988) [RISC] 11255:11255: BOOK Puppe, F.: Einf\"uhrung in Expertensysteme (1988) [RISC] 11256:11256: PROCEEDINGS Ghione, F.; Peskine, C.; Sernesi, E. (eds.): Space curves (1987) [RISC] 11257:11257: PROCEEDINGS Noltemeier, H.: computational geometry and its applications CG'88 (1988) [RISC] 11258:11258: PROCEEDINGS Boerger, E.; et al.; (eds.): CSL'87 1st workshop on computer science logic (1988) [RISC] 11259:11259: BOOK Bratko, I.; Lavrac, N.: progress in machine learning (1987) [RISC] 11260:11260: BOOK Thayse, A.: from standard logic to logic programming (1988) [RISC] 11261:11261: BOOK Amble, T.: logic programming and knowledge engineering (1987) [RISC] 11262:11262: BOOK Goldberg, D.E.: genetic algorithms in search, optimization, and machine learning (1989) [RISC] 11263:11263: BOOK Rogers, J.B.: a prolog primer (1986) [RISC] 11264:11264: BOOK Maier, D.; Warren, D.S.: computing with logic (1988) [RISC] 11265:11265: BOOK Ledgard, H.: software engineering concepts (1987) [RISC] 11266:11266: BOOK Wilson, L.B.; Clark, R.G.: comperative programming languages (1988) [RISC] 11267:11267: BOOK Bourne, S.R.: the unix system (1983) [RISC] 11272:11272: BOOK Hunt, V.D.: computer-integrated manufacturing-handbook (1989) [RISC] 11273:11273: BOOK Wang, P.: an introduction to berkeley unix (1988) [RISC] 11276:11276: PROCEEDINGS Bloch, Sp. J. (ed): algebraic geometry (1987) [RISC] 11277:11277: PROCEEDINGS Inada, N.; Soma, T. 9eds.): 2nd RIKEN int. symp. on symbolic and algebraic computation by computers (1985) [RISC] 11278:11278: BOOK Canny, J.: the complexity of robot motion planning (1988) [RISC] 11287:11287: BOOK Knoerrer, H.; Schmidt, C.-G.; Schwermer, J.; Slodowy, P.: Arithmetik und Geometrie Mathemaische Miniaturen 3 (1986) [RISC] 11288:11288: BOOK Davis, L.: Genetic algorithms and simulated annealing (1988) [RISC] 11301:11301: BOOK Walther, H.; Naegler, G.: Graphen, Algorithmen, Programme (1987) [RISC] 11312:11312: BOOK Akritas, A.G.: elements of computer algebra with applications (1989) [RISC] 11313:11313: BOOK Jorden, Eleanor Harz: beginning Japanese I (1963) [RISC] 11314:11314: BOOK Jorden, Eleanor Harz: beginning Japanese II (1963) [RISC] 11334:11334: BOOK nn: the world of learning 1989 (1989) [RISC] 11344:11344: BOOK Holland, J.H.; et al.: Induction, processes of inference, learning and discovery (1989) [RISC] 11346:11346: BOOK Kongshi, Xu: advances in chinese computer science (1988) [RISC] 11373:11373: PROCEEDINGS Nn: Computational geometry, 1987 (1987) [RISC] 11429:11429: MANUAL nn: the brain simulator (1988) [RISC] 11459:11459: BOOK Anderson, J.A.; Rosenfeld, E.: Neurocomputing, foundations of research (1988) [RISC] 11460:11460: BOOK Brodmann, M.: Algebraische Geometrie (1989) [RISC] 11496:11496: BOOK Baase, S.: computer algorithms, introduction to design and analysis (1988) [RISC] 11514:11514: BOOK Ehrich, H.-D.; Gogolla, M.; Lipeck, U.W.: algebraische Spezifikation abstrakter Datentypen (1989) [RISC] 11560:11560: PROCEEDINGS Tzafestas, S.; Eisinberg, A.; Carotenuto, L.: system modeling and simulation (1989) [RISC] 11561:11561: BOOK Zhongwan, Lu: mathematical logic for computer science (1989) [RISC] 11573:11573: BOOK Faltings, G.; Wuestholz, G.; et al.: rational points (1992) [RISC] 11574:11574: BOOK Kauffels, F.-J.: Alternativen der PC-Mainframe Kopplung (1987) [RISC] 11603:11603: BOOK Graham, R.L.; Knuth, D.E.; Patashnik, O.: concrete mathematics (1989) [RISC] 11604:11604: BOOK Puppe, F.: diagnostisches Problemloesen mit Expertensystemen (1987) [RISC] 11605:11605: PROCEEDINGS Nossum, R.T. (ed.): advanced topics in Artificial intelligence (1988) [RISC] 11606:11606: PROCEEDINGS Meertens, L.G.L.T. (ed.): program specification and transformation (1987) [RISC] 11607:11607: BOOK Morik, K. (ed.): knowledge representation and organization in machine learning (1989) [RISC] 11608:11608: BOOK Buchanan, B.G.; Shortliffe, E.H.: rule-based expert systems (1985) [RISC] 11609:11609: BOOK Chylla, P.; Hegering, H.-G.: Ethernet-Lans Planung, Realisierung und Netz-Management (1988) [RISC] 11610:11610: BOOK Marquardt, R.; et al.: Ethernet-Handbuch (1987) [RISC] 11611:11611: PROCEEDINGS Cosnard, M.; Robert, Y.; Quinton, P.; Raynal, M (eds.): parallel and distributed algorithms (1989) [RISC] 11612:11612: PROCEEDINGS Dershowitz, N. (ed.): rewriting techniques and applications (1989) [RISC] 11613:11613: BOOK Bobrow, D.G.: qualitative reasoning about physical systems (1984) [RISC] 11614:11614: PROCEEDINGS Sanella, D.; Tarlecki, A. (eds.): recent trends in data type specification (1988) [RISC] 11615:11615: PROCEEDINGS Grabowski, J.; Lescanne, P.; Wechler, W. (eds.): algebraic and logic programming (1988) [RISC] 11616:11616: BOOK Guenther, O.: efficient structures for geometric data management (1988) [RISC] 11715:11715: BOOK Della Dora, J.; Fitch, J.: computer algebra and parallelism (1989) [RISC] 11739:11739: BOOK da Cruz, Frank: Kermit, a file transfer protocol (1987) [RISC] 11744:11744: BOOK Davidson, J.: an introduction to tcp/ip (1989) [RISC] 11746:11746: BOOK Futschek, G.: Programmentwicklung und Verifikation (1989) [RISC] 11754:11754: BOOK Wegener, I.: the complexity of boolean functions (1987) [RISC] 11755:11755: BOOK Doberkat, E.; Fox, D.: Softwre prototyping mit SETL (1989) [RISC] 11756:11756: BOOK Drosten, K.: Termersetzungsysteme (1989) [RISC] 11757:11757: BOOK Besnard, P.: an introduction to default logic (1989) [RISC] 11758:11758: BOOK Mumford, David: the red book of varieties and schemes (1988) [RISC] 11759:11759: BOOK Fehr, E.: Semantik von Programmiersprachen (1989) [RISC] 11760:11760: BOOK Steiger, D.M.; Anderson, A.P.: algorithm synthesis, a comparative study (1989) [RISC] 11761:11761: PROCEEDINGS Broy, M. (ed.): constructive methods in computing science (1988) [RISC] 11762:11762: PROCEEDINGS van de Snepscheut, J.L.A.: mathematics of program construction (1989) [RISC] 11763:11763: PROCEEDINGS Davenport, J. (ed.): EUROCAL'87 (1987) [RISC] 11764:11764: PROCEEDINGS Koh, S.S.(ed.): invariant theory (1985) [RISC] 11765:11765: BOOK Bourbaki, N.: elements of mathematicsconstruction commutative algebra, chapt. 1-7 (1989) [RISC] 11766:11766: BOOK Bourbaki, N.: elements of mathematicsconstruction Algebra I, chapt. 1-3 (1989) [RISC] 11775:11775: BOOK Troelstra , A.S.; Dalen, D. van: constructivism in mathematics, vol. I (1988) [RISC] 11775:11775: BOOK Troelstra , A.S.; Dalen, D. van: constructivism in mathematics, vol. II (1988) [RISC] 11776:11776: BOOK Troelstra: construction in mathematics ( ) [RISC] 11777:11777: BOOK Fulton, W.: algebraic curves (1989) [RISC] 11778:11778: BOOK Takeuti, G.: proof theory (1987) [RISC] 11779:11779: BOOK Harrington, L.A.; et al.: Harvey Freidmans research on the foundations of mathematics (1985) [RISC] 11780:11780: PROCEEDINGS Nn: Logic colloquium 85 (1985) [RISC] 11781:11781: BOOK Chudnovsky, E.V.; Jenks, R.D.: computer algebra (1989) [RISC] 11782:11782: PROCEEDINGS Drake, F.R.; Truss, J.K.: Logic colloquium 86 (1986) [RISC] 11783:11783: BOOK Richards, T.: clausal form logic (1989) [RISC] 11784:11784: PROCEEDINGS johnson, D.C.; lovis, F.: informatics and the teaching of mathematics (1987) [RISC] 11797:11797: BOOK Ginsberg, M.L.: readings in nonmonotonic reasoning (1987) [RISC] 11798:11798: BOOK Scheifler, R.W.; Gettys, J.; Newman, R.: x window system, C library and protocol specification (1988) [RISC] 11799:11799: BOOK Girard, J.-Y.; Taylor, P.; Lafont, Y.: proofs and types (1989) [RISC] 11800:11800: BOOK Lambek, J.; Scott, P.J.: introduction to higher order categorical logic (1988) [RISC] 11801:11801: BOOK Ramsay, A.: foraml methods in artifitial intelligence (1989) [RISC] 11802:11802: BOOK Mortimer, H.: the logic of induction (1988) [RISC] 11803:11803: BOOK Spivey, J.M.: understanding Z (1989) [RISC] 11804:11804: BOOK Blok, W.J.; don Pigozzi: algebraizable logics (1989) [RISC] 11805:11805: BOOK Paull, M.C.: algorithm design, a recursive transformation framework (1989) [RISC] 11806:11806: BOOK Michie, D.: on machine intelligence (1986) [RISC] 11828:11828: BOOK Godwin, J.W.: a theory ans system for nonmonotonic reasoning (1987) [RISC] 11836:11836: BOOK Coyne, R.: logic models of design (1988) [RISC] 11837:11837: BOOK Thistlewaite, P.B.; McRobbie, M.A.; Meyer, R.K.: automated theorem-proving in non-classical logics (1988) [RISC] 11838:11838: BOOK Herken, R.: the universal turing machine, a half-century survey (1988) [RISC] 11848:11848: BOOK Hamilton, A.g.: logic for mathematicians (1990) [RISC] 11849:11849: BOOK Young, M.: the technical writer's handbook (1989) [RISC] 11850:11850: BOOK Hayes, J.E.; Michie, D.; Richards, J.: machine intelligence 11 logic and acquisation of knowledge (1988) [RISC] 11851:11851: BOOK Segerberg, K.: classical propositional operators an exercise in the foundations of logic (1982) [RISC] 11852:11852: BOOK Fitting, M.: computability theory, semantics, and logic programming (1987) [RISC] 11853:11853: BOOK Smullyan, R.: forever undecided a puzzle guide to Goedel (1987) [RISC] 11854:11854: BOOK Smith, G.C.: the boole-de Morgan correspondence (1982) [RISC] 11855:11855: BOOK Barwise, J.; Etchemendy, J.: the liar an essay on truth and circularity (1987) [RISC] 11856:11856: BOOK Bell, J.L.: toposes and local set theories (1988) [RISC] 11889:11889: BOOK Fan, Ting-Jun: describing and recognizing 3-D objects using surface properties (1990) [RISC] 11890:11890: BOOK Tangora, M.C. (ed.): computers in geometry and topology (1989) [RISC] 11891:11891: BOOK Tangora, M.C. (ed.): computers in algebra (1988) [RISC] 11906:11906: BOOK Goebel, M.; Mehl, M.: Standards der graphischen Datenverarbeitung gks, gks-3d, phigs, cgi, cgm, x (1989) [RISC] 11907:11907: BOOK Hekmatpour, S.; Ince, D.: software prototyping, formal methods and vdm (1988) [RISC] 11908:11908: BOOK Dromey, G.: program derivation the development of programs from specifications (1989) [RISC] 11909:11909: PROCEEDINGS Wirsing, M. (ed.): formal description of programming concepts III Ebberup, Denmark, Aug. 1986 (1987) [RISC] 11919:11919: BOOK Welsh, D.: codes and cryptography (1988) [RISC] 11920:11920: BOOK White, N. (ed.): combinatorial geometries (1987) [RISC] 11921:11921: BOOK Meyer, B.: object-oriented software construction (1988) [RISC] 11922:11922: BOOK Hennessy, M.: algebraic theory of processes (1988) [RISC] 11923:11923: BOOK Hartmanis, J.: computational complexity theory (1989) [RISC] 11924:11924: BOOK chang, Chin-Liang; Lee, R. Char-Tung: symbolic logic and mechanical theorem proving (1973) [RISC] 11925:11925: BOOK Gibbins, P.: Logic with prolog (1988) [RISC] 11926:11926: BOOK Weiskamp, K.; Flaming, B.: the complete C++ primer (1990) [RISC] 11927:11927: BOOK Hockney, R.W.; Jesshope, C.R.: parallel computers 2 (1988) [RISC] 11936:11936: BOOK Henson, M.C.: elements of functional languages (1987) [RISC] 11940:11940: BOOK Akl, Selim, G.: the design and analysis of parallel algorithms (1989) [RISC] 11950:11950: MANUAL Quercia, Valerie; O'Reilly, Tim: X windows user's guide, vol. 3 (1990) [RISC] 11951:11951: BOOK Glaser, G.M.; et al.: TCP/IP, Protokolle, Projektplanung, Realisierung (1990) [RISC] 11952:11952: BOOK Fitting, Melvin: first-order logic and automated theorem proving (1990) [RISC] 11953:11953: PROCEEDINGS Eckmiller, R.; Hartmann, G.; Hauske, G.; (eds.): parallel processing in neural systems and computers (1990) [RISC] 11962:11962: BOOK Comer, D.: internetworking with TCP/IP (1988) [RISC] 11963:11963: BOOK de Bakker, J.W.: languages for parallel architectures (1989) [RISC] 11964:11964: BOOK Maeder, R.: programming in mathematica (1990) [RISC] 11965:11965: PROCEEDINGS de Bakker, J.W.; et al.: linear time, branching time and partial order in logics and models for concurrency, 1988, Noordwijkerhout (1989) [RISC] 11966:11966: BOOK Arms, C. (ed.): campus networking strategies (1988) [RISC] 11967:11967: BOOK McNamara, J.E.: technical aspects of data communication (1988) [RISC] 11981:11981: BOOK Abeln, O.: Die CA...-Techniken in der industriellen Praxis (1990) [RISC] 11986:11986: BOOK Haken, H.: advanced synergetics instability hierarchies of self-organizing systems and devices (1987) [RISC] 11987:11987: BOOK Haken, H.: information and self-organization (1988) [RISC] 11988:11988: PROCEEDINGS Bergman, C.H.; Maddux, R.D.; Pigozzi, D.L. (eds): algebraic logic and universal algebra in computer science (1988) [RISC] 11989:11989: PROCEEDINGS de Bakker, J.W.; et al.; (eds.): stepwise refinement of distributed systems (1989) [RISC] 11990:11990: BOOK Hoelldobler, St.: foundations of equational logic programming (1989) [RISC] 11990:11990: BOOK Stark, W.R.: lisp, lore, and logic an algebraic view of lisp (1990) [RISC] 11992:11992: BOOK Skiena, St.: implementing discrete mathematics combinatorics and graph theory with mathematica (1990) [RISC] 11993:11993: BOOK Banerji, R.B.; (ed.): formal techniques in artificial intelligence (1990) [RISC] 11994:11994: BOOK Silhol, R.: real algebraic surfaces (1989) [RISC] 11995:11995: BOOK Haken, H.; (ed.): computational systems -- natural and artificial (1987) [RISC] 11996:11996: BOOK Field, A.J.; Harrison, P.G.: functioanl programming (1989) [RISC] 12039:12039: BOOK Wilf, H.S.: generating functionology (1990) [RISC] 12040:12040: BOOK Treleaven, P.C.: parallel computers object-oriented, functional, logic (1990) [RISC] 12041:12041: BOOK Gorlen, K.E.; Orlow, S.M.; Plexico, P.S.: data abstraction and object-oriented programmin in c++ (1990) [RISC] 12042:12042: BOOK Taylor, St.: parallel logic programming techniques (1989) [RISC] 12043:12043: BOOK Kelly, P.: functional programming for loosely-coupled multiprocessors (1989) [RISC] 12044:12044: BOOK Bourbaki, N.: Algebra II, chapters 4-7 (1990) [RISC] 12045:12045: BOOK Doolin, B.F.; Martin, C.F.: introduction to differential geometry for engineers (1990) [RISC] 12046:12046: BOOK Brieskorn, E.; Knoerrer, H.: plane algebraic curves (1986) [RISC] 12047:12047: BOOK Chudnovsky, D.V.; Jenks, R.D.: computers in mathematics (1990) [RISC] 12048:12048: BOOK Brieskorn, E.: lineare Algebra und analytische Geometrie, vol. I (1983) [RISC] 12049:12049: BOOK Brieskorn, E.: lineare Algebra und analytische Geometrie, vol. II (1985) [RISC] 12065:12065: BOOK Gelernter, D.; Nicolau, A.; Padua, D. (eds.): languages and compilers for parallel computing (1990) [RISC] 12105:12105: BOOK Traub, K.R.: implementation of non-strict functional programming languages (1990) [RISC] 12105:12105: BOOK Traub, K.R.: implementation of non-strict functional programming languages (1990) [RISC] 12280:12280: BOOK Abhyankar, S.S.: algebraic geometry for scientists and engineers (1990) [RISC] 12281:12281: PROCEEDINGS Nn: 4th int. conf. on functional programming languages and computer architecture, FPCA'89 (1989) [RISC] 12282:12282: BOOK Turner, D.A.: research topics in functional programming (1990) [RISC] 12283:12283: BOOK Szymanski, B.K.: parallel functional languages and compilers (1991) [RISC] 12306:12306: BOOK Gabbay, D.; Guenther, F.: handbook of philosophical logic vol. iv, topics in the philosophy of language (1989) [RISC] 12319:12319: BOOK Mitchell, D.A.P.; et al.: inside the transputer (1990) [RISC] 12320:12320: BOOK Harper, D.; Wooff, C.; Hodgkinson, D.: a guide to computer algebra systems (1991) [RISC] 12321:12321: BOOK Carriero, N.; Gelernter, D.: how to write parallel programs a first course (1990) [RISC] 12367:12367: BOOK Kostrikin, A.I.; Shafarevich, I.R. (eds.): algebra II noncommutative rings, identities (1991) [RISC] 12368:12368: BOOK Seroul, R.; Levy, S.: a beginner's book of tex (1991) [RISC] 12369:12369: PROCEEDINGS Davis, K.; Hughes, J.; (eds.): functional programming Glasgow, 1989 (1989) [RISC] 12370:12370: BOOK Seaborn, James B.: hypergeometric functions and their applications (1991) [RISC] 12371:12371: BOOK Partsch, H.A.: specification and transformation of programs (1990) [RISC] 12372:12372: PROCEEDINGS Deimel, L.E. (ed.): software engineering education Pittsburgh, Pennsylvania, USA, 1990 (1990) [RISC] 12373:12373: PROCEEDINGS Choffrut, C.; Lengauer, T.; (eds.): STACS 90 Rouen, France, 1990 (1990) [RISC] 12374:12374: BOOK Davenport, J.H.: on the integration of algebraic functions (1981) [RISC] 12375:12375: BOOK Watson, M.: common lisp modules artificial intelligence in the era of neural networks (1991) [RISC] 12376:12376: BOOK Haken, H.: synergetic computers and cognition (1990) [RISC] 12377:12377: BOOK Domany, E.; van Hemmen, J.L.; Schulten, K. (eds.): models of neural networks (1991) [RISC] 12378:12378: PROCEEDINGS Taylor, J.G.; Mannion, C.L.T. (eds.): theory and applications of neural networks (190) [RISC] 12379:12379: BOOK Loogen, Rita: parallel Implementierung funktionaler Programmiersprachen (1990) [RISC] 12380:12380: BOOK Jordanides, T.; Torby, B.: expert systems and robotics (1991) [RISC] 12381:12381: BOOK Arikawa, S.; et al. (eds.): algorithmic learning theory (1990) [RISC] 12382:12382: BOOK Char, B.; et al.: Maple V (1991) [RISC] 12409:12409: BOOK Galton, Antony: temporal logics and their applications (1987) [RISC] 12418:12418: BOOK Schreiner, A.T.; Friedman, G.: Compiler bauen mit Unix Eine Einfuehrung (1985) [RISC] 12420:12420: BOOK Kochan, D.; Kuntsche, P.: CAD/CAM Technik (1989) [RISC] 12421:12421: BOOK Koehle, Monika: Neurale Netze (1990) [RISC] 12539:12539: BOOK Tanik, M.M.; chan, E.S.: fundamentals of computing for software engineers (1991) [RISC] 12541:12541: BOOK Borwein, J.M.; Borwein, P.B.: pi and the agm a study in analytic number theory and computational complexity (1987) [RISC] 12541:12541: BOOK Borwein, J.M.; Borwein, P.B.: pi and the agm a study in analytic number theory and computational complexity (1987) [RISC] 12541:12541: BOOK Borwein, J.M.; Borwein, P.B.: pi and the agm a study in analytic number theory and computational complexity (1987) [RISC] 12644:12644: BOOK Preparata, F.P.; Shamos, M.I.: computational geometry an introduction (1985) [RISC] 12709:12709: BOOK Pethoe, A.; et al. (eds.): computational number theory (1991) [RISC] 12709:12709: BOOK Pethoe, A.; et al. (eds.): computational number theory (1991) [RISC] 12710:12710: BOOK Reischuk, K.R.: Einfuehrung in die Komplexitaetstheorie (1990) [RISC] 12710:12710: BOOK Reischuk, K.R.: Einfuehrung in die Komplexitaetstheorie (1990) [RISC] 12723:12723: BOOK MacLane, S.; Moerdijk, I.: sheaves in geometry and logic a first introduction to topos theory (1992) [RISC] 12723:12723: BOOK MacLane, S.; Moerdijk, I.: sheaves in geometry and logic a first introduction to topos theory (1992) [RISC] 12724:12724: BOOK Schmidt-Schauss, M.: computational aspects of an order sorted logic with term declarations (1989) [RISC] 12724:12724: BOOK Schmidt-Schauss, M.: computational aspects of an order sorted logic with term declarations (1989) [RISC] 12725:12725: BOOK Walker, R.J.: algebraic curves (1992) [RISC] 12725:12725: BOOK Walker, R.J.: algebraic curves (1992) [RISC] 12726:12726: PROCEEDINGS Zippel, R.E. (ed.): computer algebra and parallelism workshop, Ithaca, USA, May 1990 (1990) [RISC] 12726:12726: PROCEEDINGS Zippel, R.E. (ed.): computer algebra and parallelism workshop, Ithaca, USA, May 1990 (1990) [RISC] 12727:12727: BOOK Breu, R.: algebraic specification techniques in object oriented programming environments (1991) [RISC] 12727:12727: BOOK Breu, R.: algebraic specification techniques in object oriented programming environments (1991) [RISC] 12728:12728: PROCEEDINGS Finkel, A.; Jantzen, M. (eds.): STACS'92 9th symp. on theoretical aspects of computer science (1992) [RISC] 12728:12728: PROCEEDINGS Finkel, A.; Jantzen, M. (eds.): STACS'92 9th symp. on theoretical aspects of computer science (1992) [RISC] 12729:12729: PROCEEDINGS Raoult, J.-C.: CAAP'92 17th coll. on trees in algebra and programming (1992) [RISC] 12729:12729: PROCEEDINGS Raoult, J.-C.: CAAP'92 17th coll. on trees in algebra and programming (1992) [RISC] 12730:12730: BOOK Jacquet, J.-M.: conclog: a methodological approach to concurrent logic programming (1991) [RISC] 12730:12730: BOOK Jacquet, J.-M.: conclog: a methodological approach to concurrent logic programming (1991) [RISC] 12731:12731: PROCEEDINGS Prehn, S.; Toetenel, W.J. (eds.): VDM'91: formal software development methods vol 1: conference contributions (1991) [RISC] 12731:12731: PROCEEDINGS Prehn, S.; Toetenel, W.J. (eds.): VDM'91: formal software development methods vol 1: conference contributions (1991) [RISC] 12732:12732: PROCEEDINGS Prehn, S.; Toetenel, W.J. (eds.): VDM'91: formal software development methods vol 2: tutorials (1991) [RISC] 12732:12732: PROCEEDINGS Prehn, S.; Toetenel, W.J. (eds.): VDM'91: formal software development methods vol 2: tutorials (1991) [RISC] 12733:12733: PROCEEDINGS Mattson, H.F.; et al. (eds.): AAECC-9: applied algebra, algebraic algorithms and error-correcting codes (1991) [RISC] 12733:12733: PROCEEDINGS Mattson, H.F.; et al. (eds.): AAECC-9: applied algebra, algebraic algorithms and error-correcting codes (1991) [RISC] 12734:12734: PROCEEDINGS Pitt, D.H.; et al. (eds.): category theory and computer science Paris, France, Sept. 1991 (1991) [RISC] 12734:12734: PROCEEDINGS Pitt, D.H.; et al. (eds.): category theory and computer science Paris, France, Sept. 1991 (1991) [RISC] 12735:12735: PROCEEDINGS Sakata, S. (ed.): AAECC-8: applied algebra, algebraic algorithms and error-correcting codes (1990) [RISC] 12735:12735: PROCEEDINGS Sakata, S. (ed.): AAECC-8: applied algebra, algebraic algorithms and error-correcting codes (1990) [RISC] 12736:12736: PROCEEDINGS Choffrut, C.; Jantzen, M. (eds.): STACS'91 8th symp. on theoretical aspects of computer science (1991) [RISC] 12736:12736: PROCEEDINGS Choffrut, C.; Jantzen, M. (eds.): STACS'91 8th symp. on theoretical aspects of computer science (1991) [RISC] 12737:12737: PROCEEDINGS Mora, T. (ed.): AAECC-6: applied algebra, algebraic algorithms and error-correcting codes (1988) [RISC] 12737:12737: PROCEEDINGS Mora, T. (ed.): AAECC-6: applied algebra, algebraic algorithms and error-correcting codes (1988) [RISC] 12738:12738: PROCEEDINGS Gottlob, G.; Nejdl, W. (eds.): expert systems in engineering principles and applications (1990) [RISC] 12738:12738: PROCEEDINGS Gottlob, G.; Nejdl, W. (eds.): expert systems in engineering principles and applications (1990) [RISC] 12739:12739: PROCEEDINGS Monien, B.; Cori, R. (eds.): STACS'92 6th annual symp. on theoretical aspects of computer science (1989) [RISC] 12739:12739: PROCEEDINGS Monien, B.; Cori, R. (eds.): STACS'92 6th annual symp. on theoretical aspects of computer science (1989) [RISC] 12740:12740: PROCEEDINGS Huguet, L.; Poli, A. (eds.): AAECC-5: applied algebra, algebraic algorithms and error-correcting codes (1987) [RISC] 12740:12740: PROCEEDINGS Huguet, L.; Poli, A. (eds.): AAECC-5: applied algebra, algebraic algorithms and error-correcting codes (1987) [RISC] 12741:12741: BOOK Fejer, P.A.; Simovici, D.A.: mathematical foundations of computer science vol. 1: sets, relations, and induction (1991) [RISC] 12741:12741: BOOK Fejer, P.A.; Simovici, D.A.: mathematical foundations of computer science vol. 1: sets, relations, and induction (1991) [RISC] 12742:12742: PROCEEDINGS Tarlecki, A. (ed.): mathematical foundations of computer science 1991 Kazimierz Dolny, Poland, Sept. 1991 (1991) [RISC] 12742:12742: PROCEEDINGS Tarlecki, A. (ed.): mathematical foundations of computer science 1991 Kazimierz Dolny, Poland, Sept. 1991 (1991) [RISC] 12752:12752: BOOK Gelenbe, E.: multiprocessor performance (1989) [RISC] 12752:12752: BOOK Gelenbe, E.: multiprocessor performance (1989) [RISC] 12753:12753: BOOK Diller, A.: compiling functional languages (1989) [RISC] 12753:12753: BOOK Diller, A.: compiling functional languages (1989) [RISC] 12754:12754: BOOK Williams, S.A.: programming models for parallel systems (1990) [RISC] 12754:12754: BOOK Williams, S.A.: programming models for parallel systems (1990) [RISC] 12755:12755: BOOK Reeve, M.: parallel processsing and artificial intelligence (1989) [RISC] 12755:12755: BOOK Reeve, M.: parallel processsing and artificial intelligence (1989) [RISC] 12756:12756: BOOK Singer, M.: differential equations and computer algebra (1991) [RISC] 12756:12756: BOOK Singer, M.: differential equations and computer algebra (1991) [RISC] 12780:12780: BOOK Harris, Joe: algebraic geometry a first course (1992) [RISC] 12780:12780: BOOK Harris, Joe: algebraic geometry a first course (1992) [RISC] 12853:12853: BOOK Brackx, F.; Constales, D.: computer algebra with lisp and reduce an introduction to computer-aided pure mathematics (1991) [RISC] 12853:12853: BOOK Brackx, F.; Constales, D.: computer algebra with lisp and reduce an introduction to computer-aided pure mathematics (1991) [RISC] 12859:12859: PROCEEDINGS Ebbinghaus, H.-D.; et al.: logic colloquium'87 1987, Granada, Spain (1987) [RISC] 12859:12859: PROCEEDINGS Ebbinghaus, H.-D.; et al.: logic colloquium'87 1987, Granada, Spain (1987) [RISC] 12860:12860: PROCEEDINGS Ferro, R.; et al.: logic colloquium'88 1988, Padova (1988) [RISC] 12860:12860: PROCEEDINGS Ferro, R.; et al.: logic colloquium'88 1988, Padova (1988) [RISC] 12869:12869: BOOK Mora, T.; Traverso, C.: effective methods in algebraic geometry (1991) [RISC] 12869:12869: BOOK Mora, T.; Traverso, C.: effective methods in algebraic geometry (1991) [RISC] 12961:12961: BOOK Nemeth, E.; et al.: unix system administration book (1989) [RISC] 13012:13012: BOOK Friedmann, A.: mathematics in industrial problems part 4 (1991) [RISC] 13013:13013: BOOK Wloka, D.W.: Robotersysteme, vol. 1 (1992) [RISC] 13014:13014: BOOK Wloka, D.W.: Robotersysteme, vol. 2 (1992) [RISC] 13015:13015: BOOK Wloka, D.W.: Robotersysteme, vol. 3 (1992) [RISC] 13016:13016: BOOK Strasser, W.; Seidel, H.-P. (eds.): theory and practice of geometric modeling (1989) [RISC] 13017:13017: PROCEEDINGS Pitt, D.H.; et al. (eds.): category theory and computer science Edinburgh, UK, Sept. 1987 (1987) [RISC] 13018:13018: BOOK Lam, T.Y.: a first course in noncommutative rings (1991) [RISC] 13019:13019: BOOK Becker, T.; WEispfenning, V.: Groebner bases a computative approach to commutative algebra (1993) [RISC] 13032:13032: BOOK Geddes, K.O.; Czapor, S.R.; Labahn, G.: algorithms for computer algebra (1993) [RISC] 13042:13042: BOOK Streicher, T.: semantics of type theory correctness, completeness and independence results (1993) [RISC] 13043:13043: BOOK Loustau, J.; Dillon, M.: linear geometry with computer graphics (1993) [RISC] 13044:13044: BOOK Perry, E.: geoemtry axiomatic developments with problem solving (1992) [RISC] 13049:13049: BOOK Slomson, A.: an introductin to combinatorics (1991) [RISC] 13058:13058: BOOK Choi, B.K.: surface modeling for CAD/CAM (1991) [RISC] 13086:13086: BOOK Cap, F.: Wie loest man Randwertprobleme in Physik und Technik (1993) [RISC] 13087:13087: BOOK Hofbauer, D.; Kutsche, R.-D.: Grundlagen des maschinellen Beweisens (1991) [RISC] 13088:13088 : BOOK Lutz, M.: Untersuchungen zur Genauigkeit geometrischer Methoden in CAD-Systemen (1987) [RISC] 13098:13098 : PROCEEDINGS Best, E. 9ed.): concur'93 Hildesheim, Aug. 1993 (1993) [RISC] 13099:13099: PROCEEDINGS Sommese, A.J. (eds.): algebraic geometry L'Aquila, 1988 (1988) [RISC] 13100:13100 : PROCEEDINGS Krieg-Brueckner, B. (ed.): ESOP'92 REnnes, France, 1992 (1992) [RISC] 13101: 13101: PROCEEDINGS Jones, N. (ed.): ESOP'90 copenhagen, Denmark, 1990 (1990) [RISC] 13102: 13102: PROCEEDINGS Hughes, J. (ed.): functional programming languages and computer architecture Cambridge, USA, 1991 (1991) [RISC] 13103:13103: BOOK Vosselman, G.: relational matching (1992) [RISC] 13104:13104 : BOOK Soare, R.I.: recursively enumerable sets and degrees (1987) [RISC] 13105:13105 : PROCEEDINGS Gianni, P. (ed.): ISSAC'88 Rome, Italy, 1988 (1988) [RISC] 13106: 13106: PROCEEDINGS Pearce, D. (eds.): logics in AI Jelia'92, Berlin, Sept. 1992 (1992) [RISC] 13107:13107 : BOOK Kanatani, K.: group-theoretic methods in image understanding (1990) [RISC] 13108:13108 : BOOK Cederberg, J.N: a course in modern geometry (1991) [RISC] 13109:13109: BOOK Jones, C.B.; et al. : mural: a formal development support system (1991) [RISC] 13110:13110: BOOK Yang, Kichoon: complex algebraic geometry an introduction to curves and surfaces (1991) [RISC] 13112:13112: BOOK Kuga, M.: Galois' dream group theory and differential equations (1993) [RISC] 13134:13134: BOOK Odifreddi, P.: classical recursion theory (1992) [RISC] 13135:13135: BOOK BErge, C.: hypergraphs (1989) [RISC] 13136: 13136: BOOK Youssin, B.: newton polyhedra without coordinates newton polyhedra of ideals (1990) [RISC] 13137:13137: BOOK Cormen, T.H.; et al.: introduction to algorithms (1991) [RISC] 13138:13138 : BOOK Hunt, K.H.: kinematic geoemtry of mechanisms (1978) [RISC] 13139:13139 : BOOK Eberhart, R.C., et al.: neural network PC tools (1990) [RISC] 13140: 13140: PROCEEDINGS NN: ISSAC'89 Portland, Oregon, USA, 1989 (1989) [RISC] 13141:13141: BOOK Zipple, R.: effective polynomial computation (1993) [RISC] 13142:13142: BOOK King, J.P.: the art of mathematics (1992) [RISC] 13143:13143: BOOK Sleep, M.R.; et al.: term graph rewriting theory and practice (1993) [RISC] 13144:13144 : BOOK Juettner, G. et al.: Entscheidungstabellen und wissensbasierte Systeme (1989) [RISC] 13145:13145: BOOK Vinberg, E.B. (ed.): lie groups, their discrete subgroups, and invariant theory (1992) [RISC] 13146:13146: BOOK Lyche, T.; Schumaker, L.L.: mathematical methods in computer aided geometric design (1989) [RISC] 13147: 13147: PROCEEDINGS NN: ISSAC'90 Tokyo, Japan, 1990 (1990) [RISC] 13148: 13148: PROCEEDINGS Watt, S.M.: ISSAC'91 Bonn, Germany, 1991 (1991) [RISC] 13149: 13149: PROCEEDINGS Wang, P.S.: ISSAC'92 Berkeley, CA, 1992 (1992) [RISC] 13150: 13150: PROCEEDINGS Bronstein, M. (ed.): ISSAC'93 Kiev, Ukraine, 1993 (1993) [RISC] 13151: 13151: PROCEEDINGS NN: 1990 ACM conf. lisp and funct. programming Nice, Franzhce, 1990 (1990) [RISC] 13152: 13152: PROCEEDINGS nn: 1992 lisp and functional programming SAn Francisco, USA, 1992 (1992) [RISC] 13153: 13153: PROCEEDINGS Moriconi, M. (ed.): internat. workshop on formal methods in software development Napa, California, 1990 (1990) [RISC] 13154:13154: BOOK Koepf, W.; et al.: Mathematik mit DERIVE (1993) [RISC] 13155: 13155: BOOK Braden, B., et al.: discovering calculus with mathematica (1992) [RISC] 13156:13156: BOOK Willisamson, S.G.: combinatorics for computer science (1985) [RISC] 13161:13161 : BOOK Macconaill, P.A., et al.: mechatronics and robotics vol. 1 (1991) [RISC] 13162:13162 : BOOK Froehlich, A.: algebraic number theory (1991) [RISC] 13163:13163 : BOOK fomenko, A.T.: variational problems in topology (1984) [RISC] 13164:13164 : BOOK Kronsjoe, L. et al.: advances in parallel algorithms (1992) [RISC] 13165:13165: BOOK Dayhoff, J.E.: neural network architectures (1990) [RISC] 13166: 13166: BOOK rose, M.T.: the internet message closing the book with electronic mail (1993) [RISC] 13167:13167 : BOOK Kehoe, B.P.: ZEN and the art of the internet (1993) [RISC] 13168:13168 : BOOK Stender, J. (ed.): parallel genetic algorithms: theory and applications (1993) [RISC] 13169:13169 : BOOK Martin, N.M.: systems of logic (1989) [RISC] 13170:13170 : BOOK Malamud, C.: exploring the internet a technical travelogue (1993) [RISC] 13171: 13171: BOOK Reif, J.: synthesis of parallel algorithms (1993) [RISC] 13172:13172 : BOOK Plasmeijer, R., et al.: fuctional programming and parallel graph rewriting (1993) [RISC] 13187:13187: BOOK Curien, P.: categorical combinators, sequential algorithms, and functional programming (1993) [RISC] 13188:13188: BOOK Adamek, J.; et al.: abstract and concrete categories (1990) [RISC] 58301:58301: BOOK Barwise, Jon: Admissible Sets and Structures An Approach to Definability Theory (1975) [RISC] 63821:63821: BOOK Barwise, Jon (Ed): Handbook of Mathematical Logic (1977) [RISC]