Search ResultsElectronic Resources
Limit Search Results
Author
ProQuest (Firm)
(594)
SpringerLink (Online service)
(152)
International Business Machines Corporation. International Technical Support Organization.
(33)
Oklahoma State University. Computer Science. degree granting institution.
(27)
Hong Kong University of Science and Technology (Hong Kong). Computer Science and Engineering. degree granting institution.
(24)
Material Type
Language
Publication Date
-
Subject
Electronic books.
(1448)
Computer science.
(971)
0984
(819)
Artificial intelligence.
(187)
Engineering.
(126)
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
2581 Results Found Subscribe to search results
000000000000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Threshold graphs and related topics
      2377. 
      Threshold graphs and related topics
      by 
      Mahadev, N. V. R.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444892874
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=01675060&volume=56
      ScienceDirect http://www.sciencedirect.com/science/bookseries/01675060/56
      Format: 
      Excerpt: 
      . They have applications in many areas including computer science and psychology. Over the last 20 years
      Cover image for High performance computing : technology, methods, and applications
      2378. 
      High performance computing : technology, methods, and applications
      by 
      Dongarra, J. J.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444821638
      Format: 
      Excerpt: 
      -scale computational demanding problems in science, engineering and business. Newly emerging areas of HPC applications
      Cover image for Classical recursion theory : the theory of functions and sets of natural numbers
      2379. 
      Classical recursion theory : the theory of functions and sets of natural numbers
      by 
      Odifreddi, Piergiorgio, 1950-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444894830
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=125
      Format: 
      Excerpt: 
      particular Gödel's theorems) and to computer science, for which Recursion Theory provides the theoretical
      Cover image for Algebraic and structural automata theory
      2380. 
      Algebraic and structural automata theory
      by 
      Mikołajczak, Bolesław.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444874580
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=01675060&volume=44
      Format: 
      Excerpt: 
      . Aimed at those working in discrete mathematics and computer science, parts of the book are suitable for
      Cover image for Artificial intelligence in design '91
      2381. 
      Artificial intelligence in design '91
      by 
      International Conference on Artificial Intelligence in Design (1st : 1991 : Edinburgh, Scotland)
      ScienceDirect http://www.sciencedirect.com/science/book/9780750611886
      Format: 
      Excerpt: 
      telecommunication distribution networks follow. This book is suitable for programmers, computer science students
      Cover image for Artificial intelligence in chemical engineering
      2382. 
      Artificial intelligence in chemical engineering
      by 
      Quantrille, Thomas E.
      ScienceDirect http://www.sciencedirect.com/science/book/9780125695503
      Format: 
      Excerpt: 
      Artificial intelligence (AI) is the part of computer science concerned with designing intelligent
      Cover image for Automated stratigraphic correlation
      2383. 
      Automated stratigraphic correlation
      by 
      Agterberg, F. P.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444882530
      ScienceDirect http://www.sciencedirect.com/science/bookseries/09205446/13
      Format: 
      Excerpt: 
      QUANTITATIVE STRATIGRAPHY; CHAPTER 3. APPLICATIONS OF MATHEMATICAL STATISTICS AND COMPUTER SCIENCE TO ZONATION
      Cover image for Categories, allegories
      2384. 
      Categories, allegories
      by 
      Freyd, Peter J.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444703682
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=09246509&volume=39
      Format: 
      Excerpt: 
      computer science & ndash; are the subject of this book. It is a thorough introduction to Categories
      Cover image for Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985
      2385. 
      Cover image for Quantification in nonclassical logic
      2386. 
      Quantification in nonclassical logic
      by 
      Gabbay, Dov M., 1945-
      MacEwan University Access (Unlimited Concurrent Users) from ScienceDirect
      ScienceDirect http://www.sciencedirect.com/science/book/9780444520128
      ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/153
      Format: 
      Excerpt: 
      logic and quantification found numerous applications in computer science. At the same time many other
      Cover image for Ion Dynamics at Earth's Bow Shock and Magnetopause
      2387. 
      Ion Dynamics at Earth's Bow Shock and Magnetopause
      by 
      Broll, Jeffrey Michael, author. (orcid)0000-0002-9139-5495
      http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10811552
      Format: 
      Excerpt: 
      computer simulations. This work increases the science yield of magnetopause measurements away from active
      Cover image for The OuLiPo's Mathematical Project (1960-2014)
      2388. 
      The OuLiPo's Mathematical Project (1960-2014)
      by 
      Berkman, Natalie Lynn, author.
      http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10822685
      Format: 
      Excerpt: 
      development of computer science, producing some of the earliest examples of digital humanities research and
      Select an Action