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