|
| 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 | ||||||||
Periodicals P C newsWatch. Louisville, KY : Cobb Group, c1983-
LOCATION = Brockway Periodicals.
Q175.5 .T68 1996 Conjuring science : scientific symbols and cultural meanings in American life
Christopher P. Toumey. : Rutgers University Press, c1996.
Q180.55.D57 A78 1996 Remarkable discoveries!
Frank Ashall. : Cambridge University Press, 1996, c1994.
Q183.9 .B39 1994 Theoretical methods in the physical sciences : an introduction to problem solving using Maple V
William E. Baylis. : Birkhauser, 1994.
LOCATION = MIC/Res Xmr.
QA1 .A647 vol. 122 Global analysis in mathematical physics : geometric and stochastic methods
Yuri Gliklikh ; translated by Viktor L. Ginzburg. : Springer, c1997.
QA1 .A647 vol. 123 Global bifurcation in variational inequalities : applications to obstacle and unilateral problems
Vy Khoi Le, Klaus Schmitt. : Springer, c1997.
QA1 .A647 vol. 68 1997 Infinite-dimensional dynamical systems in mechanics and physics
Roger Temam. : Springer, c1997.
QA1 .N855 no. 184 Alternative loop rings
Edgar G. Goodaire, Eric Jespers, Cesar Polcino Milies. : Elsevier, 1996.
QA1 .R33 no. 92 Spectral graph theory
Fan R.K. Chung. : Published for the Conference Board of the mathematical sciences by the American Mathematical Society, c1997.
QA1 .S93 vol. 52 Proceedings of the Norbert Wiener Centenary Congress, 1994 : Michigan State University, November 27-December 3, 1994
V. Mandrekar, P.R. Masani, editors. : American Mathematical Society, c1997.
QA3 .A56 no. 47 Rings, modules, and algebras in stable homotopy theory
A.D. Elmendorf ... [et al.] ; with an appendix by M. Cole. : American Mathematical Society, c1997.
QA3 .A56 no. 48 Integer-valued polynomials
Paul-Jean Cahen, Jean-Luc Chabert. : American Mathematical Society, c1997.
QA3 .A56 no. 49 Monotone operators in Banach space and nonlinear partial differential equations
R.E. Showalter. : American Mathematical Society, c1997.
QA3 .A57 no. 590 Degenerate principal series for symplectic and odd-orthogonal groups
Chris Jantzen. : American Mathematical Society, c1996.
QA3 .A57 no. 591 Stratifying endomorphism algebras
Edward Cline, Brian Parshall, Leonard Scott. : American Mathematical Society, c1996.
QA3 .A57 no. 592 Analytic deformations of the spectrum of a family of Dirac operators on an odd-dimensional manifold with boundary
P. Kirk, E. Klassen. : American Mathematical Society, c1996.
QA3 .A57 no. 593 Completely positive hypergroup actions
Ajit Iqbal Singh. : American Mathematical Society, c1996.
QA3 .A57 no. 594 The fundamental lemma of the Shalika subgroup of GL(4)
Solomon Friedberg, Herve Jacquet. Providence, Ri. : American Mathematical Society, c1996.
QA3 .A57 no. 595 Compact connected Lie transformation groups on spheres with low cohomogeneity, II
Eldar Straume. : American Mathematical Society, 1997.
QA3 .A57 no. 596 Cyclic phenomena for composition operators
Paul S. Bourdon, Joel H. Shapiro. : American Mathematical Society, 1997.
QA3 .A57 no. 597 CR-geometry and deformations of isolated singularities
Ragnar-Olaf Buchweitz, John J. Millson. : American Mathematical Society, 1997.
QA3 .A57 no. 598 Maximality properties in numerical semigroups and applications to one- dimensional analytically irreducible local domains
Valentina Barucci, David E. Dobbs, Marco Fontana. : American Mathematical Society, 1997.
QA3 .A57 no. 599 Large time behavior of solutions for general quasilinear hyperbolic- parabolic systems of conservation laws
Tai-Ping Liu, Yanni Zeng. : American Mathematical Society, 1997.
QA3 .A57 no. 600 Gauge theory on compact surfaces
Ambar Sengupta. : American Mathematical Society, c1997.
QA3 .A57 no. 601 Locally finite, planar, edge-transitive graphs
Jack E. Graver, Mark E. Watkins. : American Mathematical Society, c1997.
QA3.A57 no. 602 Crossed products of von Neumann algebras by equivalence relations and their subalgebras
Igor Fulman. : American Mathematical Society, c1997.
QA3.A57 no. 603 Extended affine Lie algebras and their root systems
Bruce N. Allison ... [et al.]. : American Mathematical Society, c1997.
QA3.A57 no. 604 Decision problems for equational theories of relation algebras
Hajnal Andreka, Steven Givant, Istvan Nemeti. : American Mathematical Society, c1997.
QA3 .A57 no. 605 Classification of simple C*-algebras : inductive limits of matrix algebras over trees
Liangqing Li. : American Mathematical Society, 1997.
QA3 .A57 no. 606 Asymptotic completeness, global existence and the infrared problem for the Maxwell-Dirac equations
Moshe Flato, Jacques C.H. Simon, Erik Taflin. : American Mathematical Society, 1997.
QA3 .A57 no. 607 Operators of class C0 with spectra in multiply connected regions
Adele Zucchi. : American Mathematical Society, c1997.
QA3 .A57 no. 608 Generalized Minkowski content, spectrum of fractal drums, fractal strings and the Riemann zeta-function
Christina Q. He, Michel L. Lapidus. : American Mathematical Society, 1997.
QA3 .A625 no. 116 Statistical test limits in quality control
G.D. Otten. : Centrum voor Wiskunde en Informatica, c1996.
QA3 .A625 no. 117 Graph reduction on shared-memory multiprocessors
K.G. Langendoen. : Centrum voor Wiskunde en Informatica, c1996.
QA3 .A625 no. 118 Nonlinear H [infinity] control : the singular case
W.C.A. Maas. : Centrum voor Wiskunde en Informatica, c1996.
QA3 .C4933 1996 A mathematician and his mathematical work : selected papers of S.S. Chern
edited by S.Y. Cheng, P. Li, G. Tian. : World Scientific, c1996.
QA3 .L28 no. 1625 Rapport sur la cohomologie des groupes. English. Topics in cohomology of groups
Serge Lang. : Springer, c1996.
QA3 .L28 no. 1628 An algebraic approach to association schemes
Paul-Hermann Zieschang. :Springer, c1996.
QA3 .L28 no. 1629 Lectures on Seiberg-Witten invariants
John D. Moore. : Springer, c1996.
QA3 .L28 no. 1630 Probabilities on the Heisenberg group : limit theorems and Brownian motion
Daniel Neuenschwander. : Springer, c1996.
QA3 .L28 no. 1631 Mahler functions and transcendence
Kumiko Nishioka. : Springer, c1996.
QA3 .L28 no. 1632 Geometric methods in degree theory for equivariant maps
Alexander Kushkuley, Zalman Balanov. : Springer, c1996.
QA3 .L28 no. 1633 Potential theory : selected topics
Hiroaki Aikawa, Matts Essen. :Springer, c1996.
QA3 .L28 no. 1634 Flat covers of modules
Jinzhong Xu. : Springer, c1996.
QA3 .L28 no. 1635 Sobolev spaces on Riemannian manifolds
Emmanuel Hebey. : Springer-Verlag, c1996.
QA3 .L28 no. 1636 Spaces of orderings and abstract real spectra
Murray A. Marshall. :Springer, c1996.
QA3 .L28 no. 1637 The geometry of some special arithmetic quotients
Bruce Hunt. :Springer, c1996.
QA3 .L28 no. 1638 Integrable systems in the realm of algebraic geometry
Pol Vanhaecke. :Springer-Verlag, c1996.
QA3 .L28 no. 1639 Almost-Bieberbach groups : affine and polynomial structures
Karel Dekimpe. : Springer, 1996.
QA3 .L28 no. 1640 Recent mathematical methods in nonlinear wave propagation : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.), held in Montecatini Terme, Italy, May 23-31, 1994
G. Bolliat ... [et al.] ; editor, T. Ruggeri. : Springer, c1996.
QA3 .L28 no. 1641 Twin buildings and applications to S-arithmetic groups
Peter Abramenko. : Springer Verlag, 1996.
QA5 .B625 1991 The HarperCollins dictionary of mathematics
E.J. Borowski and J.M. Borwein, with the assistance of J.F. Bowers, A. Robertson, and M. McQuillan. : HarperPerennial, c1991.
Location = Richter Reference.
QA7 .R65 1997 Indiscrete thoughts
Gian-Carlo Rota ; Fabrizio Palombi, editor. : Birkhauser, c1997.
QA8.4 .H3 1996 Essay on the psychology of invention in the mathematical field. The mathematician's mind : the psychology of invention in the mathematical field
Jacques Hadamard. : Princeton University Press, c1996.
QA9 .A24 1997 Logic of mathematics : a modern course of classical logic
Zofia Adamowicz, Pawel Zbierski. : Wiley, c1997.
QA9.46 .P67 1994 First steps in modal logic
Sally Popkorn. : Cambridge University Press, 1994.
QA9.58 .S28 1996 Algorithm theory-- SWAT '96 : 5th Scandinavian Workshop on Algorithm Theory, Reykjavik, Iceland, July 3-5, 1996 : proceedings
Rolf Karlsson, Andrzej Lingas (eds.). : Springer, c1996.
QA9.7 .W43 1997 Henkin-Keisler models
by George Weaver. : Kluwer Academic, c1997.
QA13 .P37 1994 The emergence of the American mathematical research community, 1876-1900 : J.J. Sylvester, Felix Klein, and E.H. Moore
Karen Hunger Parshall, David E. Rowe. : American Mathematical Society ; [London] : London Mathematical Society, c1994.
QA21 .B95 The historical roots of elementary mathematics
Lucas N. H. Bunt, Phillip S. Jones, Jack D. Bedient. : Prentice-Hall, c1976.
QA21 .L38 1995 Learn from the masters!
edited by Frank Swetz ... [et. al]. : Mathematical Association of America, c1995.
QA29.K73 K74 1996 Kreiseliana : about and around Georg Kreisel
edited by Piergiorgio Odifreddi. Wellesley, Mass. : A.K. Peters, c1996.
QA39.2 .B495 1989 Introductory mathematics through science applications
John Berry, Allan Norcliffe, and Stephen Humble. : Cambridge University Press, 1989.
QA39.2 .D43 1997 The essence of discrete mathematics
Neville Dean. : Prentice Hall, 1997.
QA39.2 .K63 1986 The only math book you'll ever need
Stanley Kogelman and Barbara R. Heller. : Facts on File Publications, c1986.
QA63 .K763 1996 The new sourcebook for teaching reasoning and problem solving in junior and senior high school
Stephen Krulik, Jesse A. Rudnick. : Allyn and Bacon, c1996.
QA76 .D348 1997 Beyond calculation : the next fifty years of computing
Peter J. Denning, Robert M. Metcalfe ; foreword by James Burke. : Copernicus, c1997.
QA76 .E15 1995 The most complex machine : a survey of computers and computing
David J. Eck. Wellesley, Mass. : a K Peters, c1995.
QA76 .H265 1997 HAL's legacy : 2001s computer as dream and reality
edited by David G. Stork. : MIT Press, c1997.
QA76 .S425 1997 Semantics and logics of computation
edited by Andrew M. Pitts, Peter Dybjer. : Cambridge University Press, 1997.
QA76.5 .E566 1996 The architecture of computer hardware systems software : an information technology approach
by Irv Englander. : Wiley, c1996.
QA76.5 .M531426 1997 Surviving the design of a 200 MHz RISC microprocessor : lessons learned
Veljko Milutinovic. Los Alamitos, Calif. : IEEE Computer Society Press, c1997.
QA76.5 .O16 1997 The computer triangle
Robert L. Oakman. : John Wiley & Sons, c1997.
QA76.5 .P22 P C newsWatch. Louisville, KY : Cobb Group, c1983-
LOCATION = Brockway Periodicals.
QA76.54 .F657 1996 Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings
Bengt Jonsson, Joachim Parrow, eds. : Springer, c1996.
QA76.54 .N58 1997 Realtime systems
Nimal Nissanke. : Prentice Hall, 1997.
QA76.545 .B47 1997 Principles of transaction processing
Philip A. Bernstein, Eric Newcomer. : Morgan Kaufmann Publishers, c1997.
QA76.575 .F88 1997 Motion estimation algorithms for video compression
by Borko Furht, Joshua Greenberg, Raymond Westwater. : Kluwer Academic Publishers, c1997.
QA76.575 .H36 1997 The Handbook of multimedia information management
edited by William I. Grosky, Ramesh Jain, Rajiv Mehrotra. : Prentice Hall Ptr, c1997.
QA76.575 .W47 1997 Real-time video compression : techniques and algorithms
by Raymond Westwater, Borko Furht. : Kluwer, c1997.
QA76.58 .E975 1996 Parallel virtual machine, EuroPVM '96 : third European PVM conference, Munich, Germany, October 7-9, 1996 : proceedings
Arndt Bode ... [et al.] (eds.). : Springer, c1996.
QA76.58 .I5 1996 Parallel computation : Third International ACPC Conference with special emphasis on parallel databases and parallel I
O, Klagenfurt, Austria, September 23-25, 1996 : proceedings
Boszormenyi Laszlo, ed. :Springer, c1996.
QA76.58 .I53 1996 Concur '96 : concurrency theory : 7th International Conference, Pisa, Italy, August 26-29, 1996 : proceedings
Ugo Montanari, Vladimiro Sassone, eds. : Springer, c1996.
QA76.58 .I535 1996 Parallel problem solving from nature--PPSN IV : International Conference on Evolutionary Computation, the 4th International Conference on Parallel Problem Solving from Nature, Berlin, Germany, September 22-26, 1996 : proceedings
Hans-Michael Voigt ... [et al.], eds. : Springer, c1996.
QA76.58 .I554 1996 Euro-Par '96 parallel processing : second International Euro-Par Conference, Lyon, France, August 26-29, 1996 : proceedings
Luc Bouge ... [et al.] (eds.). : Springer, c1996.
QA76.58 .I59 1996 Job scheduling strategies for parallel processing : IPPS '96 workshop, Honolulu, Hawaii, April 16, 1996 : proceedings
Dror G. Feitelson, Larry Rudolph, eds. : Springer, c1996.
QA76.58 .S59 1994 Foundations of parallel programming
David Skillicorn. : Cambridge University Press, 1994.
QA76.6 .H86 1981 The design and construction of compilers
Robin Hunter. : Wiley, 1983, c1981.
QA76.6 .S716 1996 Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings
Radhia Cousot, David A. Schmidt, eds. : Springer, c1996.
QA76.612 .I58 1996 Principles and practice of constraint programming--CP '96 : Second International Conference, CP '96, Cambridge, MA, USA, August 19-22, 1996 : proceedings
Eugene C. Freuder, ed. : Springer, c1996.
QA76.618 .A23 1996 Evolutionary computing : AISB Workshop, Brighton, U.K., April 1-2, 1996 : selected papers
Terence C. Fogarty, ed. : Springer, c1996.
QA76.62 .A38 1996 Advanced functional programming : second international school, Olympia, WA, USA, August 26-30, 1996 : tutorial text
John Launchbury, Erik Meijer, Tim Sheard (eds.). : Springer, c1996.
QA76.63 .A33 1996 Reasoning with logic programming
Jose Julio Alferes, Luis Moniz Pereira. : Springer, c1996.
QA76.63 .A36 1996 Algebraic and logic programming : 5th international conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings
Michael Hanus, Mario Rodriguez-Artalejo, (eds.). : Springer, c1996.
QA76.63 .O83 1996 Over-constrained systems
Michael Jampel, Eugene Freuder, Michael Maher (eds.). : Springer, c1996.
QA76.64 .B353 1997 Object-oriented design with C++
K.A. Barclay and W.J. Savage. : Prentice Hall, 1997.
LOCATION = MIC/Res Xmr.
QA76.64 .C372 1997 Object oriented programming : a unified foundation
Giuseppe Castagna. : Birkhauser, c1997.
QA76.64 .F7 1996 Object-based parallel and distributed computation : France-Japan Workshop, OBPDC '95, Tokyo, Japan, June 1995 : selected papers
Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa (eds.). : Springer, c1996.
QA76.64 .T66 1995 Technology of object-oriented languages and systems, TOOLS 17 : proceedings of the seventeenth international conference, TOOLS Santa Barbara, 1995
editors, Raimund Ege, Madhu Singh, Bertrand Meyer. : Prentice Hall, 1995.
QA76.642 .D38 1996 The data parallel programming model : foundations, HPF realization, and scientific applications
Guy-Rene Perrin, Alain Darte, eds. :Springer, c1996.
QA76.642 .I59 1996 Parallel algorithms for irregularly structured problems : third international workshop, IRREGULAR '96, Santa Barbara, CA, USA, August 19-21, 1996 : proceedings
A. Ferreira ... [et al.] (eds.). : Springer, c1996.
QA76.642 .M43 1997 Automatic parallelization for a class of regular computations
G.M. Megson, X. Chen. : World Scientific, c1997.
QA76.642 .S36 1997 On concurrent programming
Fred B. Schneider. : Springer, c1997.
QA76.7 .P56 1996 Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings
Herbert Kuchen, S. Doaitse Swierstra, eds. : Springer, c1996.
QA76.73.C15 K49 1996 C programming : a modern approach
K.N. King. : Norton, c1996.
QA76.73.C153 R83 1994 C++ complete : a reference and tutorial to the proposed C++ standard
Anthony Rudd. : Wiley, c1994.
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.
Locations = Marine Lib. Stacks, Richter Stacks.
QA76.73.J38 M354 1997 Java security
Gary McGraw & Edward Felten. : Wiley, c1997.
QA76.73.M6 M57 1997 ML with concurrency : design, analysis, implementation, and application
Flemming Nielson, editor. : Springer, c1997.
QA76.73.P67 M4713 1997 PostScript- und Acrobat-Bibel. English. PostScript & acrobat
Pdf : applications, troubleshooting, and cross- platform publishing
Thomas Merz. : Springer, c1997.
LOCATION = MIC/Res Xmr.
QA76.73.P98 W38 1996 Internet programming with Python
Aaron Watters, Guido van Rossum, James C. Ahlstrom. : M&T Books, c1996.
LOCATION = MIC/Res Xmr.
QA76.751 .S62 1996 SOFSEM'96 : theory and practice of informatics : 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996 : proceedings
Keith G. Jeffery, Jaroslav Kral, Miroslav Bartosek (eds.). : Springer, c1996.
QA76.758 .I57115 1996 Advanced information systems engineering : 8th International Conference CAiSE '96, Heraklion, Crete, Greece, May 20-24, 1996 : proceedings
Panos Constantopoulos, John Mylopoulos, Yannis Vassiliou (eds.). : Springer, c1996.
QA76.758 .I5713 1996 Algebraic methodology and software technology : 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings
Martin Wirsing, Maurice Nivat (eds.). : Springer-Verlag, c1996.
QA76.758 .M258 1997 Guide to software engineering standards and specifications
Stan Magee, Leonard L. Tripp. : Artech House, c1997.
Location = Richter Reference.
QA76.758 .R47 1997 The responsible software engineer : selected readings in IT professionalism
Colin Myers, Tracy Hall, and Dave Pitt (eds.). : Springer, c1997.
QA76.758 .S65625 1997 Software requirements engineering
edited by Richard H. Thayer and Merlin Dorfman ; foreword by Alan M. Davis ; original contributions by Sidney C. Bailin ... [et al.]. Los Alamitos, Calif. : IEEE Computer Society Press, c1997.
QA76.76.A65 T55 1993 TinyTERM terminal emulation software for DOS and MS Windows : version 2.0 : user's manual. Salt Lake City, Utah : Century Software, c1993.
QA76.76.C65 W5713 1996 Grundlagen und Techniken des Compilerbaus. English. Compiler construction
Niklaus Wirth. Harlow, England : Addison-Wesley Pub. Co., c1996.
LOCATION = MIC/Res Xmr.
QA76.76.C69 I25 1996 Software configuration management : ICSE '96 SCM-6 Workshop, Berlin, Germany, March 25-26, 1996 : selected papers
Ian Sommerville, ed. : Springer, c1996.
QA76.76.D47 E87 1996 Software process technology : 5th European workshop, EWSPT '96, Nancy, France, October 9-11, 1996 : proceedings
Carlo Montangero (ed.). : Springer, c1996.
QA76.76.D47 H39 1996 Formal methods fact file : VDM and Z
Andrew Harry. : Wiley, 1996.
QA76.76.D47 H86 1997 Managing technical people : innovation, teamwork, and the software process
Watts S. Humphrey. : Addison-Wesley, c1997.
QA76.76.D47 P867 1997 Industrial strength software : effective management using measurement
Lawrence H. Putnam, Ware Myers. Los Alamitos, Calif. : IEEE Computer Society Press, c1997.
QA76.76.D47 T49 1997 Delphi component design
Danny Thorpe. : Addison-Wesley Developers Press, c1997.
LOCATION = MIC/Res Xmr.
QA76.76.E93 P37 1996 Partial evaluation : international seminar, Dagstuhl Castle, Germany, February 12-16, 1996 : selected papers
Olivier Danvy, Robert Gluck, Peter Thiemann (eds.). :: Springer, c1996.
QA76.76.E95 C378 1997 Expert systems and probabilistic network models
Enrique Castillo, Jose Manuel Gutierrez, Ali S. Hadi. : Springer, c1997.
QA76.76.E95 E92 1996 Advances in knowledge acquisition : 9th European Knowledge Acquisition Workshop, EKAW '96, Nottingham, United Kingdom, May 14-17, 1996 : proceedings
Nigel Shadbolt, Kieron O'Hara, Guus Schreiber, (eds.). :Springer, c1996.
QA76.76.E95 E935 1996 Advances in case-based reasoning : Third European Workshop, EWCBR-96, Lausanne, Switzerland, November 14-16, 1996 : proceedings
Ian Smith, Boi Faltings, (eds.). : Springer, c1996.
QA76.76.E95 L53 1991 Institutionalizing expert systems : a handbook for managers
Jay Liebowitz. : Prentice Hall, c1991.
QA76.76.H94 S64 1996 Hypertext : the electronic labyrinth
Ilana Snyder. Carlton South, Vic. : Melbourne University Press, 1996.
QA76.76.I59 G56 1997 Elements of hypermedia design : techniques for navigation & visualization in cyberspace
Peter Gloor. : Birkhauser, c1997.
QA76.76.O63 B838 1996 Building tightly integrated software development environments : the IPSEN approach
Manfred Nagl, ed. : Springer, c1996.
QA76.76.O63 C459 1997 Distributed operating systems & algorithms
Randy Chow, Theodore Johnson. : Addison Wesley, c1997.
QA76.76.O63 M3716 1996 Windows 95 answers : certified tech support
Martin S. Matthews, Carole Boggs Matthews. Berkeley, Calif. : Osborne McGraw-Hill, c1996.
QA76.76.O63 T36 1997 Operating systems : design and implementation
Andrew S. Tanenbaum, Albert S. Woodhull. : Prentice Hall, c1997.
LOCATION = MIC/Res Xmr.
QA76.76.Q35 J69 1996 Patterns of software system failure and success
Capers Jones. : International Thomson Computer Press, c1996.
QA76.76.R44 F56 1996 Software failure, management failure : amazing stories and cautionary tales
Stephen Flowers. : Wiley, c1996.
QA76.76.R47 L43 1997 Software reuse : methods, models, and costs
Ronald J. Leach. : McGraw-Hill, c1997.
QA76.76.R47 P68 1997 Measuring software reuse : principles, practices, and economic models
Jeffrey S. Poulin. : Addison-Wesley, c1997.
QA76.76.R47 R33 1995 Software reuse
Roy Rada. Oxford, England : Intellect, 1995.
QA76.76.S64 R33 1997 The year 2000 problem solver : a five-step disaster prevention plan
Bryce Ragland. : McGraw Hill, c1997.
QA76.76.S64 U38 1997 The year 2000 software crisis : challenge of the century
William M. Ulrich and Ian S. Hayes. : Yourdon Press, c1997.
QA76.76.S66 T68 1997 The art of software support : design and operation of support centers and help desks
Francoise Tourniaire and Richard Farrell. : Prentice Hall Ptr, c1997.
QA76.76.V47 C38 1996 Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings
Rajeev Alur, Thomas A. Henzinger (eds.). : Springer-Verlag, c1996.
QA76.76.W56 S345 1997 X Window System : extension library : X version 11, releases 6 and 6.1
Robert W. Scheifler, James Gettys ; edited by Al Mento and Donna Converse. : Digital Press, c1997.
QA76.87 .A32 1997 Neural networks and fuzzy systems : theory and applications
Shigeo Abe ; foreword by Anca Ralescu. : Kluwer Academic, c1997.
QA76.87 .A48 1995 An introduction to neural computing
Igor Aleksander and Helen Morton. : International Thomson Computer Press, 1995.
QA76.87 .A74335 1996 Artificial neural networks : ICANN 96 : 1996 international conference, Bochum, Germany, July 16-19, 1996 : proceedings
C. von der Malsburg ... [et al.], eds. : Springer, c1996.
QA76.87 .I346 1995 Fuzzy logic, neural networks, and evolutionary computation : IEEE
Nagoya University World Wisepersons Workshop, Nagoya, Japan, November 14-15, 1995 : selected papers
Takeshi Furuhashi, Yoshiki Uchikawa (eds.). :Springer, c1996.
QA76.87 .I37 1995 Neural networks for signal processing V : proceedings of the 1995 IEEE Workshop : fifth in a series of workshops organized by the IEEE Signal Processing Society Neural Networks Technical Committee
edited by Federico Girosi ... [et al.]. : Institute of Electrical and Electronics Engineers, c1995.
QA76.87 .N4965 1997 Application of neural networks to adaptive control of nonlinear systems
G.W. Ng. Taunton, Somerset, England : Research Studies Press : J. Wiley, c1997.
QA76.88 .N37 1996 Computing and communications in the extreme : research for crisis management and other applications
Steering Committee, Workshop Series on High Performance Computing and Communications, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, National Research Council. Washington, DC : National Academy Press, 1996.
QA76.9.A23 W67 1995 Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers
Magne Haveraaen, Olaf Owe, Ole- Johan Dahl, eds. : Springer, c1996.
QA76.9.A25 A278 1996 Information security and privacy : first Australian conference, ACISP '96, Wollongong, NSW, Australia, June 24-26, 1996 : proceedings
Josef Pieprzyk, Jennifer Seberry, (eds.). : Springer, c1996.
QA76.9.A25 B38513 1997 Entzifferte Geheimnisse. English. Decrypted secrets : methods and maxims of cryptology
Friedrich L. Bauer. : Springer, c1997.
QA76.9.A25 E98 1996 Computer security, ESORICS 96 : 4th European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996 : proceedings
Elisa Bertino ... [et al.], eds. : Springer, 1996.
QA76.9.A25 F66 1997 Secure electronic commerce : building the infrastructure for digital signatures and encryption
Warwick Ford, Michael S. Baum. : Prentice Hall Ptr, c1997.
QA76.9.A25 I5414 1996 Information hiding : first international workshop, Cambridge, U.K., May 30- June 1, 1996 : proceedings
Ross Anderson, (ed.). : Springer, c1996.
QA76.9.A25 I5553 1996 Advances in cryptology--ASIACRYPT '96 : International Conference on the Theory and Applications of Cryptology and Information Security, Kyongju, Korea, November 3-7, 1996 : proceedings
Kwangjo Kim, Tsutomu Matsumoto (eds.). : Springer, c1996.
QA76.9.A25 P444 1996 Digital signature schemes : general framework and fail-stop signatures
Birgit Pfitzmann. : Springer, c1996.
QA76.9.A25 S26 1996 Public-key cryptography
Arto Salomaa. : Springer, c1996.
QA76.9.A25 S85 1997 Secure computing : threats and safeguards
Rita C. Summers. : McGraw-Hill, c1997.
QA76.9.A43 A48 1996 Algorithmic learning theory : 7th international workshop, ALT '96, Sydney, Australia, October 23-25, 1996 : proceedings
Setsuo Arikawa, Arun K. Sharma (eds.). : Springer, c1996.
QA76.9.A43 E83 1996 Algorithms - ESA '96 : Fourth Annual European Symposium, Barcelona, Spain, September 25-27, 1996 : proceedings
Josep Diaz, Maria Serna (eds.). :Springer, c1996.
QA76.9.A73 W675 1995 CAMP '95, computer architectures for machine perception : proceedings, September 18-20, 1995, Como, Italy
edited by Virginio Cantoni ... [et al.] ; sponsored by Pavia University, Dipartimento di informatica e sistematica, Centro di cultura scientifica "A. Volta" in cooperation with the IEEE Computer Society Technical Committee on Computer Architecture ... [et al.]. Los Alamitos, Calif. : IEEE Computer Society Press, c1995.
QA76.9.A96 I57 1996 Automated deduction, Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
M.A. McRobbie, J.K. Slaney (eds.). : Springer, c1996.
QA76.9.A96 I577 1996 Theorem proving in higher order logics : 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings
J. von Wright, J. Grundy, J. Harrison (eds.). : Springer, c1996.
QA76.9.A96 L44 1997 The resolution calculus
Alexander Leitsch. : Springer, c1997.
QA76.9.C55 A53 1997 Client
server database design with Sybase : a high-performance and fine- tuning guide
George W. Anderson. : McGraw-Hill, c1997.
QA76.9.C55 B68 1997 A cookbook for serving the Internet : UNIX version
Philip E. Bourne. : Prentice Hall Ptr, c1997.
QA76.9.C55 M39 1997 Bulletproofing client
server systems / Richard J. Martin, Glenn E. Weadock ; illustrated by Emily Sherrill Weadock. : McGraw-Hill, c1997.
QA76.9.C55 U53 1997 Object-oriented client
server Internet environments / Amjad Umar. : Prentice Hall Ptr, c1997.
QA76.9.C65 F64 1995 Evolutionary computation : toward a new philosophy of machine intelligence
David B. Fogel. : IEEE Press, c1995.
QA76.9.C66 C57 1996 Clicking in : hot links to a digital culture
edited by Lynn Hershman- Leeson. Seattle : Bay Press, c1996.
LOCATION = MIC/Res Xmr.
QA76.9.C66 M56 1996 Minutes of the the [sic] Lead Pencil Club : pulling the plug on the electronic revolution
edited by Bill Henderson. Wainscott, N.Y. : Pushcart Press, c1996.
QA76.9.D26 B87 1997 Building, using, and managing the data warehouse
Ramon C. Barquin, Herbert A. Edelstein, editors. : Prentice Hall Ptr, c1997.
QA76.9.D26 I567 1996 Conceptual modeling - ER '96 : 15th International Conference on Conceptual Modeling, Cottbus, Germany, October 7-10, 1996 : proceedings
Bernhard Thalheim (ed.). : Springer, c1996.
QA76.9.D26 R45 1994 The data modeling handbook : a best-practice approach to building quality data models
Michael Reingruber, William W. Gregory. : Wiley, c1994.
QA76.9.D3 B3686 1996 Object database implementations : complex data
Douglas K. Barry. : Sigs Books and Multimedia, 1996.
QA76.9.D3 D35757 1996 Database and expert systems applications : 7th International Conference, DEXA '96, Zurich, Switzerland, September 9-13, 1996 : proceedings
Roland R. Wagner, Helmut Thoma (eds.). : Springer, c1996.
QA76.9.D3 I31542 1997 Managing the data warehouse
W.H. Inmon, J.D. Welch, Katherine L. Glassey. : Wiley, c1997.
QA76.9.D3 I55875 1995 OOIS '95 : 1995 International Conference on Object Oriented Information Systems, 18-20 December 1995, Dublin : proceedings
edited by John Murphy and Brian Stone ; presented by Dublin City University. : Springer, 1995.
QA76.9.D3 L642 1996 Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings
Dino Pedreschi, Carlo Zaniolo, (eds.). :Springer, c1996.
QA76.9.D3 P63 1996 Distributed relational database : cross-platform connectivity and applications
Silvio Podcameni, Manfred Mittelmeir, Michele Chilanti. San Jose, Calif. : Ibm, International Technical Support Organization : Prentice Hall Ptr, c1996.
QA76.9.D5 F664 1996 Formal systems specification : the RPC-memory specification case study
Manfred Broy, Stephan Merz, Katharina Spies, eds. : Springer, c1996.
QA76.9.D5 F76 1996 Coordinating distributed objects : an actor-based approach to synchronization
Svend Frolund. : MIT Press, c1996.
QA76.9.D5 I335 1995 Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, August 28-30, 1995, Cheju Island, Korea
sponsored by IEEE Computer Society Technical Committee on Distributed Processing in cooperation with Ifip Wg 10.4 on Dependable Computing ... [et al.]. Los Alamitos, Calif. : IEEE Computer Society Press, c1995.
QA76.9.D5 I63 1996 Trends in distributed systems : CORBA and beyond : International Workshop TreDS '96, Aachen, Germany, October 1-2, 1996 : proceedings
Otto Spaniol, Claudia Linnhoff-Popien, Bernd Meyer (eds.). :: Springer, c1996.
QA76.9.D5 Y46 1996 Hardware-software co-synthesis of distributed embedded systems
Ti-Yen Yen, Wayne Wolf. : Kluwer Academic, 1996.
QA76.9.D6 R43 1996 Read me first! : a style guide for the computer industry
Sun Technical Publications. [Upper Saddle River, NJ] : Prentice Hall, 1996.
LOCATION = MIC/Res Xmr.
QA76.9.F38 E95 1996 Dependable computing--EDCC-2 : second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings
Andrzej Hlawiczka, Joao Gabriel Silva, Luca Simoncini (eds.). : Springer, c1996.
QA76.9.H85 M38 1995 Information seeking in electronic environments
Gary Marchionini. : Cambridge University Press, 1995.
QA76.9.H85 S74 1996 Structure-based editors and environments
edited by Gerd Szwillus, Lisa Neal. San Diego, Ca : Academic Press, 1996.
QA76.9.M35 S96 1996 Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Cracow, Poland, September 2-6, 1996 : proceedings
Wojciech Penczek, Andrzej Szalas, eds. : Springer, c1996.
QA76.9.M45 T37 1996 The cache coherence problem in shared-memory multiprocessors : software solutions
Igor Tartalja, Veljko Milutinovic. Los Alamitos, Calif. : IEEE Computer Society Press, c1996.
QA76.9.M65 E34 1997 Morality and machines : perspectives on computer ethics
Stacey L. Edgar. Sudbury, Mass. : Jones and Bartlett Publishers, c1997.
QA76.9.N38 F75 1996 Automatic ambiguity resolution in natural language processing : an empirical approach
Alexander Franz. : Springer, c1996.
QA76.9.N38 G7 1996 Grammatical inference : learning syntax from sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25-27, 1996 : proceedings
Laurent Miclet, Colin de la Higuera (eds.). : Springer, c1996.
QA76.9.N38 L63 1997 Logic, language, and computation
edited by Seiki Akama. : Kluwer Academic, c1997.
QA76.9.O35 A83 1997 Object-oriented test & measurement software development in C++ : bridging the gap between object-oriented programming and test & measurement
Lee Atchison. : Prentice Hall Ptr, c1997.
LOCATION = MIC/Res Xmr.
QA76.9.O35 F69 1997 Analysis patterns : reusable object models
Martin Fowler. Menlo Park, Calif. : Addison Wesley, c1997.
QA76.9.S88 C664 1997 Conceptual modelling
Magnus Boman ... [et al.]. : Prentice Hall, 1997.
QA76.9.S88 I576 1996 Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings
Jacques Calmet, Carla Limongelli, eds. : Springer, c1996.
QA76.9.S88 I583 1995 Sixth IEEE International Workshop on Rapid System Prototyping : shortening the path from specification to prototype, June 7-9, 1995, Chapel Hill, North Carolina
workshop chair, Nick Kanopoulos ; program chair [and] proceedings editor, Rudy Lauwereins ; sponsored by IEEE Computer Society Technical Committee on Design Automation, IEEE Computer Society Technical Committee on Test Technology. Los Alamitos, Calif. : IEEE Computer Society Press, c1995.
QA93 .H53 1997 Mathematical reflections : in a room with many mirrors
Peter Hilton, Derek Holton, Jean Pedersen. : Springer, c1997.
QA93 .K65 1996 The pleasures of counting
T.W. Korner. Cambridge, UK : Cambridge University Press, 1996.
QA93 .W385 1997 You are a mathematician : a wise and witty introduction to the joy of numbers
David Wells. : Wiley, [1997?], c1995.
QA95 .A554 1994 Mensa publications mighty mindbenders
Robert Allen. [Great Britain] : Carlton Books Ltd., 1995, c1994.
QA95 .S725 1989 Game, set, and math : enigmas and conundrums
Ian Stewart. Oxford [England] ; Cambridge, Mass, USA : Basil Blackwell, 1989.
QA115 .M395 1996 Jelly beans for sale
written and photo-illustrated by Bruce McMillan. : Scholastic Press, c1996.
Location = Richter Juv Oversize.
QA155.7.E4 W56 1996 Polynomial algorithms in computer algebra
F. Winkler. Wien : Springer, c1996.
QA162 .S44 1997 Rings, fields, and vector spaces : an introduction to abstract algebra via geometric constructability
B.A. Sethuraman. : Springer, c1997.
QA166 .C6175 1996 Combinatorics and computer science : 8th Franco-Japanese and 4th Franco- Chinese conference, Brest, France, July 3-5, 1995 : selected papers
Michel Deza, Reinhardt Euler, Ioannis Manoussakis (eds.). : Springer, c1996.
QA166 .C83 1997 Eigenspaces of graphs
D. Cvetkovic, P. Rowlinson, S. Simic. : Cambridge University Press, 1997.
QA169 .H55 1997 A course in homological algebra
P.J. Hilton, U. Stammbach. : Springer, c1997.
QA171.485 .E537 1997 Sperner theory
Konrad Engel. : Cambridge University Press, 1997.
QA171.5 .R68 1996 The theory of quantaloids
Kimmo I. Rosenthal. Harlow : Longman, 1996.
QA172 .O64 1997 Operads : proceedings of renaissance conferences
Jean-Louis Loday, James D. Stasheff, Alexander A. Voronov, editors. : American Mathematical Society, c1997.
QA174.2 .G76 1996 Group theory in China
edited by Zhe-Xian Wan and Sheng-Ming Shi. : Science Press : Kluwer Academic Publishers, c1996.
QA188 .B355 1997 Nonnegative matrices and applications
R.B. Bapat, T.E.S. Raghavan. Cambridge, UK : Cambridge University Press, 1997.
QA188 .B485 1997 Matrix analysis
Rajendra Bhatia. : Springer, c1997.
QA221 .K467 1997 Nailuchshee priblizhenie lineinymi superpozitsiiami (approksimativnaia nomografiia). English. Best approximation by linear superpositions (approximate nomography)
S. Ya. Khavinson ; [translated by D. Khavinson from an original Russian manuscript]. : American Mathematical Society, c1997.
QA241 .A43 1996 Algorithmic number theory : second internati[o]nal symposium, ANTS-II, Talence, France, May 18-23, 1996 : proceedings
Henri Cohen (ed.). : Springer, c1996.
QA241 .C6897 1996 The book of numbers
John H. Conway, Richard K. Guy. : Copernicus c1996.
QA242 .Y36 1996 Perfect, amicable, and sociable numbers : a computational approach
Song Y. Yan. : World Scientific, c1996.
QA244 .A29 1996 Fermat's last theorem : unlocking the secret of an ancient mathematical problem
by Amir D. Aczel. : Four Walls Eight Windows, c1996.
QA247 .G686 1996 Basic structures of function field arithmetic
David Goss. : Springer, c1996.
QA247.3 .L53 1997 Finite fields
Rudolf Lidl, Harald Niederreiter ; foreword by P.M. Cohn. : Cambridge University Press, 1997.
QA247.45 .J33 1996 Finite-dimensional division algebras over fields
Nathan Jacobson. :Springer, c1996.
QA248.5 .B3613 1995 Einfuhrung in die Fuzzy Methoden. English. Fuzzy sets, fuzzy logic, fuzzy methods with applications
Hans Bandemer, Siegfried Gottwald. : J. Wiley, c1995.
QA251.5 .R55 1996 Rings and radicals : proceedings of the International Conference, Shijiazhuang '94
B. J. Gardner, Liu Shaoxue and R. Wiegandt (editors). Harlow : Longman, 1996.
QA267 .I23 1996 Automata, languages and programming : 23rd International Colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996 : proceedings
F. Meyer auf der Heide, B. Monien (eds.). : Springer-Verlag, c1996.
QA267 .I58 1995 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models : October 3-6, 1995, Durham, North Carolina, U.S.A.
sponsored by the Center for Advanced Computing and Communication (Cacc) ; in cooperation with the IEEE Computer Society, Acm Sigmetrics. Los Alamitos, Calif. : IEEE Computer Society Press, c1995.
QA267 .K69 1997 Automata and computability
Dexter C. Kozen. : Springer, c1997.
QA267.7 .B87 1997 Algebraic complexity theory
Peter Burgisser, Michael Clausen, M. Amin Shokrollahi ; with the collaboration of Thomas Lickteig. : Springer, c1997.
QA267.7 .C664 1997 Complexity, logic, and recursion theory
edited by Andrea Sorbi. : Marcel Dekker, c1997.
QA268 .R66 1997 Introduction to coding and information theory
Steven Roman. : Springer, c1997.
QA273 .G3124 1996 Statistically speaking : a dictionary of quotations
selected and arranged by Carl C. Gaither and Alma E. Cavazos-Gaither. Bristol [England] : Institute of Physics Publishing, c1996.
Location = Richter Reference.
QA273.18 .F47 1997 Festschrift for Lucien Le Cam : research papers in probability and statistics
editors, David Pollard, Erik Torgersen, Grace L. Yang. : Springer, 1997.
QA273.25 .T4613 1997 Probability theory : collection of problems
A. Ya. Dorogovtsev ... [et al.] ;[translated by O.I. Klesov and V.A. Kotov]. : American Mathematical Society, 1997.
QA273.45 .A38 1997 Advances in combinatorial methods and applications to probability and statistics
N. Balakrishnan, editor. : Birkhauser, 1997.
QA273.45 .S74 1997 Probability theory and combinatorial optimization
J. Michael Steele. : Society for Industrial and Applied Mathematics, c1997.
QA273.6 .H675 1997 Regional frequency analysis : an approach based on L-moments
J.R.M. Hosking and J.R. Wallis. : Cambridge University Press, 1997.
QA274.A1 S7665 1997 Stochastic processes and functional analysis : in celebration of M.M. Rao's 65th birthday
edited by Jerome A. Goldstein, Neil E. Gretsky, J.J. Uhl, Jr. : Marcel Dekker, c1997.
QA274.2 .R423 1997 Real and stochastic analysis : recent advances
edited by M.M. Rao. Boca Raton, Fla. : CRC Press, c1997.
QA274.7 .F52 1997 Competitive Markov decision processes : with 57 illustrations
Jerzy Filar, Koos Vrieze. : Springer, c1997.
QA274.73 .N43 1996 Statistics of knots and entangled random walks
S.K. Nechaev. : World Scientific, c1996.
QA276 .H78 1996 Robust statistical procedures
Peter J. Huber. : Society for Industrial and Applied Mathematics, c1996.
QA276.16 .A38 1997 Advances in the theory and practice of statistics : a volume in honor of Samuel Kotz
edited by Norman L. Johnson, N. Balakrishnan. : Wiley, c1997.
QA276.8 .M394 1997 The EM algorithm and extensions
Geoffrey J. McLachlan, Thriyambakam Krishnan. : Wiley, c1997.
QA277 .C46 1996 Statistical significance : rationale, validity and utility
Siu L. Chow. London ; Thousand Oaks, Calif. : Sage Publications, c1996.
QA278.6 .L338 1997 Latent variable modeling and applications to causality
Maia Berkane, editor. : Springer, c1997.
QA279 .B645 1997 Sign-based methods in linear statistical models
M.V. Boldin, G.I. Simonova, Yu. N. Tyurin. : American Mathematical Society, 1997.
QA279 .D463 1996 Design and analysis of experiments
edited by S. Ghosh and C.R. Rao. : North-Holland, 1996.
QA279.2 .P73 1996 Predictability of complex dynamical systems
Yurii A. Kravtsov, James B. Kadtke, eds. : Springer, c1996.
QA295 .F47 1945 A text-book of convergence
by W. L. Ferrar. : The Clarendon Press, 1945.
QA297 .E56213 1996 Numerik-Algorithmen mit FORTRAN 77-Programmen. English. Selections. Numerical algorithms with C
Gisela Engeln-Mullges, Frank Uhlig ; [translated by Maria Schon and Frank Uhlig ; Cd-Rom with Ansi-C programs by Albert Becker, Jurgen Dietel, and Uli Eggermann]. : Springer, c1996.
LOCATION = MIC/Res Xmr.
QA297 .N825 1995 Numerical analysis 1995
D.F. Griffiths and G.A. Watson, editors. Harlow, England : Longman, c1996.
QA297 .N827 1996 Numerical analysis : A.R. Mitchell 75th birthday volume
editors, D.F. Griffiths & G.A. Watson. : World Scientific, c1996.
QA297.8 .D8413 1997 Methodes recursives aleatoires. English. Random iterative models
Marie Duflo ; translated by Stephen S. Wilson. : Springer, c1997.
QA300 .L278 1997 Undergraduate analysis
Serge Lang. : Springer, c1997.
QA303 .T45 1987 Calculus made easy : being a very-simplest introduction to those beautiful methods of reckoning which are generally called by the terrifying names of the differential calculus and the integral calculus
Silvanus P. Thompson. : St. Martin's Press, 1946.
QA316 .G68 1996 Noncoercive variational problems and related results
D. Goeleven. Harlow, England ; [New York] : Longman, 1996.
QA324 .Z375 1997 Dynamic impulse systems : theory and applications
by S.T. Zavalishchin and A.N. Sesekin. : Kluwer Academic Publishers, c1997.
QA326 .K255 1997 Series in Banach spaces : conditional and unconditional convergence
Mikhail I. Kadets, Vladimir M. Kadets ; translated from the Russian by Andrei Iacob. :Birkhauser, 1997.
QA329.4 .P35 1967 Lineinye differentsialnye operatory s postoiannymi koeffitsientami. Moskva, "Nauka," 1967.
QA329.42 .S24 1997 The asymptotic distribution of eigenvalues of partial differential operators
Yu. Safarov, D. Vassiliev. : American Mathematical Society, c1997.
QA329.7 .Z35 1996 Topics in pseudo-differential operators
S. Zaidman. Essex, England : Longman ; [Reading, Mass.] : Published in the U.S. by Addison Wesley Longman, 1996.
QA331.5 .P34 1997 Foundations of mathematical optimization : convex analysis without linearity
by Diethard Pallaschke and Stefan Rolewicz. : Kluwer Academic, c1997.
QA331.7 .B35 1997 Complex analysis
Joseph Bak, Donald J. Newman. : Springer, c1997.
QA331.7 .C672 1996 Complex analysis, harmonic analysis and applications
R. Deville ... [et al.], (editors). : Longman, 1996.
QA331.7 .G75 1997 Function theory of one complex variable
Robert E. Greene, Steven G. Krantz. : J. Wiley, c1997.
QA333 .E96 1997 Extremal Riemann surfaces
J.R. Quine, Peter Sarnak, editors. : American Mathematical Society, c1997.
QA370 .P767 1996 Progress in elliptic and parabolic partial differential equations
A. Alvino ... [et al.] (editors). Edinburgh Gate, Harlow, Essex ; [New York] : Longman, 1996.
QA370.P77 1996 Progress in partial differential equations : the Metz surveys 4
M. Chipot and I. Shafrir (editors). Harlow : Longman, 1996.
QA371 .S65 1996 Solution sets of differential operators [i.e. equations] in abstract spaces
Roberto Dragoni ... [et al.]. : Longman, c1996.
QA372 .D96 1996 Dynamics of nonlinear waves in dissipative systems : reduction, bifurcation and stability
Gerhard Dangelmayr ... [et al.]. Harlow : Longman, 1996.
QA372 .N65 1996 Nonlinear partial differential equations : (from a conference in Fes)
a Benkirane and J-P Gossez (editors). Harlow : Longman, c1996.
QA372 .S145 1997 A compendium on nonlinear ordinary differential equations
P.L. Sachdev. : John Wiley and Sons, c1997.
QA374 .L3 1967 Lineinye i kvazilineinye uravneniia parabolicheskogo tipa. Moskva, Nauka; Glav. red. fiziko-matematicheskoi lit-ry, 1967.
QA374 .W67 1995 General theory of partial differential equations and microlocal analysis : proceedings of the Workshop on General Theory of PDEs and Microlocal Analysis, International Centre for Theoretical Physics, Trieste 1995
Qi Min-you and L. Rodino (editors). : Longman, c1996.
QA377 .B25 Geometricheskie metody resheniia ellipticheskikh uravnenii. Moskva, Nauka; Glav. red. fiziko-matematicheskoi lit-ry, 1965.
QA377 .B678 Kraevye zadachi dlia ellipticheskikh uravnenii vtorogo poriadka. Moskva, Nauka; Glav. red. fiziko-matematicheskoi lit-ry, 1966.
QA377 .E5 Parabolicheskie sistemy. Moskva, Hauka, 1964.
QA377 .L3 Lineinye i kvazilineinye uravneniia ellipticheskogo tipa. Moskva, Nauka, 1964.
QA377 .P575 Chislennoe reshenie dvumernykh i trekhmernykh kraevykh zadach matematicheskoi fiziki i funktsii diskretnogo argumenta. [Kiev] Izd-vo kievskogo universiteta, 1962.
QA377 .S33 Integrirovanie uravnenii parabolicheskogo tipa metodom setok. Pod red. L.A. Liusternika. Moskva, Gos. izd-vo fiziko-matematicheskoi lit-ry, 1960.
QA377 .S56 Differentsialnye uravneniia v chastnykh proizvodnykh vtorogo poriadka. Dopushcheno v kachestve ucheb. posobiia dlia mekhaniko-matematicheskikh i fiziko-matematicheskikh fakultetov universitetov. Moskva, Nauka 1964.
QA377 .V46 1996 Singularities of solutions of second order quasilinear equations
Laurent Veron. Harlow : Longman, 1996.
QA379 .F75 1995 Free boundary problems, theory and applications : proceedings of the Zakopane Conference '95
Marek Niezgodka and Pawel Strzelecki, (editors). Harlow : Longman, 1996.
QA379 .O8613 1997 Lineinye i nelineinye vozmushcheniia operatora div. English. Linear and nonlinear perturbations of the operator div
V.G. Osmolovskii ; [translated from the Russian by Tamara Rozhkovskaya]. : American Mathematical Society, 1997.
QA387 .R67 1997 Geometry of Lie groups
by Boris Rosenfeld. : Kluwer Academic Publishers, c1997.
QA402.3 .A1613 1996 Upravlenie sistemami s posledeistviem. English. Control of systems with aftereffect
V.B. Kolmanovskii, L.E. Shaikhet ; [translated by Victor Kotov]. : American Mathematical Society, c1996.
QA402.3 .K773 1997 Ellipsoidal calculus for estimation and control
Alexander Kurzhanski, Istvan Valyi. Laxenburg, Austria : Iiasa : Birkhauser, c1997.
QA402.5 .A456 1995 Recent developments in optimization theory and nonlinear analysis : AMS
Imu Special Session on Optimization and Nonlinear Analysis, May 24-26, 1995, Jerusalem, Israel
Yair Censor, Simeon Reich, editors. : American Mathematical Society, c1997.
QA402.5 .H83 1995 Second-order directional derivatives in nonsmooth optimization
Huang Liren. Hong Kong : Chinese University Press, c1995.
QA402.5 .L83 1996 Mathematical programs with equilibrium constraints
Zhi-Quan Luo, Jong-Shi Pang, Daniel Ralph. : Cambridge University Press, 1996.
QA403 .G67 1997 Nonstandard methods in commutative harmonic analysis
E.I. Gordon. : American Mathematical Society, c1997.
QA403.3 .O43 1997 Essential wavelets for statistical applications and data analysis
R. Todd Ogden. : Birkhauser, c1997.
QA404.5 .N68 1997 Haar series and linear operators
by Igor Novikov and Evgenij Semenov. : Kluwer Academic, c1997.
QA425 .S56 1996 The dirichlet problem for the Laplacian in bounded and unbounded domains : a new approach to weak, strong, and (2+k)-solutions in Sobolev-type spaces
C.G. Simader and H. Sohr. : Longman ; [Reading, Mass.] : Published in the United States of America by Addison Wesley Longman, 1996.
QA433 .T3 1997 Generalized vector and dyadic analysis : applied mathematics in field theory
Chen-To Tai. : IEEE Press : Oxford University Press, c1997.
QA448.D38 A635 1996 Applied computational geometry : towards geometric engineering : FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27-28, 1996 : selected papers
Ming C. Lin, Dinesh Manocha (eds.). : Springer, c1996.
QA473 .H46 1997 Modern geometries : the analytic approach
Michael Henle. : Prentice Hall, c1997.
QA491 .S58 1981 Notes on Rubik's magic cube
by David Singmaster. Hillside, N.J. : Enslow Publishers, 1981.
QA601 .L26 1996 Transform methods in applied mathematics : an introduction
Peter Lancaster, Kestutis Salkauskas. : John Wiley, c1996.
QA611.5 .B57 1997 Discreteness and continuity in problems of chaotic dynamics
Michael Blank. : American Mathematical Society, c1997.
QA612 .K73 1997 Theory of degrees, with applications to bifurcations and differential equations
Wieslaw Krawcewicz, Jianhong Wu. : John Wiley, c1997.
QA612.2 .B73 1994 Braid group, knot theory, and statistical mechanics II
editors, C.N. Yang, M.L. Ge. : World Scientific, c1994.
QA612.2 .K39613 1996 Musubime riron. English. A survey of knot theory
Akio Kawauchi. :Birkhauser Verlag, c1996.
QA612.36 .B74 1997 Sheaf theory
Glen E. Bredon. : Springer, c1997.
QA612.7 .P37 1997 Partial differential equation methods in control and shape analysis
edited by Giuseppe Da Prato, Jean-Paul Zolesio. : Marcel Dekker, c1997.
QA613.2 .O4613 1997 Mugen jigen Ri gunron. English. Infinite-dimensional Lie groups
Hideki Omori ; translated by Hideki Omori. : American Mathematical Society, c1997.
QA614.8 .I583 1995 International Conference on Dynamical Systems : Montevideo 1995 -- a tribute to Ricardo Mane
Francois Ledrappier, Jorge Lewowicz, and Sheldon Newhouse (editors). Harlow, England : Longman ; [Reading, Mass.] : Addison Wesley Longman, 1996.
QA614.8 .S58 1996 Six lectures on dynamical systems
editors, B. Aulbach & F. Colonius. : World Scientific, c1996.
QA639.5 .Z66 1996 Strange phenomena in convex and discrete geometry
Chuanming Zong ; edited by James J. Dudziak. : Springer, 1996.
QA807.5 .S55 1997 The mechanics and thermodynamics of continuous media
Miroslav Silhavy. : Springer, c1997.
QA808.2 .C547 1996 Applied continuum mechanics
T.J. Chung. : Cambridge University Press, 1996.
QA845 .C87 1997 Global aspects of classical integrable systems
Richard H. Cushman, Larry M. Bates. :Birkhauser Verlag, c1997.
QA865 .S488 1997 Vibration of discrete and continuous systems
A.A. Shabana. : Springer, c1997.
QA913 .H65 1996 Turbulence, coherent structures, dynamical systems, and symmetry
Philip Holmes, John L. Lumley, and Gal Berkooz. : Cambridge University Press, 1996.
QH205.2 .H35 1997 Handbook of microscopy : applications in materials science, solid-state physics and chemistry
edited by S. Amelinckx ... [et al.]. Weinheim : Vch, c1997.
LOCATION = MIC/Res Reserve.
QH212.N43 F55 1996 Near field optics and nanoscopy
J.P. Fillard. : World Scientific, c1996.
RB155.8 .A78 1996 Artificial self-assembling systems for gene delivery
Philip L. Felgner, editor ... [et al.]. Washington, DC : American Chemical Society, c1996.
RS419 .M65 1996 Molecular diversity and combinatorial chemistry : libraries and drug discovery
Irwin M. Chaiken, Kim D. Janda, [editors]. Washington, DC : American Chemical Society, c1996.
TA455.P58 T5 1997 Thermal characterization of polymeric materials
edited by Edith A. Turi. : Academic Press, c1997.
|
| 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 | ||||||||