Search for 'se,phr:"Computer science '

Symbolic logic and mechanical theorem proving

By Chang, Chin-Liang. San Diego: Academic Press, 1973 . xiii, 331 p.; 24 cm.. 0121703509

Place Hold on Symbolic logic and mechanical theorem proving

Theory of matrices: with applications

By Lancaster, Peter. San Diego: Academic Press, 1985 . 570 p.; 23 cm.. 0124355609

Place Hold on Theory of matrices: with applications

Linear Programs and related problems

By Nering, Evar D.. Boston: Academic Press, 1993 . 584 p.; 24 cm.. 0125154402

Place Hold on Linear Programs and related problems

Digital picture processing, Volume 1

By Rosenfeld, Azriel. London: Academic Press, 1982 . xiii, 435 p.; 23 cm.. 0125973012

Place Hold on Digital picture processing, Volume 1

Digital picture processing Volume 2

By Rosenfeld, Azriel. Orlando: Academic Press, 1982 . xii, 349 p.; 23 cm.. 0125973020

Place Hold on Digital picture processing Volume 2

Communication and concurrency

By Milner, Robin. Harlow: Prentice Hall, 1989 . xi, 260 p.; 23 cm.. 0131150073

Place Hold on Communication and concurrency

Programming : the derivation of algorithms

By Kaldewaij, Anne. New York: Prentice Hall, 1990 . xii, 216 p.; 24 cm.. 0132041081

Place Hold on Programming : the derivation of algorithms

Introduction to functional programming using haskell

By Bird, Richard. Harlow: Prentice Hall, 1998 . xii, 433 p.; 24 cm.. 0134843460

Place Hold on Introduction to functional programming using haskell

Object-oriented software construction

By Meyer, Bertrand. New Jersey: Prentice Hall, 2000 . xi, 1254 p.; 24 cm.. 0136291554

Place Hold on Object-oriented software construction

Theory and practice of concurrency

By Roscoe, A. W.. London: Prentice Hall, 1998 . xv, 565p.; 24 cm.. 0136744095

Place Hold on Theory and practice of concurrency

Robot vision

By Horn, Berthold K. P.. Cambridge: MIT Press, 1986 . x, 509 p.; 23 cm.. 0262081598

Place Hold on Robot vision

Performance modeling of operating systems using object-oriented simulation : a practical introduction

By Garrido, Jose M.. New York: Kluwer Academic Publishers, 2000 . xiv, 279 p.; 23 cm.. 0306464594

Place Hold on Performance modeling of operating systems using object-oriented simulation : a practical introduction

Dynamic reconfiguration : architectures and algorithms

By Trahan, Jerry L.. New York: Kluwer Academic Publishers, 2003 . xxiii, 512 p.; 25 cm.. 0306481898

Place Hold on Dynamic reconfiguration : architectures and algorithms

Operating systems : concurrent and distributed software design

By Bacon, Jean. Harlow: Addison-Wesley, 2003 . xxxiv, 877 p.; 23 cm.. 0321117891

Place Hold on Operating systems : concurrent and distributed software design

Programming Challenges: The programming contest training manual

By Skiena, Stevan S.. New York: Springer-Verlag, 2003 . 359 p.; 24 cm.. 0387001638

Place Hold on Programming Challenges: The programming contest training manual

Soft real-time systems : predictability vs. efficiency

By Buttazzo, Giorgio. New York: Springer, 2005 . viii, 275 p.; 24 cm.. 0387237011

Place Hold on Soft real-time systems : predictability vs. efficiency

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

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

Fundamental algorithms for permutation groups

By Butler, G.. New York: Springer-Verlag, 1991 . 238 p.; 24 cm.. 0387549552

Place Hold on Fundamental algorithms for permutation groups

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

Asynchronous circuits

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

Place Hold on Asynchronous circuits

Verification of sequential and concurrent programs

By Apt, Krzysztof R.. New York: Springer-Verlag, 1997 . xvii, 364 p.; 25 cm.. 0387948961

Place Hold on Verification of sequential and concurrent programs

On concurrent programming

By Schneider, Fred B.. New York: Springer-Verlag, 1997 . xix, 473 p.; 24 cm.. 0387949429

Place Hold on On concurrent programming

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

Programming Methodology

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

Place Hold on Programming Methodology

Science of programming

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

Place Hold on Science of programming

Cray X-MP/Model 24 : a case study in pipelined architecture and vector processing

By Robbins, Kay A.. New York: Springer, 1989 . vi, 165 p.; 24 cm.. 9780387970899

Place Hold on Cray X-MP/Model 24 : a case study in pipelined architecture and vector processing

Refinement calculus

By Back, Ralph-Johan. New York: Springer-Verlag, 1998 . xv, 519 p.; 24 cm.. 0387984178

Place Hold on Refinement calculus

Specification of software systems

By Alagar, Vangalur S.. New York: Springer, 1998 . xx, 422 p.; 24 cm.. 0387984308

Place Hold on Specification of software systems

Descriptive complexity

By Immerman, Neil. New York: Springer, 1999 . xvi, 268 p.; 25 cm.. 0387986006

Place Hold on Descriptive complexity

C programming : the essentials for engineering and scientists

By Brooks, David R.. New York: Springer, 1999 . xvii, 479 p.; 24 cm.. 0387986324

Place Hold on C programming : the essentials for engineering and scientists

Modal and temporal properties of processes

By Stirling, Colin. New York: Springer-Verlag, 2001 . xii, 190 p.; 24 cm.. 0387987177

Place Hold on Modal and temporal properties of processes

Concurrent and real-time systems : the CSP approach

By Schneider, Steve. Chichester: John Wiley & Sons, 2000 . xv, 510 p.; 23 cm.. 0471623733

Place Hold on Concurrent and real-time systems : the CSP approach

Complexity of boolean functions

By Wegener, Ingo. New York: John Wiley & Sons, 1987 . xi, 457 p.; 24 cm.. 0471915556

Place Hold on Complexity of boolean functions

Concurrency : state models and JAVA programs

By Magee, Jeff. Chichester: John Wiley & Sons, 1999 . xiii, 355 p.; 24 cm.. 0471987107

Place Hold on Concurrency : state models and JAVA programs

Understanding Z : a specification language and its formal semantics

By Spivey, J. M.. New York: Cambridge University Press, 1988 . viii, 131 p.; 25 cm.. 0521054141

Place Hold on Understanding Z : a specification language and its formal semantics

Applications of process algebra

By Baeten, J. C. M. . Cambridge: Cambridge University Press, 2004 . ix, 317 p.; 25 cm.. 0521607507

Place Hold on Applications of process algebra

Updating logical databases

By Winslett, Marianne. Cambridge: Cambridge University Press, 2005 . viii, 211 p.; 25 cm.. 0521619726

Place Hold on Updating logical databases

Laboratory course in Java

By Dale, Nell. Sudbury: Jones & Bartlett, 2001 . xi, 315 p.; 28 cm.. 0763715018

Place Hold on Laboratory course in Java

Fundamentals of computer science using Java

By Hughes, David. Sudbury: Jones & Bartlett, 2002 . xvii, 525 p.; 23 cm.. 0763717614

Place Hold on Fundamentals of computer science using Java

Introduction to cryptography with Java applets

By Bishop, David. Sudbury: Jones & Bartlett, 2003 . xvi, 370 p.; 24 cm.. 0763722073

Place Hold on Introduction to cryptography with Java applets

Laboratory course for programming with Java

By Dale, Nell. Sudbury: Jones & Bartlett, 2003 . xi, 311 p.; 28 cm.. 0763724637

Place Hold on Laboratory course for programming with Java

Fixed interval smoothing for state space models

By Weinert, Howard L.. Boston: Kluwer Academic Publishers, 2001 . 118 p.; 25 cm.. 0792372999

Place Hold on Fixed interval smoothing for state space models

Super-resolution imaging

By Chaudhuri, Subhasis. Boston: Kluwer Academic Publishers, 2001 . xiii, 279 p.; 24 cm.. 0792374711

Place Hold on Super-resolution imaging

Compression and coding algorithms

By Moffat, Alistair. Boston: Kluwer Academic Publishers, 2002 . 275 p.; 24 cm.. 0792376684

Place Hold on Compression and coding algorithms

Applications of digital signal processing to audio and acoustics

By Kahrs, Mark. Boston: Kluwer Academic Publishers, 1998 . xxxi, 545 p.; 25 cm.. 0792381300

Place Hold on Applications of digital signal processing to audio and acoustics

Biometrics : personal identification in networked society

By Jain, Anil Kumar. Boston: Kluwer Academic, 1999 . xi, 411 p.; 24 cm.. 0792383451

Place Hold on Biometrics : personal identification in networked society

Introduction to error correcting codes with applications

By Vanstone, Scott A.. Boston: Kluwer Academic Publishers, 2006 . xv, 289 p.; 26 cm.. 0792390172

Place Hold on Introduction to error correcting codes with applications

Foundations of real-time computing : scheduling and resource management

By Van Tilborg, Andre M. . Boston: Kluwer Academic Publishers, 1991 . ix, 326 p.; 25 cm.. 0792391667

Place Hold on Foundations of real-time computing : scheduling and resource management

Vector quantization and signal compression

By Gray, Robert M.. Boston: Kluwer Academic Publishers, 1992 . xxii, 732 p.; 25 cm.. 0792391810

Place Hold on Vector quantization and signal compression