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