Texts in Computer Science – serie
Visar alla böcker i serien Texts in Computer Science. Handla med fri frakt och snabb leverans.
152 produkter
Computer Vision
Algorithms and Applications
Inbunden, 2022
877 kr
Lägg i varukorg
Computer Vision: Algorithms and Applications explores the variety of techniques used to analyze and interpret images. It also describes challenging real-world applications where vision is being successfully used, both in specialized applications such as image search and autonomous navigation, as …
Computer Vision
Algorithms and Applications
Häftad, 2023
659 kr
Lägg i varukorg
Computer Vision: Algorithms and Applications explores the variety of techniques used to analyze and interpret images. It also describes challenging real-world applications where vision is being successfully used, both in specialized applications such as image search and autonomous navigation, as …
Algorithm Design Manual
Häftad, 2021
766 kr
Lägg i varukorg
"My absolute favorite for this kind of interview preparation is Steven Skiena’s The Algorithm Design Manual. More than any other book it helped me understand just how astonishingly commonplace … graph problems are -- they should be part of every working programmer’s toolkit. The book also covers …
Fundamentals of Digital Forensics
A Guide to Theory, Research and Applications
Av Joakim Kävrestad, Marcus Birath m. fl.
Häftad, 2025
659 kr
Kommande
This textbook describes the theory and methodology of digital forensic examinations, presenting examples developed in collaboration with police authorities to ensure relevance to real-world practice. The coverage includes discussions on forensic artifacts and constraints, as well as forensic tools …
Programming Challenges
The Programming Contest Training Manual
Av Steven S Skiena, Miguel A. Revilla
Häftad, 2003
5,0 utav 5 stjärnor. Totalt antal röster: (1)
847 kr
Lägg i varukorg
There are many distinct pleasures associated with computer programming. Craftsmanship has its quiet rewards, the satisfaction that comes from building a useful object and making it work. Excitement arrives with the flash of insight that cracks a previously intractable problem. The spiritual quest …
Introduction to Assembly Language Programming
For Pentium and RISC Processors
Inbunden, 2004
1015 kr
Lägg i varukorg
Assembly language continues to hold a core position in the programming world because of its similar structure to machine language and its very close links to underlying computer-processor architecture and design. These features allow for high processing speed, low memory demands, and the capacity …
Integrated Approach to Software Engineering
Inbunden, 2005
835 kr
Lägg i varukorg
An introductory course in Software Engineering remains one of the hardest subjects to teach. Much of the difficulty stems from the fact that Software Engineering is a very wide field which includes a wide range of topics. Con sequently, what should be the focus of an introductory course remains a …
Recursive Introduction to the Theory of Computation
Av Carl Smith
Inbunden, 1994
567 kr
Lägg i varukorg
The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting various examples, the author explores the limitations of effective computation via basic recursion theory. Self-reference and other methods are …
Logic for Applications
Av Anil Nerode, Richard A. Shore
Inbunden, 1997
1529 kr
Lägg i varukorg
In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re cent dramatic growth in the applications oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such …
On Concurrent Programming
Inbunden, 1997
567 kr
Lägg i varukorg
Concurrent computing is gaining ground in interest as it becomes increasingly feasible to implement distributed computing across networks of workstations. This book, by one of the subject's leading figures, provides a comprehensive survey of the subject beginning with proposotional logic and …
Software Reliability Methods
Inbunden, 2001
567 kr
Lägg i varukorg
Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method, and present it as the suggested solution for the software reliability problem. This book presents a wider picture of formal methods, through a collection of …
Fundamentals of Computer Organization and Design
Inbunden, 2003
1127 kr
Lägg i varukorg
Computer science and engineering curricula have been evolving at a fast pace to keep up with the developments in the area. There are separate books available on assembly language programming and computer organization. There is a definite need to support the courses that combine assembly language …
Refinement Calculus
A Systematic Introduction
Av Ralph-Johan Back, Joakim Wright
Häftad, 1998
1203 kr
Lägg i varukorg
Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal …
Descriptive Complexity
Inbunden, 1998
1312 kr
Lägg i varukorg
A basic issue in computer science is the complexity of problems. Computational complexity measures how much time or memory is needed as a function of the input problem size. Descriptive complexity is concerned with problems which may be described in first-order logic. By virtue of the close …
Modal and Temporal Properties of Processes
Inbunden, 2001
551 kr
Lägg i varukorg
Recently, temporal and modal logic, process calculus, and model checking have become essential software techniques for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited …
Introduction to Constraint Databases
Av Peter Revesz
Inbunden, 2002
567 kr
Lägg i varukorg
A new text/reference presenting the theory and applications of "constraint database" systems, which provide new methods for the design of data models and query languages. Constraint databases bring techniques from a variety of fields, such as logic and model theory, algebraic and computational …
Specification of Software Systems
Inbunden, 2011
568 kr
Lägg i varukorg
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different …
Computer Graphics Manual
Inbunden, 2011
1914 kr
Lägg i varukorg
This book presents a broad overview of computer graphics (CG), its history, and the hardware tools it employs. Covering a substantial number of concepts and algorithms, the text describes the techniques, approaches, and algorithms at the core of this field. Emphasis is placed on practical design …
Practical Optimization
Algorithms and Engineering Applications
Av Andreas Antoniou, Wu-Sheng Lu
Inbunden, 2021
1205 kr
Lägg i varukorg
This textbook provides a hands-on treatment of the subject of optimization. A comprehensive set of problems and exercises makes it suitable for use in one or two semesters of an advanced undergraduate course or a first-year graduate course. Each half of the book contains a full semester’s worth of …
Introduction to Assembly Language Programming
For Pentium and RISC Processors
Häftad, 2010
914 kr
Lägg i varukorg
Assembly language continues to hold a core position in the programming world because of its similar structure to machine language and its very close links to underlying computer-processor architecture and design. These features allow for high processing speed, low memory demands, and the capacity …
Software Reliability Methods
Häftad, 2011
567 kr
Lägg i varukorg
Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method, and present it as the suggested solution for the software reliability problem. This book presents a wider picture of formal methods, through a collection of …
Modal and Temporal Properties of Processes
Häftad, 2011
552 kr
Lägg i varukorg
Recently, temporal and modal logic, process calculus, and model checking have become essential software techniques for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited …
Introduction to Constraint Databases
Av Peter Revesz
Häftad, 2010
567 kr
Lägg i varukorg
A new text/reference presenting the theory and applications of "constraint database" systems, which provide new methods for the design of data models and query languages. Constraint databases bring techniques from a variety of fields, such as logic and model theory, algebraic and computational …
Integrated Approach to Software Engineering
Häftad, 2010
835 kr
Lägg i varukorg
An introductory course in Software Engineering remains one of the hardest subjects to teach. Much of the difficulty stems from the fact that Software Engineering is a very wide field which includes a wide range of topics. Con sequently, what should be the focus of an introductory course remains a …
Guide to Reliable Distributed Systems
Building High-Assurance Applications and Cloud-Hosted Services
Inbunden, 2012
903 kr
Lägg i varukorg
This book describes the key concepts, principles and implementation options for creating high-assurance cloud computing solutions. The guide starts with a broad technical overview and basic introduction to cloud computing, looking at the overall architecture of the cloud, client systems, the modern …
Verification of Sequential and Concurrent Programs
Av Krzysztof R. Apt, Frank S. de Boer m. fl.
Häftad, 2012
903 kr
Lägg i varukorg
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded in the sense that it covers a large variety of programming models and features that appear in most modern programming …
Introduction to Databases
From Biological to Spatio-Temporal
Av Peter Revesz
Häftad, 2012
1014 kr
Lägg i varukorg
Introduced forty years ago, relational databases proved unusually succe- ful and durable. However, relational database systems were not designed for modern applications and computers. As a result, specialized database systems now proliferate trying to capture various pieces of the database market. …
Understanding Concurrent Systems
Av A.W. Roscoe
Häftad, 2012
567 kr
Lägg i varukorg
CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent …
Specification of Software Systems
Häftad, 2013
567 kr
Lägg i varukorg
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different …
