Search for 'Provider:Springer, and se:Monographs in computer science'

Computational geometry: an introduction

By Preparata, Franco P. . New York Springer 1985 . xiv, 398 p. 24 cm. 9781461270102

Place Hold on Computational geometry: an introduction

Active rules in database systems

By Paton, Norman W. . New York: Springer, 1999 . xix, 439 p.; 24 cm.. 9781461264484

Place Hold on Active rules in database systems

Theory of objects

By Abadi, Martin. Berlin: Springer, 1998 . xiii, 396 p.; 25 cm.. 9780387947754

Place Hold on Theory of objects

Geometric fundamentals of robotics

By Selig, J. M. . New York: Springer, 2005 . xv, 398 p.; 24 cm.. 9780387208749

Place Hold on Geometric fundamentals of robotics

Design and analysis of algorithms

By Kozen, Dexter C.. New York: Springer, 1992 . x, 320 p.; 24 cm.. 9780387976877

Place Hold on Design and analysis of algorithms

Selected writings on computing : a personal perspective

By Dijkstra, Edsger W.. New York: Springer, 1982 . xvii, 362 p.; 24 cm.. 0387906525

Place Hold on Selected writings on computing : a personal perspective

Parsing techniques : a practical guide

By Grune, Dick. New York: Springer, 2008 . xxxiv, 662 p.; 24 cm.. 9780387202488

Place Hold on Parsing techniques : a practical guide

Adapting proofs-as-programs : the Curry-Howard protocol

By Crossley, John N.. New York: Springer, 2005 . xi, 420 p.; 24 cm.. 0387237593

Place Hold on Adapting proofs-as-programs : the Curry-Howard protocol

Computer systems : theory, technology, and applications

By Sparck Jones, Karen. New York Springer 2004 . xvii, 338 p. 25 cm.. 038720170X

Place Hold on Computer systems : theory, technology, and applications

Abstraction, Refinement and Proof for Probabilistic Systems

By McIver, Annabelle. New York: Springer-Verlag, 2004 . xix, 383 p.; 24 cm.. 9780387401157

Place Hold on Abstraction, Refinement and Proof for Probabilistic Systems

Discipline of multiprogramming : programming theory for distributed applications

By Misra, Jayadev. New York: Springer-Verlag, 2001 . xviii, 420 p.; 24 cm.. 0387952063

Place Hold on Discipline of multiprogramming : programming theory for distributed applications

Evolutionary synthesis of pattern recognition systems

By Bhanu, Bir. New York: Springer, 2005 . xxiii, 294 p.; 24 cm.. 9780387212951

Place Hold on Evolutionary synthesis of pattern recognition systems

Reverse Engineering of Object Oriented Code

By Potrich, Alessandra. New York: Springer, 2005 . xiv, 208 p.; 25 cm.. 0387402950

Place Hold on Reverse Engineering of Object Oriented Code

Asynchronous circuits

By Brzozowski, Janusz A.. New York: Springer-Verlag, 1995 . xvi, 404 p.; 24 cm.. 0387944206

Place Hold on Asynchronous circuits

Science of programming

By Gries, David. New York: Springer, 1981 . xv, 366 p.; 24 cm.. 9780387964805

Place Hold on Science of programming

Set theory for computing

By Cantone, Domenico. New York: Springer-Verlag, 2001 . xviii, 409 p.; 23 cm.. 9780387951973

Place Hold on Set theory for computing

Programming Methodology

By Mclver, Annabelle. Berlin: Springer-Verlag, 2002 . 469 p.; 24 cm.. 0387953493

Place Hold on Programming Methodology