Clear Search

Books+ Search Results

Subject with Hierarchy: Is
Is Is Not
Computer science

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (20,117)

Limit your search

-
Current results range from 1947 to 2024

1.
Abdominal Imaging. Computational and Clinical Applications 4th International Workshop, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012. Proceedings
Author
Yoshida, Hiroyuki
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
2.
Abdominal Imaging. Computational and Clinical Applications Third International Workshop, Held in Conjunction with MICCAI 2011, Toronto, ON, Canada, September 18, 2011, Revised Selected Papers
Author
Yoshida, Hiroyuki
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
3.
Abdominal Imaging. Computation and Clinical Applications 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings
Author
Yoshida, Hiroyuki
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
4.
Abductive Inference Models for Diagnostic Problem-Solving
Author
Peng, Yun
Published
New York, NY : Springer New York, 1990.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4419-8682-5
Location
Yale Internet Resource >> None
Format
Books / Online
5.
The Abel Prize 2008-2012
Author
Holden, H. (Helge), 1956-
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
6.
Absolute Beginners Guide to Computing
Author
Wang, Wally
Published
Berkeley, CA : Apress : Imprint: Apress, 2016.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
7.
Abstract Computing Machines A Lambda Calculus Perspective
Author
Kluge, Werner
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
8.
Abstraction in Artificial Intelligence and Complex Systems
Author
Saitta, Lorenza
Published
New York, NY : Springer New York : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
9.
Abstraction, Refinement and Proof for Probabilistic Systems
Author
McIver, Annabelle
Published
New York, NY : Springer New York, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
10.
Abstraction, Reformulation and Approximation 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
11.
Abstraction, reformulation and approximation : 6th international symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 ; proceedings
Author
SARA 2005 (2005 : Airth, Scotland)
Published
Berlin ; New York : Springer, c2005.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 3607 (LC)
Format
Books
12.
Abstraction, reformulation, and approximation 5th international symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedings
Author
SARA 2002 (2002 : Kananaskis, Alta.)
Published
Berlin : Hong Kong : Springer-Verlag, c2002.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 2371 (LC)
Format
Books
13.
Abstraction, reformulation, and approximation 5th international symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedings
Author
SARA 2002 (2002 : Kananaskis, Alta.)
Published
Berlin : Hong Kong : Springer-Verlag, c2002.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
14.
Abstraction, reformulation, and approximation : 4th international symposium, SARA 2000, Lake LBJ, Texas, USA, July 26-29, 2000 : proceedings
Author
SARA 2000 (2000 : Lake LBJ, Tex.)
Published
New York : Springer, 2000.
Location
Library Shelving Facility (LSF) >> QA76 A1 L43 1864 (LC)
Format
Books
15.
Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
16.
Abstract proceedings
Author
Global Summit on Computer & Information Technology
Published
Piscataway, NJ : IEEE
Online
Full text
Location
Yale Internet Resource >> None
Format
Journals & Newspapers / Online
17.
Abstracts of Ph.D. theses in computer science
Author
Wegner, Peter
Published
University Park : Pennsylvania State University, 1966.
Online
Online book
Location
HathiTrust Digital Library >> Online Resource
Format
Books / Online
18.
Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
Author
Frappier, Marc
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
19.
Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
20.
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2016.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
21.
Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
22.
Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
23.
Abstract State Machines A Method for High-Level System Design and Analysis
Author
Börger, E. (Egon), 1946-
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-642-18216-7
Location
Yale Internet Resource >> None
Format
Books / Online
24.
ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings
Author
Boniol, Frederic
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
25.
Academic careers for experimental computer scientists and engineers
Author
National Research Council (U.S.). Committee on Academic Careers for Experimental Computer Scientists
Published
Washington, DC : National Academy Press, 1994.
Location
Library Shelving Facility (LSF) >> QA76 N35 1994 (LC)
Format
Books