Recently Acquired Library Books

    Math, CS         Physics      
1995 Jun Sep Dec   Mar Jun Sep Dec
1996 Mar Aug Dec   Mar Aug Dec
1997 Mar Jun Sep Dec   Mar Jun Sep Dec
1998 Mar Aug Dec   Mar Aug Dec
1999 Mar Jun Sep Dec   Mar Jun Sep Dec
2000 Mar Jun Dec   Mar Jun Dec
2001 Mar   Mar

Search for a string:   *, &, | accepted
by LC Call Number

UM Library Online Catalog


Library Acquisitions in Math and CS, March 1997

BC128 .H85 1996 Metalogic : an introduction to the metatheory of standard first order logic
Geoffrey Hunter. Berkeley : University of California Press, 1996, c1971.

HD30.2 .G35 1996 Getting results with the object-oriented enterprise model
Thornton Gale, James Eldred. : Sigs Books, c1996.

Q147 .C27 1995 Careers in science and technology : an international perspective
Advisory Committee, Office of Scientific and Engineering Personnel and Committee on International Organizations and Programs, Office of International Affairs, National Research Council. Washington, D.C. : National Academy Press, 1995.
Locations = Richter Stacks, Marine Lib. Stacks.

Q151.A8 S23 1995 Aristotle's physics : a guided study
Joe Sachs. : Rutgers University Press, c1995.

Q175 .L328 1995 Laws of nature : essays on the philosophical, scientific and historical dimensions
edited by Friedel Weinert. : Walter de Gruyter, 1995.

Q183.3.A1 T76 1996 Teaching secondary school science : strategies for developing scientific literacy
Leslie W. Trowbridge, Rodger W. Bybee. : Merrill, c1996.

Q295 .L367 1996 The systems view of the world : a holistic vision for our time
Ervin Laszlo. Cresskill, NJ : Hampton Press, c1996.

Q325.5 .B74 1996 A compendium of machine learning
Garry Briscoe, Terry Caelli. Norwood, N.J. : Ablex Pub. Corp., c1996-

Q334 .A84 1995 A.I. '95 : eighth Australian Joint Conference on Artificial Intelligence, Canberra, 13-17 November 1995
editor, Xin Yao. : World Scientific, c1995.

Q335 .A7857 1996 Artificial intelligence
edited by Margaret A. Boden. : Academic Press, c1996.

QA1 .A647 vol. 118 Numerical approximation of hyperbolic systems of conservation laws
Edwige Godlewski, Pierre-Arnaud Raviart. : Springer, c1996.

QA1 .A647 vol. 119 Theory and applications of partial functional differential equations
Jianhong Wu. : Springer, c1996.

QA1 .A647 vol. 120 An introduction to the mathematical theory of inverse problems
Andreas Kirsch. : Springer, c1996.

QA1 .A647 vol. 121 Hysteresis and phase transitions
Martin Brokate, Jurgen Sprekels. : Springer, c1996.

QA1 .I835 1994 Proceedings of the International Mathematics Conference '94 = [1994 nien kuo chi shu hsueh hui i] : National Sun Yat-sen University, Kaohsiung, Taiwan, R. O. China, December 2-5, 1994
editors, Yuen Fong ... [et al.]. : World Scientific, c1996.

QA1 .R33 no. 91 Equivariant homotopy and cohomology theory : dedicated to the memory of Robert J. Piacenza
J.P. May ; with contributions by M. Cole ... [et al.]. : Published for the Conference Board of the Mathematical Sciences by the American Mathematical Society, c1996.

QA1 .S884 Surveys in applied mathematics. : Plenum Press, c1995-

QA3 .A56 no. 46 Symmetric inverse semigroups
Stephen Lipscomb. : American Mathematical Society, c1996.

QA3 .A57 no. 586 Crossed products with continuous trace
Siegfried Echterhoff. : American Mathematical Society, 1996.

QA3 .A57 no. 587 Wavelet methods for pointwise regularity and local oscillations of functions
Stephane Jaffard, Yves Meyer. : American Mathematical Society, 1996.

QA3 .A57 no. 588 Degree 16 standard L-function of GSp(2) x GSp(2)
Dihua Jiang. : American Mathematical Society, 1996.

QA3 .A57 no. 589 Higher multiplicities and almost free divisors and complete intersections
James Damon. : American Mathematical Society, 1996.

QA3 .A625 no. 115 Polling systems
S.C. Borst. Amsterdam, Netherlands : Centrum voor Wiskunde en Informatica, c1996.

QA3 .L28 no. 1626 Seminaire de probabilites XXX
J. Azema, M. Emery, M. Yor (eds.). :Springer, c1996.

QA3 .L28 no. 1627 Probabilistic models for nonlinear partial differential equations : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held in Montecatini Terme, Italy, May 22-30, 1995
C. Graham ... [et al.] ; editors, D. Talay, L. Tubaro. : Springer, c1996.

QA7 .R34 Mathematics. Edited by Samuel Rapport and Helen Wright. Academic editorial adviser: Hollis R. Cooley. [New York] New York University Press, 1963.

QA8.6 .F77 1996 From Kant to Hilbert : a source book in the foundations of mathematics
William Ewald. : Oxford University Press, 1996.

QA9 .M315 1996 Extensions of first order logic
Maria Manzano. : Cambridge University Press, 1996.

QA10.3 .K86 1997 Communication complexity
Eyal Kushilevitz, Noam Nisan. : Cambridge University Press, 1997.

QA10.5 .D38 1997 Mathematical encounters of the second kind
Philip J. Davis. : Birkhause, c1997.

QA21 .A535 1995 The heritage of Thales
W.S. Anglin, J. Lambek. : Springer, c1995.

QA21 .A54 1994 Mathematics, a concise history and philosophy
W.S. Anglin. : Springer-Verlag, c1994.

QA29.G58 D39 1997 Logical dilemmas : the life and work of Kurt Godel
John W. Dawson, Jr. Wellesley, Mass. : a K Peters, c1997.

QA29.L59 S66 1992 Proceedings
the Sophus Lie Memorial Conference, Oslo, 1992 ; edited by Olav Arnfinn Laudal and Bjorn Jahren. Oslo : Scandinavian University Press, c1994.

QA37 .K715 Fundamentals of mathematics from an advanced viewpoint, by E. G. Kogbetliantz. New York, Gordon and Breach Science Publishers [1969].

QA43 .H65 1996 From Erdos to Kiev : problems of Olympiad caliber
Ross Honsberger. Washington, D.C. : Mathematical Association of America, c1996.

QA75.5 .I586 1996 Computing and combinatorics : second annual international conference, COCOON '96, Hong Kong, June 17-19, 1996 : proceedings
Jin-Yi Cai, Chak Kuen Wong, (eds.). : Springer, c1996.

QA75.5 .W625 1995 Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
Hans Kleine Buning, (ed.). : Springer, c1996.

QA76 .A334 1995 Foundations of computer science
Alfred V. Aho, Jeffrey D. Ullman. : Computer Science Press, c1995.

QA76 .C57326 1995 Computer science today : recent trends and developments
Jan van Leeuwen, ed. : Springer, c1995.

QA76 .R263 1996 Bounded incremental computation
G. Ramalingam. : Springer, c1996.

QA76.38 .H94 1996 Hybrid systems III : verification and control
Rajeev Alur, Thomas A. Henziner, Eduardo D. Sontag (eds.). : Springer, c1996.

QA76.575 .A33 1996 Still images in multimedia
Mikkel Aaland. : Hayden Books, c1996.
LOCATION = MIC/Res Xmr.

QA76.575 .G85 1995 A guided tour of multimedia systems and applications
[edited by] Borko Furht, Milan Milenkovic. Los Alamitos, Calif. : IEEE Computer Society Press, c1995.

QA76.575 .M38 1994 Multimedia, hypermedia, and virtual reality : models, systems, and applications
Peter Brusilovsky, Piet Kommers, Norbert Streitz (eds.) ; first international conference, Mhvr '94, Moscow, Russia, September 14-16, 1994, selected papers. : Springer, c1996.

QA76.58 .E174 1995 Parallel processing with Communicating Process Architecture
Ian East. : Ucl Press, 1995.

QA76.58 .I42 Proceedings of the ... IEEE Symposium on Parallel and Distributed Processing
sponsored by the Acm Special Interest Group on Computer Architecture, Ieee-Dallas Section, [and] IEEE Computer Society. Los Alamitos, Calif. : IEEE Computer Society Press, IEEE Computer Society Press, 10662 Los Vaqueros Cr., Los Alamitos, Ca 90720 -1264.

QA76.58 .I56 1996 Proceedings of IPPS'96 : the 10th International Parallel Processing Symposium, April 15-19, 1996, Honolulu, Hawaii
sponsored by the IEEE Computer Society Technical Committee on Parallel Processing in cooperation with the Association for Computing Machinery Sigarch. Los Alamitos, Calif. : IEEE Computer Society Press, c1996.

QA76.58 .I576 1995 Parallel symbolic languages and systems : International Workshop PSLS'95, Beaune, France, October 2-4, 1995 : proceedings
Takayasu Ito, Robert H. Halstead, Jr., Christian Queinnec, eds. : Springer, c1996.

QA76.58 .P3635 1996 Parallel and distributed computing handbook
Albert Y. Zomaya, editor. : McGraw-Hill, c1996.

QA76.58 .S35 1996 Protocols by invariants
Anneke A. Schoone. : Cambridge University Press, 1996.

QA76.6 .I5243 1996 Intensional programming I : based on the papers at ISLIP '95, Macquarie University, Sydney, NSW, Australia, 3-5 May 1995
editors, Mehmet A. Orgun, Edward A. Ashcroft. : World Scientific, c1996.

QA76.6 .J6658 1997 Computability and complexity : from a programming perspective
Neil D. Jones. : MIT Press, c1997.

QA76.618 .A77 1996 Artificial evolution : European conference, AE 95, Brest, France, September 4-6, 1995 : selected papers
J.-M. Alliot ... [et al.], eds. :Springer, c1996.

QA76.64 .A22 1996 A theory of objects
Martin Abadi, Luca Cardelli. : Springer, c1996.

QA76.64 .E95 1996 ECOOP '96, object-oriented programming : 10th European conference, Linz, Austria, July 8-12, 1996 : proceedings
Pierre Cointe (ed.). :Springer, c1996.

QA76.64 .O242 1996 Object-oriented and mixed programming paradigms : new directions in computer graphics
Peter Wisskrichen (ed.). : Springer, c1996.

QA76.7 .S43 1996 Concepts of programming languages
Robert W. Sebesta. : Addison-Wesley Publishing, c1996.

QA76.7 .S48 1996 Programming languages : concepts and constructs
Ravi Sethi. : Addison-Wesley, c1996.

QA76.73.A16 A23 1996 Reliable software technologies, Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996 : proceedings
Alfred Strohmeier, ed. : Springer, c1996.

QA76.73.C15 M54 1997 The joy of C
Lawrence H. Miller, Alexander E. Quilici. : Wiley, c1997.
LOCATION = MIC/Res Xmr.

QA76.73.C15 N865 1995 Numerical recipes in C : the art of scientific computing
William H. Press ... [et al.]. : Cambridge University Press, 1995, c1992.
Location = Marine Lib. Stacks.

QA76.73.C153 C39 1995 Designing and coding reusable C++
Martin D. Carroll, Margaret A. Ellis. : Addison-Wesley, c1995.

QA76.73.F25 N85 1996 Numerical recipes in fortran 90 : the art of parallel scientific computing
William H. Press ... [et al.]. : Cambridge University Press, 1996.
Location = Marine Lib. Stacks.

QA76.73.J38 V36 1996 Just Java
Peter van der Linden. Mountain View, Ca : SunSoft Press, c1996.
LOCATION = MIC/Res Xmr.

QA76.73.L22 S48 1997 Lingo and Shockwave sourcebook : [a complete guide to developing multimedia for the Web and CD-ROMs]
Vineel Shah, John Musser. : Wiley Computer Pub., c1997.
LOCATION = MIC/Res Xmr.

QA76.73.S59 L48 1995 The art and science of smalltalk
Simon Lewis. : Prentice Hall, 1995.

QA76.758 .S6454 1997 Software engineering
edited by Merlin Dorfman and Richard H. Thayer ; foreword by Barry W. Boehm ; original contributions by A. Frank Ackerman ... [et al.]. Los Alamitos, Calif. : IEEE Computer Society Press, c1997.

QA76.76.A65 S78 1997 Developing software applications in a changing IT environment : management strategies and techniques
John A. Stone. : McGraw-Hill, c1997.

QA76.76.C49 B84 1996 Implementing configuration management : hardware, software, and firmware
Fletcher J. Buckley. Los Alamitos, Calif. : IEEE Computer Society Press, c1996.

QA76.76.D47 I33 1993 Studies of software design : ICSE '93 workshop, Maltimore, Maryland, USA, May 17-18, 1993 : selected papers
David Alex Lamb, ed. : Springer-Verlag, c1996.

QA76.76.D47 I593 1996 FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings
Marie-Claude Gaudel, James Woodcock (eds.). : Springer, c1996.

QA76.76.E95 I582 1996 Foundations of intelligent systems : 9th international symposium, ISMIS '96, Zakopane, Poland, June 9-13, 1996 : proceedings
Zbigniew W. Ras, Maciek Michalewicz (eds.). : Springer, c1996.

QA76.76.E95 S486 1996 Probabilistic expert systems
Glenn Shafer. : Society for Industrial and Applied Mathematics, c1996.

QA76.76.H94 L452 1996 Teach yourself Web publishing with HTML 3.2 in a week
Laura Lemay. Indianapolis, Ind. : Sams.net Publishing, c1996.
LOCATION = MIC/Res Reserve.

QA76.76.S64 K46 1997 Solving the year 2000 problem
Jim Keogh. : Ap Professional, c1997.

QA76.8.I1015 Y68 1996 Exploring IBM's new-age mainframes
John Young. Gulf Breeze, Fl : Maximum Press ; [Emeryville, Ca] : Distributed by Publisers Group West, 1996.

QA76.87 .B574 1995 Neural networks for pattern recognition
Christopher M. Bishop. : Clarendon Press : Oxford University Press, 1995.

QA76.87 .H374 1995 Fundamentals of artificial neural networks
Mohamad H. Hassoun. : The MIT Press, c1995.

QA76.87 .M369 1995 Neural, novel & hybrid algorithms for time series prediction
Timothy Masters. : John Wiley & Sons, c1995.
LOCATION = MIC/Res Xmr.

QA76.87 .N488 1996 Neural networks theory, technology, and applications
Patrick K. Simpson, editor. : Intitute of Electrical and Electronics Engineers, c1996.

QA76.87 .V54 1997 A theory of learning and generalization : with applications to neural networks and control systems
M. Vidyasagar. : Springer, c1997.

QA76.88 .H52 1996 High-performance computing and networking : international conference and exhibition, HPCN EUROPE 1966, Brussels, Belgium, April 15-19, 1996 : proceedings
H. Liddell ... [et al.], (eds.). : Springer, c1996.

QA76.9.A25 E964 1996 Advances in cryptology, EUROCRYPT '96 : International Conference on the Theory and Application of Cryptographic Techniques, Saragossa, Spain, May 12-16, 1996 : proceedings
Ueli Maurer (ed.). : Springer, c1996.

QA76.9.A25 I46 1995 Communications and multimedia security : proceedings of the IFIP TC6, TC11 and Austrian Computer Society Joint Working Conference on Communications and Multimedia Security, 1995
edited by Reinhard Posch. : Chapman & Hall, 1995.

QA76.9.A43 H35 1996 Time structures : formal description and algorithmic representation
Elzbieta Hajnicz. : Springer, c1996.

QA76.9.A43 S53 1997 Parsing schemata : a framework for specification and analysis of parsing algorithms
Klaas Sikkel. : Springer, c1997.

QA76.9.A43 S88 1996 Combinatorial pattern matching : 7th Annual Symposium, CPM 96, Laguna Beach, California, June 10-12, 1996 : proceedings
Dan Hirschberg, Gene Myers (eds.). : Springer-Verlag, c1996.

QA76.9.A96 A9 1995 Automated practical reasoning : algebraic approaches
Jochen Pfalzgraf and Dongming Wang, eds. ; with a foreword by Jim Cunningham. Wien : Springer-Verlag, c1995.

QA76.9.A96 F68 1996 First-order logic and automated theorem proving
Melvin Fitting. : Springer, c1996.

QA76.9.A96 I575 1996 Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings
Dov M. Gabbay, Hans Jurgen Ohlbach (eds.). : Springer, c1996.

QA76.9.A96 M38 1996 Automated deduction in equational logic and cubic curves
W. McCune, R. Padmanabhan. : Springer, c1996.

QA76.9.A96 T33 1996 Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings
P. Miglioli ... [et al.], eds. : Springer, c1996.

QA76.9.C643 S74 1995 Computer and network organization : an introduction
Maarten van Steen, Henk Sips. : Prentice Hall, 1995.

QA76.9.C65 O25 1997 Object-oriented simulation : reusability, adaptability, maintainability
edited by George W. Zobrist, James V. Leonard. : IEEE Press, c1997.

QA76.9.C66 B3 1997 A gift of fire : social, legal, and ethical issues in computing
Sara Baase. : Prentice Hall, c1997.

QA76.9.C66 C6377 1996 Computerization and controversy : value conflicts and social choices
edited by Rob Kling. : Academic Press, c1996.

QA76.9.C66 S618 1996 Social and ethical effects of the computer revolution
edited by Joseph Migga Kizza. Jefferson, N.C. : McFarland, c1996.

QA76.9.D3 B75 1996 Advances in databases : 14th British National Conference on Databases, BNCOD 14, Edinburgh, United Kingdom, July 3-5, 1996 : proceedings
Ron Morrison, Jessie Kennedy, (eds.). : Springer, c1996.

QA76.9.D32 A38 1994 Advances in database and expert systems
edited by George E. Lasker. Windsor, Ont. : International Institute for Advanced Studies in Systems Research and Cybernetics, 1994.

QA76.9.D5 O66 1997 Optimal load balancing in distributed computer systems
Hisao Kameda ... [et al.]. : Springer, c1997.

QA76.9.N38 S74 1995 Evaluating natural language processing systems : an analysis and review
Karen Sparck Jones, Julia R. Galliers. : Springer, c1995.

QA76.9.T43 K48 1997 Delivering world-class technical support
Navtej (Kay) Khandpur and Lori Laub. : Wiley, c1997.

QA90 .K47 Nomogrammy s orientirovannym transparantom. Moskva, Gos. izd-vo tekhn.-teoret. lit-ry, 1957.

QA99 .P38 1995 The music of reason : experiencing the beauty of mathematics through quotations
by Theoni Pappas. San Carlos, CA : Wide World Pub.
Tetra, 1995.

QA106 .A5 Arifmetika; posobie dlia srednei shkoly. Moskva, Gos. uchebno-pedagog. izd-vo, 1957.

QA106 .G6 Teoreticheskaia arifmetika; uchebnoe posobie dlia studentov fiziko- matematicheskikh fakultetov pedagogicheskikh institutov. Moskva, Gos. uchebno-pedagog. izd-vo, 1959.

QA106 .S67 Ustnyi schet; posobie dlia uchashchikhsia srednei shkoly. Moskva, Gos. uchebno-pedagog. izd-vo, 1955.

QA135 .P6 Metodika prepodavaniia arifmetiki v nachalnoi shkole; posobie dlia uchitelei. Leningrad, Gos. uchebno-pedagog. izd-vo, Leningradskoe otd-nie, 1955.

QA135 .S48 Metodika prepodavaniia arifmetiki v V-VI klassakh. Moskva, Izd-vo Akademii pedagog. nauk RSFSR, 1961.

QA141.3 .G45 1996 Roman numerals I to MM = Numerabilia romana uno ad duo mila : liber de difficillimo computando numerum
Arthur Geisert. : Houghton Mifflin, 1996.
Location = Richter Juv Oversize.

QA155.7.E4 C6496 1995 Computer algebra in science and engineering : 28-31 August 1994, Bielefeld, Germany
editors, J. Fleischer ... [et al.]. : World Scientific, c1995.

QA166 .W315 1997 One-factorizations
by W.D. Wallis. : Kluwer Academic Publishers, c1997.

QA166.6 .A45 1995 Matroid theory : AMS-IMS-SIAM Joint Summer Research Conference on Matroid Theory, July 2-6, 1995, University of Washington, Seattle
Joseph E. Bonin, James G. Oxley, Brigitte Servatius, editors. : American Mathematical Society, c1996.

QA171 .L82 Applications of finite groups. New York, Academic Press, 1959.

QA182 .S43 1996 Semigroup theory and its applications : proceedings of the 1994 conference commemorating the work of Alfred H. Clifford
edited by Karl H. Hofmann, Michael W. Mislove. : Cambridge University Press, 1996.

QA182 .S55 1996 Semigroups and their subsemigroup lattices
by L.N. Shevrin and A.J. Ovsyannikov. : Kluwer Academic Publishers, c1996.

QA241 .I58 1994 Applications of Fibonacci numbers
edited by G.E. Bergum, A.N. Philippou and A.F. Horadam. : Kluwer Academic Publishers, c1996.

QA241 .N3468 1996 Additive number theory : inverse problems and the geometry of sumsets
Melvyn B. Nathanson. : Springer, c1996.

QA241 .W315 1961 Les nombres et leurs mysteres. [Paris, Editions du Seuil, 1961].

QA244 .V36 1996 Notes on Fermat's last theorem
Alf van der Poorten. : J. Wiley, c1996.

QA246 .R36 1995 Lectures on the mean-value and omega-theorems for the Riemann zeta-function
K. Ramachandra. : Springer-Verlag, 1995.

QA247 .M67 1996 Field and Galois theory
Patrick Morandi. : Springer, c1996.

QA247 .W35 1997 Introduction to cyclotomic fields
Lawrence C. Washington. : Springer, c1997.

QA248 .A67 1996 Constructible sets in real geometry
Carlos Andradas, Ludwig Brocker, Jesus M. Ruiz. : Springer, c1996.

QA248 .F531325 1996 Essays. English. Selections. Finsler set theory : platonism and circularity : translation of Paul Finsler's papers on set theory with introductory comments
edited by David Booth and Renatus Ziegler. :Birkhauser Verlag, c1996.

QA251 .H38 Lie groups for physicists. New York, W. A. Benjamin, 1966.

QA251 .S54 1966 Vector spaces of finite dimension [by] G.C. Shephard. Edinburgh, Oliver & Boyd; New York, Interscience Publishers [1966].

QA251.3 .C66 1997 Commutative ring theory : proceedings of the II international conference
edited by Paul-Jean Cahen ... [et al.]. : M. Dekker, c1997.

QA255 .H37 1969 Complex numbers and elementary complex functions [by] F. M. Hawkins and J. Q. Hawkins. New York, Gordon & Breach, 1968.

QA266 .M25 An introduction to abstract algebra, by Cyrus Colton MacDuffee .. New York, J. Wiley & sons ; London, Chapman & Hall, 1940.

QA267 .A66 1996 Application and theory of Petri nets, 1996 : 17th International Conference, Osaka, Japan, June 24-28, 1996 : proceedings
Jonathan Billington, Wolfgang Reisig, eds. : Springer, c1996.

QA267 .H484 1996 Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
Gilles Dowek ... [et al.] (eds.). : Springer, c1996.

QA267 .R48 1996 Rewriting techniques and applications : 7th international conference, RTA- 96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings
Harald Ganzinger (ed.). : Springer, c1996.

QA267 .T67 1995 Discrete-event system theory : an introduction
Antonio Tornambe. : World Scientific, c1995.

QA267.3 .G68 1996 Graph grammars and their application to computer science : 5th international workshop, Williamsburg, VA, USA, November 13-18, 1994 : selected papers
J. Cuny ... [et al.] (eds.). : Springer, c1996.

QA273 .G68 Probability [by] James R. Gray. Edinburgh, London, Oliver & Boyd; New York, Interscience, 1967.

QA273 .K246 1959 Probability and related topics in physical sciences
by Mark Kac ; with special lectures by G.E. Uhlenbeck, A.R. Hibbs, Balth. van der Pol. : Interscience Publishers, 1959.

QA273.6 .B486 1997 Unimodality of probability measures
by Emile M.J. Bertin, Ioan Cuculescu, and Radu Theodorescu. : Kluwer Academic Publishers, c1997.

QA273.6 .E94 1995 The Exponential distribution : theory, methods and applications
edited by N. Balakrishnan and Asit P. Basu. Amsterdam ; [New York] : Gordon and Breach Publishers, c1995.

QA274.7 .M385 1997 Matrix-analytic methods in stochastic models
edited by Srinivas R. Chakravarthy, Attahiru S. Alfa. : Marcel Dekker, c1997.

QA276.8 .K845 1996 Recursive nonlinear estimation : a geometric approach
Rudolf Kulhavy. : Springer, c1996.

QA278.2 .I93 1997 Asymptotic theory of nonlinear regression
by Alexander V. Ivanov. : Kluwer Academic Publishers, c1997.

QA280 .A63 1997 Applications of computer aided time series modeling
Masanao Aoki, Arthur M. Havenner, editors. : Springer, c1997.

QA280 .B757 1996 Introduction to time series and forecasting
Peter J. Brockwell, Richard A. Davis. : Springer, c1996.
Location = Marine Lib. Stacks.

QA280 .E37 1996 Singular spectrum analysis : a new tool in time series analysis
James B. Elsner and Anastasios A. Tsonis. : Plenum Press, c1996.

QA297 .A57 1995 The mathematics of numerical analysis : 1995 AMS-SIAM Summer Seminar in Applied Mathematics, July 17-August 11, 1995, Park City, Utah
James Renegar, Michael Shub, Steve Smale, editors. : American Mathematical Society, c1996.

QA297 .G75 Brief numerical methods [by] Wendell E. Grove. Englewood Cliffs, N.J., Prentice-Hall [1966].

QA297.8 .F57 1996 Polynomial based iteration methods for symmetric linear systems
Bernd Fischer; Hans Georg Bock ... [et al.], editors. : Wiley ; Stuttgart : Teubner, c1996.

QA298 .V67 1996 Quantitative risk analysis : a guide to Monte Carlo simulation modelling
David Vose. : Wiley, c1996.

QA300 .H352 1996 Analysis by its history
E. Hairer, G. Wanner. : Springer-Verlag, c1996.

QA312 .C484 1997 Asymptotic attainability
by A.G. Chentsov. : Kluwer Academic, 1997.

QA316 .S77 1996 Variational methods : applications to nonlinear partial differential equations and Hamiltonian systems
Michael Struwe. : Springer, c1996.

QA329.6 .K65 1996 Distortion theorems in relation to linear integral operators
by Yusaku Komatu. : Kluwer Academic Publishers, c1996.

QA331 .M29 Teoremy zamknutosti i teoremy kompozitsii. Zapis lektsii i perevod vypolneny E. A. Gorinym, A. S. Dyninym, B. S. Mitiaginym. Moskva, Izd-vo inostrannoi lit-ry, 1962.

QA331 .M36 Kratkii kurs teorii analiticheskikh funktsii. Dopushcheno v kachestve uchebnika dlia gos. universitetov. Moskva, Gos. izd-vo tekhniko-teoret. lit-ry, 1957.

QA331 .M36 1966 Kratkii kurs teorii analiticheskikh funktsii. Moskva, Nauka; GLav. red. fiziko-matematicheskoi lit-ry, 1966.

QA331 .M372 Teoriia analiticheskikh funktsii. Moskva, Nauka; Glav. red. fiziko-matematicheskoi lit-ry, 1967-68.

QA331 .M52 1959 Issledovaniia po sovremennym problemam konstruktivnoi teorii funktsii; sbornik statei. Pod red. V. I. Smirnova. Moskva, Gos. izd-vo fiziko-matematicheskoi lit-ry, 1961.

QA331 .M55 Odnolistnye funktsii i ortonormirovannye sistemy. Moskva, "Nauka," 1971.

QA331 .S59 Konstruktivnaia teoriia funktsii kompleksnogo peremennogo. Moskva, Nauka, 1964.

QA331 .S65 1961 Special functions of mathematical physics and chemistry. Edinburgh, Oliver and Boyd; New York, Interscience Publishers, 1961.

QA331 .S69 Spetsialnye voprosy differentsialnykh uravnenii i teorii funktsii. [Sbornik statei. Red. akad. Z.I. Khalilov]. Baku, "Elm," 1970.

QA331 .S857 Teoria functiilor de o variabila complexa. Russian. Teoriia funktsi kompleksnogo peremennogo. Perevod s rumynskogo I. Bershteina. Moskva, Izd-vo inostrannoi lit-ry, 1962-

QA331 .S93 Teoriia funktsii kompleksnoi peremennoi. [Uchebnik dlia studentov fiz. spetsialnostei un-tov]. Moskva, "Nauka," 1967.

QA331 .V4 Obobshchennye analiticheskie funktsii. Moskva, Gos. izd-vo fiziko-matematicheskoi lit-ry, 1959.

QA331 .V88 Issledovaniia po sovremennym problemam teorii funktsii kompleksnogo peremennogo; svornik statei. Moskva, Gos. izd-vo fiziko-matematicheskoi lit-ry.

QA331.5 F7 1961 Teoriia funktsii deistvitelnogo peremennogo. Ucheb. posobie dlia pedagog. in-tov. Moskva, Gos. uchebno-pedagog. izd-vo, 1961.

QA331.5 .M28 1962 Teoriia funktsii deistvitelnogo peremennogo. Pod red. I. IA. Verchenko. Moskva, Vysshaia shkola, 1962.

QA331.5 .T5 Teoriia priblizheniia funktsii deistvitelnogo peremennogo. Moskva, Gos. izd-vo fiziko-matematicheskoi lit-ry, 1960.

QA331.5 .V8 Kratkii kurs teorii funktsii veshchestvennoi peremennoi. Dopushcheno v kachestve ucheb. posobiia dlia universitetov. Moskva, Nauka; Glav. red. fiziko-matematicheskoi lit-ry, 1965.

QA343 .T75 1948 Elliptische Funktionen
ubersetzt und bearb. von Maximilian Krafft. Leipzig : Akademische Verlagsgesellschaft, 1948.

QA371 .D52 1996 Differential equation theory
A.M. Blokhin, editor. : Nova Science Publishers, c1996.

QA372 .J24 1996 The theory of singular perturbations
E.M. de Jager, Jiang Furu. : Elsevier, 1996.

QA372 .K917 Lineinye differentsialnye uravneniia v banakhovom prostranstve. Moskva, "Nauka," 1967.

QA372 .L28 Primenenie funktsii ot matrits k teorii lineinykh sistem obyknovennykh differentsialnykh uravnenii. Vstup. statia i red. V.I. Smirnova. [Perevod s frantsuzskogo I.P. Mysovskikh]. Moskva, Gos. izd-vo tekhniko.-teoret. lit-ry, 1957.

QA372 .M368 Spektralnaia teoriia operatorov Shturma-Liuvillia. Kiev, "Naukova dumka," 1972.

QA372 .M69 Asimptoticheskie metody nelineinoi mekhaniki. Ucheb. posobie dlia un-tov i fiz.-tekhn. vuzov. Moskva, "Nauka," 1969.

QA372 .P48 1964 Lektsii po teorii obyknovennykh differentsialnykh uravnenii. Moskva, Nauka, 1964.

QA372 .P48 1970 Lektsii po teorii obyknovennykh differentsialnykh uravnenii. Uchebnik dlia mekh.-mat. fak. un-tov. Moskva, "Nauka," 1970.

QA372 .P73 Obyknovennye differentsialnye uravneniia. Dopushcheno v kachestve uchebnika dlia gos. universitetov. Moskva, Gos. izd-vo fiziko-matematicheskoi lit-ry, 1961.

QA372 .P73 1965 Obyknovennye differentsialnye uravneniia. Moskva, Nauka; Glav. red. fiziko-matematicheskoi lit-ry, 1965.

QA372 .V3 Teoriia vetvleniia reshenii nelineinykh uravnenii. Moskva, "Nauka," 1969.

QA374 .P3 Chislennoe reshenie kvazilineinykh giperbolicheskikh sistem differentsialnykh uravnenii v chastnykh proizvodnykh. Moskva, Gos. izd-vo tekhniko-teoret. lit-ry, 1957.

QA374 .R3 Metod konturnogo integrala i ego primenenie k issledovaniiu zadach dlia differentsialnykh uravnenii. Moskva, Nauka, 1964.

QA374 .R82 Sistemy kvazilineinykh uravnenii i ikh prilozheniia k gazovoi dinamike. Moskva, "Nauka," 1968.

QA377 .I565 1994 Proceedings of the Fifth International Conference on Hyperbolic Problems : theory, numerics, applications : University at Stony Brook, New York, USA, 13-17 June 1994
editors, J. Glimm ... [et al.]. : World Scientific, c1996.

QA377 .S586 1996 Domain decomposition : parallel multilevel methods for elliptic partial differential equations
Barry F. Smith, Petter E. Bjorstad, William D. Gropp. : Cambridge University Press, 1996.

QA377 .T27 1995 Analytic semigroups and semilinear initial boundary value problems
Kazuaki Taira. : Cambridge University Press, 1995.

QA379 .B69 1996 Boundary value problems, Schrodinger operators, deformation quantization
edited by Michael Demuth, Elmar Schrohe, Bert-Wolfgang Schulze (editor-in- chief). :Akademie Verlag : Vch Publishers, 1996.

QA379 .R65 1996 Elliptic boundary value problems in the spaces of distributions
by Yakov Roitberg. : Kluwer Academic Publishers, c1996.

QA387 .I76 1996 Predstavleniia beskonechnomernykh grupp. English. Representations of infinite-dimensional groups
R.S. Ismagilov ; [translated by D. Deart from an original Russian manuscript]. : American Mathematical Society, c1996.

QA402.3 .K465 1997 Chain-scattering approach to H [infinity] control
Hidenori Kimura. : Birkhauser, c1997.

QA402.35 .S46 1997 Constructive nonlinear control
R. Sepulchre, M. Jankovic, and P.V. Kokotovic. : Springer, c1997.

QA402.5 .S65 1996 Solving combinatorial optimization problems in parallel : methods and techniques
Afonso Ferreira, Panos Pardalos (eds.). : Springer, c1996.

QA404 .K333 1995 Fourier series and wavelets
Jean-Pierre Kahane and Pierre-Gilles Lemarie- Rieusset. Luxembourg : Gordon and Breach Publishers, c1995.

QA404 .W52 Fourier series and boundary-value problems
W. E. Williams. : Allen & Unwin, 1973.

QA431 .G83 1996 Nonlinear integral equations in abstract spaces
by Dajun Guo, V. Lakshmikantham, and Xinzhi Liu. : : Kluwer Academic, c1996.

QA464 .C86 1986 Symmetry, rigid motions and patterns
[by Donald W. Crowe]. Arlington, Mass. : Comap Inc. ,[Consortium for Mathematics and Its Applications], c1986.
Location = Stacks Oversize.

QA471 .F3 Projective geometry. Edinburgh, Oliver and Boyd; New York, Interscience Publishers, 1949.

QA501 .A48 Kratkii kurs nachertalelnoi geometrii. Minsk, Izd-vo Ministerstva vysshego, srednego spetsialnogo i professionalnogo obrazovaniia BSSR, 1962.

QA501 .G6 1960 Kurs nachertatelnoi geometrii. Dopushcheno v kachestve uchebnika dlia mashinostroit. i mekhaniko-tekhnologicheskikh spetsialnostei vysshikh tekhn. ucheb. zavedenii. Moskva, Gos. izd-vo fiziko-matematicheskoi lit-ry, 1960.

QA501 .G6 1962 Kurs nachertatelnoi geometrii. Pod red. V.O. Gordona. Dopushcheno v kachestve uchebnika dlia mashinostroit. i mekhaniko-tekhnologicheskikh spetsialnostei vysshikh tekhn. ucheb. zavedenii. Moskva, Gos. izd-vo fiziko-matematicheskoi lit-ry, 1962.

QA501 .K59 1961 Kurs nachertatelnoi geometrii. Pod obshchei red. S.M. Kolotova. Dopushcheno v kachestve ucheb. posobiia dlia studentov stroit. spetsialnostei vuzov USSR. Kiev, Gos. izd-vo lit-ry po stroitelstvu i arkhitekture USSR, 1961.

QA501 .K8 Nachertatelnaia geometriia v primenenii k chercheniiu, konstruirovaniiu i proektirovaniiu. Dopushcheno v kachestve ucheb. posobiia dlia vtuzov. Moskva, Mashgiz, 1959.

QA501 .P67 1965 Kratkii kurs nachertalelnoi geometrii. Dopushcheno v kachestve uchebnika dlia studentov vysshikh tekhn. ucheb. zavedenii. Moskva, Vysshaia shkola, 1965.

QA501 .R86 Nachertatelnaia geometriia. Dopushcheno v kachestve uchebnika dlia studentov stroit. spetsialnostei vuzov USSR. Kharkov, Izd-vo Kharkovskogo gos. universiteta, 1961.

QA501 .S33 Kratkii spravochnik po nachertatelnoi geometrii i mashinostroitelnomy chercheniiu. Leningrad, Mashgiz [Leningradskoe otd-nie] 1962.

QA501 .T5 Nachertatelnaia geometriia. Dopushcheno v kachestve ucheb. posobiia dlia arkhitekturnykh vuzob. Moskva, Gos. izd-vo lit-ry po stroitelstvu, arkhitekture i stroit. materialam, 1962.

QA564 .C688 1997 Ideals, varieties, and algorithms : an introduction to computational algebraic geometry and commutative algebra : with 91 illustrations
David Cox, John Little, Donal O'Shea. : Springer, c1997.

QA565 .C38 1996 Prolegomena to a middlebrow arithmetic of curves of genus 2
J.W.S. Cassels, E.V. Flynn. : Cambridge University Press, 1996.

QA612 .D63 1997 A user's guide to algebraic topology
by C.T.J. Dodson and Phillip E. Parker. : Kluwer Academic Publishers, c1997.

QA612.14 .P73 1997 Knots, links, braids, and 3-manifolds : an introduction to the new invariants in low-dimensional topology
V.V. Prasolov, A.B. Sossinsky ; [translated by A.B. Sossinsky from an original Russian manuscript]. : American Mathematical Society, c1997.

QA612.33 .A38 1996 Algebraic K-theory : conference on algebraic K-theory : September 4-8, 1995, the Adam Mickiewicz University, Poznan, Poland
Grzegorz Banaszak, Wojciech Gajda, Piotr Krason, editors. : American Mathematical Society, c1996.

QA613 .N67 1995 Novikov conjectures, index theorems, and rigidity : Oberwolfach, 1993
edited by Steven C. Ferry, Andrew Ranicki, Jonathan Rosenberg. : Cambridge University Press, 1995.

QA614.8 .L34 1996 Dynamic systems on measure chains
by V. Lakshmikantham, S. Sivasundaram, and B. Kaymakcalan. : Kluwer Academic Publishers, c1996.

QA614.82 .A7313 1996 Vvedenie v kachestvennuiu teoriiu dinamicheskikh sistem na poverkhnostiakh. English. Introduction to the qualitative theory of dynamical systems on surfaces
S. Kh. Aranson, G.R. Belitsky, E.V. Zhuzhoma ; [translated by H.H. McFaden from an original Russian manuscript]. : American Mathematical Society, c1996.

QA614.83 .J56 1995 Hamiltonian dynamics and celestial mechanics : a Joint Summer Research Conference on Hamiltonian Dynamics and Celestial Mechanics, June 25-29, 1995, Seattle, Washington
Donald G. Saari, Zhihong Xia, editors. : American Mathematical Society, c1996.

QA639.5 .E93 1996 Combinatorial convexity and algebraic geometry
Gunter Ewald. : Springer, c1996.

QA640 .G76 1996 Geometric applications of Fourier series and spherical harmonics
H. Groemer. : Cambridge University Press, c1996.

QA641 .A587 1996 Conformal differential geometry and its generalizations
Maks A. Akivis, Vladislav V. Goldberg. : Wiley, c1996.

QA641 .I57 1994 Analysis and geometry in foliated manifolds : proceedings of the VII International Colloquium on Differential Geometry, Santiago de Compostela, Spain, 26-30 July, 1994
editors, Xose Masa, Enrique Macias-Virgos, Jesus A. Alvarez Lopez. : World Scientific, c1995.

QA801 .M6 1934 How to identify the stars
by Willis I. Milham. : Macmillan, 1934 [c1909].

QA805 .D37 1948 Principes de la mecanique classique
par Jean-Louis Destouches ; texte mis au point apres discussion avec Mm. Bouligand ... [et al.]. [Paris] : C.N.R.S., 1948.

QA808.2 .R63 1994 A one-dimensional introduction to continuum mechanics
A.J. Roberts. : World Scientific, c1994.

QA901 .A86 1995 Asymptotic modelling in fluid mechanics : proceedings of a symposium in honour of Professor Jean-Pierre Guiraud, held at the Universite Pierre et Marie Curie, Paris France, 20-22 April 1994
Pierre-Antoine Bois ... [et al.], eds. : Springer, c1995.

QA911 .H347 1996 Handbook of computational fluid mechanics
edited by Roger Peyret. London : Academic Press, c1996.
Location = Marine Lib. Stacks.

QA927 .M298 1996 Mathematical problems in the theory of water waves : a workshop on the problems in the theory of nonlinear hydrodynamic waves, May 15-19, 1995, Luminy, France
F. Dias, J.-M. Ghidaglia, J.-C. Saut, editors. : American Mathematical Society, c1996.

QA927 .W388 1996 Waves and nonlinear processes in hydrodynamics
edited by John Grue, Bjorn Gjevik, and Jan Erik Weber. : Kluwer Academic Publishers, c1996.
Location = Marine Lib. Stacks.

QC20.7.D5 M37 1996 Mathematical modelling and differential equations
A.M. Blokhin, editor. : Nova Science Publishers, c1996.

QP376 .B719 1996 Brain processes, theories, and models : an international conference in honor of W.S. McCulloch 25 years after his death
edited by Roberto Moreno -Diaz and Jose Mira-Mira. : MIT Press, c1996.

T57.74 .A73 1993 Exploring interior-point linear programming : algorithms and software
Ami Arbel. : MIT Press, c1993.
LOCATION = MIC/Res Xmr.

T58.64 .G34 1994 Strategic information management : challenges and strategies in managing information systems
R.D. Galliers and B.S.H. Baker. : Butterworth Heinemann, 1994.

TA1634 .I69 1995 Proceedings : International Symposium on Computer Vision, Coral Gables, Florida, November 21-23, 1995
sponsored by IEEE Computer Society Technical Committee for Pattern Analysis and Machine Intelligence (Pami). Los Alamitos, Calif. : IEEE Computer Society Press, c1995.

TK7887.5 .S53 1996 Dictionary of PC hardware and data communications terms
Mitchell Shnier. Bonn ; Sebastopol, Ca : O'Reilly & Associates, c1996.
Location = Richter Reference.


Recently Acquired Library Books

    Math, CS         Physics      
1995 Jun Sep Dec   Mar Jun Sep Dec
1996 Mar Aug Dec   Mar Aug Dec
1997 Mar Jun Sep Dec   Mar Jun Sep Dec
1998 Mar Aug Dec   Mar Aug Dec
1999 Mar Jun Sep Dec   Mar Jun Sep Dec
2000 Mar Jun Dec   Mar Jun Dec
2001 Mar   Mar

Search for a string:   *, &, | accepted
by LC Call Number

UM Library Online Catalog