At a glance

Mathematics & Statistics Library

Math & Statistics Library new books received in March 2001

New books by month received

AUTHOR: Aalst, Wil van der.
TITLE: Business process management :models, techniques, and empirical studies /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: HF5548.2 .B838 2000

AUTHOR: Abeillâe, Anne.
TITLE: Tree adjoining grammars :formalisms, linguistic analysis and processing /
IMPRINT: Stanford, CA : CSLI Publications, 2000.
CALL: P51 .C18 NO.107

AUTHOR: ACISP 2000
TITLE: Information security and privacy :5th Australasian conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000 : proceedings /
IMPRINT: New York : Springer, c2000.
CALL: QA76.9 .A25 A279 2000

AUTHOR: Ada-Europe International Conference on Reliable Software Technologies
TITLE: Reliable software technologies :Ada Europe 2000 : 5th Ada-Europe International Conference on Reliable Software Technologies, Potsdam, Germany, June 26-30 2000 : proceedings /
IMPRINT: Berlin ; London : Springer, 2000.
CALL: QA76.73 .A16 A23 5TH 2000

AUTHOR: ADBIS-DASFAA 2000
TITLE: Current issues in databases and information systems :: East-European Conference on Advances in Databases and Information Systems held jointly with International Conference on Database Systems for Advanced Applications, ADBIS-DASFAA 2000, Prague, Czech Republic, September 5-9, 2000, proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .D3 A252 2000

AUTHOR: AE '99
TITLE: Artificial evolution :4th European conference, AE '99, Dunkerque, France, November 3-5, 1999 ; selected papers /
IMPRINT: Berlin ; London : Springer, c2000.
CALL: QA76.618 .A77 1999

AUTHOR: AGTIVE'99
TITLE: Applications of graph transformations with industrial relevance :international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA75.5 .A195 1999

AUTHOR: ALT 2000
TITLE: Algorithmic learning theory :11th international conference, ALT 2000 Sydney, Australia, December 11-13, 2000, proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .A43 A48 2000

AUTHOR: Amari, Shun(r)ichi.
TITLE: Methods of information geometry /
IMPRINT: Providence, RI : American Mathematical Society, c2000.
CALL: QA276 .A56313 2000

AUTHOR: AMDO 2000
TITLE: Articulated motion and deformable objects :First International Workshop, AMDO 2000, Palma de Mallorca, Spain, September 7-9, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: T385 .A486 2000

AUTHOR: Apt, Krzysztof R.
TITLE: New trends in constraints :joint ERCIM/Compulog Net workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.612 .N49 2000

AUTHOR: Arolla Conference on Algebraic Topology
TITLE: Une dâegustation topologique :homotopy theory in the Swiss Alps /
IMPRINT: Providence, R.I. : American Mathematical Society, c2000.
CALL: QA612.7 .A76 1999

AUTHOR: Asian Computing Science Conference
TITLE: Advances in computing science - ASIAN 2000 :6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.58 .A85 2000

AUTHOR: Aubin, Thierry.
TITLE: A course in differential geometry /
IMPRINT: Providence, R.I. : American Mathematical Society, c2001.
CALL: QA641 .A795 2001

AUTHOR: Azvine, Behnam.
TITLE: Intelligent systems and soft computing :prospects, tools and applications.
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.76 .E95 I5654 2000

AUTHOR: Bass, Hyman,
TITLE: Tree lattices /
IMPRINT: Boston : Birkhèauser, c2001.
CALL: QA166.2 .B38 2001

AUTHOR: Borovoi, Mikhail,
TITLE: Abelian Galois cohomology of reductive groups /
IMPRINT: Providence, R.I. : American Mathematical Society, 1998.
CALL: QA3 .A57 NO.626

AUTHOR: Bosma, Wieb.
TITLE: Algorithmic number theory :4th international symposium, ANTS-IV, Leiden, the Netherlands, July 2-7, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA241 .A43 2000

AUTHOR: Bragg, Roberta.
TITLE: Windows 2000 security.
IMPRINT: Indianapolis : New Riders, c2001.
CALL: QA76.9 .A25 B73 2001

AUTHOR: CAiSE '2000
TITLE: Advanced information systems engineering :12th international conference, CAiSE 2000, Stockholm, Sweden, June 5-9, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.758 .N67 12TH 2000

AUTHOR: Calude, Cristian.
TITLE: People & ideas in theoretical computer science /
IMPRINT: Singapore ; New York : Springer, c1999.
CALL: QA76 .P397 1999

AUTHOR: Canadian Society for Computational Studies of Intelligence. Conference
TITLE: Advances in artificial intelligence :13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2000, Montrâeal, Quâebec, Canada, May 14-17, 2000 : proceedings /
IMPRINT: New York : Springer, 2000.
CALL: Q334 .C3 13TH 2000

AUTHOR: CANPC 2000
TITLE: Network-based parallel computing :communication, architecture, and applications : 4th international Workshop, CANPC 2000, Toulouse, France, January 8, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.58 .C374 2000

AUTHOR: CARDIS
TITLE: Smart card research and applications :third international conference, CARDIS'98, Louvain-la-Neuve, Belgium, September 14-16, 1998 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: TK7895 .S62 C36 1998

AUTHOR: CAV 2000.
TITLE: Computer aided verification :12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedings /
IMPRINT: Berlin ; London : Springer, c2000.
CALL: QA76.76 .E93 C38 12TH 2000

AUTHOR: Cazzola, Walter.
TITLE: Reflection and software engineering /
IMPRINT: Berlin ; New York : Springer, 2000
CALL: QA76.758 .R44 2000

AUTHOR: Chapman, Scott T.
TITLE: Non-Noetherian commutative ring theory /
IMPRINT: Dordrecht ; Boston : Kluwer Academic Publishers, c2000.
CALL: QA251.3 .N66 2000

AUTHOR: Chen, Ming-Hui,
TITLE: Monte Carlo methods in Bayesian computation /
IMPRINT: New York : Springer, 2000.
CALL: QA279.5 .C57 2000

AUTHOR: Chern, Shiing-Shen,
TITLE: Lectures on differential geometry /
IMPRINT: Singapore ; River Edge, N.J. : World Scientific, c2000.
CALL: QA641 .C4913 2000

AUTHOR: CHES 2000
TITLE: Cryptographic hardware and embedded systems--CHES 2000 :second international workshop, Worcester, MA, USA, August 17-18, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: TK7895 .E42 C45423 2000

AUTHOR: CIA 2000
TITLE: Cooperative information agents IV :the future of information agents in cyberspace : 4th International Workshop, CIA 2000, Boston, MA, USA, July 7-9, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.76 .I58 C53 2000

AUTHOR: CIA '98
TITLE: 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 /
IMPRINT: Berlin ; New York : Springer, c1998.
CALL: QA76.76 .I58 C53 1998

AUTHOR: CL 2000
TITLE: Computational logic--CL 2000 :First International Conference, London, UK, July 24-28, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .L63 C65 2000

AUTHOR: Conference on Secondary Calculus and Cohomological Physics
TITLE: Secondary calculus and cohomological physics :proceedings of a Conference on Secondary Calculus and Cohomological Physics, August 24-31, 1997, Moscow, Russia /
IMPRINT: Providence, R.I. : American Mathematical Society, c1998.
CALL: QC20.7 .H65 C66 1997

AUTHOR: Conference on Universal Usability
TITLE: CUU 2000 conference proceedings :Conference on Universal Usability /
IMPRINT: New York, NY : Association for Computing Machinery, c2000.
CALL: QA76.9 .H85 C667 2000

AUTHOR: Costa, Luciano da Fontoura.
TITLE: Shape analysis and classification :theory and practice /
IMPRINT: Boca Raton, FL : CRC Press, 2001.
CALL: TA1637 .C67 2000

AUTHOR: Cussens, James.
TITLE: Learning language in logic /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .L63 L42 2000

AUTHOR: Cutland, Nigel.
TITLE: Loeb measures in practice :recent advances /
IMPRINT: New York : Springer, 2000.
CALL: QA3 .L28 V.1751

AUTHOR: Databases in Telecommunications International Workshop
TITLE: Databases in telecommunications :international workshop co-located with VLDB-99, Edinburgh, Scotland, UK, September 6th, 1999 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .D3 D3645 2000

AUTHOR: DaWak 2000
TITLE: Data warehousing and knowledge discovery :Second International Conference, DaWaK 2000, London, UK, September 4-6, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .D37 D396 2000

AUTHOR: DCW (Conference)
TITLE: Distributed communities on the Web :third international workshop, DCW 2000, Quebec City, Quebec, Canada, June 19-21, 2000 : proceedings /
IMPRINT: Berlin : New York : Springer, c2000.
CALL: QA76.9 .D5 D375 2000

AUTHOR: Diagrams 2000
TITLE: Theory and application of diagrams :first international conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA90 .D53 2000

AUTHOR: Dillen, Franki.
TITLE: Handbook of differential geometry /
IMPRINT: Amsterdam ; New York : Elsevier, 2000-
CALL: QA641 .H36 2000 V.1

AUTHOR: DIMACS Workshop on DNA Based Computers
TITLE: DNA Based Computers V :DIMACS Workshop DNA Based Computers V, June 14-15, 1999, Massachusetts Institute of Technology /
IMPRINT: Providence, R.I. : American Mathematical Society, c2000.
CALL: QA164 .D56 V.54

AUTHOR: DNIS 2000
TITLE: Databases in networked information systems :international workshop DNIS 2000, Aizu, Japan, December 4-6, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .D3 D586 2000

AUTHOR: DS 2000.
TITLE: Discovery science :Third International Conference, DS 2000, Kyoto, Japan, December 4-6, 2000, proceedings /
IMPRINT: Berlin ; London : Springer, c2000.
CALL: Q174 .D57 2000

AUTHOR: Engelschall, Ralf S.
TITLE: Apache desktop reference /
IMPRINT: Boston, MA : Addison-Wesley, 2001.
CALL: TK5105.8885 .A63 E54 2001

AUTHOR: EUROCRYPT 2000
TITLE: Advances in cryptology :EUROCRYPT 2000 : International Conference on the Theory and Application of Cryptographic Techniques, Bruges, Belgium, May 14-18, 2000 :; proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.9 .A25 E964 2000

AUTHOR: European Conference on Computer Vision
TITLE: Computer vision, ECCV 2000 :6th European Conference on Computer Vision, Dublin, Ireland, June/July 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: TA1632 .E87 200

AUTHOR: European Conference on Machine Learning
TITLE: Machine learning :ECML 2000 : 11th European Conference on Machine Learning, Barcelona, Catalonia, Spain, May 31-June 2, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: Q325.5 .E85 2000

AUTHOR: European Conference on Planning
TITLE: Recent advances in AI planning :5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999 ; proceedings /
IMPRINT: Berlin ; London : Springer, c2000.
CALL: Q334 .E34 1999

AUTHOR: EuropGP 2000
TITLE: Genetic programming :European conference, EuropGP 2000, Edinburgh, Scotland, UK, April 15-16, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.623 . G45 2000

AUTHOR: EWCBR 2000
TITLE: Advances in case-based reasoning :5th European workshop, EWCBR 2000, Trento, Italy, September 6-9, 2000 : proceedings /
IMPRINT: New York : Springer, 2000.
CALL: QA76.76 .E95 E935 5TH 2000

AUTHOR: Faller, Martina.
TITLE: Formalizing the dynamics of information /
IMPRINT: Stanford, CA : CLSI Publications, 2000. LOC: SSRC
CALL: P51 .C18 NO.91

AUTHOR: Fensel, Dieter.
TITLE: Problem solving methods :understanding, description, development, and reuse /
IMPRINT: New York : Springer, c2000.
CALL: QA76.76 .E95 F48 2000

AUTHOR: Frappier, Marc.
TITLE: Software specification methods :an overview using a case study /
IMPRINT: London ; New York : Springer, c2001.
CALL: QA76.9 .F67 S64 2001

AUTHOR: Fraser, Martin D.
TITLE: Network models for control and processing /
IMPRINT: Bristol : Intellect, 2000.
CALL: QA76.87 .N47 2000

AUTHOR: Freksa, C.
TITLE: Spatial cognition II :integrating abstract theories, empirical studies, formal methods, and practical applications /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: Q387 .S72 2000

AUTHOR: Freund, Rudolf Jakob,
TITLE: SAS System for regression /
IMPRINT: Cary, NC : SAS Institute ; New York : J. Wiley, c2000.
CALL: QA276.4 .F74 2000

AUTHOR: Gracia Bondâia, Josâe.
TITLE: Elements of noncommutative geometry /
IMPRINT: Boston [Mass.] : Birkhèauser, c2001.
CALL: QA564 .G625 2001

AUTHOR: GRID 2000
TITLE: Grid computing--GRID 2000 :first IEEE/ACM International Workshop, Bangalore, India, December 17, 2000 : proceedings/
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.9 .C58 G74 2000

AUTHOR: Gurevich, Yuri
TITLE: Abstract state machines :theory and applications : international workshop, ASM 2000, Monte Verit`a, Switzerland, March 19-24, 2000 : proceedings
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA267 .A25 2000

AUTHOR: Horswill, John.
TITLE: Designing and programming CICS applications /
IMPRINT: Sebastopol, CA : O'Reilly, 2000.
CALL: QA76.76 .D47 H69 2000 DISC

AUTHOR: Ibero-American Conference on Artificial Intelligence
TITLE: Advances in artificial intelligence :international joint conference, 7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI, IBERAMIA-SBIA 2000, Atibaia, SP, Brazil, November 19-22, 2000, proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: Q334 .I38 2000

AUTHOR: ICISC'99
TITLE: Information security and cryptology--ICISC'99 :second international conference, Seoul, Korea, December 9-10, 1999 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.9 .A25 I32 1999

AUTHOR: IEEE International Workshop BMCV 2000
TITLE: Biologi
CALLy motivated computer vision :First IEEE International Workshop BMCV 2000, Seoul, Korea, May 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QP383 .I34 2000

AUTHOR: IFIP-TC6/European Commission International Conference
TITLE: Networking 2000 :broadband communications, high performance networking, and performance of communication networks : IFIP-TC6/European Commission International Conference, Paris, France, May 14-19, 2000 proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: TK5103.4 .I33 2000

AUTHOR: IFIP-TC6/European Commission Networking 2000 International Workshop
TITLE: Mobile and wireless communications networks :IFIP- TC6/European Commission Networking 2000 International Workshop, MWCN 2000 : Paris, France, May 16-17, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: TK5103.2 .I347 2000

AUTHOR: International Colloquium on Automata, Languages, and Programming
TITLE: Automata, languages and programming :27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings /
IMPRINT: Berlin ; London : Springer, c2000.
CALL: QA267 .A9228 2000

AUTHOR: International Conference and Exhibition on High-Performance Computing and Networking
TITLE: High performance computing and networking :8th international conference, HPCN Europe, 2000, Amsterdam, The Netherlands, May 8-10, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.88 .I57 2000

AUTHOR: International Conference in Cryptology in India
TITLE: Progress in cryptology -- INDOCRYPT 2000 :First International Conference in Cryptology in India, Calcutta, India, December 10-13, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .A25 I5535 2000

AUTHOR: International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems (2000 : Trento, Italy).
TITLE: Adaptive hypermedia and adaptive Web-based systems : international conference, AH 2000, Trento, Italy, August 28-30, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.76 .I59 A36 2000

AUTHOR: International Conference on Algebraic Methodology and Software Technology
TITLE: Algebraic methodology and software technology :8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.758 .I5713 8TH 2000

AUTHOR: International Conference on Automated Deduction
TITLE: Automated deduction - CADE-17 :17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.9 .A96 I57 17TH 2000

AUTHOR: International Conference on Conceptual Structures
TITLE: Conceptual structures :logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: Q387.2 .I58 2000

AUTHOR: International Conference on Database Theory
TITLE: Database theory--ICDT 2001 :8th international conference, London, UK, January 4-6, 2001 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.9 .D3 I557 2001

AUTHOR: International Conference on Discrete Geometry for Computer Imagery
TITLE: Discrete geometry for computer imagery :9th International Conference, DGCI 2000, Uppsala, Sweden, December 13-15, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: T385 .D525 2000

AUTHOR: International Conference on Electronic Commerce and Web Technologies (1st : 2000 : London, England).
TITLE: Electronic commerce and web technologies :first international conference, EC-Web 2000, London, UK, September 4-6, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: HF5548.32 .E35 2000

AUTHOR: International Conference on Evolution Equations and their Applications in Physical and Life Sciences (6th : 1998 : Bad Herrenalb, Germany).
TITLE: Evolution equations and their applications in physical and life sciences :proceedings of the Bad Herrenalb (Karlsruhe), Germany, conference /
IMPRINT: New York : Marcel Dekker, c2001.
CALL: QA377 .E958 2001

AUTHOR: International Conference on Evolvable Systems
TITLE: Evolvable systems :from biology to hardware : third international conference, ICES 2000, Edinburgh, Scotland, April 17-19, 2000, proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.618 .I57 2000

AUTHOR: International Conference on High Performance Computing
TITLE: High performance computing - HiPC 2000 :7th international conference, Bangalore, India, December 17-20, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.88 .I575 2000

AUTHOR: International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems
TITLE: Intelligent problem solving :methodologies and approaches : 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2000, New Orleans, Louisiana, USA, June 19-22, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: Q334 .I556 2000

AUTHOR: International Conference on Integrated Formal Methods
TITLE: Integrated formal methods :second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .F67 I58 2000

AUTHOR: International Conference on Natural Language Processing
TITLE: Natural language processing - NLP 2000 :Second International Conference, Patras, Greece, June 2-4, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.9 .N38 I56 2000

AUTHOR: International Conference on Software Engineering and Knowledge Engineering
TITLE: Learning software organizations :methodology and applications : 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, Kaiserslautern, Germany, June 16-19, 1999 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.758 .I57 1999

AUTHOR: International Conference PROFES 2000
TITLE: Product focused software process improvement :Second International Conference PROFES 2000, Oulu, Finland, June 20-22, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.758 .I5743 2000

AUTHOR: International Conference, ITS
TITLE: Intelligent tutoring systems :5th International Conference, ITS 2000, Montrâeal, Canada, June 19-23, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: LB1028.73 .I58 5TH 2000

AUTHOR: International WEBKDD '99 Workshop
TITLE: Web usage analysis and user profiling :International WEBKDD '99 Workshop, San Diego, CA, USA, August 15, 1999 : revised papers /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: ZA4235 .I68 1999

AUTHOR: International Workshop Interactive Distributed Multimedia Systems and Telecommunication Services
TITLE: Interactive distributed multimedia systems and telecommunication services :6th international workshop, IDMS '99, Toulouse, France, October 12-15, 1999 : proceedings /
IMPRINT: Berlin New York : Springer, 1999.
CALL: QA76.76 .I59 I586 1999

AUTHOR: International Workshop on Computer Aided Systems Theory
TITLE: Computer aided systems theory - EUROCAST'99 :a selection of papers from the 7th International Workshop on Computer Aided Systems Theory, Vienna, Austria, September 29 - October 2, 1999 ; proceedings /
IMPRINT: New York : Springer, 2000.
CALL: TA345 .I62 1999

AUTHOR: International Workshop on Database Programming Languages
TITLE: Research issues in structured and semistructured database programming :7th International Workshop on Database Programming Languages, DBPL'99, Kinloch, Rannoch, UK, September 1-3, 1999 : revised papers /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .D3 D155925 1999

AUTHOR: International Workshop on Field-Programmable Logic and Applications
TITLE: Field-programmable logic and applications :the roadmap to reconfigurable computing : 10th international conference, FPL 2000, Villach, Austria, August 27-30, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: TK7895 .G36 I48 2000

AUTHOR: International Workshop on Field-Programmable Logic and Applications
TITLE: Field-programmable logic and applications :from FPGAs to computing paradigm : 8th international workshop, FPL'98 : Tallinn, Estonia, August 31-September 3, 1998 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1998.
CALL: TK7895 .G36 I48 1998

AUTHOR: International Workshop on Field-Programmable Logic and Applications
TITLE: Field-programmable logic and applications :9th international workshop, FPL '99, Glasgow, UK, August 30-September 1, 1999 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1999.
CALL: TK7895 .G36 I48 1999

AUTHOR: International Workshop on Field-Programmable Logic and Applications (7th : 1997 : London, England).
TITLE: Field-programmable logic and applications :7th International Workshop, FPL'97, London, UK, September 1-3, 1997 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1997.
CALL: TK7895 .G36 I48 1997

AUTHOR: International Workshop on Foundations of Models and Languages for Data and Objects
TITLE: Transactions and database dynamics :8th International Workshop on Foundations of Models and Languages for Data and Objects, Dagstuhl Castle, Germany, September 27-30, 1999 : selected papers /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .D3 I5854 1999

AUTHOR: International Workshop on Graphics Recognition
TITLE: Graphics recognition :recent advances : third international workshop, GREC'99, Jaipur, India, September 26-27, 1999 : selected papers /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: TA1637 .I5538 1999

AUTHOR: International Workshop on Logic Program Synthesis and Transformation
TITLE: Logic-based program synthesis and transformation :9th International Workshop, LOPSTR '99, Venice, Italy, September 1999 : selected papers /
IMPRINT: Berlin; New York : Springer, 2000.
CALL: QA76.63 .I57 9TH 2000

AUTHOR: International Workshop on Multiple Classifier Systems (1st : 2000 : Cagliari, Italy).
TITLE: Multiple classifier systems :first international workshop, MCS 2000, Cagliari, Italy, June 21-23, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: Q325.5 .M84 2000

AUTHOR: International Workshop on Security Protocols (8th : 2000 : Cambridge, England).
TITLE: Security protocols :7th international workshop, Cambridge, UK, April 19-21, 1999 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.9 .A25 S44 2000

AUTHOR: International Workshop on Structural and Syntactic Pattern Recognition
TITLE: Advances in pattern recognition:joint IAPR International Workshops SSPR'2000 and SPR 2000, Alicante, Spain, August/September 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: TK7882 .P3 I57 2000

AUTHOR: International Workshop on the Implementation of Functional Languages
TITLE: Implementation of functional languages :11th international workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999 : selected papers /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.62 .I56 1999

AUTHOR: International Workshop on Vision Algorithms
TITLE: Vision algorithms :theory and practice : International Workshop on Vision Algorithms, Corfu, Greece, September 21-22, 1999 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: TA1634 .I72 1999

AUTHOR: IPPS/SPDP '98 Workshop
TITLE: Job scheduling strategies for parallel processing :IPPS/SPDP '98 Workshop, Orlando, Florida, USA, March 30, 1998 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1998.
CALL: QA76.58 .I593 1998

AUTHOR: ISAAC (Conference)
TITLE: Algorithms and computation :11th international conference, ISAAC 2000, Taipei, Taiwan, December 18-20, 2000
IMPRINT: Berlin : Springer , 2000.
CALL: QA76.9 .A43 I73 2000

AUTHOR: Israel Seminar on Geometrical Aspects of Functional Analysis (1996-2000).
TITLE: Geometric aspects of functional analysis :Israel seminar (GAFA) 1996-2000.
IMPRINT: New York : Springer, 2000.
CALL: QA3 .L28 V.1745

AUTHOR: ISW 2000
TITLE: Information security :third international workshop, ISW 2000, Wollongong, Australia, December 20-21, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .A25 I89 2000

AUTHOR: Janacek, G. J.
TITLE: Practical time series /
IMPRINT: London : Arnold ; New York : Oxford University Press, 2001.
CALL: QA280 .J36 2001

AUTHOR: Joint Modular Languages Conference
TITLE: Modular programming languages :Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.6 .J6578 2000

AUTHOR: Kitchin, Rob.
TITLE: Cyberspace :the world in the wires /
IMPRINT: Chichester ; New York : John Wiley & Sons, c1998. LOC: HASC
CALL: HM221 .K584 1998

AUTHOR: Knuth, Donald Ervin,
TITLE: Selected papers on analysis of algorithms /
IMPRINT: [Stanford, Calif.] : Center for the Study of Language and Information, Leland Stanford Junior University, c2000.
CALL: P51 .C18 NO.102

AUTHOR: Kozlov, Vladimir,
TITLE: Spectral problems associated with corner singularities of solutions to elliptic equations /
IMPRINT: Providence, R.I. : American Mathematical Society, 2001.
CALL: QA3 .A4 V.85

AUTHOR: Krakowiak, Sacha.
TITLE: Advances in distributed systems :advanced distributed computing, from algorithms to systems /
IMPRINT: Berlin ; New York : Springer-Verlag, c2000.
CALL: QA76.9 .D5 A363 2000

AUTHOR: Kreines, David C.
TITLE: Oracle SQL :the essential reference /
IMPRINT: Sebastopol, CA : O'Reilly, c2000.
CALL: QA76.73 .S67 K74 2000

AUTHOR: Lacoste, Gâerard.
TITLE: SEMPER--secure electronic marketplace for Europe /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: HF5548.32 .S46 2000

AUTHOR: Lieshout, M. N. M.
TITLE: Markov point processes and their applications /
IMPRINT: London : Imperial College Press, c2000.
CALL: QA274.7 .L54 2000

AUTHOR: Liu, Bolian.
TITLE: Matrices in combinatorics and graph theory /
IMPRINT: Dordrecht ; Boston : Kluwer Academic Publishers, c2000.
CALL: QA188 .L62 2000

AUTHOR: Lombardi, Eric,
TITLE: Oscillatory integrals and phenomena beyond all algebraic orders :with applications to homoclinic orbits in reversible systems /
IMPRINT: New York : Springer, 2000.
CALL: QA3 .L28 V.1741

AUTHOR: LPAR 2000
TITLE: Logic for programming and automated reasoning :7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.63 .L73 2000

AUTHOR: Melkebeek, Dieter van.
TITLE: Randomness and completeness in computational complexity /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .M35 M54 2001

AUTHOR: Mexican International Conference on Artificial Intelligence
TITLE: MICAI 2000 :Advances in artificial intelligence : Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: Q334 .M48 2000

AUTHOR: Mignotte, Maurice.
TITLE: Polynomials :an algorithmic approach /
IMPRINT: Singapore : Springer, 1999.
CALL: QA161 .P59 M54 1999

AUTHOR: Miyanishi, Masayoshi,
TITLE: Open algebraic surfaces /
IMPRINT: Providence, R.I. : American Mathematical Society, c2001.
CALL: QA571 .M58 2001

AUTHOR: Morrison, Terry J.,
TITLE: Functional analysis :an introduction to Banach space theory /
IMPRINT: New York : J. Wiley, c2001.
CALL: QA320 .M69 2001

AUTHOR: Moukas, Alexandros.
TITLE: Agent mediated electronic commerce II :towards next-generation agent-based electronic commerce systems /
IMPRINT: New York : Springer, 2000.
CALL: HF5548.32 .A34 2000

AUTHOR: Pacific Rim International Conference on Artificial Intelligence
TITLE: PRICAI 2000, topics in artificial intelligence :6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28-September 1, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: Q334 .P33 2000

AUTHOR: Pacific Rim International Workshop on Multi-Agents
TITLE: Design and applications of intelligent agents :third Pacific Rim International Workshop on Multi-Agents, PRIMA 2000 : Melbourne, Australia, August 28-29, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.76 .I58 P75 2000

AUTHOR: Pacific-Asia Conference on Knowledge Discovery and Data Mining
TITLE: Knowledge discovery and data mining :current issues and new applications : 4th Pacific-Asia Conference, PAKDD 2000, Kyoto, Japan, April 18-20, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .D3 P17 2000

AUTHOR: Paiva, Ana.
TITLE: Affective interactions :towards a new generation of computer interfaces /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: TK7887.5 .A38 2001

AUTHOR: Pal, Sankar K.
TITLE: Soft computing in case based reasoning /
IMPRINT: London ; New York : Springer, c2001.
CALL: QA76.9 .S63 S625 2001

AUTHOR: Qvortrup, Lars.
TITLE: Virtual interaction :interaction in virtual inhabited 3D worlds /
IMPRINT: London ; New York : Springer, c2001.
CALL: QA76.76 .I59 V57 2001

AUTHOR: Rolim, Josâe D. P.
TITLE: Parallel and distributed processing :15 IPDPS 2000 workshops, Cancun, Mexico, May 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.58 . P3686 2000

AUTHOR: Ross, Sheldon M.
TITLE: Introduction to probability models /
IMPRINT: San Diego, CA : Academic Press, c1997. LOC: ENG
CALL: QA273 .R84 1997

AUTHOR: Scandinavian Workshop on Algorithm Theory
TITLE: Algorithm theory-- SWAT 2000 :7th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, July 5-7, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA9.58 .S28 2000

AUTHOR: SOFSEM
TITLE: SOFSEM 2000 :theory and practice of informatics : 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25-December 2, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.751 .S46 27TH 2000

AUTHOR: SPIN'99
TITLE: Theoretical and practical aspects of SPIN model checking :5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings /
IMPRINT: Berlin ; New York : Springer, c1999.
CALL: QA76.76 .V47 S68 1999

AUTHOR: Strongin, R. G.
TITLE: Global optimization with non-convex constraints :sequential and parallel algorithms /
IMPRINT: Dordrecht ; Boston : Kluwer Academic Publishers, c2000.
CALL: QA402.5 .S773 2000

AUTHOR: Symposium on Mathematical Foundations of Computer Science (1972- )
TITLE: Mathematical foundations of computer science 2000 :25th international symposium, MFCS 2000, Bratislava, Slovakia, August 28-September 1, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .M35 I545 2000

AUTHOR: TABLEAUX 2000
TITLE: Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.9 .A96 T33 2000

AUTHOR: Talpaert, Yves.
TITLE: Differential geometry with applications to mechanics and physics /
IMPRINT: New York : Marcel Dekker, c2001.
CALL: QA641 .T215 2001

AUTHOR: Thielscher, Michael.
TITLE: Challenges for action theories /
IMPRINT: Berlin ; New York : Springer, 2000.
CALL: QA76.9 .L63 T48 2000

AUTHOR: Thomas, Stephen A.,
TITLE: SSL & TLS essentials :securing the Web /
IMPRINT: New York : Wiley, 2000.
CALL: TK5105.59 .T49 2000 DISC

AUTHOR: TPHOLs 2000
TITLE: Theorem proving in higher order logics :13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings /
IMPRINT: Berlin ; Heidelberg ; New York : Springer, c2000.
CALL: QA76.9 .A96 H54 2000

AUTHOR: Unterberger, Andrâe.
TITLE: Quantization and non-holomorphic modular forms /
IMPRINT: New York : Springer, 2000.
CALL: QA3 .L28 V.1742

AUTHOR: VISUAL (Conference)
TITLE: Advances in visual information systems :4th international conference, VISUAL 2000, Lyon, France, November 2-4, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.575 .V58 2000

AUTHOR: WADT '99
TITLE: Recent trends in algebraic development techniques :14th international workshop, WADT'99, Ch^ateau de Bonas, September 15-18, 1999 : selected papers /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.76 .D47 W33 1999

AUTHOR: WAIM 2000
TITLE: Web-age information management :first international conference, WAIM 2000, Shanghai, China, June 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.9 .D3 W325 2000

AUTHOR: Workshop on Agent Theories, Architectures, and Languages (3rd : 1996 : Budapest, Hungary).
TITLE: Intelligent agents VI :agent theories, architectures, and languages : 6th International Workshop (ATAL'99), Orlando, Florida, USA, July 15-17, 1999 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA76.76 .I58 A83 1999

AUTHOR: Workshop on Computer Science Logic
TITLE: Computer science logic :14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings /
IMPRINT: Berlin ; New York : Springer, c2000.
CALL: QA75.5 .W624 2000

AUTHOR: Workshop on Languages and Compilers for Parallel Computing
TITLE: Languages and compilers for parallel computing :12th International Workshop, LCPC'99, La Jolla, CA, USA, August 4-6, 1999 : proceedings /
IMPRINT: Berlin ; New York : Springer-Verlag, 2000.
CALL: QA76.7 .L38 1999

New books by month received