Clear Search

Books+ Search Results

Subject: "Computer science"
Subject: Is
Is Is Not
Computer software

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (2,249)
101.
Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
102.
Evolutionary Learning: Advances in Theories and Algorithms
Author
Zhou, Zhi-Hua
Published
Singapore : Springer Singapore : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
103.
Fair Scheduling in High Performance Computing Environments
Author
Sedighi, Art
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
104.
Beginning WSO2 ESB
Author
Indrasiri, Kasun
Published
Berkeley, CA : Apress : Imprint: Apress, 2016.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
105.
Genetic Programming Theory and Practice XII
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
106.
Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
107.
Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings
Author
O’Sullivan, Barry
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
108.
Efficient Algorithms for Discrete Wavelet Transform With Applications to Denoising and Fuzzy Inference Systems
Author
Shukla, K. K.
Published
London : Springer London : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
109.
Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics
Author
Mogavero, Fabio
Published
Paris : Atlantis Press : Imprint: Atlantis Press, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
110.
UML 2.0 : wprowadzenie
Author
Miles, Russ (Russell)
Published
[Gliwice, Poland?] : Helion, ©2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
111.
Computability and Complexity Theory
Author
Homer, S. (Steven)
Published
Boston, MA : Springer Science+Business Media, LLC, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
112.
UML @ Classroom : eine Einführung in die objektorientierte Modellierung
Published
Heidelberg : Dpunkt.verlag, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
113.
Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
Author
Breitman, Karin
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
114.
R Through Excel A Spreadsheet Interface for Statistics, Data Analysis, and Graphics
Author
Heiberger, Richard M.
Published
New York, NY : Springer New York, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
115.
Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Author
Gibbons, Jeremy, 1966-
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
116.
Verification of Sequential and Concurrent Programs
Author
Apt, Krzysztof R.
Published
London : Springer London, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
117.
Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
118.
Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
119.
Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
Author
Hutchison, David
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
120.
Understanding Planning Tasks Domain Complexity and Heuristic Decomposition
Author
Helmert, Malte
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
121.
Understanding Planning Tasks Domain Complexity and Heuristic Decomposition
Author
Helmert, Malte
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
122.
Learning Theory 20th Annual Conference on Learning Theory, COLT 2007, San Diego, CA, USA, June 13-15, 2007, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
123.
Discrete Mathematics Using a Computer
Author
O’Donnell, John
Published
London : Springer London, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
124.
Learning Theory 19th Annual Conference on Learning Theory, COLT 2006, Pittsburgh, PA, USA, June 22-25, 2006, Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
125.
Artificial Intelligence Applications and Innovations IFIP TC12 WG12.5 - Second IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI2005), September 7–9, 2005, Beijing, China
Published
Boston, MA : Springer US, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
126.
Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA
Author
Schmidt, Alfred, 1958-
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
127.
Implementation and Application of Automata 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
128.
Learning Theory 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005. Proceedings
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
129.
Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
130.
UML 2.0 in action : a project based tutorial
Author
Grässle, Patrick
Published
Birmingham, U.K. : Packt Pub., 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
131.
The unified modeling language reference manual
Author
Rumbaugh, James
Published
Boston : Addison-Wesley, ©2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
132.
The unified modeling language user guide
Author
Booch, Grady
Published
Upper Saddle River, NJ : Addison-Wesley, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
133.
The elements of UML style
Author
Ambler, Scott W., 1966-
Published
Cambridge ; New York : Cambridge University Press, 2003.
Location
SML, Stacks, LC Classification >> QA76.9 O35 A66 2003 (LC)
Format
Books
134.
The elements of UML style
Author
Ambler, Scott W., 1966-
Published
Cambridge ; New York : Cambridge University Press, 2003.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
135.
Learning UML
Author
Alhir, Sinan Si
Published
Sebastopol, CA ; Farnham : O'Reilly, 2003.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
136.
Learning UML 2.0
Author
Hamilton, Kim
Published
[Sebastopol, Calif.] : O'Reilly, [2006]
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
137.
UML bible
Author
Pender, Tom
Published
Indianapolis, Ind. : Wiley Pub., ©2003.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
138.
Diophantine Equations and Power Integral Bases New Computational Methods
Author
Gaál, István, 1960-
Published
Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser, 2002.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
139.
Stochastic Algorithms for Visual Tracking Probabilistic Modelling and Stochastic Algorithms for Visual Localisation and Tracking
Author
MacCormick, John
Published
London : Springer London, 2002.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4471-0679-1
Location
Yale Internet Resource >> None
Format
Books / Online
140.
Combinatorics, Computability and Logic Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01)
Author
Calude, C. S.
Published
London : Springer London, 2001.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4471-0717-0
Location
Yale Internet Resource >> None
Format
Books / Online
141.
Information Dynamics Foundations and Applications
Author
Deco, Gustavo
Published
New York, NY : Springer New York : Imprint: Springer, 2001.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4613-0127-1
Location
Yale Internet Resource >> None
Format
Books / Online
142.
UML Pattern Language, A
Author
Evitts, Paul
Published
Sams, 2000.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
143.
The unified modeling language reference manual
Author
Rumbaugh, James
Published
Reading, Mass. : Addison-Wesley, c1999.
Location
Library Shelving Facility (LSF) >> QA76.76 D47 R86X 1999 (LC)
Format
Books
144.
The unified modeling language reference manual
Author
Rumbaugh, James
Published
Reading, Mass. : Addison-Wesley, c1999.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
145.
The unified modeling language user guide
Author
Booch, Grady
Published
Reading MA : Addison-Wesley, c1999.
Location
SML, Stacks, LC Classification >> QA76.76 D47 B655X 1999 (LC)
Format
Books
146.
The unified modeling language user guide
Author
Booch, Grady
Published
Reading MA : Addison-Wesley, c1999.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
147.
Algorithms and Data Structures in VLSI Design OBDD — Foundations and Applications
Author
Meinel, Christoph
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-3-642-58940-9
Location
Yale Internet Resource >> None
Format
Books / Online
148.
Search and Planning Under Incomplete Information A Study Using Bridge Card Play
Author
Frank, Ian, 1967-
Published
London : Springer London, 1998.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4471-1594-6
Location
Yale Internet Resource >> None
Format
Books / Online
149.
System software programming : the way things work
Author
Clarke, David L.
Published
Upper Saddle River, NJ : Prentice Hall PTR, c1998.
Location
Library Shelving Facility (LSF) >> QA76.66 C55X 1998 (LC)
Format
Books
150.
Theorem Proving with the Real Numbers
Author
Harrison, John
Published
London : Springer London, 1998.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4471-1591-5
Location
Yale Internet Resource >> None
Format
Books / Online