Search for 'se:International Computer Science Series'

Research and development in expert systems IV : proceedings of Expert Systems '87, the seventh annual technical conference of the British Computer Society group on Expert Systems, Brighton, 14-17 december 1987 /

Cambridge : Cambridge University Group ; The british computer society, 1988 . 345 p. ; 25 cm.. 0521355516

Place Hold on Research and development in expert systems IV : proceedings of Expert Systems '87, the seventh annual technical conference of the British Computer Society group on Expert Systems, Brighton, 14-17 december 1987 /

Data compression : methods and theory /

By Storer, James A.. Rockville : Computer Science Press, 1988 . X, 413 p. ; 24 cm.. 0881751618

Place Hold on Data compression : methods and theory /

Introduction to computer organization and data structures, PDP-11 edition /

By Stone, Harold S.. New York : McGraw-Hill, 1975 . XIV, 368 p. : 24 cm.. 0070617201

Place Hold on Introduction to computer organization and data structures, PDP-11 edition /

Computer networks /

Englewood Cliff : Prentice-Hall, 1972 . 205 p. : 24 cm.. 0131661086

Place Hold on Computer networks /

The implementation of Prolog /

By Boizumault, Patrice. Princeton : Princeton University Press, 1993 . XII, 299 p. : 25 cm.. 0691087571

Place Hold on The implementation of Prolog /

Information randomness and incompleteness : papers on algorithmic information theory /

By Chaitin, G. J.. Singapore : World Scientific, 1990 . V, 319 p. ; 27 cm.. 9810201540

Place Hold on Information randomness and incompleteness : papers on algorithmic information theory /

Structure and interpretation of computer programs /

By Abelson, Harold. Cambridge : The MIT Press ; New York : McGraw-Hill, 1985 . XX, 542 p. : 24 cm.. 0262010771

Place Hold on Structure and interpretation of computer programs /

Type theory and functional programming /

By Thompson, Simon. Workingham, [England] : Addison-Wesley Publishing Company, 1991 . XV, 372 p. ; 24 cm.. 0201416670

Place Hold on Type theory and functional programming /

Neural networks in robotics /

Boston : Kluwer Academic Publishers, 1993 . XI, 563 p. ; 24 cm.. 079239268X

Place Hold on Neural networks in robotics /

An introduction to functional programming through lambda calculus /

By Michaelson, Greg,. Wokingham : Addison Wesley, 1989 . XV, 320 p. ; 23 cm.. 0201178125

Place Hold on An introduction to functional programming through lambda calculus /

Image reconstruction from projections : the foundamentals of computerized tomography /

By Herman, Gabor T.. New York : Academic Press, 1980 . XIV, 316 p. : 23 cm.. 0123420504

Place Hold on Image reconstruction from projections : the foundamentals of computerized tomography /

Verifiable programming /

By Dahl, Ole-Johan. New York : Prentice Hall, 1992 . IX, 269 p. ; 24 cm.. 0139510621

Place Hold on Verifiable programming /

Computer-aided mechanical assembly planning /

Boston : Kluwer Academic Publishers, 1991 . XI, 446 p. ; 24 cm.. 0792392051

Place Hold on Computer-aided mechanical assembly planning /

Introduction to simulation : programming techniques and methods of analysis /

By Payne, Andrew. New York : McGraw-Hill, 1988 . XII, 324 p. ; 24 cm.. 0071002502

Place Hold on Introduction to simulation : programming techniques and methods of analysis /

An introduction to functional programming /

By Bird, Richard J.. New York : Prentice, 1988 . XV, 293 p. ; 23 cm.. 0134841891

Place Hold on An introduction to functional programming /

Programming in Martin Lof' s type theory : an introduction /

By Nordstrom, Bengt. Oxford : Clarendon Press, 1990 . 221 p. ; 24 cm.. 0198538146

Place Hold on Programming in Martin Lof' s type theory : an introduction /

COMMON LISP /

By Hennessey, Wade L.. New York : McGraw-Hill, 1989 . XV, 395 p. : 24 cm.. 0070281777

Place Hold on COMMON LISP /

Common LISP programming for artificial intelligence. /

By Hasemer, Tony. Wokingham, [England] : Addison-Wesley, 1989 . XIII, 444 p. ; 23 cm.. 0201175797

Place Hold on Common LISP programming for artificial intelligence. /

The foundations of program verification /

By Loeckx, Jacques. Stuttgart : B.G. Teubner ; Chichester [West Sussex] ; New York : Wiley, 1984 . IX, 230 p. : 24 cm.. 0471912824

Place Hold on The foundations of program verification /

CAD Based Programming for Sensory Robots /

Berlin : Springer-Verlag, 1988 . IX, 565 p. ; 24 cm.. 354050415X

Place Hold on CAD Based Programming for Sensory Robots /