Texts In Computer Science Series

New Releases

Language

Ebook Format

DRM

1 - 10 of 62 results

Computer Vision: Algorithms and Applications

Computer Vision

Algorithms and Applications

Springer London (2010)
US$74.90

Humans perceive the three-dimensional structure of the world with apparent ease. However, despite...

Introduction to Assembly Language Programming: For Pentium and RISC Processors

Introduction to Assembly Language Programming (2nd ed.)

For Pentium and RISC Processors

Springer New York (2006)
US$89.13

Assembly language continues to hold a core position in the programming world because of its similar...

An Introduction to Kolmogorov Complexity and Its Applications
Springer New York (2009)
US$66.84

Written by two experts in the field, this is the only comprehensive and unified treatment of the...

An Introduction to Kolmogorov Complexity and Its Applications
Springer New York (2013)
US$77.99

Briefly, we review the basic elements of computability theory and prob­ ability theory that are...

Specification of Software Systems
Springer New York (2013)
US$77.99

This is a textbook on software specification emphasizing formal methods that are relevant to...

Ethical and Social Issues in the Information Age
Springer New York (2007)
US$77.99

Since the publication of the ?rst edition in 1997, there have been tremendous changes in the ?elds...

Fundamentals of Computer Organization and Design
Springer New York (2006)
US$96.93

This advanced textbook provides a comprehensive survey of hardware and software architectural...

Programming Challenges: The Programming Contest Training Manual

Programming Challenges

The Programming Contest Training Manual

Springer New York (2006)
US$59.04

There are many distinct pleasures associated with computer programming. Craftsm- ship has its quiet...

Introduction to Constraint Databases
Springer New York (2006)
US$66.84

Differing from other books on the subject, this one uses the framework of constraint databases to...

Modal and Temporal Properties of Processes
Springer New York (2013)
US$83.56

In recent years, model checking has become an essential technique for the formal verification of...