Dear friends, a number of new books have been recently aquired by our library. Enjoy! Tudor =ADD= =author= Halter-Koch; Franz =title= Ideal Systems: An Introduction to Multiplicative Ideal Theory =year= 1998 =publisher= Marcel Dekker Inc =series= Monographs and Textbooks in Pure and Aplied Mathematics =owner= 3 =note= Uni inventory 15245 =reftype= 1 =source= 3 =ADD= =author= Walker; James S. =title= A Primer on Wavelets and their Scientific Applications =year= 1999 =publisher= Chapman & Hall/CRC =series= Studies in Advanced Mathematics =owner= 3 =note= Uni inventory 15125 =reftype= 1 =source= 3 =ADD= =author= Mumford; David =title= Algebraic Geometry I. Complex Projective Varieties =year= 1995 =publisher= Springer =series= Classics in Mathematics =owner= 3 =note= Uni inventory 15107 Corrected second printing of the 1976 edition =reftype= 1 =source= 3 =ADD= =author= Mollin; Richard A. =title= Algebraic Number Theory =year= 1999 =publisher= Chapman and Hall/CRC =series= Discrete Mathematics and its Applications =owner= 3 =note= Uni inventory 15113 =reftype= 1 =source= 3 =ADD= =author= Kamke; Erich =title= Differentialgleichungen: Loesungsmethoden und Loesungen =edition= 10 =year= 1983 =publisher= B. G. Teubner =owner= 3 =note= Uni inventory 15086 =reftype= 1 =source= 3 =ADD= =author= Roman; Steven =title= Introduction to Coding and Information Theory =year= 1997 =publisher= Springer =series= Undergraduate Texts in Mathematics =owner= 3 =note= Uni inventory 15099 =reftype= 1 =source= 3 =ADD= =author= Joyner; David =title= Coding Theory and Cryptography: from Enigma and Geheimschreiber to Quantum Theory =year= 2000 =publisher= Springer =owner= 3 =note= Uni inventory 15120 =reftype= 1 =source= 3 =ADD= =author= Baumann; Gerd =title= Symmetry Analysis of Differential Equations with Mathematica =year= 2000 =publisher= Springer =series= The Electronic Library of Science =owner= 3 =note= Uni inventory 15092 =reftype= 1 =source= 3 =ADD= =author= Betounes; David =title= Partial Differential Equations for Computational Science: with Maple and Vector Analysis =year= 1998 =publisher= Springer =series= The Electronic Library of Science =owner= 3 =note= Uni inventory 15098 =reftype= 1 =source= 3 =ADD= =author= Mac Lane; Saunders =title= Categories for the Working Mathematician =edition= 2 =year= 1998 =publisher= Springer =series= Graduate Texts in Mathematics =owner= 3 =note= Uni inventory 15101 =reftype= 1 =source= 3 =ADD= =author= Saito; Mutsumi + Sturmfels; Bernd + Takayama; Nobuki =title= Groebner Deformations of Hypergeometric Differential Equations =year= 2000 =publisher= Springer =series= Algorithms and Computation in Mathematics =owner= 3 =note= Uni inventory 15090 =reftype= 1 =source= 3 =ADD= =author= Resnikoff; Howard L. + Wells; Raymond O. =title= Wavelet Analysis: the Scalable Structure of Information =year= 1998 =publisher= Springer =owner= 3 =note= Uni inventory 15097 =reftype= 1 =source= 3 =ADD= =author= Kevorkian; J. =title= Partial Differential Equations: Analytical Solution Techniques =edition= 2 =year= 2000 =publisher= Springer =series= Texts in Applied Mathematics =owner= 3 =note= Uni inventory 15111 =reftype= 1 =source= 3 =ADD= =author= Bourbaki; N. =title= Lie Gorups and Lie Algebras, Chapters 1-3 =year= 1989 =publisher= Springer =series= Elements of Mathematics =owner= 3 =note= Uni inventory 15087 =reftype= 1 =source= 3 =ADD= =author= Spears; William M. =title= Evolutionary Algorithms: the Role of Mutation and Recombination =year= 2000 =publisher= Springer =series= Natural Computing =owner= 3 =note= Uni inventory 15095 =reftype= 1 =source= 3 =ADD= =author= Eisenbud; David =title= Commutative Algebra with a View Toward Algebraic Geometry =year= 1995 =publisher= Springer =series= Graduate Texts in Mathematics =owner= 3 =note= Uni inventory 15096 =reftype= 1 =source= 3 =ADD= =author= de Berg; Mark + van Kreveld; Marc + Overmars; Mark + Schwarzkopf; Otfried =title= Computational Geometry: Algorithms and Applications =edition= 2 =year= 2000 =publisher= Springer W=owner= 3 =note= Uni inventory 15094 =reftype= 1 =source= 3 =ADD= =author= Karatzas; Ioannis + Shreve; Steven E. =title= Methods of Mathematical Finance =year= 1998 =publisher= Springer =series= Applications of Mathematics =owner= 3 =note= Uni inventory 15091 =reftype= 1 =source= 3 =ADD= =author= Koblitz; Neal =title= Algebraic Aspects of Cryptography =year= 1998 =publisher= Springer =series= Algorithms and Computation in Mathematics =owner= 3 =note= Uni inventory 15084 =reftype= 1 =source= 3 =ADD= =author= Gelfand; S.I. + Manin; Yu.I. =title= Homological Algebra =year= 1999 =publisher= Springer =owner= 3 =note= Uni inventory 15102 =reftype= 1 =source= 3 =ADD= =author= Koblitz; Neal =title= A Course in Number Theory and Cryptography =edition= 2 =year= 1994 =publisher= Springer =series= Graduate Texts in Mathematics =owner= 3 =note= Uni inventory 15132 =reftype= 1 =source= 3 =ADD= =author= Hartshorne; Robin =title= Geometry: Euclid and Beyond =year= 2000 =publisher= Springer =series= Undergraduate Texts in Mathematics =owner= 3 =note= Uni inventory 15093. An earlier version appeared as Companion to Euclid: A Course of Geometry =reftype= 1 =source= 3 =ADD= =author= Avenhaus; Juergen =title= Reduktionssysteme. Rechnen und Schliessen in gleichungsdefinierten Strukturen =year= 1995 =publisher= Springer =owner= 3 =note= Uni inventory 15100 =reftype= 1 =source= 3 =ADD= =author= Nerode; Anil + Shore; Richard A. =title= Logic for Applications =edition= 2 =year= 1997 =publisher= Springer =series= Graduate Texts in Computer Science =owner= 3 =note= Uni inventory 15088 =reftype= 1 =source= 3 =ADD= =author= Cockburn; Bernardo + Karniadakis; George E. + Shu; Chi-Wang =title= Discontinuous Galerkin Methods. Theory, Computation and Applications =year= 2000 =publisher= Springer =series= Lecture Notes in Computational Science and Engineering =owner= 3 =note= Uni inventory 15123 =reftype= 1 =source= 3 =ADD= =author= Preneel; Bart + Rijmen; Vincent =title= State of the Art in Applied Cryptography. Course on Computer Security and Industrial Cryptography, Leuven, Belgium, June 1997 =year= 1998 =publisher= Springer =series= Lecture Notes in Computer Science =owner= 3 =note= Uni inventory 15109 =reftype= 1 =source= 3 =ADD= =author= Harris; Joe + Morrison; Ian =title= Moduli of Curves =year= 1998 =publisher= Springer =series= Graduate Texts in Mathematics =owner= 3 =note= Uni inventory 15110 =reftype= 1 =source= 3 =ADD= =author= Abhyankar; Shreeram S. =title= Resolution of Singularities of Embedded Algebraic Surfaces =edition= 2 =year= 1998 =publisher= Springer =series= Springer Monographs in Mathematics =owner= 3 =note= Uni inventory 15117 =reftype= 1 =source= 3 =ADD= =author= Klima; Richard E. + Sigmon; Neil + Stitzinger; Ernest =title= Applications of Abstract Algebra with Maple =year= 2000 =publisher= CRC Press =series= Discrete Mathematics and its Applications =owner= 3 =note= Uni inventory 15114 =reftype= 1 =source= 3 =ADD= =author= van der Waerden; B.L. =title= Einfuehrung in die algebraische Geometrie =edition= 2 =year= 1973 =publisher= Springer =series= Die Grundlehren der mathematischen Wissenschaften =owner= 3 =note= Uni inventory 15115 =reftype= 1 =source= 3 =ADD= =author= Zariski; Oscar =title= Algebraic Surfaces =edition= 2 =year= 1995 =publisher= Springer =series= Classics in Mathematics =owner= 3 =note= Uni inventory 15108 Reprint of the 1971 edition =reftype= 1 =source= 3 =ADD= =author= Stillwell; John =title= Elements of Algebra: Geomatry, Numbers, Equations =year= 1994 =publisher= Springer =series= Undergraduate Texts in Mathematics =owner= 3 =note= Uni inventory 15124 =reftype= 1 =source= 3 =ADD= =author= Salomaa; Arto =title= Public-Key Cryptography =edition= 2 =year= 1996 =publisher= Springer =series= Texts in Theoretical Computer Science =owner= 3 =note= Uni inventory 15089 =reftype= 1 =source= 3 =ADD= =author= Wang; Dongming =title= Elimination Methods =year= 2001 =publisher= Springer =series= Texts & Monographs in Symbolic Computation =owner= 3 =note= Uni inventory 15333 =reftype= 1 =source= 3 =ADD= =author= Robinson; Abraham =title= Non-standard Analysis =year= 1996 =publisher= Princeton University Press =series= Princeton Landmarks in Mathematics and Physics =owner= 3 =note= Uni inventory 15329 Revised edition =reftype= 1 =source= 3 =ADD= =author= Blake; Ian + Seroussi; Gadiel + Smart; Nigel =title= Elliptic Curves in Cryptography =year= 1999 =publisher= Cambridge University Press =series= London Mathematical Society Lecture Notes Series =owner= 3 =note= Uni inventory 15169 =reftype= 1 =source= 3 =ADD= =author= Bochnak; Jacek + Coste; Michel + Roy; Marie-Francoise =title= Real Algebraic Geometry =year= 1998 =publisher= Springer =series= Ergebnisse der Mathematik und ihrer Grenzgebiete 3. Folge A Series of Modern Surveys in Mathematics =owner= 3 =note= Uni inventory 15118 Revised and expanded English version of "Geometrie Algebrique Reelle" =reftype= 1 =source= 3 =ADD= =author= Kollar; Janos =title= Rational Curves on Algebraic Varieties =year= 1999 =publisher= Springer =series= Modern Surveys in Mathematics =owner= 3 =note= Uni inventory 15375 =reftype= 1 =source= 3 =ADD= =author= Graf; Peter =title= Term Indexing =year= 1995 =publisher= Springer =series= Lecture Notes in Computer Science =owner= 3 =note= Uni inventory 15382 =reftype= 1 =source= 3 =ADD= =author= Gatermann; Karin =title= Computer Algebra Methods for Equivariant Dynamical Systems =year= 2000 =publisher= Springer =series= Lecture Notes in Mathematics =number= 1728 =owner= 3 =note= Uni inventory 15374 =reftype= 1 =source= 3 =ADD= =author= Jones; Gareth A. + Jones; J. Mary =title= Information and Coding Theory =year= 2000 =publisher= Springer =series= Springer Undergraduate Mathematics Series =owner= 3 =note= Uni inventory 15377 =reftype= 1 =source= 3 =ADD= =author= Nerode; Anil + Shore; Richard A. =title= Logic for Applications =year= 1997 =publisher= Springer =series= Graduate Texts in Computer Science =owner= 3 =note= Uni inventory 15372 =reftype= 1 =source= 3 =ADD= =author= Kreuzer; Martin + Robbiano; Lorenzo =title= Computational Commutative Algebra 1 =year= 2000 =publisher= Springer =owner= 3 =note= Uni inventory 15376 =reftype= 1 =source= 3 =ADD= =author= Bourbaki; N. =title= Topological Vector Spaces Chapter 1-5 =year= 1987 =publisher= Springer =series= Elements of Mathematics =owner= 3 =note= Uni inventory 15371 =reftype= 1 =source= 3 =ADD= =author= Socher-Ambrosius; Rolf + Johann; Patricia =title= Deduction Systems =year= 1996 =publisher= Springer =series= Graduate Texts in Computer Science =owner= 3 =note= Uni inventory 15373 =reftype= 1 =source= 3 =ADD= =author= Silverman; Joseph H. =title= The Arithmetic of Elliptic Curves =year= 1986 =publisher= Springer =series= Graduate Texts in Mathematics =owner= 3 =note= Uni inventory 15378 =reftype= 1 =source= 3 =ADD= =author= Silverman; Joseph H. =title= Advanced Topics in the Arithmetic of Elliptic Curves =year= 1994 =publisher= Springer =series= Graduate Texts in Mathematics =owner= 3 =note= Uni inventory 15379 =reftype= 1 =source= 3 =ADD= =author= Cipolla; Roberto + Martin; Ralph =title= The Mathematics of Surfaces IX. 9th Conference on Mathematics of Surfaces. Cambridge, UK, September 2000 =year= 2000 =publisher= Springer =owner= 3 =note= Uni inventory 15380 =reftype= 10 =source= 3 =ADD= =author= Ganzha; V. G. + Mayr; E. W. =title= Computer Algebra in Scientific Computing. Third Workshop. Samarkand, October 2000. =year= 2000 =publisher= Springer =owner= 3 =note= Uni inventory 15381 =reftype= 1 =source= 3 =ADD= =author= Wilkinson; Barry + Allen; Michael =title= Parallel Programming =year= 1999 =publisher= Prentice-Hall Inc. =owner= 3 =note= Uni inventory 15324 =reftype= 1 =source= 3 =ADD= =author= Andrews; Gregory R. =title= Foundations of Multithreaded, Parallel, and Distributed Programmimg =year= 2000 =publisher= Addison Wesley Longman, Inc. =owner= 3 =note= Uni inventory 15325 =reftype= 1 =source= 3 =ADD= =author= Maslov; S. Yu. =title= Theory of Deductive Systems and Its Applications =year= 1987 =publisher= The MIT Press =series= Foundations of Computing Series =owner= 3 =note= Uni inventory 15384 =reftype= 1 =source= 3 =ADD= =author= Eijck; Jan van + Visser; Albert =title= Logic and Information Flow =year= 1994 =publisher= The MIT Press =series= Foundations of Computing Series =owner= 3 =note= Uni inventory 15386 =reftype= 1 =source= 3 =ADD= =author= Wos; Larry + Pieper; Gail W. =title= A Fascinating Country in the World of Computing =year= 1999 =publisher= World Scientific Publishing Co. Pte. Ltd. =owner= 3 =note= Uni inventory 15387 =reftype= 1 =source= 3 =ADD= =author= Abramsky; S. + Gabbay; Dov M. + Maibaum; T. S. E. =title= Handbook of Logic in Computer Science - Volume 2 =year= 1992 =publisher= Oxford Science Publications =owner= 3 =note= Uni inventory 15389 =reftype= 1 =source= 3 =ADD= =author= Doets; Kees =title= From Logic to Logic Programming =year= 1994 =publisher= The MIT Press =series= Foundations of Computing Series =owner= 3 =note= Uni inventory 15383 =reftype= 1 =source= 3 =ADD= =author= Chou; Shang-Ching + Gao; Xiao-Shan + Zhang; Jing-Zhong =title= Machine Proofs in Geometry =year= 1994 =publisher= World Scientific Publishing Co. Pte. Ltd. =series= Series on Applied Mathematics Volumn 6 =owner= 3 =note= Uni inventory 15365 =reftype= 1 =source= 3 =ADD= =author= Bird; Richard + Moor; Oege de =title= Algebra of Programming =year= 1997 =publisher= Prentice Hall =owner= 3 =note= Uni inventory 15413 =reftype= 1 =source= 3 =ADD= =author= Best; Eike =title= Semantics of Sequential and Parallel Programs =year= 1996 =publisher= Prentice Hall =owner= 3 =note= Uni inventory 15412 =reftype= 1 =source= 3 =ADD= =author= Mehlhorn; K. + Naeher; S. =title= LEDA - A platform for combinatorial and geometric computing =year= 1999 =publisher= Cambridge Press, U.K. =owner= 3 =note= Uni inventory 15317 =reftype= 1 =source= 3 =ADD= =author= Nissanke; Nimal =title= Formal Specification - Techniques and Application =year= 1999 =publisher= Springer =owner= 3 =note= Uni inventory 15323 =reftype= 1 =source= 3 =ADD= =author= Fay; Jim + Funk; David =title= Teaching with Love & Logic =year= 1995 =publisher= The Love and Logic Press Inc. =owner= 3 =note= Uni inventory 15315 =reftype= 1 =source= 3 =ADD= =author= Narendran; Paliath + Rusinowitch; Michael =title= Rewriting Techniques and Applications. 10th Conference RTA-99. Trento, Italy, July 1999 =year= 1999 =publisher= Springer =series= Lecture Notes in Computer Science =number= 1631 =owner= 3 =note= Uni inventory 15319 =reftype= 10 =source= 3 =ADD= =author= Halbwachs; Nicolas + Peled; Doron =title= Computer Aided Verification. 11th Conference CAV'99. Trento, Italy, July 1999 =year= 1999 =publisher= Springer =series= Lecture Notes in Computer Science =number= 1633 =owner= 3 =note= Uni inventory 15320 =reftype= 10 =source= 3 =ADD= =author= Minto; Barbara =title= The Pyramid Principle =year= 1987 =publisher= Prentice Hall =owner= 3 =note= Uni inventory 15316 =reftype= 1 =source= 3 =ADD= =author= Yap; Chee Keng =title= Fundamental Problems of Algorithmic Algebra =year= 2000 =publisher= Oxford University Press =owner= 3 =note= Uni inventory 15314 =reftype= 1 =source= 3 =ADD= =author= Buyya; Rajkumar =title= High Performance Cluster Computing - Architectures and Systems, Volume 1 =year= 1999 =publisher= Prentice Hall =owner= 3 =note= Uni inventory 15326 =reftype= 1 =source= 3 =ADD= =author= Buyya; Rajkumar =title= High Performance Cluster Computing - Programming and Applications, Volume 2 =year= 1999 =publisher= Prentice Hall =owner= 3 =note= Uni inventory 15327 =reftype= 1 =source= 3 =ADD= =author= Milner; Robin =title= Communicating and Mobile Systems: The \PI-Calculus =year= 1999 =publisher= Cambridge University Pess =owner= 3 =note= Uni inventory 15328 =reftype= 1 =source= 3 =ADD= =author= Baumgartner; Peter + Zhang; Hantao =title= FTP 2000 =year= 2000 =publisher= Universitaet Koblenz-Landau, Institut fuer Informatik =owner= 3 =note= Uni inventory 15322 =reftype= 10 =source= 3 =ADD= =author= Dyckhoff; Roy =title= Automated Reasoning with Analytic Tableaux and Related Methods =year= 2000 =publisher= University of St Andrews, School of Computer Science =owner= 3 =note= Uni inventory 15321 =reftype= 10 =source= 3 =ADD= =author= Nye; Adrian =title= Xlib Programming Manual =year= 1993 =publisher= O'Reilly & Associates, Inc. =series= The Definitive Guides to the X Window System - Volume One =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Nye; Adrian + O'Reilly; Tim =title= X Toolkit Intrinsics Programming Manual =year= 1992 =publisher= O'Reilly & Associates, Inc. =series= The Definitive Guides to the X Window System - Volume Four =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Heller; Dan =title= Motif Programming Manual =year= 1992 =publisher= O'Reilly & Associates, Inc. =series= The Definitive Guides to the X Window System - Volume Six =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Open Software Foundation =title= Programmer's Reference =year= 1993 =publisher= Prentice Hall =series= OSF/Motif Release 1.1 =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Open Software Foundation =title= Programmer's Guide =year= 1997 =publisher= Prentice Hall =series= OSF/Motif Release 1.1 =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Open Software Foundation =title= Style Guide =year= 1997 =publisher= Prentice Hall =series= OSF/Motif Release 1.1 =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Macsyma Inc. =title= User's Guide A Tutorial Introduction =year= 1996 =publisher= Macsyma Inc. =series= Macsyma - Symbolic/numeric/graphical mathematics software =note= copy 1 =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Macsyma Inc. =title= User's Guide A Tutorial Introduction =year= 1996 =publisher= Macsyma Inc. =series= Macsyma - Symbolic/numeric/graphical mathematics software =note= copy 2 =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Macsyma Inc. =title= Mathematics and System Reference Manual =year= 1996 =publisher= Macsyma Inc. =series= Macsyma - Symbolic/numeric/graphical mathematics software =note= copy 1 =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Macsyma Inc. =title= Mathematics and System Reference Manual =year= 1996 =publisher= Macsyma Inc. =series= Macsyma - Symbolic/numeric/graphical mathematics software =note= copy 2 =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Macsyma Inc. =title= Graphics and User Interface Reference Manual For Macsyma 420 =year= 1996 =publisher= Macsyma Inc. =series= Macsyma - Symbolic/numeric/graphical mathematics software =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Macsyma Inc. =title= Scientific Graphics Reference Manual =year= 1996 =publisher= Macsyma Inc. =series= Macsyma - Symbolic/numeric/graphical mathematics software =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Macsyma Inc. =title= Scientific Notebook Interface Reference Manual =year= 1996 =publisher= Macsyma Inc. =series= Macsyma - PDEase =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Yang; Wei-Chi + Wang; Dongming + Chu; Sung-Chi + Fitz-Gerald; Gary =title= ATCM. Fourth Asian Technology Conference in Mathematics. Dec 1999, Guangzhou, P. R. China =year= 1999 =publisher= ATCM, Inc. =owner= 1 =reftype= 10 =source= 3 =ADD= =author= Roque; W. L. + Barone; D. A. =title= WRI'97. Workshop on Intelligent Robotics. Brasilia, August 1997 =year= 1997 =publisher= Brazilian Computer Society - SBC =series= WRI'97 =owner= 1 =reftype= 10 =source= 3 =ADD= =author= Open Software Foundation =title= Style Guide =year= 1997 =publisher= Prentice Hall =series= OSF/Motif Revision 1.0 =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Open Software Foundation =title= User's Guide =year= 1997 =publisher= Prentice Hall =series= OSF/Motif Revision 1.0 =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Open Software Foundation =title= Programmer's Guide =year= 1997 =publisher= Prentice Hall =series= OSF/Motif Revision 1.0 =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Open Software Foundation =title= Programmer's Guide =year= 1997 =publisher= Prentice Hall =series= OSF/Motif Revision 1.0 =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Open Software Foundation =title= Programmer's Reference =year= 1997 =publisher= Prentice Hall =series= OSF/Motif Revision 1.1 =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Open Software Foundation =title= User Environment Volume =year= 1997 =publisher= Prentice Hall =series= Application Environment Specification - Revision A =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Young; Douglas A. =title= The X Window System - Programming and Applications with Xt =year= 1990 =publisher= Prentice Hall =note= copy 1 =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Young; Douglas A. =title= The X Window System - Programming and Applications with Xt =year= 1990 =publisher= Prentice Hall =note= copy 2 =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Integrated Systems, Inc. =title= pSOSystem - System Concepts =year= 1990 =publisher= Integrated Systems, Inc. =series= Intergrated Systems - Release 2.0 =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Nye; Adrian =title= Xlib Programming Manual =year= 1993 =publisher= O'Reilly & Associates, Inc. =series= The Definitive Guides to the X Window System - Volume One =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Nye; Adrian =title= Xlib Reference Manual =year= 1993 =publisher= O'Reilly & Associates, Inc. =series= The Definitive Guides to the X Window System - Volume Two =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Nye; Adrian =title= X Toolkit Intrinsics Programming Manual =year= 1993 =publisher= O'Reilly & Associates, Inc. =series= The Definitive Guides to the X Window System - Volume Four =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Nye; Adrian =title= X Toolkit Intrinsics Programming - Manual OSF/Matif 1.2 Edition =year= 1999 =publisher= O'Reilly & Associates, Inc. =series= The Definitive Guides to the X Window System - Volume Four =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Nye; Adrian =title= X Toolkit Intrinsics Programming Manual =year= 1993 =publisher= O'Reilly & Associates, Inc. =series= The Definitive Guides to the X Window System - Volume Five =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Nye; Adrian =title= Xlib Programming Manual =year= 1999 =publisher= O'Reilly & Associates, Inc. =series= The Definitive Guides to the X Window System - Volume One =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Open Software Foundation =title= Programmer's Reference =year= 1993 =publisher= Prentice Hall =series= OSF/Motif Release 1.1 =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Open Software Foundation =title= Programmer's Guide =year= 1997 =publisher= Prentice Hall =series= OSF/Motif Release 1.1 =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Open Software Foundation =title= Style Guide =year= 1997 =publisher= Prentice Hall =series= OSF/Motif Release 1.1 =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Macsyma Inc. =title= User's Guide A Tutorial Introduction =year= 1996 =publisher= Macsyma Inc. =series= Macsyma - Symbolic/numeric/graphical mathematics software =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Macsyma Inc. =title= Mathematics and System Reference Manual =year= 1996 =publisher= Macsyma Inc. =series= Macsyma - Symbolic/numeric/graphical mathematics software =owner= 2 =reftype= 1 =source= 3 =ADD= =author= Macsyma Inc. =title= Graphics and User Interface Reference Manual For Macsyma 420 =year= 1996 =publisher= Macsyma Inc. =series= Macsyma - Symbolic/numeric/graphical mathematics software =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Macsyma Inc. =title= Scientific Graphics Reference Manual =year= 1996 =publisher= Macsyma Inc. =series= Macsyma - Symbolic/numeric/graphical mathematics software =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Macsyma Inc. =title= Scientific Notebook Interface Reference Manual =year= 1996 =publisher= Macsyma Inc. =series= Macsyma - PDEase =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Yang; weichi, etc. =title= Proceeding of the Fourth Asian Technology Conference in Mathematics =year= 1999 =publisher= ATCM, Inc. =series= Asian Technology Conference in Mathematics =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Brazilian Computer Society - SBC =title= Workshop on Intelligent Robotics =year= 1997 =publisher= W.L.Roque and D. A. Barone (Eds.) =series= WRI'97 =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Brazilian Computer Society - SBC =title= Workshop on Intelligent Robotics =year= 1997 =publisher= W.L.Roque and D. A. Barone (Eds.) =series= WRI'97 =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Open Software Foundation =title= Style Guide =year= 1997 =publisher= Prentice Hall =series= OSF/Motif Revision 1.0 =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Open Software Foundation =title= User's Guide =year= 1997 =publisher= Prentice Hall =series= OSF/Motif Revision 1.0 =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Open Software Foundation =title= Programmer's Guide =year= 1997 =publisher= Prentice Hall =series= OSF/Motif Revision 1.0 =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Open Software Foundation =title= Programmer's Reference =year= 1997 =publisher= Prentice Hall =series= OSF/Motif Revision 1.0 =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Open Software Foundation =title= User Environment Volume =year= 1997 =publisher= Prentice Hall =series= Application Environment Specification - Revision A =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Young; Douglas A. =title= The X Window System - Programming and Applications with Xt =year= 1990 =publisher= Prentice Hall =owner= 2 =reftype= 1 =source= 3 =ADD= =author= =title= pSOSystem - System Concepts =year= 1990 =publisher= Intergrated Systems, Inc. =series= Intergrated Systems - Release 2.0 =owner= 1 =reftype= 1 =source= 3 =ADD= =author= Mazat; B. H. + Greuel; G.-M. + Hiss; G. =title= Algorithmic Algebra and Number Theory. Conference in Heidelberg, October 1997 =year= 1997 =publisher= Springer =owner= 3 =note= Uni inventory 15119 =reftype= 10 =source= 3 =ADD= =author= Van Oystaeyen; Freddy =title= Commutative Algebra and Algebraic Geometry. Meeting at Ferrara, in honour of Mario Fiorentini =year= 1999 =publisher= Marcel Dekker =series= Lecture Notes in Pure and Applied Mathematics =number= 206 =owner= 3 =note= Uni inventory 15246 =reftype= 10 =source= 3 =ADD= =author= Fossier; Mark + Imai; Hideki + Lin; Shu + Poli; Alain =title= Applied Algebra, Algebraic Algorithms and Error Correcting Codes. 13th International Symposium, AAECC-13, Honolulu, Hawaii, USA, November 1999 =year= 1999 =publisher= Springer =series= Lecture Notes in Computer Science =number= 1719 =owner= 3 =note= Uni inventory 15122 =reftype= 10 =source= 3 =ADD= =author= Gao; Xiao-Shan + Wang; Dongming + Yang; Lu =title= Automated Deduction in Geometry. Second International Workshop, ADG'98, Beijing, China, August 1998 =year= 1998 =publisher= Springer =series= Lecture Notes in Artificial Intelligence =number= 1669 =owner= 3 =note= Uni inventory 15 =reftype= 10 =source= 3 =ADD= =author= Dorninger; E. + Eigenthaler; G. + Goldstern; M. + Kaiser; H. K. + More; W. + Mueller; W. B. =title= Contributions to General Algebra 12. 58th Workshop on General Algebra, Vienna, Austria, June 1998 =year= 1998 =publisher= Verlag Johannes Heyn =owner= 3 =note= Uni inventory 15138 =reftype= 10 =source= 3 =ADD= =author= Gantmacher; F. R. =title= The Theory of Matrices =year= 2000 =publisher= AMS Chelsea Publishing =volume= 2 =owner= 3 =note= Uni inventory 151950 =reftype= 1 =source= 3 =ADD= =author= Gantmacher; F. R. =title= The Theory of Matrices =year= 2000 =publisher= AMS Chelsea Publishing =volume= 1 =owner= 3 =note= Uni inventory 15194 =reftype= 1 =source= 3 =ADD= =author= Hackbusch; W. + Wittum; G. + Griebel; M. + Keyes; D. E. + Nieminen; R. M. + Roose; D. + Schlick; T. =title= Multigrid Methods V. Fifth European Multigrid Conference, Stuttgart, Germany, October 1996 =year= 1996 =publisher= Springer =series= Lecture Notes in Computational Science and Engineering =number= 3 =owner= 3 =note= Uni inventory 15116 =reftype= 10 =source= 3 =ADD= =author= Goodman; Jacob E. + O'Rourke; Joseph =title= Handbook of Discrete and Computational Geometry =year= 1997 =publisher= CRC Press =owner= 3 =note= Uni inventory 15271 =reftype= 1 =source= 3 =ADD= =author= Kumar; Aditya + Daoutidis; Prodromos =title= Control of nonlinear differential algebraic equation systems =year= 1999 =publisher= Chapman and Hall/CRC =series= Research Notes in Mathematics =number= 397 =owner= 3 =note= Uni inventory 15270 =reftype= 1 =source= 3 =ADD= =author= Shier; D. R. + Wallenius; K. T. =title= Applied Mathematical Modelling. A Multidisciplinary Approach =year= 2000 =publisher= Chapman and Hall/CRC =owner= 3 =note= Uni inventory 15272 =reftype= 1 =source= 3 =ADD= =author= Basmadjian; Diran =title= The art of modeling in science and engineering =year= 1999 =publisher= Chapman and Hall/CRC =owner= 3 =note= Uni inventory 15274 =reftype= 1 =source= 3 =ADD= =author= Klima; Richard E. + Sigmon; Neil + Stitzinger; Ernest =title= Applications of Abstract Algebra with Maple =year= 2000 =publisher= CRC Press =owner= 3 =note= Uni inventory 15114 =reftype= 1 =source= 3 =ADD= =author= Rutter; John W. =title= Geometry of Curves =year= 2000 =publisher= Chapman and Hall/CRC =owner= 3 =note= Uni inventory 15273 =reftype= 1 =source= 3 =ADD= =author= Eisenbud; David + Harris; Joe =title= The Geometry of Schemes =year= 2000 =publisher= Springer =series= Graduate Texts in Mathematics =number= 197 =owner= 3 =note= Uni inventory 15085 =reftype= 1 =source= 3 =ADD= =author= Hibbard; Allen C. + Levasseur; Keneth M. =title= Exploring Abstract Algebra with Mathematica =year= 1999 =publisher= Springer, Telos =owner= 3 =note= Uni inventory 15112 =reftype= 1 =source= 3 =ADD= =author= Gaal; Lisl =title= Classical Galois Theory with Examples =year= 1998 =publisher= AMS Chelsea Publishing =owner= 3 =note= Uni inventory 15176 =reftype= 1 =source= 3 =ADD= =author= Miyanishi; Masayoshi =title= Algebraic Geometry =year= 1998 =publisher= American Mathematical Society =series= Translation of Mathematical Monographs =number= 136 =owner= 3 =note= Uni inventory 15177 =reftype= 1 =source= 3 =ADD= =author= Brooks; Michael =title= Quantum Computing and Communications =year= 1999 =publisher= Springer =owner= 3 =note= Uni inventory 15173 =reftype= 1 =source= 3 =ADD= =author= Pretzel; Oliver =title= Codes and Algebraic Curves =year= 1998 =publisher= Clarendon Press, Oxford =series= Oxford Lecture Series in Mathematics and its Applications =number= 8 =owner= 3 =note= Uni inventory 15174 =reftype= 1 =source= 3 =ADD= =author= Yap; Chee Keng =title= Fundamental Problems of Algorithmic Algebra =year= 2000 =publisher= Oxford University Press =owner= 3 =note= Uni inventory 15175 copy 2 =reftype= 1 =source= 3 =ADD= =author= Casas-Alvero; Eduardo =title= Singularities of Plane Curves =year= 2000 =publisher= Cambridge University Press =series= London Mathematical Society Lecture Note Series =number= 276 =owner= 3 =note= Uni inventory 15171 =reftype= 1 =source= 3 =ADD= =author= Baader; Franz + Nipkow; Tobias =title= Term Rewriting and All That =year= 1999 =publisher= Cambridge University Press =owner= 3 =note= Uni inventory 15170 =reftype= 1 =source= 3 =ADD= =author= Gelfand; I. M. + Kapranov; M. M. + Zelevinsky; A. V. =title= Discriminants, Resultants, and Multidimensional Determinants =year= 1994 =publisher= Birkhaeuser =series= Mathematics: Theory and Applications =owner= 3 =note= Uni inventory 15172 =reftype= 1 =source= 3 =ADD= =author= Gershenfeld; Neil =title= The nature of mathematical modeling =year= 2000 =publisher= Cambridge University Press =owner= 3 =note= Uni inventory 15318 =reftype= 1 =source= 3 =ADD= =author= van Tilborg; Henk C. A. =title= Fundamentals of Cryptology =year= 2000 =publisher= Kluwer =owner= 3 =note= Uni inventory 15414 =reftype= 1 =source= 3