Loading..
Your cart is empty.
...you'll find more products in the shopping cart.
Total€239.99
View cart
  • Manage Account
  • My Bookshelf
  • Manage Alerts
  • Article Tracking
  • Book Tracking
  • Login
  • Change
  • Home
  • Subjects
    • Astronomy
    • Behavioral Sciences
    • Biomedical Sciences
    • Business & Management
    • Chemistry
    • Climate
    • Computer Science
    • Earth Sciences
    • Economics
    • Education & Language
    • Energy
    • Engineering
    • Environmental Sciences
    • Food Science & Nutrition
    • Geography
    • Law
    • Life Sciences
    • Materials
    • Mathematics
    • Medicine
    • Philosophy
    • Physics
    • Popular Science
    • Public Health
    • Social Sciences
    • Statistics
    • Water
  • Services
    • Advertisers
    • Authors & Editors
    • Booksellers
    • Book Reviewers
    • Instructors
    • Journalists
    • Librarians (Springer Nature)
    • Rights & Permissions
    • Societies & Publishing Partners
    • Subscription Agencies (Springer Nature)
    • Help & Contact
    • Open Access & Springer
  • Springer Shop
  • About us

This selection contains titles in Theoretical Computer Science

Refine Search

Refine Search

Content Type

  1. Book 8,521 Remove
  2. Textbook 8,521 Remove
Error[en_US | Frontend.ProductSearchPage | section.resultlist.showremaining]

Topics

  1. Analysis 417
  2. Probability Theory and Stochastic Processes 368
  3. Algebra 222
  4. Applications of Mathematics 185
  5. Quantum Physics 184
  1. Artificial Intelligence 174
  2. Mathematical Methods in Physics 162
  3. Number Theory 159
  4. Statistical Theory and Methods 153
  5. Geometry 152
  6. Theory of Computation 146
  7. Programming Techniques 145
  8. Programming Languages, Compilers, Interpreters 145
  9. Functional Analysis 131
  10. Software Engineering 128
  11. Theoretical, Mathematical and Computational Physics 126
  12. Optics, Lasers, Photonics, Optical Devices 126
  13. Partial Differential Equations 123
  14. Algebraic Geometry 122
  15. Solid Mechanics 120
  16. Software Engineering / Programming and Operating Systems 117
  17. Mathematics (general) 113
  18. Classical Mechanics 112
  19. Complex Systems 108
  20. Circuits and Systems 105
  21. Real Functions 104
  22. Appl. Mathematics / Computational Methods of Engineering 104
  23. Mathematical Logic and Foundations 103
  24. Signal, Image and Speech Processing 103
  25. Differential Geometry 101
  26. Physical Chemistry 98
  27. Numerical Analysis 97
  28. Combinatorics 97
  29. Computer Communication Networks 96
  30. Operation Research/Decision Theory 94
  31. Linear and Multilinear Algebras, Matrix Theory 94
  32. Statistics for Business, Management, Economics, Finance, Insurance 88
  33. Astrophysics and Astroparticles 86
  34. Thermodynamics 85
  35. Communications Engineering, Networks 85
  36. Group Theory and Generalizations 82
  37. Computational Mathematics and Numerical Analysis 80
  38. Elementary Particles, Quantum Field Theory 78
  39. Condensed Matter Physics 78
  40. Ordinary Differential Equations 77
  41. Mathematical Modeling and Industrial Mathematics 76
  42. Classical Electrodynamics 75
  43. Biochemistry 74
  44. Quantitative Finance 71
  45. Statistics for Life Sciences, Medicine, Health Sciences 71
  46. Systems Theory, Control 70
  47. Topology 70
  48. Organic Chemistry 69
  49. Astronomy, Observations and Techniques 69
  50. Electronics and Microelectronics, Instrumentation 69
  51. Economic Theory/Quantitative Economics/Mathematical Methods 69
  52. Theoretical and Applied Mechanics 68
  53. Mechanical Engineering 68
  54. Geology 66
  55. Electrical Engineering 66
  56. Operations Research, Mathematical Programming 65
  57. Medicine (general) 64
  58. Biological and Medical Physics, Biophysics 64
  59. Computational Science and Engineering 63
  60. Numerical and Computational Physics, Simulation 63
  61. Classical and Quantum Gravitation, Relativity Theory 63
  62. Atomic, Molecular, Optical and Plasma Physics 63
  63. Characterization and Evaluation of Materials 63
  64. Optimization 62
  65. Engineering Fluid Dynamics 62
  66. Statistics for Social Sciences, Humanities, Law 60
  67. Control 60
  68. Theoretical and Computational Chemistry 59
  69. Algorithm Analysis and Problem Complexity 59
  70. Ecology 59
  71. Quantum Information Technology, Spintronics 59
  72. Image Processing and Computer Vision 58
  73. Dynamical Systems and Ergodic Theory 58
  74. Mathematical and Computational Biology 58
  75. Mathematical Logic and Formal Languages 57
  76. Simulation and Modeling 57
  77. Archaeology 57
  78. Statistics and Computing / Statistics Programs 56
  79. Calculus of Variations and Optimal Control; Optimization 54
  80. Logics and Meanings of Programs 53
  81. Geophysics / Geodesy 52
  82. Control , Robotics, Mechatronics 51
  83. Engineering (general) 50
  84. Information Systems Applications (incl.Internet) 49
  85. Computer Graphics 49
  86. Algorithms 49
  87. Engineering Design 49
  88. Biomedicine (general) 48
  89. Fluid- and Aerodynamics 48
  90. Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences 48
  91. Topological Groups, Lie Groups 47
  92. Acoustics 47
  93. Statistics (general) 46
  94. Computational Intelligence 45
  95. Manifolds and Cell Complexes (incl. Diff. Topology) 44
Error[en_US | Frontend.ProductSearchPage | section.resultlist.showremaining]

Release Date

  1. Older 7,865
  2. Last 6 Months 344
  3. Upcoming 267
  4. Last 3 Months 165
  5. Previous Month 78
Error[en_US | Frontend.ProductSearchPage | section.resultlist.showremaining]

Language

  1. English 8,521 Remove
Error[en_US | Frontend.ProductSearchPage | section.resultlist.showremaining]

Showing 444 results.

Within Book Textbook English

Techniques for Cryptanalysis of Block Ciphers Textbook

Techniques for Cryptanalysis of Block Ciphers

Biham, E., Dunkelman, O. (2021)

Block ciphers are widely used to protect information over the Internet, so assessing their strength in the case of malicious adversaries is critical to public trust. Such security …

Available Formats: Hardcover eBook

Computational Statics and Dynamics Textbook

Computational Statics and Dynamics

Öchsner, A. (2020)

This book is the 2nd edition of an introduction to modern computational mechanics based on the finite element method. It includes more details on the theory, more exercises, and …

Available Formats: Hardcover eBook

Mathematics in Computing Textbook

Mathematics in Computing

O’Regan, G. (2020)

This illuminating textbook provides a concise review of the core concepts in mathematics essential to computer scientists. Emphasis is placed on the practical computing …

Available Formats: Softcover eBook

Programming for Computations - Python Textbook

Programming for Computations - Python

Linge, S., Langtangen, H. P. (2020)

This book is published open access under a CC BY 4.0 license. This book presents computer programming as a key method for solving mathematical problems. This second edition of the …

Available Formats: Hardcover eBook

Monte Carlo Methods Textbook

Monte Carlo Methods

Barbu, A., Zhu, S. (2019)

This book seeks to bridge the gap between statistics and computer science. It provides an overview of Monte Carlo methods, including Sequential Monte Carlo, Markov Chain Monte …

Available Formats: Hardcover eBook

Answer Set Programming Textbook

Answer Set Programming

Lifschitz, V. (2019)

Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems.  In such a problem, the goal is to find a solution among a large but …

Available Formats: Hardcover eBook

Sequential and Parallel Algorithms and Data Structures Textbook

Sequential and Parallel Algorithms and Data Structures

Sanders, P., Mehlhorn, K., Dietzfelbinger, M., Dementiev, R. (2019)

This textbook is a concise introduction to the basic toolbox of structures that allow efficient organization and retrieval of data, key algorithms for problems on graphs, and …

Available Formats: Hardcover eBook

Proof Theory and Algebra in Logic Textbook

Proof Theory and Algebra in Logic

Ono, H. (2019)

This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The importance of combining …

Available Formats: Softcover eBook

An Introduction to Kolmogorov Complexity and Its Applications Textbook

An Introduction to Kolmogorov Complexity and Its Applications

Li, M., Vitányi, P. (2019)

This must-read textbook presents an essential introduction to Kolmogorov complexity (KC), a central theory and powerful tool in information science that deals with the quantity of …

Available Formats: Hardcover eBook

Linear Algebra for Computational Sciences and Engineering Textbook

Linear Algebra for Computational Sciences and Engineering

Neri, F. (2019)

This book presents the main concepts of linear algebra from the viewpoint of applied scientists such as computer scientists and engineers, without compromising on mathematical …

Available Formats: Hardcover eBook

Formal Methods Textbook

Formal Methods

Nielson, F., Riis Nielson, H. (2019)

This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The …

Available Formats: Hardcover eBook

Applied Machine Learning Textbook

Applied Machine Learning

Forsyth, D. (2019)

Machine learning methods are now an important tool for scientists, researchers, engineers and students in a wide range of areas.  This book is written for people who want to adopt …

Available Formats: Hardcover eBook

SQL & NoSQL Databases Textbook

SQL & NoSQL Databases

Meier, A., Kaufmann, M. (2019)

This book offers a comprehensive introduction to relational (SQL) and non-relational (NoSQL) databases. The authors thoroughly review the current state of database tools and …

Available Formats: Softcover eBook

Python for Probability, Statistics, and Machine Learning Textbook

Python for Probability, Statistics, and Machine Learning

Unpingco, J. (2019)

This book, fully updated for Python version 3.6+, covers the key ideas that link probability, statistics, and machine learning illustrated using Python modules in these areas.  …

Available Formats: Hardcover eBook

Formal Languages and Compilation Textbook

Formal Languages and Compilation

Crespi Reghizzi, S., Breveglieri, L., Morzenti, A. (2019)

This classroom-tested and clearly-written textbook presents a focused guide to the conceptual foundations of compilation, explaining the fundamental principles and algorithms used …

Available Formats: Hardcover eBook

Deep Learning with R Textbook

Deep Learning with R

Ghatak, A. (2019)

 Deep Learning with R introduces deep learning and neural networks using the R programming language. The book builds on the understanding of the theoretical and mathematical …

Available Formats: Hardcover eBook

Core Data Analysis: Summarization, Correlation, and Visualization Textbook

Core Data Analysis: Summarization, Correlation, and Visualization

Mirkin, B. (2019)

This text examines the goals of data analysis with respect to enhancing knowledge, and identifies data summarization and correlation analysis as the core issues. Data …

Available Formats: Softcover eBook

Data Structures and Algorithms with Scala Textbook

Data Structures and Algorithms with Scala

Upadhyaya, B. P. (2019)

This practically-focused textbook presents a concise tutorial on data structures and algorithms using the object-functional language Scala. The material builds upon the foundation …

Available Formats: Softcover eBook

First Course in Algorithms Through Puzzles Textbook

First Course in Algorithms Through Puzzles

Uehara, R. (2019)

This textbook introduces basic algorithms and explains their analytical methods. All algorithms and methods introduced in this book are well known and frequently used in real …

Available Formats: Hardcover eBook

Formal Methods for Nonmonotonic and Related Logics Vol. I and Vol. II (Set) Textbook

Formal Methods for Nonmonotonic and Related Logics Vol. I and Vol. II (Set)

Schlechta, K. (2019)

The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In this Vol. I …

Available Formats: Hardcover

previous Page is not a valid page number. Please enter a number between and . of 23

My Account

  • Shopping Cart
  • MySpringer
  • Login
  • SpringerAlerts

About Springer

  • History
  • Media
  • Compliance
  • Careers
  • Affiliate Program

Help & Contact

  • Help Overview
  • Order FAQ
  • Contact Us
  • Imprint
Legal
Springer Nature logo
© 2019 Springer Nature Switzerland AG. Springer is part of Springer Nature Privacy PolicyGeneral Terms & Conditions
Springer