|
|
QA 251.5 G6 : The theory of semirings : with applications in mathematics and theoretical computer science.; BJL
|
|
|
The theory of semirings : with applications in mathematics and theoretical computer science.
BJL
|
BOOK
|
1992
|
|
QA 252.3 A2 / q : Affine lie algebras, weight multiplicities, and branching rules / S. Kass ... [et al.].; BJL
|
|
|
Affine lie algebras, weight multiplicities, and branching rules / S. Kass ... [et al.].
BJL
|
BOOK
|
1990
|
|
QA 252.3 C5 : Lie algebraic methods in integrable systems.; BJL
|
|
|
Lie algebraic methods in integrable systems.
BJL
|
BOOK
|
2000
|
|
QA 252.3 H6 / q : Representation theory of Lie algebras / lecture notes by G. Leger.; BJL
|
|
|
Representation theory of Lie algebras / lecture notes by G. Leger.
BJL
|
BOOK
|
1959
|
|
QA 252.3 K1
|
|
|
Infinite dimensional lie algebras.
BJL
|
BOOK
|
1990
|
Kac-Moody and Virasoro algebras : a reprint volume for physicists / edited by P. Goddard, D. Olive.
BJL
|
BOOK
|
1988
|
|
QA 252.3 S1 : Notes on lie algebras.; BJL
|
|
|
Notes on lie algebras.
BJL
|
BOOK
|
1990
|
|
QA 252.3 S4
|
|
|
Algebres de Lie semi-simples complexes.
BJL
|
BOOK
|
1966
|
Lie algebras and Lie groups : 1964 lectures given at Harvard University.
BJL
|
BOOK
|
1965
|
|
QA 252.3 T6 / q : Liesche Gruppen und Algebren.; BJL
|
|
|
Liesche Gruppen und Algebren.
BJL
|
BOOK
|
1965
|
|
QA 252.5 B5 : The geometry of Jordan and Lie structures.; BJL
|
|
|
The geometry of Jordan and Lie structures.
BJL
|
BOOK
|
c2000
|
|
QA 255 C6 : Complex numbers : a study in algebraic structure / W.H. Cockcroft.; BJL
|
|
|
Complex numbers : a study in algebraic structure / W.H. Cockcroft.
BJL
|
BOOK
|
1972
|
|
QA 255 N1 : An imaginary tale : the story of [the square root of minus one].; BJL
|
|
|
An imaginary tale : the story of [the square root of minus one].
BJL
|
BOOK
|
1998
|
|
QA 261 C8 : Vector calculus.; BJL
|
|
|
Vector calculus.
BJL
|
BOOK
|
1998
|
|
QA 261 H6 : Vectors in 2 or 3 dimensions.; BJL
|
|
|
Vectors in 2 or 3 dimensions.
BJL
|
BOOK
|
1995
|
|
QA 261 H8 / q : Vector analysis.; BJL
|
|
|
Vector analysis.
BJL
|
BOOK
|
1969
|
|
QA 261 S7 / q : Schaum's outline of theory and problems of vector analysis and an introduction to tensor analysis.; BJL
|
|
|
Schaum's outline of theory and problems of vector analysis and an introduction to tensor analysis.
BJL
|
BOOK
|
1974
|
|
QA 262 H2 : Organic synthetic methods.; BJL
|
|
|
Organic synthetic methods.
BJL
|
BOOK
|
2002
|
|
QA 264 A7
|
|
|
Foundations of programming / translated [from the French] by F. Duncan.
BJL
|
BOOK
|
1985
|
The program development process.
BJL
|
BOOK
|
1974
|
|
QA 264 B2
|
|
|
Assemblers and loaders.
BJL
|
BOOK
|
1978
|
Computer programming in English.
BJL
|
BOOK
|
1969
|
Recursive techniques in programming.
BJL
|
BOOK
|
1968
|
Recursive techniques in programming.
BJL
|
BOOK
|
1975
|
|
QA 264 B4
|
|
|
Optimality in nonlinear programming / by A. Ben-Israel, A. Ben-Tal and S. Zlobec.
BJL
|
BOOK
|
1981
|
Principles of concurrent programming.
BJL
|
BOOK
|
1982
|
Successful software for small computers : structured programming in basic.
BJL
|
BOOK
|
1980
|
|
QA 264 B5 : Software configuration management.; BJL
|
|
|
Software configuration management.
BJL
|
BOOK
|
1980
|
|
QA 264 B7 : Microprogramming.; BJL
|
|
|
Microprogramming.
BJL
|
BOOK
|
1975
|
|
QA 264 B8
|
|
|
BS 5515. 1978. Code of practice for documentation of computer-based systems.
BJL
|
BOOK
|
1978
|
Macro processors and techniques for portable software.
BJL
|
BOOK
|
1974
|
The mythical man-month : essays on software engineering.
BJL
|
BOOK
|
1995
|
Program debugging : the prevention and cure of program errors.
none
|
BOOK
|
1973
|
|
QA 264 B9
|
|
|
Computer programming and autocodes.
BJL
|
BOOK
|
1964
|
Distributed control systems.
BJL
|
BOOK
|
1969
|
Flowcharting : programming, software designing, and computer problem solving.
BJL
|
BOOK
|
1975
|
Recursive programming techniques.
BJL
|
BOOK
|
1975
|
|
QA 264 C1
|
|
|
Assemblers, compilers, and program translation.
BJL
|
BOOK
|
1979
|
An introduction to macros.
Departmental Locations, BJL
|
BOOK
|
1973
|
|
QA 264 C2 : Parallel processing : Occam and the transputer.; BJL
|
|
|
Parallel processing : Occam and the transputer.
BJL
|
BOOK
|
1988
|
|
QA 264 C6
|
|
|
Macro processors.
BJL, Departmental Locations
|
BOOK
|
1976
|
Programming standards / edited by D.R.A. Coan and J.R. Sharratt.
BJL
|
BOOK
|
1972
|
|
QA 264 C7
|
|
|
Conditional and typed rewriting systems : 2nd International CTRS Workshop Montreal, Canada, June 11-1
BJL
|
BOOK
|
1991
|
Introducing computer programming : a machine and language-indepentdent textbook for beginners.
BJL
|
BOOK
|
1974
|
|
QA 264 C9 : Executive programs and operating systems.; BJL
|
|
|
Executive programs and operating systems.
BJL
|
BOOK
|
1970
|
|
QA 264 D2 : Debugging techniques in large systems / edited by R. Rustin.; BJL
|
|
|
Debugging techniques in large systems / edited by R. Rustin.
BJL
|
BOOK
|
1971
|
|
QA 264 D3 : An introduction to operating systems.; BJL
|
|
|
An introduction to operating systems.
BJL
|
BOOK
|
1983
|
|
QA 264 D5 : A discipline of programming.;
Departmental Locations, BJL
|
|
|
A discipline of programming.
Departmental Locations, BJL
|
BOOK
|
1976
|
|
QA 264 D6 : Systems programming.; BJL
|
|
|
Systems programming.
BJL
|
BOOK
|
1972
|
|
QA 264 F9
|
|
|
Functional programming and its applications : an advanced course.
BJL
|
BOOK
|
1982
|
Fundamental structures of computer science / by W.A. Wulf ... [et al.].
BJL, Departmental Locations
|
BOOK
|
1981
|
|
QA 264 G4
|
|
|
Efficient parallel algorithms / A. Gibbons, W. Rytter.
BJL
|
BOOK
|
1988
|
Efficient parallel algorithms / Alan Gibbons, Wojciech Rytter.
BJL
|
BOOK
|
1989
|
|
QA 264 G5 : Software metrics.; BJL
|
|
|
Software metrics.
BJL
|
BOOK
|
1977
|
|
QA 264 G7 : Principles of systems programming.;
Departmental Locations, BJL
|
|
|
Principles of systems programming.
Departmental Locations, BJL
|
BOOK
|
1975
|
|
QA 264 G8 : Problem solving and computer programming / P. Grogono, S.H. Nelson.; BJL
|
|
|
Problem solving and computer programming / P. Grogono, S.H. Nelson.
BJL
|
BOOK
|
1982
|
|
QA 264 G9 : Guide to good programming practice / editors. B.L. Meek, P.M. Heath and N.J. Rushby.; BJL
|
|
|
Guide to good programming practice / editors. B.L. Meek, P.M. Heath and N.J. Rushby.
BJL
|
BOOK
|
1983
|
|
QA 264 H1 : Introduction to operating system design.; BJL
|
|
|
Introduction to operating system design.
BJL
|
BOOK
|
1976
|
|
QA 264 H3 : Data : structural and programming.; BJL
|
|
|
Data : structural and programming.
BJL
|
BOOK
|
1973
|
|
QA 264 H4
|
|
|
Functional programming.
BJL
|
BOOK
|
1980
|
The logic of programming.
BJL
|
BOOK
|
1984
|
|
QA 264 H5 : Introduction to computability.; BJL
|
|
|
Introduction to computability.
BJL
|
BOOK
|
1977
|
|
QA 264 H6
|
|
|
A comparative study of programming languages.
Departmental Locations, BJL
|
BOOK
|
1967
|
High-level language computer architecture / edited by Yaohan Chu.
BJL
|
BOOK
|
1975
|
Program design and construction.
BJL
|
BOOK
|
1979
|
|
QA 264 H9 : Microprogramming : principles and practices.; BJL
|
|
|
Microprogramming : principles and practices.
BJL
|
BOOK
|
1970
|
|
QA 264 I2 : Programming teaching techniques / edited by W.M. Turski.; BJL
|
|
|
Programming teaching techniques / edited by W.M. Turski.
BJL
|
BOOK
|
1973
|
|
QA 264 I4 : JSP : a practical method of program design / Leif Ingevaldsson.; BJL
|
|
|
JSP : a practical method of program design / Leif Ingevaldsson.
BJL
|
BOOK
|
1979
|
|
QA 264 I5 : ANSI/IEE Std 754-1985 : IEEE standard for binary floating-point arithmetic.; Departmental Locations
|
|
|
ANSI/IEE Std 754-1985 : IEEE standard for binary floating-point arithmetic.
Departmental Locations
|
BOOK
|
1985
|
|
QA 264 I6 : Scientific subroutines : 1900 series.; Departmental Locations
|
|
|
Scientific subroutines : 1900 series.
Departmental Locations
|
BOOK
|
1968
|
|
QA 264 J1 : Principles of program design.; BJL
|
|
|
Principles of program design.
BJL
|
BOOK
|
1975
|
|
QA 264 J2 / q : Principles of programming : an introduction with Fortran / Edward B. James.; BJL
|
|
|
Principles of programming : an introduction with Fortran / Edward B. James.
BJL
|
BOOK
|
1978
|
|