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