Skip to Main Content
UCF Libraries Home

Online Book Sources: Computer Science

Springer Computer Science Textbooks

  • Abstract Computing Machines. 2005
  • Ada for Software Engineers (Second Edition with Ada 2005). 2009
  • Advanced Functional Programming. 2009
  • Advanced Studies in Biometrics. 2005
  • Agile Software Engineering. 2008
  • Algorithms and Data Structures. 2008
  • Analysis and Design of Information Systems. 2008
  • Autonomy Oriented Computing. 2005
  • Balanced Website Design. 2007
  • Bayesian Networks and Decision Graphs. 2007
  • Bioinformatics. 2007
  • Bioinformatics. 2008
  • A Brief History of Computing. 2008
  • Business Process Management. 2007
  • Categories for Software Engineering. 2005
  • A Classical Introduction to Cryptography. 2006
  • The Common Component Modeling Example. 2008
  • Communications and Networking: An Introduction. 2007
  • Complexity Theory. 2005
  • Complexity Theory and Cryptology. 2005
  • Comprehensive Mathematics for Computer Scientists 1. 2006
  • Comprehensive Mathematics for Computer Scientists 2. 2005
  • Computation Engineering. 2006
  • Computational Geometry. 2008
  • Computer Graphics and Geometric Modelling. 2005
  • Computer Graphics for Artists II. 2009
  • Computer Graphics for Artists: An Introduction. 2008
  • Computer Network Security. 2005
  • Computing for Comparative Microbial Genomics. 2009
  • Conceptual Modeling of Information Systems. 2007
  • A Concise and Practical Introduction to Programming Algorithms in Java. 2009
  • A Concise Introduction to Data Compression. 2008
  • A Concise Introduction to Languages and Machines. 2008
  • Constructing Correct Software. 2005
  • Contemporary Cryptology. 2005
  • Continuous System Simulation. 2006
  • Curves and Surfaces for Computer Graphics. 2006
  • Data Mining. 2007
  • Data-Driven 3D Facial Animation. 2007
  • Decision Procedures. 2008
  • Dependability Metrics. 2008
  • Design and Analysis of Randomized Algorithms. 2005
  • Designing Virtual Reality Systems. 2005
  • Differential Evolution. 2005
  • Digital Decision Making. 2007
  • Discrete Mathematics Using a Computer. 2006
  • Dissemination of Information in Communication Networks. 2005
  • Distributed Event-Based Systems. 2006
  • Distributed Network Systems. 2005
  • Elementary Logic. 2008
  • Elements of Computation Theory. 2009
  • Embedded Java Security. 2007
  • Embedded Robotics. 2006
  • Embedded Robotics. 2008
  • Enabling Technologies for Wireless E-Business. 2006
  • Essential Renderman. 2007
  • Ethical and Social Issues in the Information Age. 2007
  • Evolutionary Algorithms for Solving Multi-Objective Problems. 2007
  • Finite Model Theory and Its Applications. 2007
  • Forensic Computing. 2007
  • Foundations of 3D Graphics Programming. 2006
  • Foundations of Computer Security. 2006
  • Foundations of Security Analysis and Design III. 2005
  • Foundations of Security Analysis and Design V. 2009
  • Foundations of Systems Biology. 2009
  • From P2P and Grids to Services on the Web. 2009
  • From P2P to Web Services and Grids. 2005
  • Fundamental Networking in Java. 2006
  • Fundamentals of the New Artificial Intelligence. 2007
  • Fundamentals of Three-Dimensional Digital Image Processing. 2009
  • Fuzzy-Neuro Approach to Agent Applications. 2006
  • Generative and Transformational Techniques in Software Engineering. 2006
  • Generative and Transformational Techniques in Software Engineering II. 2008
  • Geometric Algebra for Computer Graphics. 2008
  • Geometric Algebra with Applications in Engineering. 2009
  • Geometric Algebra: An Algebraic System for Computer Games and Animation. 2009
  • Geometric Fundamentals of Robotics. 2005
  • Grammatical Picture Generation. 2006
  • A Guide to Computer Network Security. 2009
  • Guide to Fortran 2003 Programming. 2009
  • Guide to Wireless Mesh Networks. 2009
  • A High-Performance Logical Framework -- All About Maude. 2007
  • Implementing Distributed Systems with Java and CORBA. 2005
  • Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms. 2009
  • Information Retrieval for Music and Motion. 2007
  • Information Systems Reengineering and Integration. 2006
  • Information Visualization. 2006
  • An Integrated Approach to Software Engineering. 2005
  • Integrated Graphic and Computer Modelling. 2008
  • Interactive Curve Modeling. 2008
  • Introduction à Maple. 2009
  • Introduction à SCILAB. 2007
  • Introduction pratique aux bases de données relationnelles. 2006
  • Introduction to Assembly Language Programming. 2005
  • Introduction to C++ Programming and Graphics. 2007
  • Introduction to Computer Graphics. 2008
  • Introduction to Cryptography. 2007
  • Introduction to Geometric Computing. 2008
  • An Introduction to Knowledge Engineering. 2007
  • An Introduction to Kolmogorov Complexity and Its Applications, 3. 2008
  • An Introduction to Network Programming with Java. 2007
  • Introduction to Operating System Design and Implementation. 2007
  • An Introduction to PHP for Scientists and Engineers. 2008
  • Introduction to Programming with Fortran. 2006
  • Introduction to Reliable Distributed Programming. 2006
  • Introduction to Scientific Visualization. 2007
  • Knowledge Representation and the Semantics of Natural Language. 2006
  • Les virus informatiques: théorie, pratique et applications. 2009
  • Logic Programming with Prolog. 2005
  • Logical and Relational Learning. 2008
  • Machine Learning for Audio, Image and Video Analysis. 2008
  • Mathematical Linguistics. 2008
  • Metalearning. 2009
  • Mobile 3D Graphics. 2006
  • Model-Based Testing of Reactive Systems. 2005
  • Modelling and Simulation. 2007
  • Modelling Distributed Systems. 2007
  • Models of Computation. 2009
  • Multi-Agent Systems and Applications. 2006
  • Multimedia Introduction to Programming Using Java. 2005
  • Multimedia Retrieval. 2007
  • Multimodal Corpora. 2009
  • Networks and Grids. 2007
  • Neural-Symbolic Cognitive Reasoning. 2009
  • Object-Oriented Programming and Java. 2007
  • Object-Oriented Programming Languages: Interpretation. 2007
  • OpenGL Graphics Through Applications. 2008
  • Optical WDM Networks. 2006
  • Ordinal Optimization. 2007
  • Peer-to-Peer Computing. 2007
  • Peer-to-Peer Systems and Applications. 2005
  • Practical Distributed Processing. 2007
  • Practical Introduction to Computer Architecture. 2009
  • A Practical Theory of Reactive Systems. 2005
  • Principles of Data Mining. 2007
  • Principles of Programming Languages. 2009
  • Principles of Spin. 2008
  • Qualità dei Dati. 2008
  • The Quintessential PIC® Microcontroller. 2005
  • Reasoning Web. 2007
  • Reasoning Web (vol. # 3564). 2005
  • Reasoning Web (vol. # 4126). 2006
  • Reasoning Web. Semantic Technologies for Information Systems. 2009
  • Reliable Distributed Systems. 2005
  • Robot Cognition and Navigation. 2007
  • Robotica Mobile. 2008
  • Robust and Online Large-Scale Optimization. 2009
  • The Semantic Web. 2008
  • Semantic Web:Concepts, Technologies and Applications. 2007
  • Semantics with Applications: An Appetizer. 2007
  • Sets, Logic and Maths for Computing. 2008
  • Software Engineering. 2009
  • Software Engineering 1. 2006
  • Software Engineering 2. 2006
  • Software Engineering 3. 2006
  • Software Product Line Engineering. 2005
  • Software Visualization. 2007
  • Spatially Structured Evolutionary Algorithms. 2005
  • Stepping into Virtual Reality. 2008
  • Stochastic Optimization. 2006
  • Temporal Logic and State Systems. 2008
  • Theoretical Introduction to Programming. 2006
  • Theory of Computation. 2006
  • Thesis Projects. 2008
  • Touch of Class. 2009
  • Universal Artificial Intelligence. 2005
  • Validated Designs for Object-oriented Systems. 2005
  • Vector Analysis for Computer Graphics. 2007
  • Verification of Sequential and Concurrent Programs. 2009
  • Vision with Direction. 2006
  • Web Data Mining. 2007
  • Web Development with Java. 2008
  • Web Engineering. 2006

See also other Springer books for Computer Science