Clear Search

Books+ Search Results

Subject: "Computer science"
Subject: All Of
All Of Any Of
Is
Is Is Not
Computer science Is
Is Is Not
Computer software

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (1,857)
126.
Critical Infrastructure Protection Information Infrastructure Models, Analysis, and Defense
Author
López, Javier
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
127.
Cryptographic Hardware and Embedded Systems – CHES 2012 14th International Workshop, Leuven, Belgium, September 9-12, 2012. Proceedings
Author
Prouff, Emmanuel
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
128.
Information Security 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012. Proceedings
Author
Gollmann, Dieter
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
129.
Pyomo – Optimization Modeling in Python
Author
Hart, William E.
Published
Boston, MA : Springer US, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
130.
Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings
Author
Agrawal, Manindra
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
131.
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
132.
Critical Infrastructure Protection V 5th IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2011, Hanover, NH, USA, March 23-25, 2011, Revised Selected Papers
Author
Butts, Jonathan
Published
Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
133.
Cryptographic Hardware and Embedded Systems - CHES 2011 13th International Workshop, Nara, Japan, September 28 - October 1, 2011. Proceedings
Author
Preneel, Bart
Published
Berlin, Heidelberg : International Association for Cryptologic Research, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
134.
Cryptographic Hardware and Embedded Systems, CHES 2010 12th International Workshop, Santa Barbara, USA, August 17-20, 2010. Proceedings
Author
Mangard, Stefan
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
135.
Cryptography and Coding 13th IMA International Conference, IMACC 2011, Oxford, UK, December 12-15, 2011. Proceedings
Author
Chen, Liqun
Published
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
136.
Implementation and Application of Automata 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings
Author
Bouchou-Markhoff, Béatrice
Published
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
137.
Information Security 14th International Conference, ISC 2011, Xi’an, China, October 26-29, 2011. Proceedings
Author
Lai, Xuejia
Published
Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
138.
Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011. Proceedings
Author
Murlak, Filip
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
139.
Algorithm Theory - SWAT 2010 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings
Author
Kaplan, Haim
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
140.
Architecting Critical Systems First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings
Author
Giese, Holger
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
141.
Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
Author
Hliněný, Petr
Published
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
142.
Replication Theory and Practice
Author
Charron-Bost, Bernadette
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
143.
Contemporary Computing Second International Conference, IC3 2009, Noida, India, August 17-19, 2009. Proceedings
Author
Ranka, Sanjay
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
144.
Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings
Author
Stützle, Thomas
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
145.
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
146.
Fundamentals of Three-Dimensional Digital Image Processing
Author
Toriwaki, Junichiro
Published
London : Springer London, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
147.
Information Security 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedings
Author
Samarati, Pierangela
Published
Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Online / Software & Electronic Media
148.
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
149.
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
150.
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