Print

Print


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

[log in to unmask]

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 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 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 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.

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

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 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 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 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 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 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 M31    1976                       PROCEEDINGS. NEW YORK: ASSOCIATION FOR COMPUTING MACHINERY, 1976.

QA76 A849 1976 M4       1976                       ABSTRACTS, PROGRAM INFORMATION. N.P., 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               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 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 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 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 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 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 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 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            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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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                            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 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 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

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 .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 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 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 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.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 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 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.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 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 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.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 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 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 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 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.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 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 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.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

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 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 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 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 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 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 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.