Redstone Scientific Information Center (RSIC) EXCESS LIST -- EXPIRES 18 JUNE 2021

If you find titles you are interested in, reply with any requests along with your name, your library, and mailing address. Sorry for the cross-postings.

Shirrl A. Beeson

Records Manager / Librarian / Information Support Specialist

Integration Innovation, Inc. (i3)

Aviation & Missile Center – CIO/G6

Combat Capabilities Development Command (DEVCOM)

Office: 256-842-0761

P98 D457 1983 1983 BOLC, LEONARD 1934- THE DESIGN OF INTERPRETERS, COMPILERS, AND EDITORS FOR AUGMENTED TRANSITION NETWORKS. EDITED BY LEONARD BOLC. BERLIN AND NEW YORK, SPRINGER-VERLAG, 1983.

P98 D649 1994 1994 Doedens, Crist-Jan. Text databases : one database model and several retrieval languages / Amsterdam ; Atlanta, GA : Rodopi, 1994.

P98 G244 1963 1963 GARVIN, PAUL L NATURAL LANGUAGE AND THE COMPUTER. NEW YORK, MCGRAW-HILL (C1963). NATURAL LANGUAGE AND THE COMPUTER. NEW YORK, MCGRAW-HILL (C1963).

P98 G692 1988 1988 GOUGH, K JOHN SYNTAX ANALYSIS AND SOFTWARE TOOLS / K. JOHN GOUGH. NEW YORK : ADDISON-WESLEY PUBLISHING CO., C1988.

P98 H377 1986 1986 HAUSSER, ROLAND N E W C A T : PARSING NATURAL LANGUAGE USING LEFT-ASSOCIATIVE GRAMMAR / ROLAND HAUSSER. NEW YORK ; LONDON : SPRINGER-VERLAG, 1986.

Q158.5 P885 1987 1987 POWELL, RUSSELL H 1943- CORE LIST OF BOOKS AND JOURNALS IN SCIENCE AND TECHNOLOGY / EDITED BY RUSSELL H. POWELL AND JAMES R. POWELL, JR. -- PHOENIX, AZ : ORYX PRESS, 1987. CORE LIST OF BOOKS AND JOURNALS IN SCIENCE AND TECHNOLOGY / EDITED BY RUSSELL H. POWELL AND JAMES R. POWELL, JR. -- PHOENIX, AZ : ORYX PRESS, 1987.

Q158.5 S416 1979 V1 1979 OEZDAS, M N SCIENCE AND FUTURE CHOICE. V.L. BUILDING ON SCIENTIFIC ACHIEVEMENT. EDITED BY PHILIP W. HEMILY AND M. N. OEZDAS. OXFORD, CLARENDON PRESS, 1979 SCIENCE AND FUTURE CHOICE. V.L. BUILDING ON SCIENTIFIC ACHIEVEMENT. EDITED BY PHILIP W. HEMILY AND M. N. OEZDAS. OXFORD, CLARENDON PRESS, 1979

Q158.5 S416 1979 V2 1979 HEMILY, PHILIP W SCIENCE AND FUTURE CHOICE. V.2. TECHNOLOGICAL CHALLENGES FOR SOCIAL CHANGE. EDITED BY PHILIP W. HEMILY AND M. N. OZDAS. OXFORD, CLARENDON PRESS, 1979. SCIENCE AND FUTURE CHOICE. V.2. TECHNOLOGICAL CHALLENGES FOR SOCIAL CHANGE. EDITED BY PHILIP W. HEMILY AND M. N. OZDAS. OXFORD, CLARENDON PRESS, 1979.

Q158.5 W43 1992 WHEATLEY, MARGARET J LEADERSHIP AND THE NEW SCIENCE BERRETT-KOEHLER PUBLISHERS

Q295 I61 1981 1981 HAKEN, HERMANN CHAOS AND ORDER IN NATURE: PROCEEDINGS OF THE INTERNATIONAL SYSMPOSIUM ON SYNERGETICS AT SCHLOSS ELMAU, BAVARIA, APRIL 27-MAY 2, 1981. EDITOR: H. HAKEN. BERLIN AND NEW YORK, SPRINGER-VERLAG, 1981.

QA5 J27 1959 1959 James, Glenn, 1882- Mathematics dictionary / Princeton, N.J. : Van Nostrand cc1959

QA76 A244 1987 V26 1960 Alt, Franz. Advances in computers. New York : Academic Press, 1960-1992

QA76 A244 1988 V27 1960 Alt, Franz. Advances in computers. New York : Academic Press, 1960-1992

QA76 A244 1989 V28 1960 Alt, Franz. Advances in computers. New York : Academic Press, 1960-1992

QA76 A664 1977 1977 ARBIB, MICHAEL A COMPUTERS AND THE CYBERNETIC SOCIETY BY MICHAEL A. ARBIB. NEW YORK: ACADEMIC PRESS, 1977.

QA76 A664 1984 1984 ARBIB, MICHAEL A COMPUTERS AND THE CYBERNETIC SOCIETY, BY MICHAEL A. ARBIB. 2D ED. NEW YORK AND LONDON: ACADEMIC PRESS, INC., 1984.

QA76 A758 1978 1978 ARNOLD, ROBERT R MODERN DATA PROCESSING BY ROBERT R ARNOLD, HAROLD C HILL AND AYLMER V NICHOLS. NEW YORK: WILEY, 1978.

QA76 A849 1960 M1 1961 ASSOCIATION FRANCAISE DE CALCU (COMPTES RENDUS) PREMIER CONGRES DE L'ASSOCIATION FRANCAISE DE CALCUL (AFCAL) PARIS, GAUTHIER-VILLARS ET CIE, EDITEUR-IMPRIMEUR-LIBRAIRE, 1961. (COMPTES RENDUS) PREMIER CONGRES DE L'ASSOCIATION FRANCAISE DE CALCUL (AFCAL) PARIS, GAUTHIER-VILLARS ET CIE, EDITEUR-IMPRIMEUR-LIBRAIRE, 1961.

QA76 A849 1961 M16 1961 PREPRINTS OF SUMMARIES OF PAPERS PRESENTED AT THE 16TH NATIONAL MEETING (1961) NEW YORK. PREPRINTS OF SUMMARIES OF PAPERS PRESENTED AT THE 16TH NATIONAL MEETING (1961) NEW YORK.

QA76 A849 1961 M2 1964 ASSOCIATION FRANCAISE DE CALCUL CONGRES DE L'ASSOCIATION FRANCAISE DE CALCUL ET DE TRAITEMENT DE L'INFORMATION; 5COMMUNICATIONS) 4, 1964. PARIS, GAUTHIERVILLARS. CONGRES DE L'ASSOCIATION FRANCAISE DE CALCUL ET DE TRAITEMENT DE L'INFORMATION; 5COMMUNICATIONS) 4, 1964. PARIS, GAUTHIERVILLARS.

QA76 A849 1962 V1 1962 1962 ACM National Conference : digest of technical papers. New York : Lewis Winner, c1962.

QA76 A849 1973 M28 1973 PROCEEDINGS. THEME TITLE COMPUTERS IN THE SERVICE OF MAN. NEW YORK: ASSOCIATION FOR COMPUTING MACHINERY, 1973.

QA76 A849 1974 M13 1974 AMENTA, JOYCE A THE SYSTEMS APPROACH: KEY TO SUCCESSFUL COMPUTER APPLICATIONS; PROCEEDINGS OF THE THIRTEENTH ANNUAL TECHNICAL SYMPOSIUM, HELD THURSDAY, JUNE 20, 1974, NATIONAL BUREAU OF STANDARDS, GAITHERSBURG, MARYLAND. SPONSORED BY WASHINGTON, D. C., CHAPTER ASSOCIATION FOR COMPUTING MACHINERY AND INSTITUTE FOR COMPUTER SCIENCES AND TECHNOLOGY, NATIONAL BUREAU OF STANDARDS, U. S. DEPARTMENT OF COMMERCE. EDITED BY JOYCE A. AMENTA AND PAUL D. OYER. THE SYSTEMS APPROACH: KEY TO SUCCESSFUL COMPUTER APPLICATIONS; PROCEEDINGS OF THE THIRTEENTH ANNUAL TECHNICAL SYMPOSIUM, HELD THURSDAY, JUNE 20, 1974, NATIONAL BUREAU OF STANDARDS, GAITHERSBURG, MARYLAND. SPONSORED BY WASHINGTON, D. C., CHAPTER ASSOCIATION FOR COMPUTING MACHINERY AND INSTITUTE FOR COMPUTER SCIENCES AND TECHNOLOGY, NATIONAL BUREAU OF STANDARDS, U. S. DEPARTMENT OF COMMERCE. EDITED BY JOYCE A. AMENTA AND PAUL D. OYER.

QA76 A849 1975 M3 1975 PROGRAM, INFORMATION, ABSTRACTS. N.P., 1975.

QA76 A849 1975 M30 1975 WHITE, JOHN D PROCEEDINGS. THEME TITLE COMPUTERS AND THE QUALITY OF LIFE. EDITOR: JOHN D. WHITE. NEW YORK: ASSOCIATION FOR COMPUTING MACHINERY, 1975.

QA76 A849 1976 M31 1976 PROCEEDINGS. NEW YORK: ASSOCIATION FOR COMPUTING MACHINERY, 1976.

QA76 A849 1976 M4 1976 ABSTRACTS, PROGRAM INFORMATION. N.P., 1976.

QA76 A849 1977 1977 WILLIS, PAUL A OPERATIONAL RELIABILITY AND PERFORMANCE ASSURANCE OF COMPUTER SYSTEMS AND SOFTWARE - THEME TITLE; PROCEEDINGS. EDITED BY PAUL A WILLIS. WASHINGTON: ASSOCIATION FOR COMPUTING MACHINERY, 1977.

QA76 A849 1977 M32 1977 A C M '77; PROCEEDINGS. NEW YORK, ASSOCIATION FOR COMPUTING MACHINERY, 1977.

QA76 A849 1977 M5 1977 ABSTRACTS, PROGRAM INFORMATION. N.P., 1977.

QA76.5 N425 1988 1988 Haken, H. Neural and synergetic computers : proceedings of the International Symposium at Schloss Elmau, Bavaria, June 13-17, 1988 / Berlin ; New York : Springer-Verlag, c1988.

QA76.5 N42827 1990 1990 Neural network PC tools : a practical guide / San Diego : Academic Press, c1990.

QA76.5 N663 1987 NICOUD, JEAN-DANIEL MAJOR MICROPROCESSORS: A UNIFIED APPROACH TO CALM [BY] J.D. NICOUD AND F. WAGNER. AMSTERDAM AND NEW YORK: NORTH-HOLLAND; NEW YORK: SOLE DISTRIBUTORS FOR USA AND CANADA, ELSEVIER SCIENCE PUB. CO., c1987.

QA76.5 P466 1985 1989 Birnes, William J. PC hardware and systems implementation / New York : McGraw-Hill, c1989.

QA76.5 R312 1990 1990 Reduced instruction set computers / Los Alamitos, Calif. : IEEE Computer Society Press, c1990.

QA76.5 R382 1985 1985 SHRIVASTAVA, SANTOSH KUMAR 1946- RELIABLE COMPUTER SYSTEMS: COLLECTED PAPERS OF THE NEWCASTLE RELIABILITY PROJECT. EDITED BY S.K. SHRIVASTAVA. BERLIN AND NEW YORK: SPRINGER-VERLAG, 1985.

QA76.5 R813 1967 1967 ROSEN, SAUL PROGRAMMING SYSTEMS AND LANGUAGES. NEW YORK: MCGRAW-HILL, 1967.

QA76.5 R865 1989 1989 RUSHTON, ANDREW RECONFIGURABLE PROCESSOR-ARRAY : A BIT-SLICED PARALLEL COMPUTER / ANDREW RUSHTON. LONDON, ENGLAND: PITMAN; CAMBRIDGE, MASS.: MIT PRESS, 1989.

QA76.5 S189 1969 1969 SAMMET, JEAN E PROGRAMMING LANGUAGES: HISTORY AND FUNDAMENTALS BY JEAN E SAMMET. ENGLEWOOD CLIFFS, NEW JERSEY: PRENTICE-HALL, 1969.

QA76.5 S198 1985 1985 SANDBERG-DIMENT, ERIK THEY ALL LAUGHED WHEN I SAT DOWN AT THE COMPUTER AND OTHER TRUE TALES OF ONE MAN'S STRUGGLE WITH PERSONAL COMPUTING, (BY) ERIK SANDBERG-DIMENT. NEW YORK: COMPUTER BOOK DIVISION-SIMON AND SCHUSTER, INC., 1985.

QA76.5 S2178 1989 1989 SARKAR, VIVEK PARTITIONING AND SCHEDULING PARALLEL PROGRAMS FOR MULTIPROCESSORS / VIVEK SARKAR. LONDON, ENGLAND: PITMAN PUB.; CAMBRIDGE, MASS.: MIT PRESS, 1989.

QA76.5 S244 1991 1992 Scalable shared memory multiprocessors / Boston : Kluwer Academic Publishers, c1992.

QA76.5 S245 1981 1981 SARGENT, MURRAY INTERFACING MICROCOMPUTERS TO THE REAL WORLD, BY MURRAY SARGENT III AND RICHARD L. SHOEMAKER. READING, MASSACHUSETTS, ADDISON-WESLEY PUBLISHING COMPANY, 1981. INTERFACING MICROCOMPUTERS TO THE REAL WORLD, BY MURRAY SARGENT III AND RICHARD L. SHOEMAKER. READING, MASSACHUSETTS, ADDISON-WESLEY PUBLISHING COMPANY, 1981.

QA76.5 S273 1963 1963 SAXON, JAMES A C O B O L; A SELF-INSTRUCTIONAL MANUAL. ENGLEWOOD CLIFFS, N. J., PRENTICE-HALL, 1963. C O B O L; A SELF-INSTRUCTIONAL MANUAL. ENGLEWOOD CLIFFS, N. J., PRENTICE-HALL, 1963.

QA76.5 S614 1983 1983 S I M S C R I P T 11.5 PROGRAMMING LANGUAGE. LOS ANGELES, CA, CACI, 1983. S I M S C R I P T 11.5 PROGRAMMING LANGUAGE. LOS ANGELES, CA, CACI, 1983.

QA76.5 S614 1983 M16 1983 HOLBROOK, LINDA A RECORD OF PROCEEDINGS OF THE 16TH ANNUAL SIMULATION SYMPOSIUM. EDITED BY LINDA A. HOLBROOK. SILVER SPRINGS, MD: IEEE COMPUTER SOCIETY PRESS, 1983.

QA76.5 S614 1989 M22 1989 Record of proceedings : the 22nd annual Simulation Symposium, Tampa, Florida, March 28-31, 1989 / Washington, D.C. : IEEE Computer Society, c1989.

QA76.5 S614 1991 M24 1991 Proceedings of the 24th Annual Simulation Symposium, April 1-5, 1991, New Orleans, Louisiana / Washington, D.C. : IEEE Computer Society Press ; Los Alamitos, CA : Order from IEEE Computer Society, c1991.

QA76.5 S614 1996 M29 1996 Proceedings of the 29th Annual Simulation Symposium : April 8-11, 1996, New Orleans, Louisiana / Los Alamitos, Calif. : IEEE Computer Society Press, c1996.

QA76.5 S614 1997 M30 1997 Proceedings : 30th Annual Simulation Symposium, April 7-9, 1997, Atlanta, Georgia / Los Alamitos, Calif. : IEEE Computer Society Press, c1997.

QA76.5 S614 1998 M31 1998 Proceedings : 31st Annual Simulation Symposium, April 5-9, 1998, Boston, Massachusetts, U.S.A. / Los Alamitos, Calif. : IEEE Computer Society Press, c1998.

QA76.5 S614 1999 M32 1999 Proceedings : 32nd Annual Simulation Symposium, 11-15 April, 1999, San Diego, California, U.S.A. / Los Alamitos, Calif. : IEEE Computer Society Press, c1999.

QA76.5 S614 2000 M33 2000 Proceedings : 33rd Annual Simulation Symposium (SS 2000), 16-20 April 2000, Washington, D.C. / Los Alamitos, Calif. : IEEE Computer Society, c2000.

QA76.5 S614 2001 M34 2001 Proceedings : 34th Annual Simulation Symposium (SS 2001), Seattle, Washington, 22-26 April 2001 / Los Alamitos, Calif. : IEEE Computer Society, c2001.

QA76.5 S614 2002 M35 2002 Proceedings : 35th Annual Simulation Symposium (SS 2002), San Diego, California, 14-18 April 2002 / Los Alamitos, Calif. : IEEE Computer Society, c2002.

QA76.5 S615 1984 1984 LISTER, PAUL F SINGLE-CHIP MICROCOMPUTERS. EDITED BY PAUL F. LISTER. NEW YORK, MCGRAW-HILL, 1984. SINGLE-CHIP MICROCOMPUTERS. EDITED BY PAUL F. LISTER. NEW YORK, MCGRAW-HILL, 1984.

QA76.5 S618 1977 1977 SIPPL, CHARLES J MICROCOMPUTER HANDBOOK BY CHARLES J SIPPL. NEW YORK, PETROCELLI-CHARTER, 1977. MICROCOMPUTER HANDBOOK BY CHARLES J SIPPL. NEW YORK, PETROCELLI-CHARTER, 1977.

QA76.5 S623 1995 1995 Siu, Kai-Yeung, 1966- Discrete neural computation : a theoretical foundation / Englewood Cliffs, N.J. : Prentice Hall PTR, c1995.

QA76.5 S634 1980 1980 SLOAN, M E INTRODUCTION TO MINICOMPUTERS AND MICROCOMPUTERS, BY M. E. SLOAN. READING, MASSACHUSETTS, ADDISON-WESLEY PUB. CO., 1980 INTRODUCTION TO MINICOMPUTERS AND MICROCOMPUTERS, BY M. E. SLOAN. READING, MASSACHUSETTS, ADDISON-WESLEY PUB. CO., 1980

QA76.5 S641 1961 1961 SMIRNOV, GENNADII DMITRIEVICH ELECTRONIC DIGITAL COMPUTERS. TRANSLATED FROM THE RUSSIAN BY G. SEGAL. TRANSLATION EDITOR: JACK C. BURFOOT. NEW YORK: PERGAMON PRESS, 1961.

QA76.5 S644 1959 1959 SMITH, CHARLES V L ELECTRONIC DIGITAL COMPUTERS. NEW YORK: MCGRAW-HILL, 1959.

QA76.5 S6572 1989 1989 Sou?ek, Branko. Neural and concurrent real-time systems : the sixth generation / New York : Wiley, c1989.

QA76.5 S6573 1988 1988 SOUCEK, BRANKO NEURAL AND MASSIVELY PARALLEL COMPUTERS : THE SIXTH GENERATION / BRANKO SOUCEK AND MARINA SOUCEK. NEW YORK: WILEY, 1988.

QA76.5 S6588 1988 1988 Special purpose computers / Boston : Academic Press, c1988.

QA76.5 S719 1976 1976 SOUCEK, BRANKO MICROPROCESSORS AND MICROCOMPUTERS BY BRANKO SOUCEK. NEW YORK, WILEY 1976. MICROPROCESSORS AND MICROCOMPUTERS BY BRANKO SOUCEK. NEW YORK, WILEY 1976.

QA76.5 S741 1978 M1 1978 S I G M I N I SYMPOSIUM ON SMA SMALL SYSTEMS: PROCEEDINGS, NEW YORK, AUG. 2-3, 1978. EDITORS: G.W. GORSLINE. SPONSORED BY THE ASSOCIATION FOR COMPUTING MACHINERY, SPECIAL INTEREST GROUPB ON MINICOMPUTERS. NEW YORK, ACM, 1978. SMALL SYSTEMS: PROCEEDINGS, NEW YORK, AUG. 2-3, 1978. EDITORS: G.W. GORSLINE. SPONSORED BY THE ASSOCIATION FOR COMPUTING MACHINERY, SPECIAL INTEREST GROUPB ON MINICOMPUTERS. NEW YORK, ACM, 1978.

QA76.5 S741 1980 M3 1980 GORSLINE, G W SMALL SYSTEMS: PROCEEDINGS OF THE JOINT SYMPOSIUM: 3D SIGSMALL SYMPOSIUM, 1ST SIGPC SYMPOSIUM, 18-19 SEPT. 1980, PALO ALTO, CA. SPONSORED BY THE ASSOCIATION FOR COMPUTING MACHINERY, SPECIAL INTEREST GROUP ON SMALL COMPUTERS, SPECIAL INTEREST GROUP ON PERSONAL COMPUTERS. EDITED BY G.W. GORSLINE. NEW YORK: ACM, 1980.

QA76.5 S751 1962 1962 FUNDAMENTALS OF DIGITAL COMPUTERS, DEVELOPED AND COMPILED BY FIELD ENGINEERING DEPARTMENT, UNIVAC DIVISION, SPERRY RAND CORPORATION. ELMHURST, ILLINOIS: BUSINESS PRESS, 1962.

QA76.5 S795 1967 1967 STARK, PETER A DIGITAL COMPUTER PROGRAMMING BY PETER A. STARK. NEW YORK: MACMILLAN, 1967.

QA76.5 S839 1981 1981 STERN, NANCY B FROM ENIAC TO UNIVAC: AN APPRAISAL OF THE ECKERT-MAUCHLY COMPUTERS, BY NANCY STERN. BEDFORD, MASS.: DIGITAL PRESS, 1981.

QA76.5 S839 1986 1986 STERN, NANCY R USER'S GUIDE TO MICROCOMPUTERS / BY NANCY STERN, ROBERT A. STERN. -- NEW YORK : WILEY, C1986. USER'S GUIDE TO MICROCOMPUTERS / BY NANCY STERN, ROBERT A. STERN. -- NEW YORK : WILEY, C1986.

QA76.5 S955 1971 V2 1976 Proceedings of the 1971 Summer Simulation Conference : July 19, 20, 21, 1971, Boston, Massachusetts / Denver, [Colo.] : Board of Simulation Conferences, c1971.

QA76.5 S959 1986 FERNBACH, SIDNEY 1917- SUPERCOMPUTERS: CLASS VI SYSTEMS, HARDWARE AND SOFTWARE. SIDNEY FERNBACH, EDITOR. AMSTERDAM: NORTH-HOLLAND; NEW YORK: SOLE DISTRIBUTORS FOR USA AND CANADA, ELSEVIER SCIENCE PUB. CO., c1986.

QA76.5 S959 1986 S 1986 MATSEN, FREDERICK ALBERT 1914- SUPERCOMPUTERS: ALGORITHMS, ARCHITECTURES, AND SCIENTIFIC COMPUTATION. EDITED BY F.A. MATSEN AND T. TAJIMA. AUSTIN, UNIVERSITY OF TEXAS PRESS, 1986.

QA76.5 T28 1995 1995 Tabak, Daniel, 1934- Advanced microprocessors / New York : McGraw-Hill, c1995.

QA76.5 T327 1966 1966 TERRIS, IRA 1934- INVESTIGATION AND SIMULATION OF A SELF-REPAIRING DIGITAL COMPUTER. ANN ARBOR, MICHIGAN, UNIVERSITY MICROFILMS, 1966. INVESTIGATION AND SIMULATION OF A SELF-REPAIRING DIGITAL COMPUTER. ANN ARBOR, MICHIGAN, UNIVERSITY MICROFILMS, 1966.

QA76.5 W787 1974 V2 1974 PROCEEDINGS. ELMONT, N. Y., WINTER SIMULATION CONFERENCE, SPECIAL INTEREST GROUP IN SIMULATION OF THE ASSOCIATION FOR COMPUTING MACHINERY, 1974 PROCEEDINGS. ELMONT, N. Y., WINTER SIMULATION CONFERENCE, SPECIAL INTEREST GROUP IN SIMULATION OF THE ASSOCIATION FOR COMPUTING MACHINERY, 1974

QA9 .A1 L832 1981 H 1981 MUELLER, GERT HEINZ 1923- LOGIC SYMPOSIA, HAKONE, 1979-1980: PROCEEDINGS OF CONFERENCES HELD IN HAKONE, JAPAN, MARCH 21-24, 1979 AND FEBRUARY 4-7, 1980. EDITD BY G.H. MUELLER, G. TAKEUTI AND T. TUGUE. BERLIN AND NEW YORK, SPRINGER-VERLAG, 1981. LOGIC SYMPOSIA, HAKONE, 1979-1980: PROCEEDINGS OF CONFERENCES HELD IN HAKONE, JAPAN, MARCH 21-24, 1979 AND FEBRUARY 4-7, 1980. EDITD BY G.H. MUELLER, G. TAKEUTI AND T. TUGUE. BERLIN AND NEW YORK, SPRINGER-VERLAG, 1981.

QA9 .A1 L832 1986 1986 PARIS, J B LOGIC COLLOQUIUM '84: PROCEEDINGS OF THE COLLOQUIUM HELD IN MANCHESTER, UNITED KINGDOM, JULY 1984. EDITORS: J. B. PARIS, A. J. WILKIE AND G. M. WILMERS. AMSTERDAM AND NEW YORK: NORTH HOLLAND; SOLE DISTRIBUTORS FOR THE USA AND CANADA, ELSEVIER SCIENCE PUB. CO., 1986.

QA9 .A1 L832 1988 DRAKE, F R LOGIC COLLOQUIUM '86: PROCEEDINGS OF THE COLLOQUIUM HELD IN HULL, UNITED KINGDOM, JULY 13-19, 1986 / EDITED BY F. R. DRAKE AND J. K. TRUSS. AMSTERDAM; NEW YORK: NORTH HOLLAND, 1988. DISTRIBUTORS FOR THE USA AND CANADA, ELSEVIER SCIENCE PUB. CO., c1986.

QA9.2 M426 1985 1985 COSTA, NEWTON C A DA MATHEMATICAL LOGIC AND FORMAL SYSTEMS: A COLLECTION OF PAPERS IN HONOR OF PROFESSOR NEWTON C. A. DA COSTA. EDITED BY LUIZ PAULO DE ALCANTARA. NEW YORK, M. DEKKER, C1985. MATHEMATICAL LOGIC AND FORMAL SYSTEMS: A COLLECTION OF PAPERS IN HONOR OF PROFESSOR NEWTON C. A. DA COSTA. EDITED BY LUIZ PAULO DE ALCANTARA. NEW YORK, M. DEKKER, C1985.

QA9.45 I61 1989 M19 1989 The Nineteenth International Symposium on Multiple-Valued Logic, 1989, South China University of Science and Technology, Guangzhou, China : proceedings / Washington, DC : IEEE Computer Society Press ; Los Angeles, CA : order from IEEE Computer Society, c1989.

QA9.45 I61 1990 M20 1990 The Twentieth International Symposium on Multiple-Valued Logic, May 23-25, 1990, Charlotte, North Carolina, USA : proceedings / Los Alamitos, CA : IEEE Computer Society Press ; New York : Institute of Electrical and Electronics Engineers, c1990.

QA9.45 I61 1999 M29 1999 Proceedings : 1999 29th IEEE International Symposium on Multiple-Valued Logic, May 20-22, 1999, Freiburg im Breisgau, Germany / Los Alamitos, California : IEEE Computer Society Press, c1999.

QA9.45 I61 2000 M30 2000 Proceedings : 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2000) / Los Alamitos, Calif.: IEEE Computer Society, c2000.

QA9.46 C47 1997 1997 Chagrov, Alexander. Modal logic / Oxford : Clarendon Press ; New York : Oxford University Press, 1997.

QA9.46 G169 1975 1975 GALLIN, DANIEL INTENSIONAL AND HIGHER-ORDER MODAL LOGIC, WITH APLICATIONS TO MONTAGUE SEMANTICS BY DANIEL GALLIN. AMSTERDAM, NORTH-HOLLAND PUB. CO.; NEW YORK, AMERICAN ELSEVIER, 1975. INTENSIONAL AND HIGHER-ORDER MODAL LOGIC, WITH APLICATIONS TO MONTAGUE SEMANTICS BY DANIEL GALLIN. AMSTERDAM, NORTH-HOLLAND PUB. CO.; NEW YORK, AMERICAN ELSEVIER, 1975.

QA9.46 K82 1986 1986 KONOLIGE, KURT DEDUCTION MODEL OF BELIEF, KURT KONOLIGE. -- LONDON : PITMAN; LOS ALTOS, CALIF. : MORGAN KAUFMANN PUBLISHERS, 1986. DEDUCTION MODEL OF BELIEF, KURT KONOLIGE. -- LONDON : PITMAN; LOS ALTOS, CALIF. : MORGAN KAUFMANN PUBLISHERS, 1986.

QA9.46 P37 1996 1996 Partiality, modality, and nonmonotonicity / Stanford, CA : CSLI Publications, c1996.

QA9.47 C748 1990 1990 Proceedings of the Conference on Foundations of Mathematics & Physics, Perugia, Italy, 1989 / Blumberg, Ger. : Benjamin Wesley, Publisher, 1990.

QA9.47 D889 1977 1977 DUMMETT, MICHAEL ELEMENTS OF INTUITIONISM, BY MICHAEL DUMMETT. OXFORD, CLARENDON PRESS, 1977. ELEMENTS OF INTUITIONISM, BY MICHAEL DUMMETT. OXFORD, CLARENDON PRESS, 1977.

QA9.47 T843 1977 1977 TROELSTRA, ANNE SJERP CHOICE SEQUENCES: A CHAPTER OF INTUITIONISTIC MATHEMATICS, BY A S TROELSTRA. OXFORD, CLARENDON PRESS, 1977. CHOICE SEQUENCES: A CHAPTER OF INTUITIONISTIC MATHEMATICS, BY A S TROELSTRA. OXFORD, CLARENDON PRESS, 1977.

QA9.5 B248 1984 1984 BARENDREGT, HENDRIK PIETER THE LAMBDA CALCULUS: ITS SYNTAX AND SEMANTICS, BY H. P. BARENDREGT. REV. ED. AMSTERDAM AND NEW YORK: NORTH-HOLLAND; NEW YORK: SOLE DISTRIBUTORS FOR THE USA AND CANADA, ELSEVIER SCIENCE PUB. CO., 1984.

QA9.5 F544 1974 1974 FITCH, FREDERIC BRENTON ELEMENTS OF COMBINATORY LOGIC BY FREDERIC B. FITCH. NEW HAVE,,YALE UNIVERSITY PRESS, 1974. ELEMENTS OF COMBINATORY LOGIC BY FREDERIC B. FITCH. NEW HAVE,,YALE UNIVERSITY PRESS, 1974.

QA9.5 I61 1995 M2 1995 Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : Proceedings / Berlin ; New York : Springer-Verlag, c1995.

QA9.5 K7513 1993 1993 Krivine, J. L. (Jean Louis) Lambda-calculus, types and models / New York : Ellis Horwood, 1993.

QA9.5 L219 1975 1975 BOEHM, CORRADO 1923- LAMBDA - CALCULUS AND COMPUTER SCIENCE THEORY; PROCEEDINGS OF THE SYMPOSIUM HELD IN ROME, MARCH 25-27, 1975. ORGANIZED BY I A C - C N R, ISTITUTO PER LE APPLICAZIONI DEL CALCOLO MAURO PICONE, OF THE CONSIGLIO NAZIONALE DELLE RICERCHE. EDITED BY C. BOEHM. NEW YORK, BERLIN, SPRINGER-VERLAG, 1975.

QA9.54 I61 1975 1975 SCHUETTE, KURT PROOF THEORY; PROCEEDINGS OF THE INTERNATIONAL SUMMER INSTITUTE AND LOGIC COLLOQUIUM, KIEL, 1974. EDITED BY J. DILLER, AND G. H. MUELLER. NEW YORK, BERLIN, SPRINGER-VERLAG, 1975.

QA9.54 S385 1977 1977 SCHUETTE, KURT PROOF THEORY BY KURT SCHUETTE. TRANSLATION FROM THE GERMAN, BY J N CROSSLEY. NEW YORK, BERLIN, SPRINGER-VERLAG, 1977. PROOF THEORY BY KURT SCHUETTE. TRANSLATION FROM THE GERMAN, BY J N CROSSLEY. NEW YORK, BERLIN, SPRINGER-VERLAG, 1977.

QA9.54 T649 1975 1975 TOLEDO, SUE ANN 1940- TABLEAU SYSTEMS FOR FIRST ORDER NUMBER THEORY AND CERTAIN HIGHER ORDER THEORIES BY SUE TOLEDO. BERLIN, NEW YORK, SPRINGER-VERLAG, 1975. TABLEAU SYSTEMS FOR FIRST ORDER NUMBER THEORY AND CERTAIN HIGHER ORDER THEORIES BY SUE TOLEDO. BERLIN, NEW YORK, SPRINGER-VERLAG, 1975.

QA9.56 B851 1987 1987 BRIDGES, DOUGLAS S 1945- VARIETIES OF CONSTRUCTIVE MATHEMATICS, DOUGLAS BRIDGES, FRED RICHMAN. -- LONDON ; NEW YORK : CAMBRIDGE UNIVERSITY PRESS, 1987. VARIETIES OF CONSTRUCTIVE MATHEMATICS, DOUGLAS BRIDGES, FRED RICHMAN. -- LONDON ; NEW YORK : CAMBRIDGE UNIVERSITY PRESS, 1987.

QA9.56 C758 1981 1981 RICHMAN, FRED CONSTRUCTIVE MATHEMATICS; PROCEEDINGS OF THE NEW MEXICO STATE UNIVERSITY CONFERENCE, HELD AT LAS CRUCES, NEW MEXICO, AUGUST 11-15, 1980. EDITED BY F. RICHMAN. NEW YORK, BERLIN, SPRINGER-VERLAG, 1981. CONSTRUCTIVE MATHEMATICS; PROCEEDINGS OF THE NEW MEXICO STATE UNIVERSITY CONFERENCE, HELD AT LAS CRUCES, NEW MEXICO, AUGUST 11-15, 1980. EDITED BY F. RICHMAN. NEW YORK, BERLIN, SPRINGER-VERLAG, 1981.

QA9.58 A35 1997 1997 Advances in algorithms, languages, and complexity / Dordrecht ; Boston : Kluwer Academic, c1997.

QA9.58 A396 1981 1981 ERSHOV, ANDREI PETROVICH ALGORITHMS IN MODERN MATHEMATICS AND COMPUTER SCIENCE: PROCEEDINGS, URGENCH, UZBEK SSR, SEPTEMBER 16-22, 1979. EDITED BY A. P. ERSHOV AND D. KNUTH. BERLIN, NEW YORK, SPRINGER-VERLAG, 1981.

QA9.58 B73 1996 1996 Brassard, Gilles, 1955- Fundamentals of algorithmics / Englewood, N.J. : Prentice Hall, c1996.

QA9.58 C73 1996 1996 Crandall, Richard E., 1947- Topics in advanced scientific computation / New York, N.Y. : Springer-Telos, c1996.

QA9.58 D96 2000 2000 Dynamics of algorithms / New York : Springer, c2000.

QA9.58 I61 1990 1990 Algorithms : proceedings / Berlin ; New York : Springer-Verlag, 1990.

QA9.58 I61 1991 M2 1991 ISA '91 algorithms : 2nd International Symposium on Algorithms, Taipei, Republic of China, December 16-18, 1991, proceedings / Berlin ; New York : Springer-Verlag, c1991.

QA9.58 I88 1990 M1 1990 Algorithms and complexity : proceedings of the first Italian conference, Rome, Italy, 1-2 October 1990 / Singapore ; Teaneck, N.J. : World Scientific, c1990.

QA9.58 I88 1994 M2 1994 Algorithms and complexity : second Italian conference, CIAC '94, Rome, Italy, February 23-25, 1994 : Proceedings / Berlin ; New York : Springer-Verlag, c1994.

QA9.58 I88 2000 M4 2000 Algorithms and complexity : 4th Italian conference, CIAC 2000, Rome, Italy, March 1-3, 2000 : proceedings / Berlin ; New York : Springer, c2000.

QA9.58 K65 2000 2000 Knuth, Donald Ervin, 1938- Selected papers on analysis of algorithms / [Stanford, Calif.] : Center for the Study of Language and Information, Leland Stanford Junior University, c2000.

QA9.58 S28 1990 M2 1990 SWAT 90 : proceedings / Berlin ; New York : Springer-Verlag, c1990.

QA9.58 S28 1994 M4 1994 Algorithm theory-- SWAT '94 : 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994 : Proceedings / Berlin ; New York : Springer-Verlag, c1994.

QA9.58 S28 1996 M5 1996 Algorithm theory-- SWAT '96 : 5th Scandinavian Workshop on Algorithm Theory, Reykjavík, Iceland, July 3-5, 1996 : proceedings / Berlin ; New York : Springer-Verlag, c1996.

QA9.58 S28 2000 M7 2000 Algorithm theory-- SWAT 2000 : 7th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, July 5-7, 2000 : proceedings / Berlin ; New York : Springer, c2000.

QA9.58 T396 1985 1985 LOVASZ, LASZLO 1948- THEORY OF ALGORITHMS / EDITED BY L. LOVASZ AND E. SZEMEREDI. NEW YORK : ELSEVIER SCIENCE PUBLISHING COMPANY, INC., C1985.

QA9.58 U75 1993 1993 Uspenski?, V. A. (Vladimir Andreevich) Algorithms : main ideas and applications / Dordrecht ; New York : Kluwer Academic, 1993.

QA9.59 B724 1980 1980 BOOLOS, GEORGE COMPUTABILITY AND LOGIC, BY GEORGE BOOLOS AND RICHARD JEFFREY. 2D ED., CAMBRIDGE, ENG.; NEW YORK, CAMBRIDGE UNIVERSITY PRESS, 1980. COMPUTABILITY AND LOGIC, BY GEORGE BOOLOS AND RICHARD JEFFREY. 2D ED., CAMBRIDGE, ENG.; NEW YORK, CAMBRIDGE UNIVERSITY PRESS, 1980.

QA9.59 C678 1987 1987 COHEN, DANIEL E COMPUTABILITY AND LOGIC, DANIEL E. COHEN. -- CHICHESTER, WEST SUSEX, ENGLAND : E. HORWOOD ; NEW YORK : HALSTED PRESS [DISTRIBUTOR], 1987. COMPUTABILITY AND LOGIC, DANIEL E. COHEN. -- CHICHESTER, WEST SUSEX, ENGLAND : E. HORWOOD ; NEW YORK : HALSTED PRESS [DISTRIBUTOR], 1987.

QA9.59 D247 1981 1981 DAVENPORT, JAMES HAROLD ON THE INTEGRATION OF ALGEBRAIC FUNCTIONS, BY JAMES HAROLD DAVENPORT. NEW YORK, BERLIN, SPRINGER-VERLAG, 1981. ON THE INTEGRATION OF ALGEBRAIC FUNCTIONS, BY JAMES HAROLD DAVENPORT. NEW YORK, BERLIN, SPRINGER-VERLAG, 1981.

QA9.59 F547 1987 1987 FITTING, MELVIN CHRIS COMPUTABILITY THEORY, SEMANTICS, AND LOGIC PROGRAMMING / MELVIN FITTING. NEW YORK : OXFORD UNIVERSITY PRESS ; OXFORD : CLARENDON PRESS, C1987.

QA9.6 P38 1988 1988 PAULL, MARVIN C ALGORITHUM DESIGN : A RECURSION TRANSFORMATION FRAMEWORK / MARVIN C. PAULL. NEW YORK : WILEY, C1988.

QA9.A1 L832 1990 1990 Homer, S. (Steven) Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / Berlin ; New York : Springer-Verlag, c1990.

TK2000 B574 1978 P1-2 1978 BEZNER, HEINRICH ELECTRICAL MACHINES DICTIONARY, GERMAN-ENGLISH, ENGLISH, GERMAN, BY HEINRICH BEZNER. EDITORS-IN-CHIEF, K. H. BRINKMANN AND E. TANKE. LST ED. WIESBADEN, BRANDSTETTER, 1978 ELECTRICAL MACHINES DICTIONARY, GERMAN-ENGLISH, ENGLISH, GERMAN, BY HEINRICH BEZNER. EDITORS-IN-CHIEF, K. H. BRINKMANN AND E. TANKE. LST ED. WIESBADEN, BRANDSTETTER, 1978

TL1570 A512 1967 M2 TECHNICAL PAPERS PRESENTED AT ASTM-IES-AIAA 2D SPACE SIMULATION CONFERENCE. PHILADELPHIA, AMERICAN SOCIETY FOR TESTING MATERIALS

TL1570 A512 1968 M3 1968 TECHNICAL PAPERS PRESENTED AT THE I E S/A I A A/A S T M 3D SPACE SIMULATION CONFERENCE. SEATTLE, WASHINGTON (N.P.) 1968.

TL3000 .I59 1988 M9 1988 1988 IEEE Aerospace Applications Conference digest / New York, N.Y. : Institute of Electrical and Electronics Engineers ; Piscataway, NJ : Copies from I.E.E.E., c1988.

TL3000 I59 1984 1984 AEROSPACE APPLICATIONS; 1984 IEEE AEROSPACE APPLICATIONS CONFERENCE DIGEST PISCATAWAY, NJ, IEEE INC.; LOS ANGELES, CA, IEEE SOUTH BAY SECTION, 1984.

TL3000 I59 1985 M6 1985 GASPARI, RUSSELL A AEROSPACE APPLICATIONS: 1985 IEEE AEROSPACE APPLICATIONS CONFERENCE DIGEST. CONFERENCE DIRECTOR, RUSSELL A. GASPARI. NEW YORK, IEEE, 1985.

TL3000 I59 1987 M8 1987 1987 IEEE Aerospace Applications Conference digest / New York, N.Y. : Institute of Electrical and Electronics Engineers ; Piscataway, NJ : Copies from I.E.E.E., c1987.

TL3000 I61 1964 1964 INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGI RECORD OF THE INTERNATIONAL SPACE ELECTRONICS SYMPOSIUM. (NEW YORK) IEEE SPACE ELECTRONICS AND TELEMETRY GROUP, INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS. (1964). RECORD OF THE INTERNATIONAL SPACE ELECTRONICS SYMPOSIUM. (NEW YORK) IEEE SPACE ELECTRONICS AND TELEMETRY GROUP, INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS. (1964).

TL3000 I61 1965 1965 INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGI THE NEXT STEP AND BEYOND. RECORD OF THE INTERNATIONAL SPACE ELECTRONICS SYMPOSIUM. NEW YORK, IEEE SPACE ELECTRONICS AND TELEMETRY GROUP, INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS, 1965. THE NEXT STEP AND BEYOND. RECORD OF THE INTERNATIONAL SPACE ELECTRONICS SYMPOSIUM. NEW YORK, IEEE SPACE ELECTRONICS AND TELEMETRY GROUP, INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS, 1965.

TL3000 R129 1965 1965 RADIO CORPORATION OF SPACE ELECTRONICS; SIXTEEN TECHNICAL PAPERS BY RCA SCIENTISTS AND ENGINEERS. (CAMDEN, N. J., 1965) SPACE ELECTRONICS; SIXTEEN TECHNICAL PAPERS BY RCA SCIENTISTS AND ENGINEERS. (CAMDEN, N. J., 1965)

TL3000 R129 1970 1970 RADIO CORPORATION OF AMERICA ELECTROMAGNETIC AND AVIATION SYSTEMS; TWENTY PAPERS BY RCA ENGINEERS AND SCIENTISTS. MOORESTOWN, NEW JERSEY 1970 ELECTROMAGNETIC AND AVIATION SYSTEMS; TWENTY PAPERS BY RCA ENGINEERS AND SCIENTISTS. MOORESTOWN, NEW JERSEY 1970

TL3000 W784 1966 V5 1966 WINTER CONVENTION ON AEROSPACE AND ELECTRONIC SYSTEM CONFERENCE RECORD. V. 5 1966. LOS ANGELES, IEEE. CONFERENCE RECORD. V. 5 1966. LOS ANGELES, IEEE.

TL3000 W784 1967 V6 1967 INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS. AEROSPACE AND ELEC CONFERENCE RECORD. V. 6, 1967. LOS ANGELES, IEEE. CONFERENCE RECORD. V. 6, 1967. LOS ANGELES, IEEE.

TL3000.A1 I18A 1991 1991 1991 IEEE Aerospace Applications Conference digest. [February 3-February 8, 1991 Crested Butte, Colorado]. New York, N.Y. : Institute of Electrical and Electronics Engineers, c1991.

TL3000.A1 I59 1990 M11 1990 1990 IEEE Aerospace Applications Conference digest : February 4-February 9, 1990, Vail, Colorado / New York, N.Y. : Institute of Electrical and Electronics Engineers ; Piscataway, NJ : Copies from I.E.E.E., c1990.

TL3000.A1 I59 1993 1993 1993 IEEE Aerospace Applications Conference Digest : January 31-February 5, 1993, Steamboat, Colorado / New York, N.Y. : Institute of Electrical and Electronics Engineers ; Piscataway, NJ : Copies from I.E.E.E., c1993.

TL3000.A1 I59 1994 M15 1994 1994 IEEE Aerospace Applications Conference Digest : [February 5-12 1994, Vail, Colorado] / New York, N.Y. : Institute of Electrical and Electronics Engineers ; Piscataway, NJ : Copies from I.E.E.E., c1994.

TL3000.A1 I59 1995 M16 V1 1995 1995 IEEE Aerospace Applications Conference : proceedings, [February 4--February 11, 1995, Snowmass at Aspen, Colorado] / Piscataway, N.J. : IEEE, c1995.

TL3000.A1 I59 1995 M16 V2 1995 1995 IEEE Aerospace Applications Conference : proceedings, [February 4--February 11, 1995, Snowmass at Aspen, Colorado] / Piscataway, N.J. : IEEE, c1995.

TL3000.A1 I59 1996 M17 V1 1996 1996 IEEE Aerospace Applications Conference : proceedings, [February 3--February 9, 1996, Snowmass at Aspen, Colorado] / [New York, N.Y.] : Institute of Electrical and Electronics Engineers ; Piscataway, N.J. : IEEE Service Center, c1996.

TL3000.A1 I59 1996 M17 V2 1996 1996 IEEE Aerospace Applications Conference : proceedings, [February 3--February 9, 1996, Snowmass at Aspen, Colorado] / [New York, N.Y.] : Institute of Electrical and Electronics Engineers ; Piscataway, N.J. : IEEE Service Center, c1996.

TL3000.A1 I59 1996 M17 V3 1996 1996 IEEE Aerospace Applications Conference : proceedings, [February 3--February 9, 1996, Snowmass at Aspen, Colorado] / [New York, N.Y.] : Institute of Electrical and Electronics Engineers ; Piscataway, N.J. : IEEE Service Center, c1996.

TL3000.A1 I59 1996 M17 V4 1996 1996 IEEE Aerospace Applications Conference : proceedings, [February 3--February 9, 1996, Snowmass at Aspen, Colorado] / [New York, N.Y.] : Institute of Electrical and Electronics Engineers ; Piscataway, N.J. : IEEE Service Center, c1996.

TL3000.A1 I59 1997 V1 1997 1997 IEEE Aerospace Conference proceedings / [New York] : Institute of Electrical and Electronics Engineers ; Piscataway, N.J. : IEEE Service Center, c1997.

TL3000.A1 I59 1997 V2 1997 1997 IEEE Aerospace Conference proceedings / [New York] : Institute of Electrical and Electronics Engineers ; Piscataway, N.J. : IEEE Service Center, c1997.

TL3000.A1 I59 1997 V3 1997 1997 IEEE Aerospace Conference proceedings / [New York] : Institute of Electrical and Electronics Engineers ; Piscataway, N.J. : IEEE Service Center, c1997.