At a glance

Mathematics & Statistics Library

Math & Statistics Library new books received in October 2001

New books by month received

AUTHOR: Abel, Peter.
TITLE: IBM PC assembly language and programming. Edition: 5th ed.
IMPRINT: Upper Saddle River, N.J. : Prentice Hall, c2001.
CALL: QA76.8 .I2594 A236 2001

AUTHOR: ACM Symposium on Access Control Models and Technologies.
TITLE: Proceedings of ... ACM Symposium on Access Control Models and Technologies : SACMAT ... / sponsored by ACM SIGSAC.
IMPRINT: New York, N.Y. : Association for Computing Machinery, c2001-
CALL: QA76.9 .A25 A345 6TH 2001

AUTHOR: Alt, Franz, 1938-
TITLE: Advances in computers
IMPRINT: New York, Academic Press, 1960-
CALL: QA76 .A33 V.55 2001

AUTHOR: American Mathematical Society
TITLE: American Mathematical Society translations.
IMPRINT: Providence [etc.] American Mathematical Society, 1949-
CALL: QA3 .A572 SER.2:V.202 2001

AUTHOR: American Mathematical Society
TITLE: American Mathematical Society translations.
IMPRINT: Providence [etc.] American Mathematical Society, 1949-
CALL: QA3 .A572 SER.2:V.204 2001

AUTHOR: AMS-IMS-SIAM Joint Summer Research Conference on Radon Transforms and Tomography (2000 : Mount Holyoke College)
TITLE: Radon transforms and tomography : 2000 AMS-IMS-SIAM Joint Summer Research Conference on Radon Transforms and Tomography, Mount Holyoke College, South Hadley, Massachusetts, June 18-22, 2000 / Eric Todd Quinto ... [et al.], editors.
IMPRINT: Providence, R.I. : American Mathematical Society, c2001.
CALL: QA649 .A495 2000

AUTHOR: Arnold, A. (André), 1945-
TITLE: Rudiments of [mu]-calculus / A. Arnold, D. Niwi*nski. Edition: 1st ed.
IMPRINT: Amsterdam ; New York : Elsevier, 2001.
CALL: QA10 .A76 2001

AUTHOR: Australian Software Engineering Conference (13th : 2001 : Canberra, A.C.T.)
TITLE: 2001 Australian Software Engineering Conference : proceedings : 27-28 August, 2001, Canberra, Australia / sponsored by, the Institution of Engineers, Australia ; in cooperation with the Software Engineering Research Consultative Council (SERCC) of the Australian Computer Society (ACS) ; edited by Douglas D. Grant and Leon Sterling.
IMPRINT: Los Alamitos, California : IEEE Computer Society, c2001.
CALL: QA76.758 .A89 2001

AUTHOR: Barfield, Woodrow.
TITLE: Fundamentals of wearable computers and augumented reality / edited by Woodrow Barfield, Thomas Caudell.
IMPRINT: Mahwah, NJ : Lawrence Erlbaum Associates, c2001.
CALL: QA76.592 .F86 2001

AUTHOR: Bastero, J. (Jesús), 1950-
TITLE: On the connection between weighted norm inequalities, commutators, and real interpolation / Jesús Bastero, Mario Milman, Francisco J. Ruiz.
IMPRINT: Providence, R.I. : American Mathematical Society, c2001.
CALL: QA3 .A57 NO.731

AUTHOR: Bauknecht, Kurt, 1936-
TITLE: Electronic commerce and Web technologies : second international conference, EC-WEB 2001, Munich, Germany, September 4-6, 2001 : proceedings / Kurt Bauknecht, Sanjay Kumar Madria, Günther Pernul (eds.).
IMPRINT: Berlin ; New York : Springer-Verlag, c2001.
CALL: HF5548.32 .E35 2001

AUTHOR: Berenstein, Carlos A.
TITLE: Laguerre calculus and its applications on the Heisenberg group / Carlos Berenstein, Der-Chen Chang, and Jingzhi Tie.
IMPRINT: Providence, R.I. : American Mathematical Society ; [S.l.] : International Press, c2001.
CALL: QA432 .B448 2001

AUTHOR: Bergh, M. van den.
TITLE: Blowing up of non-commutative smooth surfaces / Michel Van den Bergh.
IMPRINT: Providence, R.I. : American Mathematical Society, c2001.
CALL: QA3 .A57 NO.734

AUTHOR: Biliotti, Mauro, 1949-
TITLE: Foundations of translation planes / Mauro Biliotti, Vikram Jha, Norman L. Johnson.
IMPRINT: New York : Marcel Dekker, c2001.
CALL: QA477 .B54 2001

AUTHOR: Blackburn, Patrick, 1959-
TITLE: Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema.
IMPRINT: Cambridge [England] ; New York : Cambridge University Press, 2001.
CALL: QA9.46 .B58 2001

AUTHOR: Boileau, Michel.
TITLE: Geometrization of 3-orbifolds of cyclic type / Michel Boileau and Joan Porti.
IMPRINT: Paris : Société Mathématique de France, 2001.
CALL: QA1 .A78 V.272

AUTHOR: Bonk, Mario.
TITLE: Uniformizing Gromov hyperbolic spaces / Mario Bonk, Juha Heinonen, Pekka Koskela.
IMPRINT: Paris : Société mathématique de France, 2001.
CALL: QA1 .A78 V.270

AUTHOR: Borel, Armand.
TITLE: Essays in the history of Lie groups and algebraic groups / Armand Borel.
IMPRINT: Providence, R.I. : American Mathematical Society : London Mathematical Society, c2001.
CALL: QA387 .B643 2001

AUTHOR: Brinksma, Ed.
TITLE: Lectures on formal methods and performance analysis : first EEF Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures / Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.).
IMPRINT: Berlin ; New York : Springer, 2001.
CALL: QA76.9 .F67 E34 2000

AUTHOR: British National Conference on Databases (18th : 2001 : Chilton, England)
TITLE: Advances in databases : 18th British National Conference on Databases, BNCOD 18, Chilton, UK, July 9-11, 2001 : proceedings / Brian Read (ed.).
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.9 .D3 B75 2001

AUTHOR: Brodal, Gerth Stolting, 1969-
TITLE: Algorithm engineering : 5th International Workshop, WAE 2001, Århus, Denmark, August 28-21, 2001 : proceedings / Gerth Stølting Brodal, Daniele Frigioni, Alberto Marchetti-Spaccamela (eds.).
IMPRINT: New York : Springer, 2001.
CALL: QA76.9 .A43 I59 2001

AUTHOR: Broy, M., 1949-
TITLE: Specification and development of interactive systems : focus on streams, interfaces, and refinement / Manfred Broy, Ketil Stølen.
IMPRINT: New York : Springer, c2001.
CALL: QA76.758 .B783 2001

AUTHOR: Burke, Edmund, Ph. D.
TITLE: Practice and theory of automated timetabling III : third international conference, PATAT 2000, Konstanz, Germany, August 16-18, 2000 : selected papers / Edmund Burke, Wilhelm Erben (eds.). Portion of
TITLE: PATAT 2000
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: Q340 .P7 2000

AUTHOR: Butler, G. (Gregory), 1953-
TITLE: Generative and component-based software engineering : second international symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000 : revised papers / Greg Butler, Stan Jarzabek (eds.).
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.758 .G418 2000

AUTHOR: Campbell, Steve.
TITLE: Statistics you can't trust : a friedly guide to clear thinking about statistics in everyday life.
IMPRINT: Parker, Colo. : Think Twice Pub., 1999.
CALL: QA276.12 .C36 1999

AUTHOR: Cantone, Domenico.
TITLE: Set theory for computing : from decision procedures to declarative programming with sets / Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. Schwartz.
IMPRINT: New York : Springer, c2001.
CALL: QA248 .C1945 2001

AUTHOR: Capogna, Luca, 1966-
TITLE: Harmonic analysis and boundary value problems : selected papers from the 25th University of Arkansas spring lecture series, Recent progress in the study of harmonic measure from a geometric and analytic point of view, March 2-4, 2000, Fayetteville, Arkansas / Luca Capogna, Loredana Lanzani, editors.
IMPRINT: Providence, RI : American Mathematical Society, c2001.
CALL: QA403 .H217 2000

AUTHOR: Casella, George.
TITLE: Statistical inference / George Casella, Roger L. Berger. Edition: 2nd ed.
IMPRINT: Pacific Grove, CA : Duxbury/Thomson Learning, c2002.
CALL: QA276 .C37 2002

AUTHOR: Castelfranchi, Cristiano.
TITLE: Intelligent agents VII : agent theories architectures and languages : 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000 : proceedings / Cristiano Castelfranchi, Yves Lespérance (Eds.)
IMPRINT: New York : Springer, 2001.
CALL: QA76.76 .I58 A83 2000

AUTHOR: CAV (Conference) (13th : 2001 : Paris, France)
TITLE: Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / Gérard Berry, Hubert Comon, Alain Finkel (eds.).
IMPRINT: Berlin ; New York : Springer, 2001.
CALL: QA76.76 .E93 C38 13TH 2001

AUTHOR: Cerrai, Sandra, 1969-
TITLE: Second order PDE's in finite and infinite dimension : a probabilistic approach / Sandra Cerrai.
IMPRINT: Berlin : London : Springer, c2001.
CALL: QA3 .L28 V.1762

AUTHOR: CHARME 2001 (2001 : Livingston, Scotland)
TITLE: Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings / Tiziana Margaria, Tom Melham (eds.)
IMPRINT: New York : Springer, 2001.
CALL: TK7874.75 .C453 2001

AUTHOR: Chen, Hong.
TITLE: Fundamentals of queueing networks : performance, asymptotics, and optimization / Hong Chen, David D. Yao.
IMPRINT: New York : Springer, c2001.
CALL: QA274.8 .C44 2001

AUTHOR: Cheney, E. W. (Elliott Ward), 1929-
TITLE: Analysis for applied mathematics / Ward Cheney.
IMPRINT: New York : Springer, c2001.
CALL: QA300 .C4437 2001

AUTHOR: CHES 2001 (2001 : Paris, France)
TITLE: Cryptographic hardware and embedded systems--CHES 2001 : third international workshop, Paris, France, May 14-16, 2001 : proceedings / Çetin K. Koç, David Naccache, Christof Paar (eds.)
IMPRINT: New York : Springer-Verlag, 2001.
CALL: TK7895 .E42 C454 2001

AUTHOR: Choi, Suhyoung.
TITLE: The decomposition and classification of radiant affine 3-manifolds / Suhyoung Choi.
IMPRINT: Providence, R.I. : American Mathematical Society, c2001.
CALL: QA3 .A57 NO.730

AUTHOR: Computer Graphics International (2001 : Hong Kong, China)
TITLE: Computer Graphics International 2001 : proceedings : CGI 2001 : 3-6 July, 2001, City University of Hong Kong, Hong Kong / IEEE Computer Society ; [edited by Horace H.S. Ip ... [et al.]].
IMPRINT: Los Alamitos, California : IEEE Computer Society, c2001.
CALL: T385 .C583 2001

AUTHOR: Conference on Computational Learning Theory (14th : 2001 : Amsterdam, Netherlands)
TITLE: Computational learning theory : 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001, Amsterdam, The Netherlands, July 16-19, 2001 : proceedings / David Helmbold, Bob Williamson, eds.
IMPRINT: New York : Springer, 2001.
CALL: Q325.7 .E97 5TH 2001

AUTHOR: Constantinescu, Corneliu.
TITLE: C*-algebras / Corneliu Constantinescu.
IMPRINT: Amsterdam ; New York : Elsevier, 2001-
CALL: QA326 .C665 2001 V.1

AUTHOR: Constantinescu, Corneliu.
TITLE: C*-algebras / Corneliu Constantinescu.
IMPRINT: Amsterdam ; New York : Elsevier, 2001-
CALL: QA326 .C665 2001 V.2

AUTHOR: Constantinescu, Corneliu.
TITLE: C*-algebras / Corneliu Constantinescu.
IMPRINT: Amsterdam ; New York : Elsevier, 2001-
CALL: QA326 .C665 2001 V.3

AUTHOR: Constantinescu, Corneliu.
TITLE: C*-algebras / Corneliu Constantinescu.
IMPRINT: Amsterdam ; New York : Elsevier, 2001-
CALL: QA326 .C665 2001 V.4

AUTHOR: CSL 2001 (2001 : Paris, France)
TITLE: Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings / Laurent Fribourg (ed.).
IMPRINT: Berlin : New York : Springer, 2001.
CALL: QA75.5 .W624 2001

AUTHOR: Daduna, Hans, 1947-
TITLE: Queueing networks with discrete time scale : explicit expressions for the steady state behavior of discrete time stochastic networks / Hans Daduna.
IMPRINT: Berlin ; New York : Springer, 2001.
CALL: QA274.8 .D33 2001

AUTHOR: DaWaK 2001 (2001 : Munich, Germany)
TITLE: Data warehousing and knowledge discovery : third international conference, DaWaK 2001, Munich, Germany, September 5-7, 2001 : proceedings / Yahiko Kambayashi, Werner Winiwarter, Masatoshi Arikawa (eds.)
IMPRINT: Berlin ; New York : Springer-Verlag, c2001.
CALL: QA76.9 .D37 D396 2001

AUTHOR: De Alfaro, Luca, 1966-
TITLE: Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings / Luca de Alfaro, Stephen Gilmore (eds.).
IMPRINT: Berlin ; New York : Springer-Verlag, c2001.
CALL: QA267 .P36 2001

AUTHOR: Debarre, Olivier.
TITLE: Higher-dimensional algebraic geometry / Olivier Debarre.
IMPRINT: New York : Springer, c2001.
CALL: QA564 .D44 2001

AUTHOR: Doucet, Arnaud.
TITLE: Sequential Monte Carlo methods in practice / Arnaud Doucet, Nando de Freitas, Neil Gordon, editors ; foreword by Adrian Smith.
IMPRINT: New York : Springer, c2001.
CALL: QA298 .S47 2001

AUTHOR: Eells, James, 1926-
TITLE: Harmonic maps between Riemannian polyhedra / J. Eells, B. Fuglede ; with a preface by M. Gromov.
IMPRINT: Cambridge, UK ; New York : Cambridge University Press, 2001.
CALL: QA614.73 .E353 2001

AUTHOR: EMMCVPR 2001 (2001 : Sophia-Antipolis, France)
TITLE: Energy minimization methods in computer vision and pattern recognition : Third International Workshop, EMMCVPR 2001, Sophia Antipolis, France, September 3-5, 2001 : proceedings / Mário Figueiredo, Josiane Zerubia, Anil K. Jain (eds.).
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: TA1634 .E53 2001

AUTHOR: Fahrmeir, L.
TITLE: Multivariate statistical modelling based on generalized linear models / Ludwig Fahrmeir, Gerhard Tutz.
IMPRINT: New York : Springer, 2001.
CALL: QA278 .F34 2001

AUTHOR: FCT 2001 (2001 : Riga, Latvia)
TITLE: Fundamentals of computation theory : 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001 : proceedings / Rusins Freivalds (ed.).
IMPRINT: New York : Springer, 2001.
CALL: QA267 .I57 2001

AUTHOR: Fortuna, L. (Luigi)
TITLE: Soft computing : new trends and applications / L. Fortuna ... [et al.].
IMPRINT: London ; New York : Springer, c2001.
CALL: QA76.9 .S63 S6334 2001

AUTHOR: Fraïssé, Roland.
TITLE: Theory of relations / Roland Fraïssé ; with an appendix by Norbert Sauer.
IMPRINT: Amsterdam ; New York : Elsevier, 2000.
CALL: QA248 .F77513 2000

AUTHOR: Fujita, Hiroshi, 1922-
TITLE: Operator theory and numerical methods / Hiroshi Fujita, Norikazu Saito, and Takashi Suzuki.
IMPRINT: Amsterdam ; New York : North Holland, 2001.
CALL: QA297 .F8 2001

AUTHOR: Gardy, Daniale.
TITLE: Mathematics and computer science : algorithms, trees, combinatorics, and probabilities / Daniale Gardy, Abdelkader Mokkadem, editors.
IMPRINT: Basel, Switzerland ; Boston : Birkhauser, c2000.
CALL: QA76.9 .M35 M3877 2000

AUTHOR: Gascuel, Olivier, 1956-
TITLE: Algorithms in bioinformatics : First International Workshop, WABI 2001, Århus, Denmark, August 28-31, 2001 proceedings / Olivier Gascuel, Bernard M.E. Moret (eds.).
IMPRINT: Berlin ; New York : Springer c2001.
CALL: R858 .A2 A44 2001

AUTHOR: Gooch, Bruce, 1966-
TITLE: Non-photorealistic rendering / Bruce Gooch, Amy Gooch.
IMPRINT: Natick, Mass. : A K Peter, c2001.
CALL: T385 .G656 2001

AUTHOR: Halmos, Paul R. (Paul Richard), 1916-
TITLE: Lectures on ergodic theory.
IMPRINT: New York, Chelsea Pub. Co. [c1956]
CALL: QA614 .H3

AUTHOR: Harrell, Frank E.
TITLE: Regression modeling strategies : with applications to linear models, logistic regression, and survival analysis / Frank E. Harrell, Jr.
IMPRINT: New York : Springer, c2001.
CALL: QA278.2 .H387 2001

AUTHOR: HCI Conference (14th : 2000 : University of Sunderland)
TITLE: People and computers XIV : usability or else! : proceedings of HCI 2000 / Sharon McDonald, Yvonne Waern and Gilbert Cockton (eds.).
IMPRINT: London ; New York : Springer, c2000.
CALL: QA76.9 .H85 B75 2000

AUTHOR: Heath, Michael T.
TITLE: Scientific computing : an introductory survey / Michael T. Heath. Edition: 2nd ed.
IMPRINT: Boston : McGraw Hill, c2002.
CALL: Q183.9 .H4 2002

AUTHOR: Helgason, Sigurdur, 1927-
TITLE: Groups and geometric analysis : integral geometry, invariant differential operators, and spherical functions / Sigurdur Helgason.
IMPRINT: Providence, R.I. : American Mathematical Society, 2000.
CALL: QA3 .A4 V.83

AUTHOR: Homer, S. (Steven)
TITLE: Computability and complexity theory / Steven Homer, Alan L. Selman.
IMPRINT: New York : Springer, c2001.
CALL: QA76 .H6236 2001

AUTHOR: Ibrahim, Joseph George.
TITLE: Bayesian survival analysis / Joseph G. Ibrahim, Ming-Hui Chen, Debajyoti Sinha.
IMPRINT: New York : Springer, c2001.
CALL: QA276 .I27 2001

AUTHOR: ICCS 2001 (2001 : San Francisco, Calif.)
TITLE: Computational science - ICCS 2001 : international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings / Vassil N. Alexandrov ... [et al.].
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA75.5 .I13 2001 PT.1

AUTHOR: ICCS 2001 (2001 : San Francisco, Calif.)
TITLE: Computational science - ICCS 2001 : international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings / Vassil N. Alexandrov ... [et al.].
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA75.5 .I13 2001 PT.2

AUTHOR: IEEE Conference on Computational Complexity.
TITLE: Proceedings ... annnual IEEE Conference on Computational Complexity.
IMPRINT: Washington, D.C. : IEEE Computer Society Press, c1996- QA267 .S765 16TH 2001

AUTHOR: IEEE International Conference on Advanced Learning Technologies (2001 : Madison, Wis.)
TITLE: IEEE International Conference on Advanced Learning Technologies : proceedings : 6-8 August 2001, Madison, Wisconsin, USA / sponsored by IEEE Computer Society, IEEE Computer Society Learning Technology Task Force, University of Wisconsin-Madison ; edited by Toshio Okamoto ... [et al.].
IMPRINT: Los Alamitos, Calif. : IEEE Computer Society, c2001.
CALL: LB1028.3 .I24 2001

AUTHOR: IEEE International Workshop on Distributed Simulation and Real-Time Applications.
TITLE: Proceedings / IEEE International Workshop on Distributed Simulation and Real-Time Applications (DS-RT)
IMPRINT: Los Alamitos, Calif. : IEEE Computer Society, c2000-
CALL: QA76.9 .C65 I576 5TH 2001

AUTHOR: IJCAR 2001 (2001 : Siena, Italy)
TITLE: Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings / Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.).
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.9 .A96 I38 2001

AUTHOR: International and Interdisciplinary Conference on Modeling and Using Context (3rd : 2001 : Dundee, Scotland)
TITLE: Modeling and using context : third international conference, CONTEXT 2001, Dundee, UK, July 27-30, 2001 : proceedings / Varol Akman ... [et al.], eds.
IMPRINT: New York : Springer-Verlag, 2001.
CALL: QA76.9 .C65 I537 2001

AUTHOR: International Conference Human.Society@Internet (1st : 2001 : Seoul, Korea)
TITLE: The Human Society and the Internet : Internet-related socio-economic issues, First International Conference, Human.Society@Internet 2001, Seoul, Korea, July 4-6, 2001 : proceedings / Won Kim ... [et al.] (eds.)
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: TK5105.875 .I57 I5345 2001

AUTHOR: International Conference on Applications and Theory of Petri Nets.
TITLE: Application and theory of Petri nets : international conference ... proceedings.
IMPRINT: Berlin ; New York : Springer-Verlag, c1992-
CALL: QA267 .A66 2001

AUTHOR: International Conference on Case-Based Reasoning (4th : 2001 : Vancouver, B.C.)
TITLE: Case-based reasoning research and development : 4th International Conference on Case-Based Reasoning, ICCBR 2001, Vancouver, BC, Canada, July 30-August 2, 2001 : proceedings / David W. Aha, Ian Watson, eds.
IMPRINT: Berlin ; New York : Springer, 2001.
CALL: QA76.76 .E95 C3762 2001

AUTHOR: International Conference on Cognitive Technology (4th : 2001 : Coventry, England)
TITLE: Cognitive technology : instruments of mind : 4th International Conference, CT 2001, Coventry, UK, August 6-9, 2001 : proceedings / Meurig Beynon, Chrystopher L. Nehaniv, Kerstin Dautenhahn (Eds.)
IMPRINT: New York : Springer, 2001.
CALL: QA76.9 .H85 I57 2001

AUTHOR: International Conference on Conceptual Structures (9th : 2001 : Stanford, Calif.)
TITLE: Conceptual structures : broadening the base : 9th International Conference on Conceptual Structures, ICCS 2001 Stanford, CA, USA, July 30-August 3, 2001 : proceedings / Harry S. Delugach, Gerd Stumme, (eds.).
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: Q387.2 .I58 2001

AUTHOR: International Conference on Document Analysis and Recognition.
TITLE: Proceedings of the ... International Conference on Document Analysis and Recognition.
IMPRINT: Los Alamitos, Calif. : IEEE Computer Society Press, 1991-
CALL: TA1640 .I57 2001

AUTHOR: International Conference on Information Technology Interfaces (23rd : 2001 : Pula, Croatia)
TITLE: ITI 2001 : proceedings of the 23rd International Conference on Information Technology Interfaces : Pula, Croatia, June 19-22, 2001 / edited by Damir Kalpi*c, Vesna Hljuz Dobri*c. Parallel
TITLE: Information technology interfaces
IMPRINT: Zagreb, Croatia : SRCE University Computing Centre, University of Zagreb, [c2001].
CALL: TK7887.5 .I585 2001

AUTHOR: International Conference on Parallel Architectures and Compilation Techniques.
TITLE: Architectures and compilation techniques for fine and medium grain parallelism
IMPRINT: Amsterdam ; New York : North-Holland, 1993-
CALL: QA76.58 .C669 2001

AUTHOR: International Conference on Parallel Computing Technologies (6th : 2001 : Novosibirsk, Russia)
TITLE: Parallel computing technologies : 6th International Conference, PaCT 2001, Novosibirsk, Russia, September 3-7, 2001 : proceedings / Victor Malyshkin (ed.).
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.58 .I547 2001

AUTHOR: International Conference on Scientific and Statistical Database Management (13th : 2001 : Fairfax, Virginia)
TITLE: SSDBM 2001 : proceedings : Thirteenth International Conference on Scientific and Statistical Database Management : Fairfax, Virginia, 18-20 July, 2001 / edited by Larry Kerschberg and Menas Kafatos ; sponsored by Center for Earth Observing and Space Research ... [et al.].
CALL: QA76.9 .D3 I583 2001

AUTHOR: International Conference on Supercomputing.
TITLE: Conference proceedings / International Conference on Supercomputing.
IMPRINT: New York, N.Y. : ACM Press, c1988-
CALL: QA76.88 .I56 2001

AUTHOR: International Database Engineering and Applications Symposium.
TITLE: IDEAS ... International Database Engineering and Applications Symposium : proceedings ... / sponsored by Concordia University, Faculty of Engineering and Computer Science and Department of Computer Science, British Council in cooperation with IEEE Computer Society.
IMPRINT: Washington, : IEEE Computer Society, c1997-
CALL: QA76.9 .D3 I5595 2001

AUTHOR: International Symposium on Distributed Objects and Applications (3rd : 2001 : Rome, Italy)
TITLE: DOA'01 : 3rd International Symposium on Distributed Objects & Applications : proceedings : 17-20 September, 2001, Rome, Italy / edited by Gordon Blair, Douglas Schmidt, and Zahir Tari.
IMPRINT: Los Alamitos, California : IEEE Computer Society, c2001.
CALL: QA76.64 .I54 2001

AUTHOR: International Symposium on High-Performance Distributed Computing.
TITLE: Proceedings of the ... International Symposium on High-performance Distributed Computing
IMPRINT: Los Alamitos, Calif. : IEEE Computer Society Press, c1992-
CALL: QA76.9 .D5 I599 10TH 2001

AUTHOR: International Symposium on Temporal Representation and Reasoning.
TITLE: Proceedings / International Symposium on Temporal Representation and Reasoning.
IMPRINT: Los Alamitos, Calif. : IEEE Computer Society Press, c2001-
CALL: QA334 .I92 8TH 2001

AUTHOR: International Work-Conference on Artificial and Natural Neural Networks (6th : 2001 : Granada, Spain)
TITLE: 6th International Work-Conference on Artificial and Natural Neural Networks, IWANN 2001, Granada, Spain, June 13-15, 2001 : proceedings / José Mira, Alberto Prieto (eds.).
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QP363.3 .I586 2001 PT.1

AUTHOR: International Workshop MLDM 2001 (2001 : Leipzig, Germany)
TITLE: Machine learning and data mining in pattern recognition : second international workshop, MLDM 2001, Leipzig, Germany, July 25-27, 2001, proceedings / Petra Perner (ed.).
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: Q327 .M56 2001

AUTHOR: International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (4th : 2001 : Berkeley, Calif.)
TITLE: Approximation, randomization, and combinatorial optimization : algorithms and techniques : 4th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA75.5 .I648 2001

AUTHOR: International Workshop on Database and Expert Systems Applications (11th : 2000 : London, England)
TITLE: Database and expert systems applications : 11th international conference, DEXA 2000, London, UK, September 4-8, 2000 : proceedings / Mohamed Ibrahim, Josef Küng, Norman Revell (eds.).
IMPRINT: New York : Springer, 2000.
CALL: QA76.9 .D3 I5838 2000

AUTHOR: International Workshop on Database and Expert Systems Applications (12th : 2001 : Munich, Germany)
TITLE: 12th International Workshop on Database and Expert Systems Applications : proceedings : 3-7 September, 2001, Munich, Germany / edited by A M. Tjoa, R.R. Wagner.
IMPRINT: Tjoa, A Min.
CALL: QA76.9 .D3 I5838 2001

AUTHOR: International Workshop on Groupware (7th : 2001 : Darmstadt, Germany)
TITLE: Seventh International Workshop on Groupware : CRIWG 2001 : proceedings : September 6-8, 2001, Darmstadt, Germany / edited by: Marcos R.S. Borges, Joerg M. Haake and H. Ulrich Hoppe ; sponsored by: GMD-IPSI, Germany.
IMPRINT: Los Alamitos, California : IEEE Computer Society, c2001.
CALL: HD66.2 .I58 2001

AUTHOR: International Workshop on High-Level Parallel Programming Models and Supportive Environments (6th : 2001 : San Francisco, Calif.)
TITLE: High-level parallel programming models and supportive environments : 6th international workshop, HIPS 2001, San Francisco, CA, USA, April 23, 2001 : proceedings / Frank Mueller (ed.).
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.642 .I586 2001

AUTHOR: International Workshop on Innovative Architectures (1999 : Maui High-Performance Computing Center)
TITLE: Innovative architecture for future generation high-performance processors and systems : 1999 International Workshop on Innovative Architectures (IWIA '99) : November 1-3, 1999, Maui, Hawaii / edited by Alex Veidenbaum and Hiroshi Nakashima ; sponsored by Maui High-Performance Computing Center.
IMPRINT: Los Alamitos, Calif. : IEEE Computer Society, c2000.
CALL: QA76.88 .I592 1999

AUTHOR: International Workshop on Interactive Distributed Multimedia Systems (8th : 2001 : Lancaster, England)
TITLE: Interactive distributed multimedia systems : 8th international workshop, IDMS 2001, Lancaster, UK, September 4-7, 2001 : proceedings / Doug Shepherd ... [et al.] (eds.).
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.76 .I59 I586 2001

AUTHOR: International Workshop on Mobile Agents for Telecommunication Applications (3rd : 2001 : Montréal, Québec)
TITLE: Mobile agents for telecommunication applications : Third International Workshop, MATA 2001, Montreal, Canada, August 14-16, 2001 : proceedings / Samuel Pierre, Roch Glitho, eds.
IMPRINT: New York : Springer, 2001.
CALL: QA76.76 .I58 I585 2001

AUTHOR: International Workshop on OpenMP Applications and Tools (2001 : West Lafayette, Ind.)
TITLE: OpenMP shared memory parallel programming : International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30-31, 2001 : proceedings / Rudolf Eigenmann, Michael J. Voss (eds.).
IMPRINT: Berlin ; New York : Springer, 2001.
CALL: QA76.642 .I589 2001

AUTHOR: International Workshop on Petri Nets and Performance Models.
TITLE: Proceedings of the International Workshop on Petri Nets and Performance Models
IMPRINT: Los Alamitos, Calif. : IEEE Computer Society Press,
CALL: QA76.9 .S88 I58 9TH 2001

AUTHOR: International Workshop on Recognition, Analysis, and Tracking of Faces and Gestures in Real-Time Systems (2001 : Vancouver, B.C.)
TITLE: Proceedings : IEEE ICCV Workshop on Recognition, Analysis, and Tracking of Faces and Gestures in Real-Time Systems : 13 July, 2001, Vancouver, B.C., Canada / sponsored by, IEEE Computer Society ... [et al.].
IMPRINT: Los Alamitos, California : IEEE Computer Society, c2001.
CALL: TA1632 .I62 2001

AUTHOR: International Workshop PACS (1st : 2000 : Cambridge, Mass.)
TITLE: Power-aware computer systems : first International Workshop, PACS 2000, Cambridge, MA, USA, November 12, 2000, revised papers / B. Falsafi, T.N. Vijaykumar, (eds.).
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: TK7895 .P68 I58 2000

AUTHOR: Ip, Horace H. S.
TITLE: Computer Graphics International 2001 : proceedings : CGI 2001 : 3-6 July, 2001, City University of Hong Kong, Hong Kong / IEEE Computer Society ; [edited by Horace H.S. Ip ... [et al.]].
IMPRINT: Los Alamitos, California : IEEE Computer Society, c2001.
CALL: T385 .C583 2001

AUTHOR: IPDPS (Conference)
TITLE: Proceedings - IEEE International Parallel and Distributed Processing Symposium
IMPRINT: Los Alamitos, Calif. : IEEE Computer Society, 2000-
CALL: QA76.58 .I562 2001

AUTHOR: Jensen, Finn V.
TITLE: Bayesian networks and decision graphs / Finn V. Jensen.
IMPRINT: New York : Springer, c2001.
CALL: QA279.5 .J47 2001

AUTHOR: Jensen, Henrik Wann, 1969-
TITLE: Realistic image synthesis using photon mapping / Henrik Wann Jensen ; [foreword by Pat Hanrahan].
IMPRINT: Natick, MA : A K Peters, c2001.
CALL: T385 .J48 2001

AUTHOR: Jonsson, Bengt, 1957-
TITLE: Protocol specification, testing, and verification, XI : proceedings of the IFIP WG 6.1, eleventh International Symposium on Protocol Specification, Testing, and Verification, Stockholm, Sweden, 18-20 June, 1991 / edited by Bengt Jonsson, Joachim Parrow, Björn Pehrson.
IMPRINT: Amsterdam ; New York : North-Holland, 1991.
CALL: TK5105.5 .I34264 1991

AUTHOR: Kashiwara, Masaki, 1947-
TITLE: Ind-sheaves / Masaki Kashiwara, Pierre Schapira.
IMPRINT: Paris : Société mathématique de France, 2001.
CALL: QA1 .A78 V.271

AUTHOR: Katsaras, A. K.
TITLE: p-adic functional analysis : proceedings of the sixth international conference / edited by A.K. Katsaras, W.H. Schikhof, L. Van Hamme.
IMPRINT: New York : Marcel Dekker, c2001.
CALL: QA241 .P232 2001

AUTHOR: Kent, Allen.
TITLE: Encyclopedia of microcomputers / executive editors, Allen Kent, James G. Williams ; administrative editor, Rosalind Kent.
IMPRINT: New York : M. Dekker, c1988-
CALL: QA76.15 .E52 1988 V.27

AUTHOR: Kern-Isberner, Gabriele, 1956-
TITLE: Conditionals in nonmonotonic reasoning and belief revision : considering conditionals as agents / Gabriele Kern-Isberner.
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: Q339.2 .K47 2001

AUTHOR: Kilian, Joe.
TITLE: Advances in cryptology - CRYPTO 2001 : 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001, proceedings / Joe Kilian (ed.).
IMPRINT: New York : Springer, 2001.
CALL: QA76.9 .A25 C79 2001

AUTHOR: Kleppe, Jan O. (Jan Oddvar), 1947-
TITLE: Gorenstein liaison, complete intersection liaison invariants, and unobstructedness / Jan O. Kleppe ... [et al.].
IMPRINT: Providence, R.I. : American Mathematical Society, c2001.
CALL: QA3 .A57 NO.732

AUTHOR: Kotz, Samuel.
TITLE: The Laplace distribution and generalizations : a revisit with applications to communications, economics, engineering, and finance / Samuel Kotz, Tomasz J. Kozubowski, and Krzysztof Podgórski.
IMPRINT: Boston : Birkhauser, c2001.
CALL: QA273.6 .K684 2001

AUTHOR: Kraj*cevski, Milé, 1954-
TITLE: Tilings of the plane, hyperbolic groups, and small cancellation conditions / Milé Kraj*cevski.
IMPRINT: Providence, RI : American Mathematical Society, c2001.
CALL: QA3 .A57 NO.733

AUTHOR: Kushner, Harold J. (Harold Joseph), 1933-
TITLE: Heavy traffic analysis of controlled queueing and communications networks / Harold J. Kushner.
IMPRINT: New York : Springer, 2001.
CALL: QA274.8 .K87 2001

AUTHOR: Küsters, Ralf.
TITLE: Non-standard inferences in description logics / Ralf Küsters.
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: Q334 .K87 2001

AUTHOR: Larsen, K. G. (Kim G.), 1957-
TITLE: CONCUR 2001 : concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings / Kim G. Larsen, Mogens Nielsen (eds.).
IMPRINT: Berlin ; New York : Springer, 2001.
CALL: QA267 .C5927 2001

AUTHOR: Le Boudec, Jean-Yves, 1958-
TITLE: Network calculus : a theory of deterministic queuing systems for the Internet / Jean-Yves Le Boudec, Patrick Thiran.
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: TK5105.875 .I57 L455 2001

AUTHOR: Leader, Solomon, 1925-
TITLE: The Kurzweil-Henstock integral and its differentials : a unified theory of integration on R and R (superscript n) / Solomon Leader.
IMPRINT: New York : Marcel Dekker, c2001. QA312 .L395 2001

AUTHOR: Cohen, Elaine, 1944-
TITLE: Geometric modeling with splines : an introduction / Elaine Cohen, Richard F. Riesenfeld, Gershon Elber.
IMPRINT: Natick, Mass. : AK Peters, c2001.
CALL: QA565 .C656 2001

AUTHOR: Loday, Jean-Louis.
TITLE: Dialgebras and related operads / J.-L. Loday ... [et al.].
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA3 .L28 V.1763

AUTHOR: Los Alamitos, CA : IEEE Computer Society Press, c1995-
TITLE: Proceedings of the International Symposium on System Synthesis
IMPRINT: Los Alamitos, CA : IEEE Computer Society Press, c1995-
CALL: QA76.7 .I584 14TH 2001

AUTHOR: Marchette, David J.
TITLE: Computer intrusion detection and network monitoring : a statistical viewpoint / David J. Marchette.
IMPRINT: New York : Springer, c2001.
CALL: QA76.9 .A25 M34 2001

AUTHOR: Marcoulides, George A.
TITLE: New developments and techniques in structural equation modeling / [edited] by George A. Marcoulides and Randall E. Schumacker.
IMPRINT: Mahwah, N.J. : Lawrence Erlbaum Associates, 2001.
CALL: QA278 .N477 2001

AUTHOR: McPherson, Glen.
TITLE: Applying and interpreting statistics : a comprehensive guide / Glen McPherson.
IMPRINT: New York : Springer, c2001.
CALL: Q180.55 .S7 M36 2001

AUTHOR: Meyer auf der Heide, F. (Friedhelm), 1954-
TITLE: Algorithms-ESA 2001 : 9th annual European symposium, Århus, Denmark, August 28-31, 2001 : proceedings / Friedhelm Meyer auf der Heide (ed.).
IMPRINT: Berlin ; New York : Springer, 2001.
CALL: QA76.9 .A43 E83 2001

AUTHOR: Mielke, Paul W.
TITLE: Permutation methods : a distance function approach / Paul W. Mielke, Jr., Kenneth J. Berry.
IMPRINT: New York : Springer, c2001.
CALL: QA277 .M53 2001

AUTHOR: Misra, Jayadev.
TITLE: A discipline of multiprogramming : programming theory for distributed applications / Jayadev Misra.
IMPRINT: New York : Springer-Verlag, c2001.
CALL: QA76.6 .M528 2001

AUTHOR: Miyake, Katsuya, 1941-
TITLE: Class field theory : its centenary and prospect / edited by Katsuya Miyake.
IMPRINT: Tokyo, Japan : Mathematical Society of Japan, c2001.
CALL: QA1 .A3 V.30

AUTHOR: Mohar, Bojan, 1956-
TITLE: Graphs on surfaces / Bojan Mohar and Carsten Thomassen.
IMPRINT: Baltimore : Johns Hopkins University Press, 2001.
CALL: QA166 .M64 2001

AUTHOR: Montgomery, Douglas C.
TITLE: Introduction to linear regression analysis / Douglas C. Montgomery, Elizabeth A. Peck, G. Geoffrey Vining.
IMPRINT: New York : J. Wiley, c2001.
CALL: QA278.2 .M65 2001

AUTHOR: Naher, Stefan.
TITLE: Algorithm engineering : 4th international workshop, WAE 2000, Saarbrücken, Germany, September 5-8, 2000 : proceedings / Stefan Naher, Dorothea Wagner (eds.).
IMPRINT: Berlin ; New York : Spring-Verlag, 2001.
CALL: QA76.9 .A43 I59 2000

AUTHOR: National Information Systems Security Conference.
TITLE: Proceedings / National Institute of Standards and Technology, National Computer Security Center, National Information Systems Security Conference.
IMPRINT: [Gaithersburg, MD] : National Institute of Standards and Technology, 1995-
CALL: QA76.9 .A25 N279 22ND 1999:V.1

AUTHOR: National Information Systems Security Conference.
TITLE: Proceedings / National Institute of Standards and Technology, National Computer Security Center, National Information Systems Security Conference.
IMPRINT: [Gaithersburg, MD] : National Institute of Standards and Technology, 1995-
CALL: QA76.9 .A25 N279 22ND 1999:V.2

AUTHOR: National Information Systems Security Conference.
TITLE: Proceedings / National Institute of Standards and Technology, National Computer Security Center, National Information Systems Security Conference.
IMPRINT: [Gaithersburg, MD] : National Institute of Standards and Technology, 1995-
CALL: QA76.9 .A25 N279 20TH 1997:V.1

AUTHOR: National Information Systems Security Conference.
TITLE: Proceedings / National Institute of Standards and Technology, National Computer Security Center, National Information Systems Security Conference.
IMPRINT: [Gaithersburg, MD] : National Institute of Standards and Technology, 1995-
CALL: QA76.9 .A25 N279 20TH 1997:V.2

AUTHOR: National Research Symposium on Geometric Analysis and Applications (2000 : Australian National University)
TITLE: National Research Symposium on Geometric Analysis and Applications (ANU, June 26-30, 2000) / edited by Alexander Isaev ... [et al.].
IMPRINT: Canberra : Centre for Mathematics and its Applications, Australian National University, 2001.
CALL: QA300 .N28 2000

AUTHOR: Nazareth, John Lawrence.
TITLE: DLP and extensions : an optimization model and decision support system.
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: T58.62 .N39 2001

AUTHOR: Newton, Paul K.
TITLE: The N-vortex problem : analytical techniques / Paul K. Newton.
IMPRINT: New York : Springer, c2001.
CALL: QA925 .N37 2001

AUTHOR: Nicolle, Colette.
TITLE: Inclusive design guidelines for HCI / edited by Colette Nicolle and Julio Abascal.
IMPRINT: London ; New York : Taylor & Francis, 2001.
CALL: QA76.9 .H85 I53 2001

AUTHOR: Nishiyama, Kyo.
TITLE: Nilpotent orbits, associated cycles and whittaker models for highest weight representations / Kyo Nishiyama ... [et al.].
IMPRINT: Paris : Société Mathématique de France, 2001.
CALL: QA1 .A78 V.273

AUTHOR: Paliouras, Georgios, 1970-
TITLE: Machine learning and its applications : advanced lectures / Georgios Paliouras, Vangelis Karkaletsis, Constantine D. Spyropoulos (eds.).
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA325.4 .M33 2001

AUTHOR: Pawitan, Yudi.
TITLE: In all likelihood : statistical modelling and inference using likelihood / Yudi Pawitan.
IMPRINT: Oxford : Clarendon Press ; New York : Oxford University Press, 2001.
CALL: QA276 .P286 2001

AUTHOR: Pier, Jean-Paul, 1933-
TITLE: Mathematical analysis during the 20th century / Jean-Paul Pier.
IMPRINT: Oxford ; New York : Oxford University Press, 2001. QA300 .P6154 2001

AUTHOR: PKDD 2001 (2001 : Freiberg, Germany)
TITLE: Principles of data mining and knowledge discovery : 5th European conference, PKDD 2001, Freiburg, Germany, September 3-5, 2001 : proceedings / Luc de Raedt, Arno Siebes (eds.).
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.9 .D3 P528 2001

AUTHOR: Prasolov, V. V. (Viktor Vasilyevich)
TITLE: [Geometri'i'a. English]
IMPRINT: Providence, R.I. : American Mathematical Society, c2001.
CALL: QA445 .P7313 2001

AUTHOR: Rabinovich, M. I.
TITLE: The dynamics of patterns.
IMPRINT: Singapore ; River Edge, NJ : World Scientific, c2000.
CALL: Q172.5 .C45 R33 2000

AUTHOR: Raedt, Luc de, 1964-
TITLE: Machine learning : ECML 2001 : 12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001 : proceedings / Luc De Raedt, Peter Flach, eds.
IMPRINT: Berlin ; New York : Springer-Verlag, c2001.
CALL: Q325.5 .E85 2001

AUTHOR: Rouveirol, Céline.
TITLE: Inductive logic programming : 11th international conference, ILP 2001, Strasbourg, France, September 9-11, 2001 : proceedings / Céline Rouveirol, Michèle Sebag (eds.)
IMPRINT: Berlin ; New York : Springer-Verlag, c2001.
CALL: QA76.63 .I52 2001

AUTHOR: Ruzhansky, M. (Michael)
TITLE: Regularity theory of Fourier integral operators with complex phases and singularities of affine fibrations / M. Ruzhansky.
IMPRINT: Amsterdam : CWI, 2001.
CALL: QA329.6 .R89 2001

AUTHOR: Sangiorgi, Davide.
TITLE: The [pi]-calculus : a theory of mobile processes / Davide Sangiorgi, David Walker.
IMPRINT: New York : Cambridge University Press, 2001.
CALL: QA76.59 .S36 2001

AUTHOR: Schach, Stephen R.
TITLE: Object-oriented and classical software engineering / Stephen R. Schach.
IMPRINT: Boston : McGraw-Hill, 2002.
CALL: QA76.758 .S318 2002

AUTHOR: Shapiro, Daniel B., 1948-
TITLE: Compositions of quadratic forms / by Daniel B. Shapiro.
IMPRINT: Berlin ; New York : Walter de Gruyter, 2000.
CALL: QA243 .S48 2000

AUTHOR: Silva, Ana Cannas da.
TITLE: Lectures on symplectic geometry / Ana Cannas da Silva.
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA3 .L28 V.1764

AUTHOR: Silverman, Joseph H., 1955-
TITLE: Cryptography and lattices : international conference, CaLC 2001, Providence RI, USA, March 29-30, 2001 : revised papers / Joseph H. Silverman (ed.).
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA268 .C35 2001

AUTHOR: Smith, Michael H.
TITLE: Proceedings [of the] joint 9th IFSA World Congress and 20th NAFIPS International Conference : July 25-28, 2001, Coast Plaza Suite Hotel at Stanley Park, Vancouver, British Columbia, Canada / edited by Michael J Smith, William A. Gruver, Lawrence O. Hall; sponsored by International Fuzzy Systems Association and North American Fuzzy Information Processing Society, in cooperation with IEEE Systems and Man and Cybernetics Society, IEEE Neural Networks Council.
IMPRINT: Piscataway, NJ : Institute of Electrical and Electronics Engineers, Inc., 2001.
CALL: TJ217.5 .N35 2001 V.5

AUTHOR: Smith, Michael H.
TITLE: Proceedings [of the] joint 9th IFSA World Congress and 20th NAFIPS International Conference : July 25-28, 2001, Coast Plaza Suite Hotel at Stanley Park, Vancouver, British Columbia, Canada / edited by Michael J Smith, William A. Gruver, Lawrence O. Hall; sponsored by International Fuzzy Systems Association and North American Fuzzy Information Processing Society, in cooperation with IEEE Systems and Man and Cybernetics Society, IEEE Neural Networks Council.
IMPRINT: Piscataway, NJ : Institute of Electrical and Electronics Engineers, Inc., 2001.
CALL: TJ217.5 .N35 2001 V.4

AUTHOR: Smith, Michael H.
TITLE: Proceedings [of the] joint 9th IFSA World Congress and 20th NAFIPS International Conference : July 25-28, 2001, Coast Plaza Suite Hotel at Stanley Park, Vancouver, British Columbia, Canada / edited by Michael J Smith, William A. Gruver, Lawrence O. Hall; sponsored by International Fuzzy Systems Association and North American Fuzzy Information Processing Society, in cooperation with IEEE Systems and Man and Cybernetics Society, IEEE Neural Networks Council.
IMPRINT: Piscataway, NJ : Institute of Electrical and Electronics Engineers, Inc., 2001.
CALL: TJ217.5 .N35 2001 V.3

AUTHOR: Smith, Michael H.
TITLE: Proceedings [of the] joint 9th IFSA World Congress and 20th NAFIPS International Conference : July 25-28, 2001, Coast Plaza Suite Hotel at Stanley Park, Vancouver, British Columbia, Canada / edited by Michael J Smith, William A. Gruver, Lawrence O. Hall; sponsored by International Fuzzy Systems Association and North American Fuzzy Information Processing Society, in cooperation with IEEE Systems and Man and Cybernetics Society, IEEE Neural Networks Council.
IMPRINT: Piscataway, NJ : Institute of Electrical and Electronics Engineers, Inc., 2001.
CALL: TJ217.5 .N35 2001 V.2

AUTHOR: Smith, Michael H.
TITLE: Proceedings [of the] joint 9th IFSA World Congress and 20th NAFIPS International Conference : July 25-28, 2001, Coast Plaza Suite Hotel at Stanley Park, Vancouver, British Columbia, Canada / edited by Michael J Smith, William A. Gruver, Lawrence O. Hall; sponsored by International Fuzzy Systems Association and North American Fuzzy Information Processing Society, in cooperation with IEEE Systems and Man and Cybernetics Society, IEEE Neural Networks Council.
IMPRINT: Piscataway, NJ : Institute of Electrical and Electronics Engineers, Inc., 2001.
CALL: TJ217.5 .N35 2001 V.1

AUTHOR: SSTD 2001 (2001 : Redondo Beach, Calif.)
TITLE: Advances in spatial and temporal databases : 7th International Symposium, SSTD 2001, Redondo Beach, CA, USA, July 12-15, 2001 : proceedings / Christian S. Jensen ... [et al.] (eds.)
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.9 .D3 S6925 2001

AUTHOR: Stirling, Colin P.
TITLE: Modal and temporal properties of processes / Colin Stirling.
IMPRINT: New York : Springer, c2001.
CALL: QA76.9 .L63 S75 2001

AUTHOR: Swinnerton-Dyer, H. P. F.
TITLE: A brief guide to algebraic number theory.
IMPRINT: Cambridge ; New York : Cambridge University Press, 2001.
CALL: QA247 .S95 2001

AUTHOR: Symposium on Microprocessing and Microprogramming.
TITLE: EUROMICRO (IEEE Computer Society Press)
IMPRINT: Amsterdam ; New York: North-Holland, 1991-
CALL: QA76.9 .A73 E97 27TH 2001

AUTHOR: Taha, Walid, 1972-
TITLE: Semantics, applications, and implementation of program generation : second international workshop, SAIG 2001, Florence, Italy, September 6, 2001 : proceedings / Walid Taha (ed.)
IMPRINT: Berlin ; New York : Springer-Verlag, 2001.
CALL: QA76.6 .S245 2001

AUTHOR: Timmesfeld, Franz Georg, 1943-
TITLE: Abstract root subgroups and simple groups of Lie-type / Franz Georg Timmesfeld.
IMPRINT: Boston : Birkhauser Verlag, 2001.
CALL: QA179 .T56 2001

AUTHOR: TPHOLs 2001 (2001 : Edinburgh, Scotland)
TITLE: Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings / Richard J. Boulton, Paul B. Jackson (eds.).
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.9 .A96 H54 2001

AUTHOR: Triebel, Hans.
TITLE: The structure of functions / Hans Triebel.
IMPRINT: Boston : Birkhauser Verlag, 2001.
CALL: QA323 .T753 2001

AUTHOR: TSD 2001 (2001 : *Zelezná Ruda, Czech Republic)
TITLE: Text, speech, and dialogue : 4th international conference, TSD 2001, *Zelezná Ruda, Czech Republic, September 11-13, 2001 : proceedings / Václav Matousek ... [et al.] (eds.)
IMPRINT: New York : Springer-Verlag, 2001.
CALL: QA76.9 .N38 T47 2001

AUTHOR: Ulusoy, Gunduz.
TITLE: Project scheduling.
IMPRINT: Dordrecht, The Netherlands : Kluwer Academic Publishers, 2001.
CALL: T57.6 .A5 V.102

AUTHOR: Vanhaecke, Pol, 1963-
TITLE: Integrable systems in the realm of algebraic geometry / Pol Vanhaecke. Edition: 2nd ed.
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA3 .L28 V.1638

AUTHOR: Vision Interface (Conference)
TITLE: Proceedings / Vision Interface = Compte rendu.
IMPRINT: [Ottawa] : Canadian Image Processing and Pattern Recognition Society, 1988-
CALL: T385 .V57 2000

AUTHOR: VISual '97 (1997 : San Diego, Calif.)
TITLE: Proceedings : VISual'97 : Second International Conference on Visual Information Systems : technical program, December 15-17, 1997, Sea Lodge Hotel, San Diego, California, USA / sponsored by Knowledge Systems Institute ; in cooperation with Visual Computing Lab, University of California, San Diego ; co-sponsored by IBM Almaden Research Center.
IMPRINT: Skokie, IL : Knowledge Systems Institute, c1997.
CALL: QA76.575 .V58 1997

AUTHOR: Voevodsky, Vladimir.
TITLE: Cycles, transfers and motivic homology theories / by Vladimir Voevodsky, Andrei Suslin and Eric M. Friedlander.
IMPRINT: Princeton, N.J. : Princeton University Press, 2000.
CALL: QA1 .A665 V.143

AUTHOR: WADS 2001 (2001 : Providence, R.I.)
TITLE: Algorithms and data structures : 7th International Workshop, WADS 2001, Providence, RI, USA, August 8-10, 2001 : proceedings / Frank Dehne, Jörg-Rüdiger Sack, Roberto Tamassia (eds.)
IMPRINT: New York : Springer, 2001.
CALL: QA76.9 .D35 A43 2001

AUTHOR: Wallis, W. D.
TITLE: Magic graphs / W.D. Wallis.
IMPRINT: Boston : Birkhäuser, c2001.
CALL: QA166.197 .W35 2001

AUTHOR: Wang, Jie.
TITLE: Computing and combinatorics : 7th annual international conference, COCOON 2001, Guilin, China, August 20-23, 2001 : proceedings / Jie Wang (ed.).
IMPRINT: Berlin ; New York : Springer, 2001.
CALL: QA75.5 .I586 2001

AUTHOR: Ward, Doug E.
TITLE: Optimization with data perturbations II / editors, Doug E. Ward, Diethard Klatte, Jan-J. Rückmann.
IMPRINT: Dordrecht, The Netherlands : Kluwer Academic Publishers, 2001.
CALL: QA402.5 .O77 2001

AUTHOR: Wermter, Stefan.
TITLE: Emergent neural computational architectures based on neuroscience : towards neuroscience-inspired computing / Stefan Wermter, Jim Austin, David Willshaw (eds.).
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA76.9 .A73 E57 2001

AUTHOR: White, Arthur T.
TITLE: Graphs of groups on surfaces : interactions and models / Arthur T. White.
IMPRINT: Amsterdam ; New York : Elsevier, 2001.
CALL: QA166.195 .W48 2001

AUTHOR: Workshop on Balancing Reactivity and Social Deliberation in Multi-Agent Systems (2000 : Berlin, Germany)
TITLE: Balancing reactivity and social deliberation in multi-agent systems : from RoboCup to real-world applications / Markus Hannebauer, Jan Wendler, Enrico Pagello (eds.).
IMPRINT: Berlin ; New York : Springer, 2001.
CALL: QA76.76 .I58 W67 2001

AUTHOR: Workshop on Hot Topics in Operating Systems.
TITLE: Proceedings / Workshop on Hot Topics in Operating Systems (HotOS)
IMPRINT: [Los Alamitos : IEEE Computer Society Press, 1995-
CALL: QA76.76 .O63 W667 7TH 1999

AUTHOR: Wouwer, A. Vande (Alain)
TITLE: Adaptive method of lines / edited by A. Vande Wouwer, Ph. Saucez, W.E. Schiesser.
IMPRINT: Boca Raton : Chapman & Hall/CRC Press, 2001.
CALL: QA377 .A294 2001

AUTHOR: Yu, Sheng.
TITLE: Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers / Sheng Yu, Andrei Paun (eds.).
IMPRINT: Berlin ; New York : Springer, c2001.
CALL: QA267 .I552 2000

New books by month received