default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTexts in Computer Science
Graduate Texts in Computer Science
2025
- George Delic:
Guide to Numerical Algorithm Design and Development - Including Legacy Examples from Fortran and MathCAD in High Precision. Texts in Computer Science, Springer 2026, ISBN 978-3-031-90177-5, pp. 1-240 - Torben Ægidius Mogensen:
Programming Language Design and Implementation, Second Editiontion. Texts in Computer Science, Springer 2026, ISBN 978-3-031-93298-4, pp. 1-346
2025
- Ronald T. Kneusel:
Numbers and Computers, Third Editiontion. Texts in Computer Science, Springer 2025, ISBN 978-3-031-67481-5, pp. 1-399 - Ben Stephenson:
The Python Workbook - A Brief Introduction with Exercises and Solutions, Third Editiontion. Texts in Computer Science, Springer 2025, ISBN 978-3-031-84559-8, pp. 3-277
2024
- Marco T. Morazán:
Programming-Based Formal Languages and Automata Theory - Design, Implement, Validate, and Prove. Texts in Computer Science, Springer 2024, ISBN 978-3-031-43972-8, pp. 3-524 - Joseph Migga Kizza:
Guide to Computer Network Security, 6th Edition. Texts in Computer Science, Springer 2024, ISBN 978-3-031-47548-1, pp. 3-637 - Joakim Kävrestad, Marcus Birath, Nathan L. Clarke
:
Fundamentals of Digital Forensics - A Guide to Theory, Research and Applications, Third Edition. Texts in Computer Science, Springer 2024, ISBN 978-3-031-53648-9, pp. 3-267
2023
- Marieke Huisman, Anton Wijs:
Concise Guide to Software Verification - From Model Checking to Annotation Checking, 2. Texts in Computer Science, Springer 2023, ISBN 978-3-031-30166-7, pp. 1-234 - Chellammal Surianarayanan, Pethuru Raj Chelliah:
Essentials of Cloud Computing - A Holistic, Cloud-Native Perspective, Second Edition. Texts in Computer Science, Springer 2023, ISBN 978-3-031-32043-9, pp. 1-357 - Wei Qi Yan:
Computational Methods for Deep Learning - Theory, Algorithms, and Implementations, Second Edition. Texts in Computer Science, Springer 2023, ISBN 978-981-99-4822-2, pp. 1-203
2022
- Joseph Migga Kizza:
Ethical and Social Issues in the Information Age, 7th Edition. Texts in Computer Science, Springer 2023, ISBN 978-3-031-24862-7, pp. 1-378 - Gerard O'Regan:
Mathematical Foundations of Software Engineering - A Practical Guide to Essentials. Texts in Computer Science, Springer 2023, ISBN 978-3-031-26211-1, pp. 1-513
2022
- Richard Szeliski:
Computer Vision - Algorithms and Applications, Second Edition. Texts in Computer Science, Springer 2022, ISBN 978-3-030-34371-2, pp. 1-725 - Marco T. Morazán:
Animated Problem Solving - An Introduction to Program Design Using Video Game Development. Texts in Computer Science, Springer 2022, ISBN 978-3-030-85090-6, pp. 3-688 - Rudolf Kruse, Sanaz Mostaghim, Christian Borgelt, Christian Braune, Matthias Steinbrecher:
Computational Intelligence - A Methodological Introduction, Third Edition. Texts in Computer Science, Springer 2022, ISBN 978-3-030-42226-4, pp. 1-625 - Wilhelm Burger, Mark James Burge:
Digital Image Processing - An Algorithmic Introduction, Third Edition. Texts in Computer Science, Springer 2022, ISBN 978-3-031-05743-4, pp. 3-795 - Quentin Charatan, Aaron Kans:
Programming in Two Semesters - Using Python and Java. Texts in Computer Science, Springer 2022, ISBN 978-3-031-01325-6, pp. 3-650 - Marco T. Morazán:
Animated Program Design - Intermediate Program Design Using Video Game Development. Texts in Computer Science, Springer 2022, ISBN 978-3-031-04316-1, pp. 3-514 - Torben Ægidius Mogensen:
Programming Language Design and Implementation. Texts in Computer Science, Springer 2022, ISBN 978-3-031-11805-0, pp. 1-319
2021
- Wei Qi Yan:
Computational Methods for Deep Learning - Theoretic, Practice and Applications. Texts in Computer Science, Springer 2021, ISBN 978-3-030-61080-7, pp. 1-119 - Ze-Nian Li, Mark S. Drew, Jiangchuan Liu:
Fundamentals of Multimedia, Third Edition. Texts in Computer Science, Springer 2021, ISBN 978-3-030-62123-0, pp. 3-809 - Sergei Kurgalin, Sergei Borzunov:
Concise Guide to Quantum Computing - Algorithms, Exercises, and Implementations. Texts in Computer Science, Springer 2021, ISBN 978-3-030-65051-3, pp. 1-103 - Tim Downey:
Guide to Web Development with Java - Understanding Website Creation, Second Edition. Texts in Computer Science, Springer 2021, ISBN 978-3-030-62273-2, pp. 1-502 - Richard Hill, Stuart Berry:
Guide to Industrial Analytics - Solving Data Science Problems for Manufacturing and the Internet of Things. Texts in Computer Science, Springer 2021, ISBN 978-3-030-79103-2, pp. 3-228 - R. M. R. Lewis:
Guide to Graph Colouring - Algorithms and Applications, Second Edition. Texts in Computer Science, Springer 2021, ISBN 978-3-030-81053-5, pp. 1-275 - Andreas Antoniou, Wu-Sheng Lu:
Practical Optimization - Algorithms and Engineering Applications, Second Edition. Texts in Computer Science, Springer 2021, ISBN 978-1-0716-0841-8, pp. 1-634 - Gabriel Valiente:
Algorithms on Trees and Graphs - With Python Code, Second Edition. Texts in Computer Science, Springer 2021, ISBN 978-3-030-81884-5, pp. 3-285 - Gerard O'Regan:
Guide to Discrete Mathematics - An Accessible Introduction to the History, Theory, Logic and Applications, Second Edition. Texts in Computer Science, Springer 2021, ISBN 978-3-030-81587-5, pp. 1-444 - Zhe Hou:
Fundamentals of Logic and Computation - With Practical Automated Reasoning and Verification. Texts in Computer Science, Springer 2021, ISBN 978-3-030-87881-8, pp. 3-217
2020
- David P. Voorhees:
Guide to Efficient Software Design - An MVC Approach to Concepts, Structures, and Models. Texts in Computer Science, Springer 2020, ISBN 978-3-030-28500-5, pp. 1-514 - Joseph Migga Kizza:
Guide to Computer Network Security, 5th Edition. Texts in Computer Science, Springer 2020, ISBN 978-3-030-38140-0, pp. 3-587 - Michael R. Berthold, Christian Borgelt, Frank Höppner, Frank Klawonn, Rosaria Silipo:
Guide to Intelligent Data Science - How to Intelligently Make Use of Real Data, Second Edition. Texts in Computer Science, Springer 2020, ISBN 978-3-030-45573-6, pp. 1-328 - Sergei Kurgalin, Sergei Borzunov:
The Discrete Math Workbook - A Companion Manual Using Python, Second Edition. Texts in Computer Science, Springer 2020, ISBN 978-3-030-42220-2, pp. 1-477 - David Parsons:
Foundational Java - Key Elements and Practical Programming, Second Edition. Texts in Computer Science, Springer 2020, ISBN 978-3-030-54517-8, pp. 1-600 - Steven Skiena:
The Algorithm Design Manual, Third Edition. Texts in Computer Science, Springer 2020, ISBN 978-3-030-54255-9, pp. 3-718
2019
- Ben Stephenson:
The Python Workbook - A Brief Introduction with Exercises and Solutions, Second Edition. Texts in Computer Science, Springer 2019, ISBN 978-3-030-18872-6, pp. 3-213 - Quentin Charatan, Aaron Kans:
Java in Two Semesters - Featuring JavaFX, 4th Edition. Texts in Computer Science, Springer 2019, ISBN 978-3-319-99419-2, pp. 3-708 - Wei Qi Yan:
Introduction to Intelligent Surveillance - Surveillance Data Capture, Transmission, and Analytics, Third Edition. Texts in Computer Science, Springer 2019, ISBN 978-3-030-10712-3, pp. 1-212 - Stefano Crespi-Reghizzi, Luca Breveglieri, Angelo Morzenti:
Formal Languages and Compilation, Third Edition. Texts in Computer Science, Springer 2019, ISBN 978-3-030-04878-5, pp. 1-486 - Dengsheng Zhang:
Fundamentals of Image Data Mining - Analysis, Features, Classification and Retrieval. Texts in Computer Science, Springer 2019, ISBN 978-3-030-17988-5, pp. 3-304 - Ming Li, Paul M. B. Vitányi:
An Introduction to Kolmogorov Complexity and Its Applications, 4th Edition. Texts in Computer Science, Springer 2019, ISBN 978-3-030-11297-4, pp. 1-761 - Chellammal Surianarayanan, Pethuru Raj Chelliah:
Essentials of Cloud Computing - A Holistic Perspective. Texts in Computer Science, Springer 2019, ISBN 978-3-030-13133-3, pp. 1-304
2018
- Sergei Kurgalin, Sergei Borzunov:
The Discrete Math Workbook - A Companion Manual for Practical Study. Texts in Computer Science, Springer 2018, ISBN 978-3-319-92644-5, pp. 1-463 - Kayhan Erciyes:
Guide to Graph Algorithms - Sequential, Parallel and Distributed. Texts in Computer Science, Springer 2018, ISBN 978-3-319-73234-3, pp. 1-451 - Peter R. Turner, Thomas Arildsen, Kathleen Kavanagh:
Applied Scientific Computing - With Python. Texts in Computer Science, Springer 2018, ISBN 978-3-319-89574-1, pp. 1-266
2017
- Joseph Migga Kizza:
Ethical and Social Issues in the Information Age, 6th Edition. Texts in Computer Science, Springer 2017, ISBN 978-3-319-70711-2, pp. 1-369 - Claudio Cioffi-Revilla:
Introduction to Computational Social Science - Principles and Applications, Second Edition. Texts in Computer Science, Springer 2017, ISBN 978-3-319-50130-7, pp. 1-511 - Steven Skiena:
The Data Science Design Manual. Texts in Computer Science, Springer 2017, ISBN 978-3-319-55443-3, pp. 1-425
2016
- Rudolf Kruse, Christian Borgelt, Christian Braune, Sanaz Mostaghim, Matthias Steinbrecher:
Computational Intelligence - A Methodological Introduction, Second Edition. Texts in Computer Science, Springer 2016, ISBN 978-1-4471-7294-9, pp. 1-551 - Gerard O'Regan:
Guide to Discrete Mathematics - An Accessible Introduction to the History, Theory, Logic and Applications. Texts in Computer Science, Springer 2016, ISBN 978-3-319-44560-1, pp. 1-360 - Wilhelm Burger, Mark James Burge:
Digital Image Processing - An Algorithmic Introduction Using Java, Second Edition. Texts in Computer Science, Springer 2016, ISBN 978-1-4471-6683-2, pp. 1-711
2015
- Sholom M. Weiss, Nitin Indurkhya, Tong Zhang:
Fundamentals of Predictive Text Mining, Second Edition. Texts in Computer Science, Springer 2015, ISBN 978-1-4471-6749-5, pp. 1-222
2014
- Zoran Majkic:
Big Data Integration Theory - Theory and Methods of Database Mappings, Programming Languages, and Semantics. Texts in Computer Science, Springer 2014, ISBN 978-3-319-04155-1, pp. 1-513 - Ze-Nian Li, Mark S. Drew, Jiangchuan Liu:
Fundamentals of Multimedia. Texts in Computer Science, Springer 2014, ISBN 978-3-319-05289-2, pp. 1-714
2013
- Joseph M. Kizza:
Ethical and Social Issues in the Information Age, Fifth Edition. Texts in Computer Science, Springer 2013, ISBN 978-1-4471-4989-7, pp. I-XVIII, 1-372 - Rodney G. Downey, Michael R. Fellows:
Fundamentals of Parameterized Complexity. Texts in Computer Science, Springer 2013, ISBN 978-1-4471-5558-4, pp. I-SSS, 3-707 - Stefano Crespi-Reghizzi, Luca Breveglieri, Angelo Morzenti:
Formal Languages and Compilation, Second Edition. Texts in Computer Science, Springer 2013, ISBN 978-1-4471-5513-3, pp. I-XII, 1-399 - Rudolf Kruse, Christian Borgelt, Frank Klawonn, Christian Moewes, Matthias Steinbrecher, Pascal Held:
Computational Intelligence - A Methodological Introduction. Texts in Computer Science, Springer 2013, ISBN 978-1-4471-5012-1, pp. I-XI, 1-490
2012
- Kenneth P. Birman:
Guide to Reliable Distributed Systems - Building High-Assurance Applications and Cloud-Hosted Services. Texts in Computer Science, Springer 2012, ISBN 978-1-4471-2415-3, pp. I-XXII, 1-730
2011
- David Salomon:
The Computer Graphics Manual. Texts in Computer Science, Springer 2011, ISBN 978-0-85729-885-0, pp. i-xxx, 1-1502 - Colin P. Williams:
Explorations in Quantum Computing, Second Edition. Texts in Computer Science, Springer 2011, ISBN 978-1-84628-886-9, pp. I-XXII, 1-717 - Steven Homer, Alan L. Selman:
Computability and Complexity Theory, Second Edition. Texts in Computer Science, Springer 2011, ISBN 978-1-4614-0681-5, pp. I-XVI, 1-298 - Richard Szeliski:
Computer Vision - Algorithms and Applications. Texts in Computer Science, Springer 2011, ISBN 978-1-84882-934-3, pp. i-xx, 1-812 - Vangalur S. Alagar, Kasilingam Periyasamy:
Specification of Software Systems, Second Edition. Texts in Computer Science, Springer 2011, ISBN 978-0-85729-276-6, pp. I-XXV, 1-644
2010
- A. W. Roscoe:
Understanding Concurrent Systems. Texts in Computer Science, Springer 2010, ISBN 978-1-84882-257-3, pp. I-XVIII, 1-527 - Peter Z. Revesz:
Introduction to Databases - From Biological to Spatio-Temporal. Texts in Computer Science, Springer 2010, ISBN 978-1-84996-094-6, pp. i-xvii, 1-753 - Joseph M. Kizza:
Ethical and Social Issues in the Information Age, Fourth Edition. Texts in Computer Science, Springer 2010, ISBN 978-1-84996-037-3, pp. i-xvii, 1-335 - Sholom M. Weiss, Nitin Indurkhya, Tong Zhang:
Fundamentals of Predictive Text Mining. Texts in Computer Science 41, Springer 2010, ISBN 978-1-84996-225-4, pp. I-XII, 1-226 - Michael R. Berthold, Christian Borgelt, Frank Höppner, Frank Klawonn:
Guide to Intelligent Data Analysis - How to Intelligently Make Sense of Real Data. Texts in Computer Science 42, Springer 2010, ISBN 978-1-84882-259-7, pp. I-XIII, 1-394
2009
- Daniel Page:
Practical Introduction to Computer Architecture. Texts in Computer Science, Springer 2009, ISBN 978-1-84882-255-9, pp. I-XXII, 1-641 - Stefano Crespi-Reghizzi:
Formal Languages and Compilation. Texts in Computer Science, Springer 2009, ISBN 978-1-84882-049-4 - Luiz Velho, Alejandro César Frery, Jonas Gomes:
Image Processing for Computer Graphics and Vision, Second Edition. Texts in Computer Science, Springer 2009, ISBN 978-1-84800-192-3, pp. I-XV, 1-471 - Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog:
Verification of Sequential and Concurrent Programs. Texts in Computer Science, Springer 2009, ISBN 978-1-84882-744-8, pp. i-xxiii, 1-502 - Arindama Singh:
Elements of Computation Theory. Texts in Computer Science, Springer 2009, ISBN 978-1-84882-496-6, pp. i-xiii, 1-422
2008
- Ming Li, Paul M. B. Vitányi:
An Introduction to Kolmogorov Complexity and Its Applications, Third Edition. Texts in Computer Science, Springer 2008, ISBN 978-0-387-33998-6, pp. i-xxiii, 1-790 - Wilhelm Burger, Mark James Burge:
Digital Image Processing - An Algorithmic Introduction using Java. Texts in Computer Science, Springer 2008, ISBN 978-1-84628-379-6, pp. I-XX, 1-565
2007
- Joseph M. Kizza:
Ethical and Social Issues in the Information Age, Third Edition. Texts in Computer Science, Springer 2007, ISBN 978-1-84628-658-2, pp. i-xvii, 1-429 - Toshinori Munakata:
Fundamentals of the New Artificial Intelligence - Neural, Evolutionary, Fuzzy and More, Second Edition. Texts in Computer Science, Springer 2007, ISBN 978-1-84628-838-8, pp. I-XI, 1-255
2006
- Dexter Kozen:
Theory of Computation. Texts in Computer Science, Springer 2006, ISBN 978-1-84628-297-3, pp. i-xiii, 1-419
2005
- Pankaj Jalote:
An Integrated Approach to Software Engineering, Third Edition. Texts in Computer Science, Springer 2005, ISBN 978-0-387-20881-7, pp. i-xiv, 1-566 - Sivarama P. Dandamudi:
Introduction to Assembly Language Programming - For Pentium and RISC Processors, Second Edition. Texts in Computer Science, Springer 2005, ISBN 978-0-387-20636-3, pp. i-xxiii, 1-690
2003
- Sivarama P. Dandamudi:
Fundamentals of Computer Organization and Design. Texts in Computer Science, Springer 2003, ISBN 978-0-387-95211-6, pp. i-xxviii, 1-1060 - Steven Skiena, Miguel A. Revilla:
Programming Challenges - The Programming Contest Training Manual. Texts in Computer Science, Springer 2003, ISBN 978-0-387-00163-0, pp. i-xix, 1-359 - Joseph M. Kizza:
Ethical and Social Issues in the Information Age, Second Edition. Texts in Computer Science, Springer 2003, ISBN 978-0-387-95421-9, pp. I-XXIII, 1-374
2002
- Peter Z. Revesz:
Introduction to Constraint Databases. Texts in Computer Science, Springer 2002, ISBN 978-0-387-98729-3, pp. i-xiv, 1-393
2001
- Colin Stirling:
Modal and Temporal Properties of Processes. Texts in Computer Science, Springer 2001, ISBN 978-1-4419-3153-5, pp. i-xii, 1-191 - Doron A. Peled:
Software Reliability Methods. Texts in Computer Science, Springer 2001, ISBN 978-1-4419-2876-4, pp. i-xix, 1-332 - Steven Homer, Alan L. Selman:
Computability and Complexity Theory. Texts in Computer Science, Springer 2001, ISBN 978-1-4419-2865-8, pp. i-xiii, 1-195
1999
- Neil Immerman:
Descriptive complexity. Graduate texts in computer science, Springer 1999, ISBN 978-1-4612-6809-3, pp. I-XVI, 1-268
1998
- Vangalur S. Alagar, Kasilingam Periyasamy:
Specification of Software Systems. Graduate Texts in Computer Science, Springer 1998, ISBN 978-1-4757-2922-1, pp. i-xx, 1-422 - Ralph-Johan Back, Joakim von Wright:
Refinement Calculus - A Systematic Introduction. Graduate Texts in Computer Science, Springer 1998, ISBN 978-0-387-98417-9, pp. I-XV, 1-519
1997
- Ming Li, Paul M. B. Vitányi:
An introduction to Kolmogorov complexity and its applications, Second Edition. Graduate Texts in Computer Science, Springer 1997, ISBN 978-0-387-94868-3, pp. I-XXI, 1-637 - Rolf Socher-Ambrosius, Patricia Johann:
Deduction systems. Graduate Texts in Computer Science, Springer 1997, ISBN 978-0-387-94847-8, pp. I-XII, 1-206 - Anil Nerode, Richard A. Shore:
Logic for Applications, Second Edition. Graduate Texts in Computer Science, Springer 1997, ISBN 978-0-387-94893-5, pp. I-XIII, 1-456 - Fred B. Schneider:
On Concurrent Programming. Graduate Texts in Computer Science, Springer 1997, ISBN 978-1-4612-7303-5, pp. i-xix, 473 - Krzysztof R. Apt, Ernst-Rüdiger Olderog:
Verification of Sequential and Concurrent Programs, Second Edition. Graduate Texts in Computer Science, Springer 1997, ISBN 978-1-4757-2716-6, pp. i-xvii, 1-364
1996
- Melvin Fitting:
First-Order Logic and Automated Theorem Proving, Second Edition. Graduate Texts in Computer Science, Springer 1996, ISBN 978-1-4612-7515-2, pp. I-XVI, 1-326 - Carl H. Smith:
A recursive introduction to the theory of computation. Graduate Texts in Computer Science, Springer 1994, ISBN 978-3-540-94332-7, pp. I-VIII, 1-148
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-20 22:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
