At a glance

Mathematics & Statistics Library

Math & Statistics Library new books received in June 1998

New books by month received

TITLE: Ada 95 quality and style /
IMPRINT: Berlin ; New York : Springer, [1997?]
CALL: QA76.73 .A35 A216 1997

TITLE: Ada 95 rationale : the language, the standard libraries /
IMPRINT: Berlin ; New York : Springer, 1997.
CALL: QA76.73 .A35 A217 1997

TITLE: Ada 95 reference manual :language and standard libraries /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA76.73 .A35 A22 1997

AUTHOR: Ada-Europe International Conference on Reliable Software Technologies
TITLE: Reliable software technologies-- Ada-Europe '97 :1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA76.73 .A16 A23 1997

TITLE: Algorithmic foundations of geographic information systems /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: G70.212 .A38 1997

AUTHOR: Antelman, Gordon,
TITLE: Elementary Bayesian statistics /
IMPRINT: Cheltenham, UK ; Lyme, NH : Edward Elgar, c1997.
CALL: QA279.5 .A58 1997

AUTHOR: Bèottcher, Albrecht.
TITLE: Carleson curves, Muckenhoupt weights, and Toeplitz operators /
IMPRINT: Basel ; Boston : Birkhèauser Verlag, c1997.
CALL: QA329.2 .B673 1997

AUTHOR: Boyce, William E.
TITLE: Elementary differential equations and boundary value problems /
IMPRINT: New York : J. Wiley, c1997.
CALL: QA371 .B773 1997

AUTHOR: Brazil-USA Conference on Multidimensional Complex Analysis and Partial Differential Equations
TITLE: Multidimensional complex analysis and partial differential equations :a collection of papers in honor of Franðcois Treves : proceedings of the Brazil-USA Conference on Multidimensional Complex Analysis and Partial Differential Equations, June 12-16, 1995, Sãao Carlos, Brazil /
IMPRINT: Providence, R.I. : American Mathematical Society, c1997.
CALL: QA319 .B73 1995

AUTHOR: Burkart, Olaf.
TITLE: Automatic verification of sequential infinite-state processes /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA76.76 .V47 B87 1997

TITLE: Case-based reasoning :research and development : Second International Conference, ICCBR-97, Providence, RI, USA, July 25-27, 1997 : proceedings /
IMPRINT: New York : Springer, 1997.
CALL: QA76.76 .E95 C3762 1997

TITLE: Computational intelligence :theory and applications : international conference, 5th fuzzy days, Dortmund, Germany, April 28-30 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: Q342 .C67 1997

AUTHOR: Conference on Artificial Intelligence in Medicine Europe
TITLE: Artificial intelligence in medicine :6th Conference on Artificial Intelligence Europe, AIME '97, Grenoble, France, March 23-26, 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: R859.7 .A78 C66 1997

AUTHOR: Conference on Evolutionary Programming
TITLE: Evolutionary programming VI :6th international conference, EP97, Indianapolis, Indiana, USA, April 13-16, 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA76.618 .C66 1997

TITLE: Connectionist-symbolic integration :from unified to hybrid approaches /
IMPRINT: Mahwah, N.J. : Lawrence Erlbaum Associates, c1997.
CALL: QA76.38 .C66 1997

AUTHOR: Court`es, Franðcois.
TITLE: Sur le transfert des intâegrales orbitales pour les groupes linâeaires (cas p-adique) /
IMPRINT: Paris : Sociâetâe mathâematique de France, 1997.
CALL: QA1 .S54 N.S. NO.69

TITLE: Creating personalities for synthetic actors :towards autonomous personality agents /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: TR897.7 .C7 1997

TITLE: Dialogue processing in spoken language systems :ECAI '96 workshop, Budapest, Hungary, August 13, 1996 : revised papers /
IMPRINT: New York : Springer Verlag, 1997.
CALL: QA76.9 .N38 D5 1997

TITLE: Distributed artificial intelligence meets machine learning : learning in multi-agent environments : ECAI'96 Workshop LDAIS, Budapest, Hungary, August 13, 1996, ICMAS'96 Workshop LIOME, Kyoto, Japan, December 10, 1996, selected papers /
IMPRINT: Berlin ; New York : Springer, 1997.
CALL: Q325.5 .D57 1997

TITLE: Energy minimization methods in computer vision and pattern recognition :international workshop EMMCVPR'97, Venice, Italy, May 21-23, 1997: proceedings /
IMPRINT: Berlin ; New York : Springer, 1997.
CALL: TA1634 .E54 1997

AUTHOR: European Conference on Computational Learning Theory
TITLE: Computational learning theory :Third European Conference, EuroCOLT'97, Jerusalem, Israel, March 17-19, 1997 proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: Q325.7 .E97 1997

AUTHOR: European Knowledge Acquisition Workshop
TITLE: Knowledge acquisition, modeling and management :10th European Workshop, EKAW '97, Sant Feliu de Guixols, Catalonia, Spain, October 15-18, 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA76.76 .E95 E36 1997

AUTHOR: European Workshop on Modelling Autonomous Agents in a Multi-Agent World
TITLE: Multi-agent rationality :8th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'97, Ronneby, Sweden, May 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer-Verlag, 1997.
CALL: Q334 .E99 1997

AUTHOR: FC '97
TITLE: Financial cryptography :First International Conference, FC '97, Anguilla, British West Indies, February 24-28, 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: HG1710 .F35 1997

AUTHOR: Georgia International Topology Conference
TITLE: Geometric topology :1993 Georgia International Topology Conference, August 2-13, 1993, University of Georgia, Athens, Georgia /
IMPRINT: Providence, R.I. : American Mathematical Society : International Press, c1997.
CALL: QA611 .A1 G456 199

TITLE: Handbook of character recognition and document image analysis /
IMPRINT: Singapore : World Scientific, 1997.
CALL: TA1640 .H36 1997

AUTHOR: HART '97
TITLE: Hybrid and real-time systems :international workshop, HART '97, Grenoble, France, March 26-28, 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA76.38 .H37 1997

AUTHOR: HCI '97 (Conference)
TITLE: People and computers XII :proceedings of HCI '97 /
IMPRINT: London : Springer, c1997.
CALL: QA76.9 .H85 B75 1997

AUTHOR: Hussmann, Heinrich,
TITLE: Formal foundations for software engineering methods /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA76.758 .H87 1997

AUTHOR: ICSE '97 SCM-7 Workshop
TITLE: Software configuration management :ICSE '97 SCM-7 Workshop, Boston, MA, USA, May 18-19, 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA76.76 .C69 I25 1997

AUTHOR: IEEE Nonrigid and Articulated Motion Workshop
TITLE: IEEE Nonrigid and Articulated Motion Workshop :June 16, 1997, San Juan, Puerto Rico /
IMPRINT: Los Alamitos, Calif. : IEEE Computer Society, c1997.
CALL: TA1632 .I334 1997

TITLE: Intelligent agent systems :theoretical and practical issues : based on a workshop held at PRICAI'96, Cairns, Australia, August 26-30, 1996 /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA76.76 .I58 I55 1997

AUTHOR: International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software
TITLE: Transformation-based reactive systems development :4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997 : proceedings/
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA76.54 .I54 1997

AUTHOR: International Conference AVBPA '97
TITLE: Audio- and video-based biometric person authentication :first International Conference, AVBPA'97, Crans-Montana, Switzerland, March 12-14, 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: TK7882 .S65 A944 1997

AUTHOR: International Conference of Z Users
TITLE: ZUM '97, the Z formal specification notation :10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA76.73 .Z2 I58 1997

AUTHOR: International Conference on Information Processing in Medical Imaging
TITLE: Information processing in medical imaging :15th International Conference, IPMI'97, Poultney, Vermont, USA, June 9-13, 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: RC78.7 .D53 I573 1997

AUTHOR: International Conference on Modeling Techniques and Tools for Computer Performance Evaluation
TITLE: Computer performance evaluation :modelling techniques and tools : 9th international conference, St. Malo, France, June 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA76.9 .E94 I55 1997

AUTHOR: International Joint Conference on Qualitative and Quantitative Practical Reasoning
TITLE: Qualitative and quantitative practical reasoning :first International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, proceedings /
IMPRINT: New York : Springer, 1997.
CALL: Q339.25 .I58 1997

AUTHOR: International Joint Conference on Theory and Practice of Software Development
TITLE: TAPSOFT '97 :theory and practice of software development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA76.76 .D47 I58 1997

AUTHOR: International Symposium on Methodologies for Intelligent Systems
TITLE: Foundations of intelligent systems :10th international symposium, ISMIS '97, Charlotte, North Carolina, USA, October 15-18, 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA76.76 .E95 I582 1997

AUTHOR: International Work-Conference on Artificial Neural Networks
TITLE: Biological and artificial computation : :from neuroscience to neurotechnology : International Work-Conference on Artificial and Natural Neural Networks, IWANN '97, Lanzarote, Canary Islands, Spain, June 4-6, 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA76.87 .I588 1997

AUTHOR: International Workshop on Automated Deduction in Geometry
TITLE: Automated deduction in geometry :International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA448 .D38 I577 1996

AUTHOR: International Workshop on Logic Program Synthesis and Transformation
TITLE: Logic program synthesis and transformation :6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA76.63 .I57 1996

AUTHOR: International Workshop on the Implementation of Functional Languages
TITLE: Implementation of functional languages : :8th International Workshop, IFL'96, Bad Godesberg, Germany, September 16-18 1996 : selected papers /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA76.62 .I58 1996

AUTHOR: Italian Conference on Algorithms and Complexity
TITLE: Algorithms and complexity :third Italian conference, CIAC '97, Rome, Italy, March 12-14, 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA9.58 .I885 1997

AUTHOR: Joint Conference Computer Vision, Virtual Reality and Robotics in Medicine and Medical Robotics and Computer-Assisted Surgery
TITLE: CVRMed-MRCAS '97 :First Joint Conference Computer Vision, Virtual Reality and Robotics in Medicine and Medical Robotics and Computer-Assisted Surgery, Grenoble, France, March 19-22, 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: R859.7 .C67 J65 1997

AUTHOR: Kuzin, I.
TITLE: Entire solutions of semilinear elliptic equations /
IMPRINT: Basel ; Boston : Birkhèauser, c1997.
CALL: QA377 .K89 1997

AUTHOR: LFCS '97
TITLE: Logical foundations of computer science :4th international symposium, LFCS ®97, Yaroslavl, Russia, July 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA75.5 .L43 1997

AUTHOR: Lindstrèom, Per,
TITLE: Aspects of incompleteness /
IMPRINT: New York : Springer-Verlag, c1997.
CALL: QA9.65 .L56 1997

AUTHOR: LPNMR '97
TITLE: Logic programming and nonmonotonic reasoning : :4th International Conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings /
IMPRINT: New York : Springer, 1997.
CALL: QA76.63 .L74 1997

AUTHOR: MA ®97
TITLE: Mobile agents :First International Workshop, MA '97, Berlin, Germany, April 7-8, 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA76.76 .I58 M3 1997

AUTHOR: Magyar, Zoltâan.
TITLE: The Lebesgue integral /
IMPRINT: Budapest : Akadâemiai Kiadâo, c1997.
CALL: QA312 .M28 1997

TITLE: Mathematics of dependable systems II :based on the proceedings of a conference organized by the Institute of Mathematics and Its Applications on the mathematics of dependable systems, and held at the University of York in August 1995 /
IMPRINT: Oxford : Clarendon Press ; New York : Oxford University Press, 1997.
CALL: QA76.76 .R44 M383 1997

AUTHOR: Milnor, John Willard,
TITLE: Topology from the differentiable viewpoint /
IMPRINT: Princeton, N.J. : Princeton University Press, 1997 printing.
CALL: QA612 .M54 1997

AUTHOR: Murty, Maruti Ram.
TITLE: Non-vanishing of L-functions and applications /
IMPRINT: Basel ; Boston, Mass. : Birkhèauser Verlag, c1997.
CALL: QA247 .M85 1997

TITLE: Music, gestalt, and computing :studies in cognitive and systematic musicology /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: ML3830 .M975 1997 DISC

TITLE: Peterson's computer science & electrical engineering programs : a complete resource of graduate educational and career opportunities.
IMPRINT: Princeton, N.J. : Peterson's, c1997.
CALL: L901 .P465 1997

AUTHOR: PODP'96 (Conference)
TITLE: Principles of document processing :Third International Workshop, PODP'96, Palo Alto, California, USA, September 23, 1996 : proceedings /
IMPRINT: Berlin ; London : Springer, c1997.
CALL: QA76.575 .P63 1996

AUTHOR: Portuguese Conference on Artificial Intelligence
TITLE: Progress in artificial intelligence :8th Portuguese Conference on Artificial Intelligence, EPIA-97, Coimbra, Portugal, October 6-9, 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: Q334 .P67 1997

AUTHOR: Sipper, Moshe.
TITLE: Evolution of parallel cellular machines :the cellular programming approach /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA76.58 .S575 1997

AUTHOR: TABLEAUX ®97
TITLE: Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX §97, Pont-`a-Mousson, France, May 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA76.9 .A96 T33 1997

TITLE: The state of the art in numerical analysis /
IMPRINT: Oxford : Clarendon Press ; New York : Oxford University Press, c1997.
CALL: QA297 .S775 1997

AUTHOR: Venables, W. N.
TITLE: Modern applied statistics with S-PLUS /
IMPRINT: New York : Springer, c1997.
CALL: QA276.4 .V46 1997

TITLE: Visual information systems /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA76.575 .V58 1997

AUTHOR: WNAA '96
TITLE: Numerical analysis and its applications :first international workshop, WNAA '96, Rousse, Bulgaria, June 24-26, 1996 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: QA297 .W584 1996

AUTHOR: World Occam and Transputer User Group.Technical Meeting.
TITLE: Parallel programming and Java : :WoTUG-20 : proceedings of the 20th World Occam and Transputer User Group Technical Meeting, 13-16 April 1997, Enschede, the Netherlands /
IMPRINT: Amsterdam ; Washington, DC : IOS Press, c1997.
CALL: QA76.642 .W67 1997

New books by month received