Clear Search

Books+ Search Results

Subject: "Computer science"
Location: Is
Is Is Not
Yale University Library

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

1.
Algebra and computer science
Published
Providence, Rhode Island : American Mathematical Society, [2016]
Location
Request for delivery to any Yale Library >> Conf Porto 2015
Format
Books
2.
Algorithmic problems of group theory, their complexity, and applications to cryptography
Published
Providence, Rhode Island : American Mathematical Society, [2015]
Location
Request for delivery to any Yale Library >> Conf San Diego 2013
Format
Books
3.
Continuations and natural language
Author
Barker, Chris, 1961-
Published
Oxford : Oxford University Press, 2014.
Location
Request for delivery to any Yale Library >> QA76.9.N38 B37 2014
Format
Books
4.
Hyperproof
Author
Barwise, Jon
Published
Stanford, Calif. : CSLI Publications, 1994.
Location
Library Shelving Facility (LSF) >> QA76 B38X 1994
Request for delivery to any Yale Library >> QA76 B38X 1994
Format
Books
5.
Visualizing with text
Author
Brath, Richard
Published
Boca Raton : CRC Press, Taylor & Francis Group, 2021.
©2021
Location
Request for delivery to any Yale Library >> QA76.9.I52 B73 2021 (LC)
Format
Books
6.
Building bridges between mathematics and computer science
Published
Berlin ; New York : Springer ; Budapest : János Bolyai Mathematical Society, c2008.
Location
Request for delivery to any Yale Library >> Fest L94g Lovasz
Format
Books
7.
Open source physics : a user's guide with examples
Author
Christian, Wolfgang
Published
San Francisco : Pearson Education, c2007.
Online
Table of contents
Location
Request for delivery to any Yale Library >> QC52 C57X 2007 (LC)
Library Shelving Facility (LSF) >> QC52 C57X 2007 (LC)
Format
Books
8.
Computational neuroscience : trends in research 2004
Author
Computational Neuroscience Meeting (12th : 2003 : Alicante, Spain)
Published
Amsterdam ; Boston : Elsevier, 2004.
Online
Online journal.
Location
Request for delivery to any Yale Library >> QP357.5 C642 2004 (LC)
Format
Books
9.
The Computer science and technology series
Published
[Washington, D.C.]: U.S. Dept. of Commerce, National Bureau of Standards, Institute for Computer Sciences and Technology, 1982.
Location
Unavailable--Try BorrowDirect or Interlibrary Loan >> C 13.37:88/4
Format
Books
10.
The mathematics of encryption : an elementary introduction
Author
Cozzens, Margaret B.
Published
Providence, Rhode Island : American Mathematical Society, [2013]
Location
Request for delivery to any Yale Library >> Shelved by series title
Format
Books
11.
Neural networks as cybernetic systems
Author
Cruse, Holk
Published
Stuttgart ; New York : G. Thieme Verlag ; New York : Thieme Medical Publishers, 1996.
Location
Request for delivery to any Yale Library >> QP363.3 C78X 1996 (LC)
Format
Books
12.
Computational number theory
Author
Das, Abhijit, 1968-
Published
Boca Raton, FL : CRC Press, [2013]
Location
Request for delivery to any Yale Library >> NumTh D258c
Format
Books
13.
Vlastʹ algoritma : tekhnologii legitimat︠s︡ii politicheskikh rezhimov v uslovii︠a︡kh t︠s︡ifrovizat︠s︡ii : monografii︠a︡
Title
Власть алгоритма
Author
Fedorchenko, S. N. (Sergeĭ Nikolaevich)
Федорченко, С. Н. (Сергей Николаевич)
Published
Moskva : Prospekt, 2023.
©2022
Location
Request for delivery to any Yale Library >> JC497 .F43 2023 (LC)
Format
Books
14.
Finite and algorithmic model theory
Published
Cambridge ; New York : Cambridge University Press, 2011.
Online
Cover image
Location
Request for delivery to any Yale Library >> L Es63f
Format
Books
15.
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
16.
Linked lexical knowledge bases : foundations and applications
Author
Gurevych, Iryna
Published
San Rafael, California : Morgan & Claypool Publishers, [2016]
© 2016.
Location
Request for delivery to any Yale Library >> QA76.9.N38 G87 2016
Format
Books
17.
OMNIDATA : an interactive system for data retrieval, statistical and graphical analysis, and data-base management : a user's manual
Author
Hilsenrath, Joseph
Published
Washington : Dept. of Commerce, National Bureau of Standards : for sale by the Supt. of Docs., U. S. Govt. Print. Off., 1978.
Location
Unavailable--Try BorrowDirect or Interlibrary Loan >> C 13.11:125
Format
Books
18.
I︠A︡zyk i iskusstvennyĭ intellekt : sbornik stateĭ po itogam konferent︠s︡ii "Lingvisticheskiĭ forum 2020 : I︠A︡zyk i iskusstvennyĭ intellekt", Moskva, noi︠a︡brʹ 2020 g.
Title
Язык и искусственный интеллект
Published
Moskva : Izdatelʹskiĭ dom I︠A︡SK, 2023.
Location
Request for delivery to any Yale Library >> P98 .I39 2023 (LC)
Format
Books
19.
Federal information processing standards publications (FIPS PUBS) index
Author
Institute for Computer Sciences and Technology
Published
[Washington, D.C.] : U.S. Dept. of Commerce, National Bureau of Standards, Institute for Computer Sciences and Technology ; [Springfield, Va.? : National Technical Information Service, distributor], 1983.
Location
Unavailable--Try BorrowDirect or Interlibrary Loan >> C 13.37:58/983
Format
Books
20.
Advances in discrete mathematics and applications : proceedings of the International Conference on Discrete Mathematics, held at the University of Mysore, India, June 2008
Author
International Conference on Discrete Mathematics (2008 : University of Mysore)
Published
Somerville Mass. : International Press, 2011.
Location
Request for delivery to any Yale Library >> Conf Mysore 2008
Format
Books
21.
Bayesian networks and decision graphs
Author
Jensen, Finn V.
Published
New York : Springer, c2007
Location
Request for delivery to any Yale Library >> QA279.5 .J46 2007 (LC)
Format
Books
22.
Text analysis with R for students of literature
Author
Jockers, Matthew Lee, 1966-
Published
Cham ; New York : Springer-Verlag, [2014]
Location
Request for delivery to any Yale Library >> P302 .J63 2014 (LC)
SML, Franke Family Digital Humanities Lab (Non-Circulating) >> P302 .J63 2014 (LC)
Format
Books
23.
Computer Integrated Knowledge System (CIKS) for construction materials, components, and systems proposed framework
Author
Kurihara, Thomas Y.
Published
Gaithersburg, MD : U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, [1997]
Online
http://purl.access.gpo.gov/GPO/LPS660
Location
Unavailable--Try BorrowDirect or Interlibrary Loan >> C 13.58:6071
Format
Books / Microforms
24.
Logic, algebra, and computer science : Helena Rasiowa in memoriam
Published
Warszawa : Polish Academy of Sciences, Institute of Mathematics, 1999.
Location
Request for delivery to any Yale Library >> Fest R185n Rasiowa
Format
Books
25.
Category theory : invariances and symmetries in computer science
Author
Majkić, Zoran
Published
Berlin ; Boston : Walter de Gruyter GmbH, [2023]
Location
Request for delivery to any Yale Library >> QA169 M35 2023 (LC)
Format
Books
26.
Eliciting and analyzing expert judgement : a practical guide
Author
Meyer, Mary A.
Published
Washington, DC : Division of Systems Research, Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory Commission, 1990.
Location
Unavailable--Try BorrowDirect or Interlibrary Loan >> Y 3.N 88:25/5424
Format
Books
27.
The Neurobiology of neural networks
Published
Cambridge, Mass. : MIT Press, c1993.
Location
Request for delivery to any Yale Library >> QP363.3 N455X 1993
Format
Books
28.
Meta-analysis of face recognition algorithms
Author
Phillips, P. Jonathon
Published
Gaithersburg, MD : U.S. Dept. of Commerce, Technology Administration, Mathematics and Computational Sciences Division, National Institute of Standards and Technology, [2001]
Location
Unavailable--Try BorrowDirect or Interlibrary Loan >> C 13.58:6719
Format
Books / Microforms
29.
Substitutions in dynamics, arithmetics, and combinatorics
Author
Pytheas Fogg, N.
Published
Berlin ; New York : Springer, c2002.
Location
Request for delivery to any Yale Library >> DiffEq P996s
Format
Books
30.
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
31.
The bit and the pendulum : from quantum computing to M theory-- the new physics of information
Author
Siegfried, Tom
Published
New York : Wiley, c2000.
Location
Request for delivery to any Yale Library >> QA76 S5159X 2000 (LC)
Format
Books
32.
Simulating the mind : a technical neuropsychoanalytical approach
Published
Wien ; London : Springer, 2009.
Location
Request for delivery to any Yale Library >> QP376 S633 2009 (LC)
Format
Books
33.
The code book : the evolution of secrecy from Mary Queen of Scots, to quantum cryptography
Author
Singh, Simon
Published
New York : Doubleday, 1999.
Location
Library Shelving Facility (LSF) >> Z103 S56X 1999 (LC)
MARX Library >> Z103 S56X 1999 (LC)
SML, Stacks, LC Classification >> Z103 S56X 1999 (LC)
Request for delivery to any Yale Library >> Z103 S56X 1999 (LC)
Format
Books
34.
Tradit︠s︡ionnoe i novoe : t︠s︡ifrovoe prostranstvo lingvisticheskikh issledovaniĭ : sbornik stateĭ
Title
Традиционное и новое
Published
Sankt-Peterburg : Izdatelʹstvo Sankt-Peterburgskogo universiteta, 2022.
Location
Request for delivery to any Yale Library >> P98 .T73 2022 (LC)
Format
Books
35.
Office machine and computer occupations
Author
United States. Bureau of Labor Statistics
Published
[Washington] : Dept. of Labor, Bureau of Labor Statistics : for sale by the Supt. of Docs., U.S. Govt. Print. Off., 1978.
Location
Unavailable--Try BorrowDirect or Interlibrary Loan >> L 2.3:1955-6
Format
Books
36.
Electronic Signatures in Global and National Commerce (E-Sign) Act : hearing before the Subcommittee on Courts and Intellectual Property of the Committee on the Judiciary, House of Representatives, One Hundred Sixth Congress, first session, on H.R. 1714, September 30, 1999
Author
United States. Congress. House. Committee on the Judiciary. Subcommittee on Courts and Intellectual Property
Published
Washington : U.S. G.P.O. : For sale by the U.S. G.P.O., Supt. of Docs., Congressional Sales Office, 2000.
Location
Unavailable--Try BorrowDirect or Interlibrary Loan >> Y 4.J 89/1:106/3
Library Shelving Facility (LSF) >> Y 4.J 89/1:106/3
Format
Books
37.
Nonlinear dynamics and neuronal networks : proceedings of the 63rd W.E. Heraeus Seminar, Friedrichsdorf, 1990
Author
W.E. Heraeus Seminar (63rd : 1990 : Friedrichsdorf, Hesse, Germany)
Published
Weinheim ; New York : VCH, 1991.
Location
Request for delivery to any Yale Library >> QP363.3 N66X 1991
Format
Books
38.
Selected works of Wen-tsun Wu
Author
Wu, Wen-tsün
Published
Singapore ; Hackensack, NJ : World Scientific, c2008.
Location
Request for delivery to any Yale Library >> L+Wks W95s
Format
Books
39.
Essentials of scientific computing : numerical methods for science and engineering
Author
Zalizniak, Victor
Published
Chichester, UK : Horwood Pub., 2008.
Location
Request for delivery to any Yale Library >> QA76.9 M35 Z35X 2008 (LC)
Format
Books