Clear Search

Books+ Search Results

Subject: "Computers"
Location: Is
Is Is Not
Sterling Memorial Library
Subject: Is
Is Is Not
Computer science

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

1.
Algorithms and theory of computation handbook
Published
Boca Raton : CRC Press, c1999.
Location
SML, Stacks, LC Classification >> QA76.9 A43 A43X 1999 (LC)
Format
Books
2.
Computing for ordinary mortals
Author
St. Amant, Robert
Published
New York, NY : Oxford University Press, 2013.
Location
SML, Stacks, LC Classification >> QA76 .S7375X 2013 (LC)
Format
Books
3.
Fundamentals of the theory of computation : principles and practice
Author
Greenlaw, Raymond
Published
San Francisco, Calif. : Morgan Kaufmann, c1998.
Location
SML, Stacks, LC Classification >> QA76 G715X 1998 (LC)
Format
Books
4.
Selected papers on computer science
Author
Knuth, Donald Ervin, 1938-
Published
[Stanford, Calif.] : CSLI Publications ; [Cambridge, Mass.] : Cambridge University Press, c1996.
Location
SML, Stacks, LC Classification >> QA76 K537X 1996
Format
Books
5.
Computation and reasoning : a type theory for computer science
Author
Luo, Zhaohui
Published
Oxford : Clarendon Press ; New York : Oxford University Press, c1994.
Location
SML, Stacks, LC Classification >> QA76 L79X 1994 (LC)
Format
Books
6.
Object linking in repositories
Published
[Houston, Tex.?] : Research Institute for Computing and Information Systems ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va.? : National Technical Information Service, distributor, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:190629
Format
Books / Microforms
7.
USRA/RIACS final report on cooperative agreement NCC2-387, July 1, 1992 - December 31, 1992
Author
Oliger, Joseph, 1941-
Published
[Moffett Field, Calif.] : Research Institute for Advanced Computer Science, NASA Ames Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1992]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:194334
Format
Books / Microforms
8.
A general software reliability process simulation technique
Author
Tausworthe, Robert C.
Published
Pasadena, Calif. : National Aeronautics and Space Administration, Jet Propulsion Laboratory, California Institute of Technology ; Springfield, Va. : National Technical Information Service, distributor, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:189037
Format
Books / Microforms
9.
Applying the take-grant protection model
Author
Bishop, Matt
Published
[Washington, DC : National Aeronautics and Space Administration ; Springfield, Va.? : National Technical Information Service, distributor, 1990]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:190439
Format
Books / Microforms
10.
Handbook of theoretical computer science
Published
Amsterdam ; New York : Elsevier ; Cambridge, MA : MIT Press, c1990.
Location
Library Shelving Facility (LSF) >> QA76 H279 1990 (LC)
SML, Stacks, LC Classification >> QA76 H279 1990 (LC)
Format
Books
11.
A proactive password checker
Author
Bishop, Matt
Published
[Washington, DC : National Aeronautics and Space Administration ; Springfield, Va.? : National Technical Information Service, distributor, 1990]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:190438
Format
Books / Microforms
12.
Computer science : a modern introduction
Author
Goldschlager, L., 1951-
Published
Englewood Cliffs, N.J. : Prentice Hall, 1988.
Location
SML, Stacks, LC Classification >> QA76 G589 1988 (LC)
SML, Stacks, LC Classification >> QA76 G589 1988
Format
Books
13.
Quantum computation and quantum information
Author
Nielsen, Michael A., 1974-
Published
Cambridge : Cambridge University Press, 2010.
Location
SML, Stacks, LC Classification >> QA76.889 .N54 2010 (LC)
MARX Library >> QA76.889 .N54 2010 (LC)
Format
Books
14.
Encyclopedia of computer science and technology
Author
Henderson, Harry, 1951-
Published
New York, NY : Facts On File, c2003.
Location
SML, Stacks, LC Classification >> QA76.15 H43 2003 (LC) + Oversize
Format
Books
15.
Ocular attention-sensing interface system
Published
Willow Grove, PA : Analytics ; [Springfield, Va. : National Technical Information Service, distributor, 1986]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:190884
Format
Books / Microforms
16.
On computing : the fourth great scientific domain
Author
Rosenbloom, Paul S.
Published
Cambridge, Mass. : MIT Press, c2013.
Location
SML, Stacks, LC Classification >> QA76 .R657X 2013 (LC)
Format
Books
17.
Bits to bitcoin : how our digital stuff works
Author
Day, Mark Stuart
Published
Cambridge, Massachusetts : The MIT Press, 2018
Location
SML, Stacks, LC Classification >> QA76 .D3333327 2018 (LC)
Format
Books
18.
Invitation to computer science : C++ version
Author
Schneider, G. Michael
Published
Boston, MA : Thomson/Course Technology, c2007.
Location
SML, Stacks, LC Classification >> QA76 .S3594X 2007 (LC)
Format
Books
19.
Computer science & Perl programming : best of the Perl journal
Published
Cambridge, Mass. : O'Reilly, 2002.
Location
SML, Stacks, LC Classification >> QA76.73.P22 C383X 2002 (LC)
Format
Books
20.
Introduction to scientific computing : a matrix-vector approach using MATLAB
Author
Van Loan, Charles F.
Published
Upper Saddle River, N.J. : Prentice Hall, c1997.
Location
SML, Stacks, LC Classification >> QA76.9 M35 V375X 1997 (LC)
Format
Books
21.
Aesthetic computing
Published
Cambridge, Mass. : MIT Press, c2006.
Location
SML, Stacks, LC Classification >> QA76.5 .A3393X 2006
Format
Books
22.
Discrete mathematics for computer science
Author
Bogart, Kenneth P.
Published
Emeryville, CA : Key College Pub., c2006.
Location
SML, Stacks, LC Classification >> QA76.9.M35 B64X 2006 (LC)
Format
Books
23.
Imitation of life : how biology is inspiring computing
Author
Forbes, Nancy
Published
Cambridge, Mass. : Mit Press, c2004.
Location
SML, Stacks, LC Classification >> QH307.2 .F64X 2004 (LC)
Format
Books
24.
Essential discrete mathematics for computer science
Author
Feil, Todd, 1951-
Published
Upper Saddle River, N.J. : Prentice Hall, c2003.
Location
SML, Stacks, LC Classification >> QA76.9.M35 F44X 2003
Format
Books
25.
Discrete mathematics
Author
Biggs, Norman
Published
Oxford [England] ; New York : Oxford University Press, 2002.
Location
BASS, Lower Level >> QA76.9 M35 B54 2002
SML, Stacks, LC Classification >> QA76.9 M35 B54 2002
Request for delivery to any Yale Library >> QA76.9 M35 B54 2002
Library Shelving Facility (LSF) >> QA76.9 M35 B54 2002 (LC)
Format
Books
26.
Discrete mathematics for computing
Author
Haggarty, Rod
Published
Harlow, England ; New York : Addison-Wesley, c2002.
Location
SML, Stacks, LC Classification >> QA76.9 M35 H34X 2002 (LC)
Format
Books
27.
Network algebra
Author
Ștefănescu, Gheorghe, 1955-
Published
London ; New York : Springer-Verlag London Limited, c2000.
Location
SML, Stacks, LC Classification >> QA76.9 M35 S74 2000 (LC)
Format
Books
28.
HAL's legacy : 2001's computer as dream and reality
Published
Cambridge, Mass. : MIT Press, c1997.
Location
SML, Stacks, LC Classification >> QA76 H265X 1997+ Oversize
Format
Books
29.
A research program in empirical computer science a final report, grant no. NAG-1-1073, November 22, 1989 - November 21, 1990
Author
Knight, J. C. (John C.)
Published
Charlottesvile, VA : School of Engineering & Applied Science, University of Virginia ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:194609
Format
Books / Microforms
30.
Semiannual report April 1, 1991 - September 30, 1991
Published
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1991]
Location
SML, Microform (Non-Circulating) >> NAS 1.26:189567
Format
Books / Microforms
31.
Discrete mathematics for computer science
Author
Shiflet, Angela B.
Published
St. Paul : West Pub. Co., c1987.
Location
SML, Stacks, LC Classification >> QA76.9 M35 S54 1987 (LC)+ Oversize
Format
Books
32.
L'informatique en France : de la seconde guerre mondiale au Plan Calcul : l'émergence d'une science
Author
Mounier-Kuhn, Pierre E.
Published
Paris : Presses de l'université Paris-Sorbonne, c2010.
Location
SML, Stacks, LC Classification >> QA76.17 .M686 2010
Format
Books
33.
Scuola, società e cambiamento tecnologico : indagine sociologica sui nuovi metodi ed ambienti di apprendimento
Author
Battisti, F. (Francesco)
Published
Napoli : Edizioni Scientifiche Italiane, c1993.
Location
SML, Stacks, LC Classification >> QA76.27 B38 1993
Format
Books
34.
Unlocking the clubhouse : women in computing
Author
Margolis, Jane
Published
Cambridge, Mass. ; London : MIT Press, 2002.
Location
SML, Stacks, LC Classification >> QA76.25 M35X 2002
Format
Books
35.
Computing perspectives
Author
Wilkes, M. V. (Maurice Vincent)
Published
San Francisco, Calif. : Morgan Kaufmann Publishers, c1995.
Location
SML, Stacks, LC Classification >> QA76 W56 1995+ Oversize
Format
Books
36.
Understanding the digital world : what you need to know about computers, the Internet, privacy, and security
Author
Kernighan, Brian W.
Published
Princeton : Princeton University Press, [2017]
Location
SML, Stacks, LC Classification >> QA76 .K428X 2017 (LC)
Format
Books
37.
The innovators : how a group of hackers, geniuses, and geeks created the digital revolution
Author
Isaacson, Walter
Published
New York : Simon & Schuster, 2014.
Location
MARX Library >> QA76.2.A2 I87X 2014 (LC)
SML, Stacks, LC Classification >> QA76.2.A2 I87X 2014 (LC)
BASS, Lower Level >> QA76.2.A2 I87X 2014 (LC)
Format
Books
38.
Discrete mathematics and its applications
Author
Rosen, Kenneth H.
Published
New York : McGraw-Hill, c2012.
Online
Contributor biographical information
Publisher description
Table of contents only
Location
SML, Stacks, LC Classification >> QA39.3 .R67 2012 (LC)
SML, Stacks, LC Classification >> QA39.3 .R67 2012 (LC)
SML, Stacks, LC Classification >> QA39.3 .R67X 2012
Request for delivery to any Yale Library >> QA39.3 .R67X 2012
Request for delivery to any Yale Library >> QA39.3 .R67X 2012
SML, Stacks, LC Classification >> QA39.3 .R67X 2012
Format
Books
39.
Dizionario di informatica
Author
De Santis, Giuseppe
Published
Roma : Il Calamo, 2005.
Location
SML, Stacks, LC Classification >> QA76.15 .D47 2005
Format
Books
40.
Discrete algorithmic mathematics
Author
Maurer, Stephen B.
Published
Wellesley, Mass. : A.K. Peters, c2004.
Location
SML, Stacks, LC Classification >> QA39.3 .M435X 2004 (LC)
Format
Books
41.
Discrete mathematics and its applications
Author
Rosen, Kenneth H.
Published
Boston : McGraw-Hill, c2003.
Online
Table of contents
Publisher description
Location
SML, Stacks, LC Classification >> QA39.3 R67X 2003 (LC)
Library Shelving Facility (LSF) >> QA39.3 R67X 2003 (LC)
Format
Books
42.
Discrete mathematics, elementary and beyond
Author
Lovász, László, 1948-
Published
New York : Springer, c2003.
Location
BASS, Lower Level >> QA39.3 .L68X 2003
SML, Stacks, LC Classification >> QA39.3 .L68X 2003 (LC)
Format
Books
43.
Modern computer algebra
Author
Gathen, Joachim von zur
Published
Cambridge, UK ; New York, NY, USA : Cambridge University Press, c2003.
Location
SML, Stacks, LC Classification >> QA155.7 .E4 G38 2003 (LC)
Format
Books
44.
Computationalism : new directions
Published
Cambridge, Mass. : MIT Press, c2002.
Online
Table of contents
Location
SML, Stacks, LC Classification >> QA76 C54747 2002 (LC)
Format
Books
45.
Probability models for computer science
Author
Ross, Sheldon M.
Published
San Diego : Harcourt Academic Press, c2002.
Location
SML, Stacks, LC Classification >> QA76.9 M35 R677X 2002 (LC)
Format
Books
46.
Discrete mathematics for new technology
Author
Garnier, Rowan
Published
Bristol : Institute of Physics, 2001.
Location
SML, Stacks, LC Classification >> QA76.9 M35 G38 2001 (LC)
Format
Books
47.
al-Siyāsah al-maʻlūmātīyah wa-istirātījīyat al-tanmiyah : dirāsāt shāmilah li-Miṣr wa-al-Waṭan al-ʻArabī wa-baʻḍ al-bulād al-Ūrūbbīyah wa-al-Amrīkīyah wa-al-Asiyawīyah wa-al-Afrīqīyah
Title
السياسة المعلوماتية وإستراتيجية التنمية
Author
Badr, Ahmad A. A.
بدر، أحمد
Published
al-Qāhirah : Dār Gharīb lil-Ṭibāʻah wa-al-Nashr wa-al-Tawzīʻ, 2001.
Location
SML, Stacks, LC Classification >> HD85 A7 B237 2001
Format
Books
48.
Invitation to discrete mathematics
Author
Matoušek, Jiří
Published
Oxford : Clarendon Press ; Oxford ; New York : Oxford University Press, 1998.
Location
SML, Stacks, LC Classification >> QA39.2 M395X 1998 (LC)
Format
Books
49.
Student solutions guide for discrete mathematics and its applications
Author
Rosen, Kenneth H.
Published
New York : McGraw-Hill, 1995.
Location
SML, Stacks, LC Classification >> QA39.2 R654X 1995 Suppl. (LC)+ Oversize
Format
Books
50.
Concrete mathematics : a foundation for computer science
Author
Graham, Ronald L., 1935-
Published
Reading, Mass. : Addison-Wesley, c1994.
Location
Request for delivery to any Yale Library >> QA39.2 .G733X 1994
Request for delivery to any Yale Library >> QA39.2 G733X 1994
SML, Stacks, LC Classification >> QA39.2 G733X 1994 (LC)
BASS, Lower Level >> QA39.2 G733X 1994
SML, Stacks, LC Classification >> QA39.2 .G733X 1994
Format
Books