|
| 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 | ||||||||
HD66 .S63 1994 Collective intelligence in computer-based collaboration
John B. Smith. Hillsdale, N.J.: L. Erlbaum Associates, 1994.
HF5548.2 .R3265 1996 Data quality for the information age
Thomas C. Redman. : Artech House, c1996.
HF5548.32 .L63 1998 Secure electronic transactions : introduction and technical reference
by Larry Loeb. : Artech House, c1998.
KF4772 .G63 1998 Cyber rights : defending free speech in the digital age
Mike Godwin. : Times Books, c1998.
P37.5.D37 C76 1996 Computational psycholinguistics : an interdisciplinary approach to the study of language
Matthew W. Crocker. : Kluwer Academic Publishers, c1996.
P98.5.P38 M47 1996 Parsing with principles and classes of information
by Paola Merlo. : Kluwer Academic Publishers, c1996.
P98.5.S83 B35 1996 The balancing act : combining symbolic and statistical approaches to language
: MIT Press, 1996.
P326.5.D38 H36 1995 The structure of the lexicon : human versus machine
by Jurgen Handke. : Mouton de Gruyter, 1995.
Q175 .S564 1996 The sciences of the artificial
Herbert A. Simon. : MIT Press, c1996.
Q295 .A44 1996 Advances in support systems research : intelligent systems methodology
edited by George E. Lasker. [Windsor, Ont.]
Q325.5 .L39 1997 Lazy learning
edited by David W. Aha. : Kluwer Academic Publishers, c1997.
Q325.7 .C66 1996 Computational learning and probabilistic reasoning
edited by A. Gammerman. : Wiley, c1996.
Q334 .A382 1996 Advances in artificial intelligence and engineering cybernetics : robotic supervision, contextual machines, ultrafuzzy functions, c1996.
Q335 .A789 1995 The artificial life route to artificial intelligence : building embodied, situated agents
edited by Luc Steels, Rodney Brooks. Hillsdale, N.J. : L. Erlbaum Associates, 1995.
Q335 .F738 1995 The subtlety of sameness : a theory and computer model of analogy-making
Robert M. French. : MIT Press, c1995.
Q335 .H634 1997 Mind matters : exloring the world of artificial intelligence
James P. Hogan. : Del Rey
Ballantine Pub., 1998, c1997.
Q335 .M86 1998 Fundamentals of the new artificial intelligence : beyond traditional paradigms
Toshinori Munakata. : Springer, 1998.
QA1 .A197 vol. 15 Minimal surfaces
A.T. Fomenko, editor. : American Mathematical Society, c1993.
QA1 .A197 vol. 16 I. M. Gelfand Seminar
Sergei Gelfand, Simon Gindikin, editors. : American Mathematical Society, c1993.
QA1 .A197 vol. 17 Unconventional Lie algebras
Dmitry Fuchs, editor. : American Mathematical Society, c1993.
QA1 .A197 vol. 19 Spectral operator theory and related topics
V.A. Marchenko, editor. Providence, Rhode Island : American Mathematical Society, c1994.
QA1 .A197 vol. 20 Probability contributions to statistical mechanics
R.L. Dobrushin, editor. Providence, Rhode Island : American Mathematical Society, c1994.
QA1 .A647 vol. 125 Topological methods in hydrodynamics
Vladimir I. Arnold, Boris A. Khesin. : Springer, 1998.
QA1 .A647 vol. 93 Inverse acoustic and elctromagnetic scattering theory
David Colton, Rainer Kress. : Springer, c1998.
QA3 .A3582 1993 Selections. 1993. Collected mathematical papers
A. Adrian Albert. : American Mathematical Society, c1993.
QA3 .A56 no. 59 Consequences of the axiom of choice
Paul Howard, Jean E. Rubin. : American Mathematical Society, c1998.
Location = Special Formats Books.
QA3 .A56 no. 60 Morita equivalence and continuous-trace C*-algebras
Iain Raeburn, Dana P. Williams. : American Mathematical Society, c1998.
QA3 .A57 no. 635 On stability and endoscopic transfer of unipotent orbital integrals on p- adic symplectic groups
Magdy Assem. : American Mathematical Society, c1998.
QA3 .A57 no. 636 Nonlinear eigenvalues and analytic-hypoellipticity
Ching-Chau Yu. : American Mathematical Society, c1998.
QA3 .A57 no. 637 Cyclic feedback systems
Tomas Gedeon. : American Mathematical Society, c1998.
QA3 .A57 no. 638 Higher initial ideals of homogeneous ideals
Gunnar Flystad. : American Mathematical Society, c1998.
QA3 .A57 no. 639 Structurally stable quadratic vector fields
Joan C. Artes, Robert E. Kooij, Jaume Llibre. : American Mathematical Society, 1998.
QA3 .A57 no. 640 Wandering vectors for unitary systems and orthogonal wavelets
Xingde Dai, David R. Larson. : American Mathematical Society, c1998.
QA3 .A57 no. 642 Basic almost-poised hypergeometric series
Chu Wenchang. : American Mathematical Society, c1998.
QA3 .A57 no. 643 Spectral asymptotics on degenerating hyperbolic 3-manifolds
Jozef Dodziuk, Jay Jorgenson. : American Mathematical Society, c1998.
QA3 .A57 no. 644 Bosonic construction of vertex operator para-algebras from symplectic affine Kac-Moody algebras
Michael David Weiner. : American Mathematical Society, c1998.
QA3 .A57 no. 645 Existence and persistence of invariant manifolds for semiflows in Banach space
Peter W. Bates, Kening Lu, Chongchun Zeng. : American Mathematical Society, 1998.
QA3 .L28 no. 1675 Probability theory of classical Euclidean optimization problems
Joseph E. Yukich. : Springer, c1998.
QA3 .L28 no. 1679 The blocking technique : weighted mean operators and Hardy's inequality
Karl-Goswin Grosse-Erdmann. : Springer, c1998.
QA3 .L28 no. 1680 Moduli of supersingular abelian varieties
Ke-Zheng Li, Frans Oort. :Springer, c1998.
QA3 .L28 no. 1681 The dynamical system generated by the 3n + 1 function
Gunther J. Wirsching. : Springer, c1998.
QA3 .L28 no. 1682 Materials with memory : initial-boundary value problems for constitutive equations with internal variables
Hans-Dieter Alber. : Springer, c1998.
QA3 .L28 no. 1683 The boundary-domain integral method for elliptic systems
Andreas Pomp. : Springer, c1998.
QA3 .L28 no. 1684 Integral geometry, radon transforms, and complex analysis : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held in Venezia, Italy, June 3-12, 1996
C.A. Berenstein ... [et al.] ; editors, E. Casadio Tarabusi, M.A. Picardello, G. Zampieri. : Springer, c1998.
QA3 .L28 no. 1685 Derived equivalences for group rings
Steffen Konig, Alexander Zimmermann ; with contributions by Bernhard Keller ... [et al.]. : Springer-Verlag, c1998.
QA3 .L28 no. 1687 Homogenization in time of singularly perturbed mechanical systems
Folkmar Bornemann. : Springer-Verlag, c1998.
QA3 .L28 no. 1688 Continuous strong Markov processes in dimension one : a stochastic calculus approach
Sigurd Assing, Wolfgang M. Schmidt. : Springer, c1998.
QA3 .L28 no. 1689 Schubert varieties and degeneracy loci
William Fulton, Piotr Pragacz. : Springer, c1998.
QA3 .L28 no. 1691 Factorizable sheaves and quantum groups
Roman Bezrukavnikov, Michael Finkelberg, Vadim Schechtman. : Springer, c1998.
QA3 .Q38 no. 103 Works. 1996. Collected papers of Giacomo Albanese
editors, Ciro Ciliberto, Paulo Ribenboim, and Edoardo Sernesi. Kingston, Ont. : [Queens's University, 1996].
QA3 .Q38 no. 104 Works. 1997. Collected papers of Paulo Ribenboim
Paulo Ribenboim. Kingston, Ont. : Queen's University, 1997.
QA3 .Q38 no. 106 Representations of affine lie algebras
by Vyacheslav M. Futorny. Kingston, Ont. : Queen's University, 1997.
QA3 .Q38 no. 107 Works. 1998. Collected papers of Norman Alling
editor, Paulo Ribenboim. Kingston, Ont., Canada : Queen's University, 1998.
QA3 .Q38 no. 108 Additive and multiplicative semiparametric models in accelerated life testing and survival analysis
by V. Bagdonavicius and M. Nikulin. Kingston, Ont. : Queen's University, 1998.
QA7 .V36 1999 Selections. 1998. The selected works of V.S. Varadarajan
V.S. Varadarajan. : American Mathematical Society, 1999.
QA9.2 .F44 1998 In the light of logic
Solomon Feferman. : Oxford University Press, 1998.
QA9.46 .P67 1994 First steps in modal logic
Sally Popkorn. : Cambridge University Press, 1994.
QA9.54 .H35 1998 Handbook of proof theory
edited by Samuel R. Buss. : Elsevier, 1998.
QA9.58 .S28 1998 Algorithm theory-- SWAT '98 : 6th Scandinavian Workshop on Algorithm Theory, Stockholm, Sweden, July 8-10, 1998 : proceedings
Stefan Arnborg, Lars Ivansson (eds.). : Springer, c1998.
QA11.A1 L38 1997 Learning from TIMSS : results of the Third International Mathematics and Science Study : summary of a symposium
Alexandra Beatty, editor. Washington, D.C. : National Academy Press, 1997.
QA11 .C785 1998 The culture of the mathematics classroom
edited by Falk Seeger, Jorg Voigt, Ute Waschescio. : Cambridge University Press, 1998.
QA21 .G695 1998 Fontana history of the mathematical sciences. The Norton history of the mathematical sciences : the rainbow of mathematics
Ivor Grattan-Guinness. : W.W. Norton, 1998.
QA21 .H57313 1997 History of mathematics : histories of problems
the Inter-Irem Commission, Epistemology and History of Mathematics ; preface by John Fauvel. Paris : Ellipses, 1997.
QA21 .M3615 1998 Mathematics in Berlin
editors, H.G.W. Begehr ... [et al.] on behalf of the Berliner Mathematische Gesellschaft. :Birkhauser Verlag, c1998.
QA29.E86 S34 1998 My brain is open : the mathematical journeys of Paul Erdos
Bruce Schechter. : Simon & Schuster, c1998.
QA36 .A36 1998 Proofs from The Book
Martin Aigner, Gunter M. Ziegler ; with 220 figures including illustrations by Karl H. Hofmann. : Springer, c1998.
QA55 .P776 1998 Logarithms and antilogarithms : an algebraic analysis approach
by Danuta Przeworska-Rolewicz. : Kluwer Academic Publishers, c1998.
QA75 .N2713 1990 Rabdologi. English. Rabdology
John Napier ; translated by William Frank Richardson : MIT Press ; Los Angeles : Tomash Publishers, c1990.
QA75.5 .I543 1998 Computing and combinatorics : 4th annual international conference, COCOON '98, Taipei, Taiwan, R.O.C., August 12-14, 1998 : proceedings: Springer, c1998.
QA75.5 .L63 1997 Logic of computation
edited by Helmut Schwichtenberg. : Springer, c1997.
QA75.5 .R49 1998 Rough sets and current trends in computing : first International Conference, RSCTC '98, Warsaw, Poland, June 22-26, 1998 : proceedings : Springer, c1998.
QA76 .E15 1995 The most complex machine : a survey of computers and computing
David J. Eck. Wellesley, Mass. : a K Peters, c1995.
QA76 .K537 1996 Selected papers on computer science
Donald E. Knuth. [Stanford, Calif.] : Csli Publications ; [Cambridge, Mass.] : Cambridge University Press, c1996.
QA76 .S79 1992 Computer science technical reports : selected holdings at Stanford University. : American Mathematical Society, c1992.
QA76 .W239 1994 From writing to computers
Julian Warner. : Routledge, 1994.
QA76.17 .C47 1998 A history of modern computing
Paul E. Ceruzzi. : MIT Press, 1998.
QA76.2.A2 M67 1997 Wizards and their wonders : portraits in computing
by Christopher Morgan ; photographs by Louis Fabian Bachrach. : Acm Press, 1997.
Location = Stacks Oversize.
QA76.38 .H73 1998 Hybrid systems : computation and control : First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998 : proceedings
Thomas A. Henzinger, Shankar Sastry (eds.). : Springer, 1998.
QA76.5 .E566 1996 The architecture of computer hardware systems software : an information technology approach
by Irv Englander. : Wiley, c1996.
QA76.5 .N665 1998 The invisible computer : why good products can fail, the personal computer is so complex, and information appliances are the solution
Donald A. Norman. : MIT Press, c1998.
QA76.54 .I59 1996 Third International Workshop on Real-Time Computing Systems and Applications : proceedings, October 30-November 1, 1996, Seoul, Korea c1996.
QA76.54 .I78 1997 Real-time search for learning autonomous agents
by Toru Ishida. : Kluwer Academic Publishers, c1997.
QA76.54 .K67 1997 Real-time systems : design principles for distributed embedded applications
by Hermann Kopetz. : Kluwer Academic Publishers, c1997.
QA76.54 .N58 1997 Realtime systems
Nimal Nissanke. : Prentice Hall, 1997.
QA76.54 .R42163 1997 Real-time database systems : issues and applications
edited by Azer Bestavros, Kwei-Jay Lin, Sang Hyuk Son. : Kluwer Academic Press, c1997.
QA76.54 .R423 1995 Real time programming 1995 : WRTP '95 : a postprint volume from the 20th IFAC
Ifip workshop, Fort Lauderdale, Florida, 6-10 November 1995 : Pergamon, c1996.
QA76.545 .B47 1997 Principles of transaction processing
Philip A. Bernstein, Eric Newcomer. : Morgan Kaufmann Publishers, c1997.
QA76.575 .E25 1998 Multimedia applications, services, and techniques : ECMAST '98, third European conference, Berlin, Germany, May 26-28, 1998 : proceedings : Springer, c1998.
QA76.575 .H355 1999 Handbook of multimedia computing
editor-in-chief, Borko Furht. Boca Raton, Fla. : CRC Press, c1999.
Location = Richter Reference.
QA76.575 .M793 1998 Multimedia data management : using metadata to integrate and apply digital media
Amit Sheth, editor, Wolfgang Klas, editor. : McGraw-Hill, c1998.
QA76.575 .M8522 1998 Multimedia technologies and applications for the 21st century : visions of world experts
edited by Borko Furht. : Kluwer Academic Publishers, c1998.
QA76.575 .M85225 1998 Multimedia technology for applications
edited by Bing J. Sheu, Mohammed Ismail ; assistant editors, Michelle Y. Wang, Richard H. Tsai. Piscataway, NJ : IEEE Press, c1998.
QA76.58 .E973 1997 Recent advances in parallel virtual machine and message passing interface : 4th European PVM
Mpi Users' Group Meeting, Cracow, Poland, November 3-5, 1997 : proceedings
Marian Bubak, Jack Dongarra, Jerzy Wasniewski (eds.). :Springer, c1997.
QA76.58 .H68 1999 Understanding parallel supercomputing
R. Michael Hord. Piscataway, NJ : IEEE Press, c1999.
QA76.58 .H76 1997 Communication complexity and parallel computing
Juraj Hromkovic. : Springer, 1997.
QA76.58 H85 1998 Scaleable parallel and cluster computing : architecture and programming
Kai Hwang, Zhiwei Xu. : WCB
McGraw-Hill, 1998.
QA76.58 .I5675 1998 Solving irregularly structured problems in parallel : 5th international symposium, IRREGULAR '98, Berkeley, California, USA, August 1998 : proceedings
A. Ferreira ... [et al.], eds. : Springer, c1998.
QA76.58 .M483 1994 Specification and design of concurrent systems
Percy Mett, David Crowe, Peter Strain-Clark. : McGraw-Hill Book Co., c1994.
QA76.58 .P368 1998 Parallel and distributed processing : 10 IPPS
Spdp '98 workshops held in conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30-April 3, 1998 : proceedings
Jose Rolim, ed. : Springer, c1998.
QA76.58 .P39 1997 Parallel computer routing and communication : second international workshop, PCRCW 97, Atlanta, Georgia, USA, June 26-27, 1997 : proceedings
: Springer, c1998.
QA76.58 .R67 1998 The theory and practice of concurrency
A.W. Roscoe. : Prentice Hall, 1998.
QA76.58 .S59 1994 Foundations of parallel programming
David Skillicorn. : Cambridge University Press, 1994.
QA76.58 .W656 1997 Languages and compilers for parallel computing : 10th international workshop, LCPC'97, Minneapolis, Minnesota, USA, August 7-9, 1997 : proceedings
: Springer, c1998.
QA76.58 .W672 1996 Proceedings of the 4th Workshop on PASA '96, parallel systems & algorithms, Research Center Julich, Germany, 10-12 April 1996
: World Scientific, c1997.
QA76.6 .B4366 1997 The essence of program design
Douglas Bell, Ian Morrey, John Pugh. : Prentice Hall, 1997.
QA76.6 .E976 1998 Programming languages and systems : 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, March 28-April 4, 1996
QA76.6 .H385 1997 Computer science Logo style
Brian Harvey. : MIT Press, c1997.
QA76.6 .M3648 1997 Mathematical methods in program development
edited by Manfred Broy, Birgit Schieder. : Springer, c1997.
QA76.618 .F89 1997 Fuzzy evolutionary computation
edited by Witold Pedrycz. : Kluwer Academic Publishers, c1997.
QA76.62 .M355 1998 Games and full abstraction for a functional metalanguage with recursive types
Guy McCusker. : Springer, c1998.
QA76.623 .G45 1998 Genetic programming : first European workshop, EuroGP'98 : Paris, France, April 14-15, 1998 : proceedings
Wolfgang Banzhaf ... [et al.] (eds.). :Springer, c1998.
QA76.625 .D55 1998 Computing in the Web age : a Web-interactive introduction
Robert J. Dilligan. : Plenum Press, c1998.
QA76.63 .I52 1998 Inductive logic programming : 8th international conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998 : proceedings
David Page, ed. : Springer, 1998.
QA76.63 .M37 1998 Programming with constraint : an introduction
Kim Marriott and Peter J. Stuckey. : MIT Press, c1998.
QA76.63 .M473 1996 Principles of logic and logic programming
G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos. : Elsevier, c1996.
QA76.63 .T56 1995 Time and logic : a computational approach
edited by Leonard Bolc & Andrzej Szaas. : Ucl Press, 1995.
QA76.64 .E48 1995 Empirical studies of object-oriented design. Hillsdale, N.J. : Lawrence Erlbaum Associates, c1995.
QA76.64 .E95 1998 ECOOP '98--object-oriented programming : 12th European conference, Brussels, Belgium, July 20-24, 1998 : proceedings
Eric Jul (ed.). : Springer, c1998.
QA76.64 .F39 1998 Transition to object-oriented sofware development
Mohamed Fayad, Mauri Laitinen. : J. Wiley, c1998.
QA76.64 .F68 1999 Putting metaclasses to work : a new dimension in object-oriented programming
Ira R. Forman, Scott H. Danforth. : Addison-Wesley, c1999.
QA76.64 .S25 1997 Unified objects : object-oriented programming using C++
Babak Sadr. Los Alamitos, Calif. : IEEE Computer Society Press, 1998 [i.e. 1997].
QA76.642 G76 1994 Using MPI : portable parallel programming with the message-passing interface
William Gropp, Ewing Lusk, Anthony Skjellum. : MIT Press, c1994.
QA76.642 .M65 1998 MPI-- the complete reference
Marc Snir ... [et al.]. : MIT Press, c1998.
QA76.642 .S68 1994 Specification of parallel algorithms : DIMACS workshop, May 9-11, 1994
Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan, editors. [] : American Mathematical Society, 1994.
QA76.7 .F83 1998 Syntax-directed semantics : formal models based on tree transducers
Zoltan Fulop, Heiko Vogler. : Springer, c1998.
QA76.7 .G48 1998 Programming language concepts
Carlo Ghezzi, Mehdi Jazayeri. : Wiley, c1998.
QA76.7 .L355 1996 Language prototyping : an algebraic specification approach
editors Arie van Deursen, Jan Heering, Paul Klint. : World Scientific, c1996.
QA76.73.A35 A25 1998 Reliable software technologies--Ada-Europe : 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998 : proceedings : Springer, c1998.
QA76.73.B3 T45 1998 Visual Basic 5 unleashed
Rob Thayer, with Michael D. Amundsen ... [et al.]. : Sams, 1998.
QA76.73.C15 K49 1996 C programming : a modern approach
K.N. King. : Norton, c1996.
QA76.73.C153 K64 1998 Introduction to computer science using C++
Todd Knowlton. Cincinnati, Oh : South-Western Educational Pub., 1998.
QA76.73.C153 R83 1994 C++ complete : a reference and tutorial to the proposed C++ standard
Anthony Rudd. : Wiley, c1994.
QA76.73.S67 H37 1998 SQL clearly explained
Jan L. Harrington. : Ap Professional, c1998.
QA76.73.T44 Z56 1998 Tcl
Tk for programmers with solved exercises that work with Unix and Windows
J. Adrian Zimmer. Los Alamitos, Calif. : IEEE Computer Society, c1998.
QA76.751 .F67 1998 Foundations of software science and computation structures : First International Conference, FoSSaCS '98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March
April 1998 : proceedings / Maurice Nivat (ed.). : Springer, c1998.
QA76.751 .F68 1997 Foundations of software technology and theoretical computer science : 17th conference, Kharagpur, India, December 18-20, 1997 : proceedings
S. Ramesh, G. Sivakumar, (Eds.). : Springer, c1997.
QA76.754 .B37 1998 Software architecture in practice
by Len Bass, Paul Clements, Rick Kazman. : Addison Wesley Longman, 1998.
QA76.758 .C33 1998 Advanced information systems engineering : 10th international conference, CAiSE'98, Pisa, Italy, June 8-12, 1998 : proceedings
Barbara Pernici, Costantino Thanos (eds.). : Springer, c1998.
QA76.758 .F37 1998 Fundamental approaches to software engineering : first international conference, FASE '98 held as part of the joint European Conferences on Theory and Practics of Software, ETAPS '98, Lisbon, Portugal, March 28- April 4, 1998 : proceedings
Egidio Astesiano, ed. : Springer, c1998.
QA76.758 .S475 1997 Software engineering and environment : an object-oriented perspective
Phillip C.-Y. Sheu. : Plenum Press, c1997.
QA76.758 .W663 1998 Constraint-based design recovery for software reengineering : theory and experiments
by Steven G. Woods, Alexander E. Quilici, Qiang Yang. : Kluwer Academic, c1998.
QA76.76.C54 D47 1999 The design of children's technology
Allison Druin, editor. : Morgan Kaufmann Publishers, c1999.
QA76.76.C65 I52 1998 Compiler construction : 7th International Conference, CC '98, held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
Kai Koskimies, (ed.). : Springer, c1998.
QA76.76.C65 L68 1997 Compiler construction : principles and practice
Kenneth C. Louden. : Pws Pub. Co., c1997.
QA76.76.C65 W5713 1996 Grundlagen und Techniken des Compilerbaus. English. Compiler construction
Niklaus Wirth. Harlow, England : Addison-Wesley Pub. Co., c1996.
Location = Special Formats Books.
QA76.76.C69 E256 1998 System configuration management : ECOOP'98 SCM-8 Symposium, Brussels, Belgium, July 20-21, 1998 : proceedings
Boris Magnusson (ed.). : Springer, c1998.
QA76.76.D47 B53 1997 Interface design : the art of developing easy-to-use software
Peter Bickford. : Ap Professional, c1997.
QA76.76.D47 D477 1996 Design principles for interactive software
edited by Christian Gram and Gilbert Cockton. : Chapman & Hall, 1996.
QA76.76.D47 H399 1998 Reference MWAPI
James Hay. : Digital Press, c1998.
QA76.76.D47 P3753 1998 Pattern languages of program design 3
edited by Robert C. Martin, Dirk Riehle, Frank Buschmann. : Addison Wesley, 1998.
QA76.76.D47 P775 1998 Proof in VDM : case studies
J.C. Bicarregui (ed.) ; with contributions from Sten Agerholm ... [et al.]. : Springer-Verlag, c1998.
QA76.76.D47 S96 1997 Systems development methods for the next century
edited by W. Gregory Wojtkowski ... [al. et]. : Plenum Press, 1997.
QA76.76.D47 W33 1997 Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers
Francesco Parisi Presicce, (ed.). : Springer, c1998.
QA76.76.E95 H355 1997 The handbook of applied expert systems
Jay Liebowitz, editor. Boca Raton, Fl : CRC Press, 1997.
Location = Richter Reference.
QA76.76.E95 K55545 1999 Knowledge-based intelligent techniques in industry
edited by L.C. Jain ... [et al.]. Boca Raton, Fla. : CRC Press, c1999.
QA76.76.E95 N54 1997 Expert systems : introduction to first and second generation and hybrid knowledge based systems
Chris Nikolopoulos. : M. Dekker, c1997.
QA76.76.F34 G54 1998 Software runaways
Robert L. Glass. : Prentice Hall Ptr, c1998.
QA76.76.F34 K36 1998 Bad software : what to do when software fails
Cem Kaner, David Pels. : Wiley, c1998.
QA76.76.I57 W36 1996 Microsoft Office 97 for Windows for dummies
by Wallace Wang and Roger C. Parker. Foster City, Calif. : Idg Books Worldwide, c1996.
LOCATION = Richter Circ/Reserve.
QA76.76.I58 C53 1998 Cooperative information agents II : learning, mobility, and electronic commerce for information discovery on the Internet : Second International Workshop, CIA'98, Paris, France, July 4-7, 1998 : proceedings
Matthias Klusch, Gerhard Weiss (eds.). : Springer, c1998.
QA76.76.I58 M63 1998 Mobile agents and security
Giovanni Vigna, ed. : Springer, c1998.
QA76.76.I58 T43 1998 Building intelligent agents : an apprenticeship multistrategy learning theory, methodology, tool and case studies
Gheorghe Tecuci ; contributing writers, Tomasz Dybala ... [et al.]. : Academic Press, c1998.
QA76.76.O63 B669 1998 UNIX for OpenVMS users
Philip Bourne, Richard Holstein, Joseph McMullen. : Digital Press, c1998.
QA76.76.O63 B867 1997 UNIX unleashed
Robin Burk and David B. Horvath, et al. : Sams Pub., c1997.
Location = Special Formats Books.
QA76.76.O63 C459 1997 Distributed operating systems & algorithms
Randy Chow, Theodore Johnson. : Addison Wesley, c1997.
QA76.76.O63 M52434 1999 Microsoft Windows NT 4.0 security, audit, and control : Microsoft technical reference
James G. Jumes ... [et al.]. Redmond, Wash. : Microsoft Press, c1999.
QA76.76.O63 M5626 1998 Windows NT security guide
Stewart S. Miller. : Digital Press, c1998.
QA76.76.O63 P533 1999 Programming Windows
Charles Petzold. Redmond, Wash. : Microsoft Press, c1999.
LOCATION = Richter Circ/Reserve.
QA76.76.O63 R39 1997 Windows 95 for dummies
by Andy Rathbone. Foster City, Ca : Idg Books, c1997.
LOCATION = Richter Circ/Reserve.
QA76.76.O63 R446 1998 UNIX : the basics
Kevin Reichard. : Mis:Press, c1998.
Location = Marine Lib. Stacks.
QA76.76.O63 S654 1990 DOS power tools : techniques, tricks, and utilities
Paul Somerson. Toronto : Bantam Books, c1990.
QA76.76.O63 S6546 1998 Inside Microsoft Windows NT Internet development
Ronan Sorensen. Redmond, Wash. : Microsoft Press, c1998.
Location = Special Formats Books.
QA76.76.O63 T36 1997 Operating systems : design and implementation
Andrew S. Tanenbaum, Albert S. Woodhull. : Prentice Hall, c1997.
Location = Special Formats Books.
QA76.76.O63 V422 1998 Windows NT enterprise networking
Toby J. Velte and Anthony T. Velte. Berkeley, Calif. : Osborne McGraw-Hill, c1998.
Location = Special Formats Books.
QA76.76.Q35 T74 1995 Sizing and estimating software in practice : making MKII function points work
Stephen Treble, Neil Douglas. London ; St Louis : McGraw-Hill, 1995.
QA76.76.R44 I55 1997 SAFECOMP 97 : the 16th International Conference on Computer Safety, Reliability, and Security, York, UK, September 7-10, 1997
edited by Peter Daniel. : Springer, c1997.
QA76.76.R47 R33 1995 Software reuse
Roy Rada. Oxford, England : Intellect, 1995.
QA76.76.S65 Z88 1998 A framework of software measurement
Horst Zuse. : Walter de Gruyter, 1998, c1997.
Location = Special Formats Books.
QA76.76.V47 A67 1997 Verification of sequential and concurrent programs
Krzysztof R. Apt, Ernst-Rudiger Olderog. : Springer-Verlag, c1997.
QA76.76.V47 C38 1998 Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28 - July 2, 1998 : proceedings
Alan J. Hu, Moshe Y. Vardi (eds.). : Springer, c1998.
QA76.87 .A32 1997 Neural networks and fuzzy systems : theory and applications
Shigeo Abe ; foreword by Anca Ralescu. : Kluwer Academic, c1997.
QA76.87 .C685 1998 Enchanted looms : conscious networks in brains and computers
Rodney Cotterill. : Cambridge University Press, 1998.
QA76.87 .I564 1997 Brain-like computing and intelligent information systems
edited by Shun- ichi Amari, Nikola Kasabov. : Springer, c1997.
QA76.87 .K65 1997 Self-organizing maps
Teuvo Kohonen. : Springer, c1997.
QA76.87 .N38313 1997 Neuronale Netz und Fuzzy Systeme. English. Foundations of neuro-fuzzy systems
Detlef Nauck, Frank Klawonn, Rudolf Kruse. : John Wiley, c1997.
Location = Richter Mono Acq.
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.87 .S3 1997 Artificial neural networks
Robert J. Schalkoff. : McGraw-Hill, c1997.
QA76.87 .S86 1998 Parallel architectures for artificial neural networks : paradigms and implementations
N. Sundararajan, P. Saratchandran. Los Alamitos, Calif. : IEEE Computer Society, c1998.
QA76.88 .H5 1998 High-performance computing and networking : international conference and exhibition, Amsterdam, The Netherlands, April 21-23, 1998 : proceedings
Peter Sloot, Marian Bubak, Bob Hertzberger (eds.). : Springer, c1998.
QA76.887 .N66 1998 Non-standard computation : molecular computation, cellular automata, evolutionary algorithms, quantum computers
Tino Gram ... [et al.]. Weinheim : Wiley-Vch, c1998.
QA76.887 .P38 1998 DNA computing : new computing paradigms
G. Paun, G. Rozenberg, A. Salomaa. : Springer, c1998.
QA76.9.A25 A2792 1998 Information security and privacy : Third Australasian Conference, ACISP'98, Brisbane, Australia, July 13-15, 1998 : proceedings
Colin Boyd, Ed Dawson, (eds.). : Springer, c1998.
QA76.9.A25 B38513 1997 Entzifferte Geheimnisse. English. Decrypted secrets : methods and maxims of cryptology
Friedrich L. Bauer. : Springer, c1997.
QA76.9.A25 D45 1992 Information protection and other unnatural acts : every manager's guide to keeping vital computer data safe and sound
Harry B. DeMaio. : Amacom, c1992.
QA76.9.A25 E964 1998 Advances in cryptology : EUROCRYPT '98 : International Conference on the theory and application of cryptographic techniques, Espoo, Finland, May 31 - June 4, 1998 : proceedings
: Springer, c1998.
QA76.9.A25 I567 1998 Public key cryptography : First International Workshop on Practice and Theory in Public Key Cryptography, PKC '98, Pacifico Yokohama, Japan, February 5-6, 1998 : proceedings
Springer Verlag, c1998.
QA76.9.A25 I89 1997 Information security : first international workshop, ISW '97, Tatsunokuchi, Ishikawa, Japan, September 17-19, 1997 : proceedings
Eiji Okamoto, George Davida, Masahiro Mambo, (eds.). : Springer, c1998.
QA76.9.A25 S44 1998 Security protocols : 5th international workshop, Paris, France, April 7-9, 1997 : proceedings
Bruce Christianson ... [et al.] (eds.). : Springer, c1998.
QA76.9.A43 A65 1998 Approximation algorithms for combinatorial optimization : international workshop, APPROX '98, Aalborg, Denmark, July 18-19, 1998 : proceedings
Klaus Jansen, Jose Rolim (eds.). : Springer, c1998.
QA76.9.A43 S88 1998 Combinatorial pattern matching : 9th annual symposium, CPM 98, Piscataway, New Jersey, USA, July 20-22, 1998 : proceedings
Martin Farach-Colton (ed.). : Springer, c1998.
QA76.9.A73 I675 1998 25 years of the International Symposia on Computer Architecture : selected papers
edited by Gurindar Sohi. : Association for Computing Machinery, c1998.
QA76.9.A93 C48 1998 Auditing information systems : a comprehensive reference guide
Jack Champlain. : Wiley, c1998.
QA76.9.A96 H37 1998 Theorem proving with the real numbers
John Harrison. : Springer, c1998.
QA76.9.A96 I57 1998 Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings
Claude Kirchner, Helene Kirchner, eds. : Springer, c1998.
QA76.9.A96 S42 1997 The automation of reasoning with incomplete information : from semantic foundations to efficient computation
Torsten Schaub. : Springer, 1997.
QA76.9.A96 T34 1998 Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : proceedings
Harrie de Swart, ed. : Springer, c1998.
QA76.9.B22 I57 1998 B'98 : recent advances in the development and use of the B method : second International B Conference, Montpellier, France, April 22-24, 1998 : proceedings
Didier Bert (ed.). : Springer, c1998.
QA76.9.C55 P83 1998 Manager's guide to distributed environments : from legacy to living systems
Richard L. Ptak, J.P. Morgenthal, Simon Forge. : John Wiley, 1998.
QA76.9.C55 W57 1997 Client
server performance tuning / Sid Wise. : McGraw-Hill, c1997.
QA76.9.C55 Y37 1998 Networking objects : building networks to access and distribute objects
William J. Yarborough. : McGraw-Hill, c1998.
QA76.9.C58 G75 1999 The grid : blueprint for a new computing infrastructure
edited by Ian Foster, Carl Kesselman. : Morgan Kaufmann Publishers, c1999.
QA76.9.C643 S74 1995 Computer and network organization : an introduction
Maarten van Steen, Henk Sips. : Prentice Hall, 1995.
QA76.9.C65 E58 1996 Advances in computer simulation : lectures held at the Eotvos Summer School at Budapest, Hungary, 16-20 July 1996
Janos Kertesz, Imre Kondor (eds.). : Springer, c1998.
QA76.9.C65 F64 1995 Evolutionary computation : toward a new philosophy of machine intelligence
David B. Fogel. : IEEE Press, c1995.
QA76.9.C659 H43 1998 Failure to connect : how computers affect our children's minds-- for better and worse
Jane M. Healy. : Simon & Schuster, c1998.
QA76.9.C66 H63 1998 Information ages : literacy, numeracy, and the computer revolution
Michael E. Hobart and Zachary S. Schiffman. : Johns Hopkins University Press, 1998.
QA76.9.C66 R39 1996 Moths to the flame : the seductions of computer technology
Gregory J. E. Rawlins. : MIT Press, c1996.
QA76.9.C66 R618 1998 The new renaissance : computers and the next level of civilization
Douglas S. Robertson. : Oxford University Press, 1998.
QA76.9.C66 R64 1997 The social impact of computers
Richard S. Rosenberg. San Diego, Calif. : Academic Press, c1997.
QA76.9.D26 B63 1997 Data modeling and design for today's architectures
Angelo R. Bobak. : Artech House, 1997.
Location = Special Formats Books.
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 A517 1999 Informix universal data option
Paul R. Allen, Joseph J. Bambara. : McGraw-Hill, c1999.
QA76.9.D3 A736 1998 Oracle8 advanced tuning & administration
Eyal Aronoff, Kevin Loney, Noorali Sonawalla. Berkeley, Calif. : Osborne McGraw-Hill : Oracle Press, c1998.
Location = Special Formats Books.
QA76.9.D3 A84 1999 Choosing a database for your Web site
John Paul Ashenfelter. : Wiley, c1999.
QA76.9.D3 B75 1998 Advances in databases : 16th British National Conference on Databases, BNCOD 16, Cardiff, Wales, UK, July 6-8, 1998 : proceedings
Suzanne M. Embury ... [et al.], (eds.). : Springer, c1998.
QA76.9.D3 D3727 1998 Relational database writings, 1994-1997
C.J. Date ; with special contributions by Hugh Darwen and David McGoveran. Harlow, England : Addison-Wesley, c1998.
QA76.9.D3 E59 1998 Object database development : concepts and principles
David W. Embley. : Addison Wesley, 1998.
QA76.9.D3 M5743 1998 Microsoft Visual FoxPro 6.0 language reference. Redmond, Wash. : Microsoft Press, c1998.
QA76.9.D3 P17 1998 Research and development in knowledge discovery and data mining : Second Pacific-Asia Conference, PAKDD-98, Melbourne, Australia, April 15-17, 1998 : proceedings :Springer, 1998.
QA76.9.D3 R654 1998 The essence of databases
F.D. Rolland. : Prentice Hall, 1998.
QA76.9.D3 S253723 1999 ODBC 3.5 developer's guide
Roger E. Sanders. : McGraw-Hill, c1999.
Location = Special Formats Books.
QA76.9.D3 S56387 1995 Relational database systems
Dan A. Simovici and Richard L. Tenney. : Academic Press, c1995.
QA76.9.D3 T4124 1998 Temporal databases : research and practice
Opher Etzion, Sushil Jajodia, Sury Sripada, eds. : Springer, c1998.
QA76.9.D3 W445 1998 Predictive data mining : a practical guide
Sholom M. Weiss, Nitin Indurkhya. San Francisco, Calif. : Morgan Kaufmann Publishers, 1998.
QA76.9.D3 W666 1999 Sybase developer's handbook
Daniel J. Worden. San Diego, Ca : Ap Professional, c1999.
Location = Special Formats Books.
QA76.9.D33 S25 1998 Data compression : the complete reference
David Salomon. : Springer, c1998.
QA76.9.D37 D38 1998 The data warehouse lifecycle toolkit : expert methods for designing, developing, and deploying data warehouses
Ralph Kimball ... [et al.]. : c1998.
Location = Special Formats Books.
QA76.9.D37 M67 1998 Parallel systems in the data warehouse
Stephen Morse, David Isaac. : Prentice Hall, 1998.
QA76.9.D5 C79 1995 Open distributed systems
Jon Crowcroft. : Artech House, c1995.
QA76.9.D5 R445 1998 Elements of distributed algorithms : modeling and analysis with Petri nets
Wolfgang Reisig. : Springer, c1998.
QA76.9.D5 R63 1998 DCOM explained
Rosemary Rock-Evans. : Digital Press, c1998.
QA76.9.E94 Q48 1998 Queueing networks and Markov chains : modeling and performance evaluation with computer science applications
Gunter Bolch ... [et al.]. : Wiley, c1998.
QA76.9.H35 V8 1998 Virtual worlds : first international conference, VW '98, Paris, France, July 1-3, 1998 : proceedings
Jean-Claude Heudin (ed.). : Springer, c1998.
QA76.9.H85 F38 1998 The essence of human-computer interaction
Christine Faulkner. : Prentice Hall, 1998.
QA76.9.H85 H36 1997 Handbook of human-computer interaction
edited by Martin G. Helander, Thomas K. Landauer, Prasad V. Prabhu. : Elsevier, 1997.
QA76.9.H85 H84 1997 Human and machine perception : information fusion
edited by Virginio Cantoni ... [et al.]. : Plenum Press, c1997.
QA76.9.H85 I618 1997 Gesture and sign language in human-computer interaction : International Gesture Workshop, Bielefeld, Germany, September 17-19, 1997 : proceedings: Springer, c1998.
QA76.9.H85 M38 1995 Information seeking in electronic environments
Gary Marchionini. : Cambridge University Press, 1995.
QA76.9.H85 M84 1998 Multimodal human-computer communication : systems, techniques, and experiments
Harry Bunt, Robbert-Jan Beun, Tijn Borhguis (eds.). :Springer, c1998.
QA76.9.H85 S54 1998 Designing the user interface : strategies for effective human-computer- interaction
Ben Shneiderman. : Addison-Wesley, c1998.
QA76.9.H85 S64 1994 Special issue on context in design. Hillsdale, N.J. : Lawrence Erlbaum Associates, c1994.
QA76.9.H85 T48 1998 Long term human-computer interaction : an exploratory perspective ; with 36 figures
Richard C. Thomas. : Springer, c1998.
QA76.9.L63 W67 1997 Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : procedings
Mogens Nielsen, Wolfgang Thomas (eds.). : Springer, 1998.
QA76.9.M45 C87 1998 Custom memory management methodology : exploration of memory organisation for embedded multimedia system design
Francky Catthoor ... [et al.]. : Kluwer Academic Publishers, 1998.
QA76.9.M45 D58 1998 Distributed shared memory : concepts and systems
[edited by] Jelica Protic, Milo Tomasevic, Veljko Milutinovic. Los Alamitos, Calif. : IEEE Computer Society c1998.
QA76.9.M65 E34 1997 Morality and machines : perspectives on computer ethics
Stacey L. Edgar. Sudbury, Mass. : Jones and Bartlett Publishers, c1997.
QA76.9.M65 L36 1995 Practical computer ethics
Duncan Langford. : McGraw-Hill, c1995.
QA76.9.N38 H36 1997 Handbook of logic and language
edited by Johan van Benthem, Alice ter Meulen. : Elsevier : MIT Press, 1997.
QA76.9.N38 L63 1997 Logic, language, and computation
edited by Seiki Akama. : Kluwer Academic, c1997.
QA76.9.N38 S84 1997 Developing natural language interfaces : processing human conversations
Russell Suereth. : McGraw-Hill, 1997.
Location = Special Formats Books.
QA76.9.O35 H55 1996 Object-oriented analysis and simulation
David R.C. Hill. Harlow, England : Addison-Wesley, c1996.
QA76.9.O35 O26 1998 Object-oriented technology : ECOOP' 97 workshop reader : ECOOP 97 workshops, Jyvaskyla, Finland, June 9-13, 1997 : proceedings
Jan Bosch, Stuart Mitchell (eds.). : Springer, c1998.
QA76.9.S63 P43 1998 Computational intelligence : an introduction
Witold Pedrycz. Boca Raton, Fla. : CRC Press, 1998.
QA76.9.S63 S26 1998 The importance of being fuzzy : and other insights from the border between math and computers
Arturo Sangalli. : Princton University Press, c1998.
QA76.9.S84 R63 1995 Systems analysis techniques
Barbara Robinson, Mary Prior. : International Thomson Computer Press, c1995.
QA76.9.S88 C664 1997 Conceptual modelling
Magnus Boman ... [et al.]. : Prentice Hall, 1997.
QA76.9.S88 H3673 1997 Hardware
software co-design and co-verification / edited by Jean-Michel Berge, Oz Levia, and Jacques Rouillard. : Kluwer Academic Publishers, c1997.
QA76.9.S88 H3677 1998 Modeling reactive systems with statecharts : the Statemate approach
David Harel and Michal Politi. : McGraw-Hill, c1998.
QA76.9.S88 T33 1998 Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
Bernhard Steffen, (ed.). : Springer, c1998.
QA76.9.U83 A29 1998 Services and visualization : towards user-friendly design : ACoS'98, VISUAL'98, AIN'97 selected papers
Tiziana Margaria ... [et al.]. : Springer, 1998.
QA76.9.U83 H86 1997 Human comfort and security of information systems : advanced interfaces for the information society
K. Varghese, S. Pfleger (eds.). : Springer, c1997.
QA76.9.U83 O43 1998 Developing user interfaces
Dan R. Olsen, Jr. San Francisco, Calif. : Morgan Kaufmann Publishers, 1998.
QA76.9.V5 M39 1998 Designus Maxumus unleashed! (unabridged & unexpurgated) : Banned in Alabama!
by Clive "Max" Maxfield. : Newnes, c1998.
Location = Special Formats Books.
QA76.95 .Y36 1998 Exploring mathematics with Scientific Notebook
Wei-Chi Yang and Jonathan Lewin. : Springer, c1998.
Location = Special Formats Books.
QA93 .D4578 1998 The language of mathematics : making the invisible visible
Keith Devlin. : W.H. Freeman, c1998.
QA95 .K5613 Matematicheskaia smekalka. English. The Moscow puzzles; 359 mathematical recreations [by] Boris A. Kordemsky. Edited and with an introd. by Martin Gardner. Translated by Albert Parry. New York, C. Scribner's Sons [c1972].
QA135.5 .B75 1998 Coordinating mathematics across the primary school
Tony Brown. : Falmer Press, 1998.
QA135.5 .K14 1998 Exploring math with books kids love
Kathryn Kaczmarski. Golden, Colo. : Fulcrum Resources, c1998.
QA135.5 .L25 1998 Teaching, multimedia, and mathematics : investigations of real practice
Magdalene Lampert, Deborah Loewenberg Ball. : Teachers College Press, c1998.
QA150 .I57 1996 Algebras and modules II : Eighth International Conference on Representations of Algebras, August 4-10, 1996, Geiranger, Norway c1998.
QA150 .W67 1996 Algebras and modules I : Workshop on Representations of Algebras and Related Topics, July 29-August 3, 1996, Trondheim, Norway c1998.
QA151 .C67 1996 Modern algebra and the rise of mathematical structures
Leo Corry. :Birkhauser Verlag, 1996.
QA154.2 .T68 1998 Glimpses of algebra and geometry
Gabor Toth. : Springer, c1998.
QA162 .S73 1997 Introductory modern algebra : a historical approach
Saul Stahl. : Wiley, c1997.
QA167 .H36 1997 Handbook of discrete and computational geometry
edited by Jacob E. Goodman, Joseph O'Rourke. : CRC Press, c1997.
QA174.2 .B47 1998 Elements of the representation theory of the Jacobi group
Rolf Berndt, Ralf Schmidt. : Birkhauser Verlag, 1998.
QA176 .A45 1998 Algebraic groups and their representations
edited by R.W. Carter and J. Saxl. : Kluwer Academic Publishers, c1998.
QA176 .R485 1998 Representations of reductive groups
edited by Roger W. Carter and Meinolf Geck. : Cambridge University Press, 1998.
QA177 .G75 1998 Twelve sporadic groups
Robert L. Griess, Jr. : Springer, c1998.
QA179 .S67 1998 Linear algebraic groups
T.A. Springer. : Birkhauser, c1998.
QA179 .V6813 1998 Algebraicheskie gruppy i ikh biratsionalnye invarianty. English. Algebraic groups and their birational invariants
V.E. Voskresenskii. : American Mathematical Society, c1998.
QA180 .A246 1998 Abelian groups, module theory, and topology : proceedings in honour of Adalberto Orsatti's 60th birthday
edited by Dikran Dikranjan, Luigi Salce. : Marcel Dekker, c1998.
QA185.C65 L38 1996 Mathematica labs for Linear algebra
Terry Lawson, William D. Emerson. : Wiley, c1996.
QA188 .C64 1998 Comparisons of stochastic matrices, with applications in information theory, statistics, economics, and population sciences
Joel E. Cohen, J.H.B. Kemperman, Gh. Zbaganu. : Birkhauser, c1998.
QA196 .G873 1997 Quaternionic and Clifford calculus for physicists and engineers
Klaus Gurlebeck, Wolfgang Sprossig. : Wiley, c1997.
QA214 .A44 1998 Algorithms for large scale linear algebraic systems : applications in science and engineering
: Kluwer Academic Publishers, c1998.
QA241 .A43 1998 Algorithmic number theory : third international symposium, ANTS-III, Portland, Oregon, USA, June 21-25, 1998 : proceedings
Joe Buhler (ed.). :Springer, c1998.
QA241 .W36 1997 The Penguin dictionary of curious and interesting numbers
David Wells. London, England : Penguin Books, 1997.
QA243 .I95 1997 Topics in classical automorphic forms
Henryk Iwaniec. : American Mathematical Society, c1997.
QA247.3 .F33 1998 Module theory : endomorphism rings and direct sum decompositions in some classes of modules
Alberto Facchini. :Birkhauser, c1998.
QA248 .S4144 1993 Set theory of the reals
Haim Judah, editor. Ramat-Gan, Israel : Gelbart Research Institute for Mathematical Sciences, Emmy Noether Research Institute, Bar-Ilan University
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 .G64 1998 Algebraic theory of quasivarieties
Viktor A. Gorbunov. : Consultants Bureau, c1998.
QA251.3 .S57 1998 Six lectures on commutative algebra
J. Elias ... [et al.], editors. :Birkhauser Verlag, c1998.
QA255 .N34 1998 An imaginary tale : the story of [the square root of minus one]
Paul J. Nahin. : Princeton University Press, c1998.
QA267 .A66 1998 Application and theory of Petri nets 1998 : 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998 : proceedings
: Springer, c1998.
QA267 .I5787 1997 Automata implementation : Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997 : revised papers: Springer, c1998.
QA267 .K69 1997 Automata and computability
Dexter C. Kozen. : Springer, c1997.
QA267 .L49 1998 Elements of the theory of computation
Harry R. Lewis, Christos H. Papadimitriou. : Prentice-Hall, c1998.
QA267 .R48 1998 Rewriting techniques and applications : 9th international conference, RTA- 98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings
Tobias Nipkow (ed.). : Springer, 1998.
QA267.3 .G66 1998 Grammatical inference : 4th international colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings
Vasant Honavar, Giora Slutzki (eds.). :Springer, c1998.
QA267.5.S4 M29 1997 Introduction to languages and the theory of computation
John C. Martin. : WCB
McGraw-Hill, c1997.
QA267.7 .D68 1999 Parameterized complexity
R.G. Downey, M.R. Fellows. : Springer, c1999.
QA268 .B564 1997 Asymptotic combinatorial coding theory
by Volodia Blinovsky. : Kluwer Academic Publishers, c1997.
QA273 .R48 1966 Wahrscheinlichkeitsrechnung : mit einem Anhang uber Informationstheorie
von A. Renyi. :Deutscher Verlag der Wissenschaften, 1966.
QA274 .B65 1998 Ergodicity and stability of stochastic processes
A.A. Borovkov ; translated by V. Yurinsky. : Wiley, c1998.
QA274.23 .A75 1998 Random dynamical systems
Ludwig Arnold. : Springer, c1998.
QA274.75 .S95 1998 Brownian motion, obstacles, and random media
Alain-Sol Sznitman. :Springer, c1998.
QA274.8 .B86 1996 An introduction to queueing theory
Brian D. Bunday. : Arnold : Halsted Press, 1996.
QA276 .P285 1998 Once upon a number : the hidden mathematical logic of stories
John Allen Paulos. : Basic Books, c1998.
QA276.4 .D548 1996 Quick start to data analysis with SAS
Frank DiIorio, Kenneth A. Hardy. Belmont, Calif. : Duxbury Press, c1996.
QA278 .P37 1995 Partitioning data sets : DIMACS workshop, April 19-21, 1993
Ingemar J. Cox, Pierre Hansen, Bela Julesz, editors. [Providence, Ri] : American Mathematical Society, c1995.
QA278.2 .M37 1998 Regression and time series model selection
Allan D.R. McQuarrie, Chih- Ling Tsai. : World Scientific, c1998.
QA278.2 .R38 1998 Applied regression analysis : a research tool. : Springer, c1998.
LOCATION = Marine Lib. Stacks.
QA278.2 .R45 1998 Multivariate reduced-rank regression : theory and applications
Gregory C. Reinsel, Raja P. Velu. : Springer, c1998.
QA278.6 .L64 1998 Latent variable models : an introduction to factor, path, and structural analysis
John C. Loehlin. : Lawrence Erlbaum, 1998.
QA278.7 .O73 1998 Order statistics : applications
edited by N. Balakrishnan, C.R. Rao. : Elsevier, 1998.
QA278.8 .B67 1998 Nonparametric statistics for stochastic processes : estimation and prediction
D. Bosq. : Springer, c1998.
QA279 .D455 1998 The design inference : eliminating chance through small probabilities
William A. Dembski. : Cambridge University Press, 1998.
QA279.2 .F37 1989 Quantitative forecasting methods
Nicholas R. Farnum, LaVerne W. Stanton. : Pws-Kent Pub. Co., c1989.
QA279.5 .P72 1998 Practical nonparametric and semiparametric Bayesian statistics
Dipak Dey, Peter Muller, Debajyoti Sinha (editors). : Springer, c1998.
QA295 .D46 1998 Discretization and MCMC convergence assessment
Christian P. Robert (editor). : Springer, c1998.
QA297 .C6335 1999 Advances in computational mathematics : proceedings of the Guangzhou international symposium
edited by Zhongying Chen ... [et al.]. : Marcel Dekker, c1999.
QA297 .E56213 1996 Numerik-Algorithmen mit FORTRAN 77-Programmen. English. Selections. Numerical algorithms with C
Gisela Engeln-Mullges, Frank Uhlig ; CD-ROM with ANSI-C programs by Albert Becker, Jurgen Dietel, and Uli Eggermann]. : Springer, c1996.
Location = Special Formats Books.
QA297 .U2413 1997 Computer Numerik. English. Numerical computation : methods, software, and analysis
Christoph Uberhuber. : Springer, 1997.
QA299.6 .I87 1998 Microlocal analysis and precise spectral asymptotics
Victor Ivrii. Berlin: Springer-Verlag, 1998.
QA300 .I3813 1998 Jikkaiseki nyumon. English. Real analysis : with an introduction to wavelet theory
Satoru Igari ; translated by Satoru Igari. : American Mathematical Society, c1998.
QA300 .L285 1998 Topics in mathematical analysis and differential geometry
Nicolas K. Laos. : World Scientific, 1998.
QA313 .S55 1996 The ergodic theory of discrete sample paths
Paul C. Shields. : American Mathematical Society, c1996.
QA315 .M49813 1998 Variatsionnoe ischislenie i optimalnoe upravlenie. English. Calculus of variations and optimal control
A.A. Milyutin, N.P. Osmolovskii ; [translated by Dimitrii Chibisov]. : American Mathematical Society, c1998.
QA316 .G53 1998 Cartesian currents in the calculus of variations
Mariano Giaquinta, Giuseppe Modica, Jiri Soucek. : Springer, c1998.
QA321 .F856 1995 Functional analysis on the eve of the 21st century
Simon Gindikin, James Lepowsky, Robert L. Wilson, editors. : Birkhauser, c1995-c1996.
QA323 .I58 1992 Interpolation spaces and related topics
Michael Cwikel, Mario Milman, Richard Rochberg, editors. Ramat-Gan, Israel : Gelbart Research Institute for Mathematical Sciences, Emmy Noether Research Institute, Bar-Ilan University
QA323 .M37 1997 Differentiable functions on bad domains
Vladimir G. Mazya, Sergei V. Poborchi. : World Scientific, c1997.
QA326 .D375 1996 C*-algebras by example
Kenneth R. Davidson. : American Mathematical Society, c1996.
QA329 .D68 1998 Banach algebra techniques in operator theory
Ronald G. Douglas. : Springer, c1998.
QA331 .K716 1998 Hyperbolic complex spaces
Shoshichi Kobayashi. : Springer, 1998.
QA331 .M793 1998 Analytic functionals on the sphere
Mitsuo Morimoto. : American Mathematical Society, c1998.
QA372 .F544 1998 Basic topological structures of ordinary differential equations
by V.V. Filippov. : Kluwer Academic, c1998.
QA374 .B28 1998 Partial differential equations and boundary value problems
by Viorel Barbu. : Kluwer Academic Publishers, c1998.
QA377 .K758 1996 Lectures on elliptic and parabolic equations in Holder spaces
N.V. Krylov. : American Mathematical Society, c1996.
QA377 .L325 1998 Generalized quasilinearization for nonlinear problems
by V. Lakshmikantham and A.S. Vatsala. : Kluwer Academic Publishers, c1998.
QA377 .L4895 1998 Combined methods for elliptic equations with singularities, interfaces, and infinities
by Zi Cai Li. : Kluwer Academic Publishers, c1998.
QA377 .L578 1998 Applied partial differential equations
J. David Logan. : Springer, c1998.
QA380 .R68 1998 Bifurcation of planar vector fields and Hilbert's sixteenth problem
Robert Roussarie. :Birkhauser, c1998.
QA402 .M685 1998 Testing for random walk coefficients in regression and state space models
Martin Moryson. Heidelberg : Physica-Verlag, c1998.
QA402 .N424 1984 Continuous and discrete linear systems
Herbert P. Neff, Jr. : Harper & Row, c1984.
QA402.2 .I57 1998 Domain decomposition methods 10 : the Tenth International Conference on Domain Decomposition Methods, August 10-14, 1997, Boulder, CO
Jan Mandel, Charbel Farhat, Xiao-Chuan Cai, editors. : American Mathematical Society, c1998.
QA402.3 .C547 1998 H [infinity] control and its applications
Ben M. Chen. : Springer, c1998.
QA402.3 .C5765 1996 Geometric control and non-holonomic mechanics : Conference on Geometric Control and Non-holonomic Mechanics, June 19-21, 1996, Mexico City
[edited by] V. Jurdjevic, R.W. Sharpe.
QA402.3 .M3472 1998 Mathematical control theory
J. Baillieul, J.C. Willems, editors ; with a foreword by Sanjoy K. Mitter. : Springer, 1998.
QA402.3 .S75 1998 Stability and control of time-delay systems
L. Dugard and E.I. Veriest (eds.). : Springer, c1998.
QA402.35 .G45 1998 Stability and oscillations of nonlinear pulse-modulated systems
Arkadii Kh. Gelig, Alexander N. Churilov. : Birkhauser, 1998.
QA402.5 .A47 1997 Computational intelligence for optimization
Nirwan Ansari, Edwin Hou. : Kluwer Academic, c1997.
QA402.5 .S533 1997 Nondifferentiable and two-level mathematical programming
Kiyotaka Shimizu, Yo Ishizuka, Jonathan F. Bard. : Kluwer Academic Publishers, c1997.
QA403 .B38813 1998 Garmonicheskii analiz v giperkompleksnykh sistemakh. English. Harmonic analysis in hypercomplex systems
by Yu. M. Berezansky and A.A. Kalyuzhnyi. : Kluwer Academic, c1998.
QA403.3 .B5713 1998 Wavelets. English. Wavelets : a primer
Christian Blatter. : A.K. Peters, c1998.
QA404.5 .O72 1998 Orthogonal functions, moment theory, and continued fractions : theory and applications
edited by William B. Jones, A. Sri Ranga. : Marcel Dekker, c1998.
QA431 .E22 1998 Characterizations of information measures
Bruce Ebanks, Prasanna Sahoo, Wolfgang Sander. : World Scientific, c1998.
QA431 .O74 1998 Existence theory for nonlinear integral and integrodifferential equations
by Donal O'Regan and Maria Meehan. : Kluwer Academic Press, c1998.
QA448.D38 I577 1996 Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
Dongming Wang (ed.). : Springer, c1997.
QA551 .A37 Lektsii po analiticheskoi geometrii : popolnennye neobkhodimymi svedeniiami iz algebry, s prilozheniem sobraniia zadach, snabzhennykh resheniiami, sostavlennogo A. S. Parkhomenko. Dlia un-tov. Moskva : "Nauka" ; 1968.
QA552 .H36 1998 Shadows of the circle : conic sections, optimal figures and non-Euclidean geometry
Vagn Lundsgaard Hansen. : World Scientific, c1998.
QA564 .A375 1998 Algebraic geometry : papers presented for the EUROPROJ conferences in Catania and Barcelona
edited by Peter E. Newstead. : M. Dekker, c1998.
QA564 .C655 1997 Complex algebraic geometry
Janos Kollar, editor. : American Mathematical Society, Institute for Advanced Study, c1997.
QA564 .C6883 1998 Using algebraic geometry
David Cox, John Little, Donal O'Shea. : Springer, c1998.
QA564 .H244 1998 Moduli of curves
Joe Harris, Ian Morrison. : Springer, c1998.
QA564 .M49 1998 Introduction to liaison theory and deficiency modules
Juan C. Migliore. : Birkhauser, c1998.
QA564 .R47 1998 Representation theories and algebraic geometry
edited by A. Broer and A. Daigneault ; technical editor, Gert Sabidussi. : Kluwer Academic Publishers, c1998.
QA567 .B59 1998 Conics and cubics : a concrete introduction to algebraic curves
Robert Bix. : Springer, c1998.
QA601 .T73 1996 The transforms and applications handbook
editor-in-chief, Alexander D. Poularikas. Boca Raton Fla. : CRC Press, c1996.
QA603 .K48 1998 Applications of point set theory in real analysis
by A.B. Kharazishvili. : Kluwer Academic, c1998.
QA611.A1 H55 1994 The Hilton symposium 1993 : topics in topology and group theory
Guido Mislin, editor. : American Mathematical Society, c1994.
QA612.19 .F7513 1998 Vierfarbensatz. English. The four-color theorem : history, topological foundations and idea of proof
Rudolf Fritsch, Gerda Fritsch ; translated by Julie Peschke. : Springer, c1998.
QA612.2 .R363 1998 High-dimensional knot theory : algebraic surgery in codimension 2
Andrew Ranicki ; with an appendix by Elmar Winkelnkemper. : Springer, c1998.
QA612.36 .M35 1998 Geometry of vector sheaves : an axiomatic approach to differential geometry
by Anastasios Mallios. : Kluwer Academic Publishers, c1998.
QA612.63 .L85 1998 Vector bundles and their applications
by Glenys Luke and Alexander S. Mishchenko. : Kluwer Academic, c1998.
QA612.7 .C647 1997 Homotopy theory via algebraic geometry and group representations : proceedings of a Conference on Homotopy Theory, March 23-27, 1997, Northwestern University
: American Mathematical Society, c1998.
QA614.58 .S5557 1998 Singularities : the Brieskorn anniversary volume
V.I. Arnold, G.-M. Greuel, J.H.M. Steenbrink, editors. :Birkhauser Verlag, c1998.
QA641 .G72 1998 Modern differential geometry of curves and surfaces with Mathematica
Alfred Gray. : CRC Press, c1998.
QA649 .A833 1998 Some nonlinear problems in Riemannian geometry
Thierry Aubin. :Springer, c1998.
QA670 .G85 1998 Compactifications of symmetric spaces
Yves Guivarc'h, Lizhen Ji, J.C. Taylor. : Birkhauser, c1998.
QA808.2 .F72 1997 Fractals and fractional calculus in continuum mechanics
edited by A. Carpinteri, F. Mainardi. Wien : Springer, c1997.
QC20.7.G7 J36 1996 Lectures on quantum groups
Jens Carsten Jantzen. : American Mathematical Society, c1996.
QC174.52.O6 K33 1997 Vertex algebras for beginners
Victor Kac. : American Mathematical Society, c1997.
T45 .P66 1997 Beyond engineering : how society shapes technology
Robert Pool. : Oxford University Press, 1997.
T58.6 .I33 1996 Proceedings of the IEEE Second International Workshop on Systems Management, June 19-21, 1996, Toronto, Ontario, Canada
sponsored by the IEEE Computer Society Technical Committee on Distributed Processing ; IEEE Computer Society Press, c1996.
T58.64 .W66 1997 Total quality in information systems and technology
by Jack Woodall, Deborah K. Rebuck, Frank Voehl. Delray Beach, Fla. : St. Lucie Press, c1997.
T174.7 .N375 1996 Nanotechnology : molecular speculations on global abundance
edited by B.C. Crandall. : MIT Press, c1996.
TJ213 .F88 1996 Fuzzy logic : implementation and applications
edited by M.J. Patyra, D.M. Mlynek. : Wiley ; Stuttgart, Germany : Teubner, c1996.
TJ217.5 .I5442 1997 Intelligent hybrid systems : fuzzy logic, neural networks, and genetic algorithms
edited by Da Ruan. : Kluwer Academic Publishers, c1997.
TK5102.5 .N47 1994 Neural networks in telecommunications
edited by Ben Yuhas, Nirwan Ansari. : Kluwer Academic Publishers, c1994.
TK5105.5 .N4668 1998 Network threats : DIMCS workshop, December 2-4, 1996
Rebecca N. Wright, Peter G. Neumann, editors. : American Mathematical Society, c1998.
TK5105.875.I57 T48 1997 The Internet for scientists and engineers : online tools and resources, 1997-1998
Brian J. Thomas. Bellingham, Wash. : Spie Optical Engineering Press : IEEE Press : Asme Press, c1997.
TK7874 .D553 1990b Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18 -21, 1990
E.M. Clarke, R.P. Kurshan, editors. : American Mathematical Society ; Baltimore, Md. : Association for Computing Machinery, 1991.
Location = Richter Mono Acq.
VID A-1561 Characteristic forms [videorecording]
Shiing S. Chern. Province, R.I, : American Mathematical Society ; [S.l.] : Mathematical Association of America, c1993.
Location = SpecForm Videos.
VID A-1562 Fermat's last theorem [videorecording]
Barry Mazur ; American Mathematical Society, The Mathematical Association of American ; Canadian Mathematical Society. : American Mathematical Society, c1995.
Location = SpecForm Videos.
ZA4150 .D97 1997 Release 2.0 : a design for living in the digital age
Esther Dyson. : Broadway Books, c1997.
ZA4201 .G74 1997 Net.wars
Wendy M. Grossman. : New York University 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 | ||||||||