Akademibokhandeln

Texts in Computer Science – serie

Visar alla böcker i serien Texts in Computer Science. Handla online eller reservera direkt i butik.

  1. Guide to Graph Algorithms

    Guide to Graph Algorithms

    K Erciyes · 2019

  2. Introduction to Assembly Language Programming

    Introduction to Assembly Language Programming

    Sivarama P. Dandamudi · 2004

  3. Computational Intelligence

    Computational Intelligence

    Rudolf Kruse, Christian Borgelt, Christian Braune, Sanaz Mostaghim, Matthias Steinbrecher · 2018

  4. Integrated Approach to Software Engineering

    Integrated Approach to Software Engineering

    Pankaj Jalote · 2005

  5. Software Reliability Methods

    Software Reliability Methods

    Doron A. Peled · 2001

  6. Modal and Temporal Properties of Processes

    Modal and Temporal Properties of Processes

    Colin Stirling · 2001

  7. Introduction to Constraint Databases

    Introduction to Constraint Databases

    Peter Revesz · 2002

  8. Specification of Software Systems

    Specification of Software Systems

    V.S. Alagar, K. Periyasamy · 2011

  9. Recursive Introduction to the Theory of Computation

    Recursive Introduction to the Theory of Computation

    Carl Smith · 1994

  10. Logic for Applications

    Logic for Applications

    Anil Nerode, Richard A. Shore · 1997

  11. On Concurrent Programming

    On Concurrent Programming

    Fred B. Schneider · 1997

  12. Descriptive Complexity

    Descriptive Complexity

    Neil Immerman · 1998

  13. Guide to Reliable Distributed Systems

    Guide to Reliable Distributed Systems

    Kenneth P Birman · 2012

  14. Fundamentals of Computer Organization and Design

    Fundamentals of Computer Organization and Design

    Sivarama P. Dandamudi · 2003

  15. Fundamentals of Parameterized Complexity

    Fundamentals of Parameterized Complexity

    Rodney G. Downey, Michael R. Fellows · 2013

  16. Fundamentals of Predictive Text Mining

    Fundamentals of Predictive Text Mining

    Sholom M. Weiss, Nitin Indurkhya, Tong Zhang · 2015

  17. Computer Vision

    Computer Vision

    Richard Szeliski · 2022

  18. Algorithm Design Manual

    Algorithm Design Manual

    Steven S. Skiena · 2021

  19. Understanding Concurrent Systems

    Understanding Concurrent Systems

    A.W. Roscoe · 2012

  20. Verification of Sequential and Concurrent Programs

    Verification of Sequential and Concurrent Programs

    Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog · 2012

  21. Image Processing for Computer Graphics and Vision

    Image Processing for Computer Graphics and Vision

    Luiz Velho, Alejandro C. Frery, Jonas Gomes · 2014

  22. Introduction to Databases

    Introduction to Databases

    Peter Revesz · 2012

  23. Explorations in Quantum Computing

    Explorations in Quantum Computing

    Colin P. Williams · 2010

  24. Fundamentals of the New Artificial Intelligence

    Fundamentals of the New Artificial Intelligence

    Toshinori Munakata · 2008

  25. Fundamentals of Image Data Mining

    Fundamentals of Image Data Mining

    Dengsheng Zhang · 2020

  26. Elements of Computation Theory

    Elements of Computation Theory

    Arindama Singh · 2014

  27. Computability and Complexity Theory

    Computability and Complexity Theory

    Steven Homer, Alan L. Selman · 2011

  28. Theory of Computation

    Theory of Computation

    Dexter C. Kozen · 2006

  29. Practical Introduction to Computer Architecture

    Practical Introduction to Computer Architecture

    Daniel Page · 2009

  30. Discrete Math Workbook

    Discrete Math Workbook

    Sergei Kurgalin, Sergei Borzunov · 2019

  31. Guide to Efficient Software Design

    Guide to Efficient Software Design

    David P. Voorhees · 2020

  32. Data Science Design Manual

    Data Science Design Manual

    Steven S. Skiena · 2017

  33. Guide to Intelligent Data Science

    Guide to Intelligent Data Science

    Michael R. Berthold, Christian Borgelt, Frank Höppner, Frank Klawonn, Rosaria Silipo · 2020

  34. Foundational Java

    Foundational Java

    David Parsons · 2020

  35. Programming Challenges

    Programming Challenges

    Steven S Skiena, Miguel A. Revilla · 2003

  36. Fundamentals of Multimedia

    Fundamentals of Multimedia

    Ze-Nian Li, Mark S. Drew, Jiangchuan Liu · 2021

  37. Refinement Calculus

    Refinement Calculus

    Ralph-Johan Back, Joakim Wright · 1998

  38. Concise Guide to Quantum Computing

    Concise Guide to Quantum Computing

    Sergei Kurgalin, Sergei Borzunov · 2021

  39. Guide to Discrete Mathematics

    Guide to Discrete Mathematics

    Gerard O'Regan · 2021

  40. Computer Graphics Manual

    Computer Graphics Manual

    David Salomon · 2011

  41. Practical Optimization

    Practical Optimization

    Andreas Antoniou, Wu-Sheng Lu · 2021

  42. Guide to Industrial Analytics

    Guide to Industrial Analytics

    Richard Hill, Stuart Berry · 2021

  43. Guide to Graph Colouring

    Guide to Graph Colouring

    R. M. R. Lewis · 2021

  44. Algorithms on Trees and Graphs

    Algorithms on Trees and Graphs

    Gabriel Valiente · 2021

  45. Programming Language Design and Implementation

    Programming Language Design and Implementation

    Torben Ægidius Mogensen · 2022

  46. Animated Problem Solving

    Animated Problem Solving

    Marco T. Morazán · 2022

  47. Python Workbook

    Python Workbook

    Ben Stephenson · 2020

  48. Deduction Systems

    Deduction Systems

    Rolf Socher-Ambrosius, Patricia Johann · 2011

  49. Fundamentals of Logic and Computation

    Fundamentals of Logic and Computation

    Zhe Hou · 2021

  50. First-Order Logic and Automated Theorem Proving

    First-Order Logic and Automated Theorem Proving

    Melvin Fitting · 2013

  51. Programming in Two Semesters

    Programming in Two Semesters

    Quentin Charatan, Aaron Kans · 2022

  52. Ethical and Social Issues in the Information Age

    Ethical and Social Issues in the Information Age

    Joseph Migga Kizza · 2023

  53. Animated Program Design

    Animated Program Design

    Marco T. Morazán · 2022

  54. Formal Languages and Compilation

    Formal Languages and Compilation

    Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti · 2019

  55. Understanding Computation

    Understanding Computation

    Arnold L. Rosenberg, Lenwood S. Heath · 2022

  56. Automata and Dictionaries

    Automata and Dictionaries

    Denis Maurel, Franz Guenthner · 2005

  57. Logic for Artificial Intelligence and Information Technology

    Logic for Artificial Intelligence and Information Technology

    Dov M. Gabbay · 2007

  58. Introduction to Kolmogorov Complexity and Its Applications

    Introduction to Kolmogorov Complexity and Its Applications

    Ming Li, Paul Vitányi · 2019

  59. Invariants

    Invariants

    Daniel Zingaro · 2008

  60. Introduction to Intelligent Surveillance

    Introduction to Intelligent Surveillance

    Wei Qi Yan · 2019

  61. Mathematical Foundations of Data Science

    Mathematical Foundations of Data Science

    Tomas Hrycej, Bernhard Bermeitinger, Matthias Cetto, Siegfried Handschuh · 2023

  62. Computational Methods for Deep Learning

    Computational Methods for Deep Learning

    Wei Qi Yan · 2021

  63. Mathematical Foundations of Software Engineering

    Mathematical Foundations of Software Engineering

    Gerard O'Regan · 2023

  64. Concise Guide to Software Verification

    Concise Guide to Software Verification

    Marieke Huisman, Anton Wijs · 2023

  65. Essentials of Cloud Computing

    Essentials of Cloud Computing

    Chellammal Surianarayanan, Pethuru Raj Chelliah · 2023

  66. Guide to Web Development with Java

    Guide to Web Development with Java

    Tim Downey · 2021

  67. Programming-Based Formal Languages and Automata Theory

    Programming-Based Formal Languages and Automata Theory

    Marco T. Morazán · 2023

  68. Guide to Computer Network Security

    Guide to Computer Network Security

    Joseph Migga Kizza · 2024

  69. Fundamentals of Digital Forensics

    Fundamentals of Digital Forensics

    Joakim Kävrestad, Marcus Birath, Nathan Clarke · 2024

  70. Digital Image Processing

    Digital Image Processing

    Wilhelm Burger, Mark J. Burge · 2022

  71. Guide to AI for Cybersecurity

    Guide to AI for Cybersecurity

    Muthu Ramachandran · 2026

  72. Big Data Integration Theory

    Big Data Integration Theory

    Zoran Majkić · 2014

  73. Java in Two Semesters

    Java in Two Semesters

    Quentin Charatan, Aaron Kans · 2027

  74. Introduction to Computational Social Science

    Introduction to Computational Social Science

    Claudio Cioffi-Revilla · 2017

  75. Introduction to Biometrics

    Introduction to Biometrics

    Anil K. Jain, Arun A. Ross, Karthik Nandakumar, Thomas Swearingen · 2024

  76. Numbers and Computers

    Numbers and Computers

    Ronald T. Kneusel · 2024

  77. Guide to Numerical Algorithm Design and Development

    Guide to Numerical Algorithm Design and Development

    George Delic · 2025

  78. Exploring Computational Geometry

    Exploring Computational Geometry

    Adis Alihodžić · 2026

  79. Applied Scientific Computing

    Applied Scientific Computing

    Peter R. Turner, Thomas Arildsen, Kathleen Kavanagh · 2018

  80. Guide to Intelligent Data Analysis

    Guide to Intelligent Data Analysis

    Michael R. Berthold, Christian Borgelt, Frank Höppner, Frank Klawonn · 2012