Collections
New Books Received in April 2006
CALL: G70.212 .I57 2005
AUTHOR: Rodríguez, M. Andrea.
TITLE: Geospatial semantics : first international conference, GeoS
2005, Mexico City, Mexico, November 29-30, 2005 : proceedings /
M. Andrea Rodríguez ... [et al.] (eds.)
IMPRINT: Berlin ; New York : Springer, c2005.
CALL: G70.212 .W24 2005
AUTHOR: Li, Ki-Joune.
TITLE: Web and wireless geographical information systems 5th International
Workshop, W2GIS 2005, Lausanne, Switzerland, December 15-16, 2005
: proceedings / Ki-Joune Li, Christelle Vangenot (eds.).
IMPRINT: Berlin ; Springer-Verlag, c2005. [Great Britain] :
CALL: HA29 .F678 2005
AUTHOR: Freedman, David, 1938-
TITLE: Statistical models : theory and practice / David A. Freedman.
IMPRINT: Cambridge ; New York : Cambridge University Press, 2005.
CALL: HG6024 .A3 H47 2006
AUTHOR: Herwig, Tobias.
TITLE: Market-conform valuation of options / Tobias Herwig.
IMPRINT: Berlin ; New York : Springer, c2006.
CALL: P51 .C18 NO.166
AUTHOR: Levine, Robert, 1947-
TITLE: The unity of unbounded dependency constructions / Robert
D. Levine and Thomas E. Hukari.
IMPRINT: Stanford, Calif. : Center for the Study of Language and
Information, c2004.
CALL: Q325 .S438 2005
AUTHOR: Czap, Hans.
TITLE: Self-organization and autonomic informatics (I) / edited
by Hans Czap ... [et al.].
IMPRINT: Amsterdam ; Washington, DC : IOS Press, c2005.
CALL: Q327 .I63 2005
AUTHOR: Pal, Sankar K.
TITLE: Pattern recognition and machine intelligence first international
conference, PReMI 2005, Kolkata, India, December 20-22, 2005 :
proceedings / Sankar K. Pal, Sanghamitra Bandyopadhyay, Sambhunath
Biswas (eds.).
IMPRINT: Berlin ; [London] : Springer, 2005.
CALL: Q342 .I57 2005 PT.1
AUTHOR: Huang, De-Shuang.
TITLE: Advances in intelligent computing : International Conference
on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26,
2005 : proceedings / De-Shuang Huang, Xiao-Ping Zhang, Guang-Bin
Huang (eds.).
IMPRINT: Berlin ; New York : Springer, 2005.
CALL: Q342 .I57 2005 PT.2
AUTHOR: Huang, De-Shuang.
TITLE: Advances in intelligent computing : International Conference
on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26,
2005 : proceedings / De-Shuang Huang, Xiao-Ping Zhang, Guang-Bin
Huang (eds.).
IMPRINT: Berlin ; New York : Springer, 2005.
CALL: QA3 .L28 V.1866
AUTHOR: Applebaum, David, 1956-
TITLE: Quantum independent increment processes / David Applebaum
... [et al.] ; editors, Michael Schürmann, Uwe Franz.
IMPRINT: Berlin ; New York : Springer, c2005-2006
CALL: QA3 .L28 V.1871
AUTHOR: Constantin, P. (Peter), 1951-
TITLE: Mathematical foundation of turbulent viscous flows : lectures
given at the C.I.M.E. summer school held in Martina Franca, Italy,
September 1-5, 2003 / P. Constantin ... [et al.] ; editors, M.
Cannone, T. Miyakawa.
IMPRINT: Berlin ; New York : Springer, c2006.
CALL: QA9 .A1 I55 2005
AUTHOR: Kahle, Reinhard, 1967-
TITLE: Intensionality / edited by Reinhard Kahle.
IMPRINT: La Jolla, Calif. : Association for Symbolic Logic ; Wellesley,
Mass. : A K Peters, c2005.
CALL: QA9 .A1 L64 2000
AUTHOR: Cori, René.
TITLE: Logic Colloquium 2000 : proceedings of the Annual European
Summer Meeting of the Association for Symbolic Logic, held in Paris,
France, July 23-31, 2000 / edited by René Cori ... [et al.].
IMPRINT: Wellesley, Mass. : A.K. Peters, c2005.
CALL: QA9 .H527 2005
AUTHOR: Hinman, Peter G.
TITLE: Fundamentals of mathematical logic / Peter G. Hinman.
IMPRINT: Wellesley, Mass. : A.K. Peters, c2005.
CALL: QA9.2 .G55 2005
AUTHOR: Gilmore, Paul C. (Paul Carl), 1925-
TITLE: Logicism renewed : logical foundations for mathematics and
computer science / Paul C. Gilmore.
IMPRINT: La Jolla, Calif. : Association for Symbolic Logic ; Wellesley,
Mass. : A K Peters, c2005.
CALL: QA9.2 .N67 2005
AUTHOR: Cholak, Peter, 1962-
TITLE: The Notre Dame lectures / edited by Peter Cholak.
IMPRINT: Wellesley, Mass. : A.K. Peters, c2005.
CALL: QA9.54 .S48 2006
AUTHOR: Wiedijk, Freek, 1961-
TITLE: The seventeen provers of the world / Freek Wiedijk (ed.)
; foreword by Dana S. Scott.
IMPRINT: Berlin ; New York : Springer, c2006.
CALL: QA9.64 .I83 2003
AUTHOR: Di Gesù, V.
TITLE: Fuzzy logic and applications : 5th international workshop,
WILF 2003, Naples, Italy, October 9-11, 2003 : revised selected
papers / Vito Di Gesù, Francesco Masulli, Alfredo Petrosino
(eds.).
IMPRINT: Berlin ; New York : Springer, 2006.
CALL: QA9.64 .I83 2005
AUTHOR: Bloch, Isabelle.
TITLE: Fuzzy logic and applications : 6th international workshop,
WILF 2005, Crema, Italy, September 15-17, 2005 : revised selected
papers / Isabelle Bloch, Alfredo Petrosino, Andrea G.B. Tettamanzi
(eds.).
IMPRINT: Berlin ; New York : Springer, c2006.
CALL: QA9.7 .M37 2006
AUTHOR: Marker, D. (David), 1958-
TITLE: Model theory of fields / David Marker, Margit Messmer, Anand
Pillay.
IMPRINT: La Jolla, Calif. : Association for Symbolic Logic ; Wellesley,
Mass. : A K Peters, c2006.
CALL: QA43 .R4413 2005 V.3
AUTHOR: Reiman, István.
TITLE: International Mathematical Olympiad / Istvâan Reiman.
IMPRINT: London : Anthem Press, 2005.
CALL: QA75.5 .L348 2006
AUTHOR: Correa, José R.
TITLE: Latin 2006 : theoretical informatics : 7th Latin American
symposium, Valdivia, Chile, March 20-24, 2006 : proceedings / José R.
Correa, Alejandro Hevia, Marcos Kiwi (eds.).
IMPRINT: Berlin ; New York : Springer, c2006.
CALL: QA76.5 .C4166 2004
AUTHOR: Herik, Jaap van den.
TITLE: Computers and games : 4th international conference, CG 2004,
Ramat-Gan, Israel, July 5-7, 2004 : revised papers / H. Jaap van
den Herik, Yngvi Björnsson, Nathan S. Netanyahu (eds.).
IMPRINT: Berlin ; New York : Springer, c2006.
CALL: QA76.575 .A33 2005
AUTHOR: Detyniecki, Marcin.
TITLE: Adaptive multimedia retrieval : user, context, and feedback
: third international workshop, AMR 2005, Glasgow, UK, July 28-29,
2005 : revised selected papers / Marcin Detyniecki ... [et al.]
(eds.).
IMPRINT: Berlin ; New York : Springer-Verlag, c2006.
CALL: QA76.575 .I333 2005 PT.1
AUTHOR: Ho, Yo-Sung.
TITLE: Advances in multimedia information processing : PCM 2005
: 6th Pacific Rim Conference on Multimedia, Jeju Island, Korea,
November 13-16, 2005 : proceedings / Yo-Sung Ho, Hyoung Joong Kim
(eds.).
IMPRINT: Berlin ; New York : Springer, c2005.
CALL: QA76.575 .I333 2005 PT.2
AUTHOR: Ho, Yo-Sung.
TITLE: Advances in multimedia information processing : PCM 2005
: 6th Pacific Rim Conference on Multimedia, Jeju Island, Korea,
November 13-16, 2005 : proceedings / Yo-Sung Ho, Hyoung Joong Kim
(eds.).
IMPRINT: Berlin ; New York : Springer, c2005.
CALL: QA76.58 .J757 2005
AUTHOR: Feitelson, Dror G.
TITLE: Job scheduling strategies for parallel processing : 11th
international workshop, JSSPP 2005, Cambridge, MA, USA, June 19,
2005 : revised selected papers / Dror Feitelson ... [et al.] (eds.).
IMPRINT: Berlin ; New York : Springer, c2005.
CALL: QA76.758 .F37 2006
AUTHOR: Baresi, Luciano.
TITLE: Fundamental approaches to software engineering : 9th international
conference, FASE 2006, held as part of the Joint European Conferences
on Theory and Practice of Software, ETAPS 2006, Vienna, Austria,
March 27-28, 2006 ; proceedings / Luciano Baresi, Reiko Heckel
(eds.).
IMPRINT: Berlin : Springer, 2006.
CALL: QA76.6 .E976 2006
AUTHOR: Sestoft, Peter.
TITLE: Programming languages and systems : 15th European Symposium
on Programming, ESOP 2006, held as part of the Joint European Conferences
on Theory and Practice of Software, ETAPS 2006, Vienna, Austria,
March 27-28, 2006 ; proceedings / Peter Sestoft (ed.).
IMPRINT: Berlin : Springer, 2006.
CALL: QA76.618 .H36 2006
AUTHOR: Zomaya, Albert Y.
TITLE: Handbook of nature-inspired and innovative computing : integrating
classical models with emerging technologies.
IMPRINT: New York : Springer, c2006.
CALL: QA76.63 .L633 2005
AUTHOR: Gabbrielli, Maurizio.
TITLE: Logic programming : 21st international conference, ICLP
2005, Sitges, Spain, October 2-5, 2005 : proceedings / Maurizio
Gabbrielli, Gopal Gupta (eds.).
IMPRINT: Berlin ; New York : Springer, 2005.
CALL: QA76.63 .L732 2005
AUTHOR: Sutcliffe, Geoff.
TITLE: Logic for programming, artificial intelligence, and reasoning
: 12th international conference, LPAR 2005, Montego Bay, Jamaica,
December 2-6, 2005 : proceedings / Geoff Sutcliffe, Andrei Voronkov
(eds.).
IMPRINT: Berlin ; New York : Springer, 2005.
CALL: QA76.73 .C153 M53 1995 V.5
ATUHOR: Microsoft Corporation.
TITLE: Microsoft Visual C++ : development system for Windows 95
and Windows NT, version 4 / Microsoft Corporation.
IMPRINT: Redmond, Wash. : Microsoft Press, c1995.
CALL: QA76.73 .C153 M53 1995 V.6
AUTHOR: Microsoft Corporation.
TITLE: Microsoft Visual C++ : development system for Windows 95
and Windows NT, version 4 / Microsoft Corporation.
IMPRINT: Redmond, Wash. : Microsoft Press, c1995.
CALL: QA76.73 .J38 W448 2007
AUTHOR: Weiss, Mark Allen.
TITLE: Data structures and algorithm analysis in Java / Mark Allen
Weiss.
IMPRINT: Boston : Pearson Addison-Wesley, c2007.
CALL: QA76.751 .S46 2006
AUTHOR: Wiedermann, J. (Juraj)
TITLE: SOFSEM 2006 : theory and practice of computer science :
32nd Conference on Current Trends in Theory and Practice of Computer
Science, Me*rín, Czech Republic, January 21-27, 2006 : proceedings
/ Ji*rí Wiedermann ... [et al.] (eds.).
IMPRINT: Berlin ; New York : Springer, c2006.
CALL: QA76.758 .S457 2004
AUTHOR: Dosch, Walter.
TITLE: Software engineering research, management and applications
: second international conference, SERA 2004, Los Angeles, CA,
USA, May 5-7, 2004 : selected revised papers / Walter Dosch, Roger
Y. Lee, Chisu Wu (eds.).
IMPRINT: Berlin ; New York : Springer, c2005.
CALL: QA76.76 .C66 C647 2005
AUTHOR: Atkinson, Colin.
TITLE: Component-based software development for embedded systems
: an overview of current research trends / Colin Atkinson ... [et
al.] (eds).
IMPRINT: Berlin : Springer, c2005.
CALL: QA76.76 .C66 I355 2005
AUTHOR: Dearle, Alan.
TITLE: Component deployment : third international working conference,
CD 2005, Grenoble, France, November 28-29, 2005 : proceedings /
Alan Dearle, Susan Eisenbach (eds.)
IMPRINT: Berlin : Springer-Verlag, c2005.
CALL: QA76.76 .D47 E86 2005
AUTHOR: Richardson, Ita.
TITLE: Software process improvement : 12th European conference,
EuroSPI 2005, Budapest, Hungary, November 9-11, 2005 : proceedings
/ Ita Richardson, Pekka Abrahamsson, Richard Messnarz (eds.).
IMPRINT: Berlin ; New York : Springer-Verlag, c2005.
CALL: QA76.76 .D47 S38 2005
AUTHOR: Bruel, Jean-Michel, 1969-
TITLE: Satellite events at the MoDELS 2005 conference : MoDELS
2005 international workshops, doctoral symposium, educators symposium,
Montego Bay, Jamaica, October 2-7, 2005 : revised selected papers
/ Jean-Michel Bruel (ed.).
IMPRINT: Berlin : Springer, c2006.
CALL: QA76.76 .D47 T73 2006 V.1
AUTHOR: Rashid, Awais.
TITLE: Transactions on aspect-oriented software development / Awais
Rashid, Mehmet Aksit (eds.).
IMPRINT: Berlin ; New York : Springer, 2006.
CALL: QA76.76 .I58 S62 2005
AUTHOR: Fischer, Klaus.
TITLE: Socionics : scalability of complex social systems / Klaus
Fischer, Michael Florian, Thomas Malsch (eds.).
IMPRINT: Berlin ; New York : Springer, c2005.
CALL: QA76.76 .M54 O24 2006
AUTHOR: Oberle, Daniel.
TITLE: Semantic management of middleware.
IMPRINT: New York : Springer Science, c2006.
CALL: QA76.76 .O63 S629 1998
AUTHOR: Solomon, David A.
TITLE: Inside Windows NT / David A. Solomon.
IMPRINT: Redmond, Wash. : Microsoft Press, 1998.
CALL: QA76.76 .V47 I58 2006
AUTHOR: Valmari, Antti.
TITLE: Model checking software : 13th International SPIN Workshop,
Vienna, Austria, March 30 - April 1, 2006 ; proceedings / Antti
Valmari (ed.).
IMPRINT: Berlin : Springer, 2006.
CALL: QA76.887 .W48 2005
AUTHOR: Freund, Rudolf, 1915-
TITLE: Membrane computing : 6th international workshop, WMC 2005,
Vienna, Austria, July 18-21, 2005 : revised selected and invited
papers / Rudolf Freund ... [et al.] (eds.).
IMPRINT: Berlin : New York : Springer, 2006.
CALL: QA76.9 .A25 C57 2005
AUTHOR: Feng, Dengguo.
TITLE: Information security and cryptology first SKLOIS Conference,
CISC 2005, Beijing, China, December 15-17, 2005 : proceedings /
Dengguo Feng, Dongdai Lin, Moti Yung (eds.).
IMPRINT: Berlin ; New York : Springer, 2005.
CALL: QA76.9 .A25 I5414 2005
AUTHOR: Barni, Mauro, Ph. D.
TITLE: Information hiding: 7th international workshop, IH 2005,
Barcelona, Spain, June 6-8, 2005 : revised selected papers / Mauro
Barni ... [et al.] (eds.).
IMPRINT: Berlin ; New York : Springer, c2005.
CALL: QA76.9 .A25 I554 2005
AUTHOR: Qing, Sihan.
TITLE: Information and communications security : 7th international
conference, ICICS 2005, Beijing, China, December 10-13, 2005 :
proceedings / Sihan Qing ... [et al.] (eds.).
IMPRINT: Berlin ; New York : Springer, c2005.
CALL: QA76.9 .A25 I5547 2005
AUTHOR: Jajodia, Sushil.
TITLE: Information systems security : first international conference,
ICISS 2005, Kolkata, India, December 19-21, 2005 : proceedings
/ Sushil Jajodia, Chandan Mazumdar (eds.).
IMPRINT: Berlin : Springer, c2005.
CALL: QA76.9 .A25 R753 2006
AUTHOR: Pointcheval, David.
TITLE: Topics in cryptology - CT-RSA 2006 : the cryptographers'
track at the RSA conference 2006, San Jose, CA, USA, February 13-17,
2006 : proceedings / David Pointcheval (ed.).
IMPRINT: Berlin ; New York : Springer, 2006.
CALL: QA76.9 .A25 T46 2005
AUTHOR: De Nicola, Rocco.
TITLE: Trustworthy global computing : international symposium,
TGC 2005, Edinburgh, UK, April 7-9, 2005 : revised selected papers
/ Rocco Nicola, Davide Sangiorgi (eds.) .
IMPRINT: Berlin ; New York : Springer, c2005.
CALL: QA76.9 .A25 W577 2005
AUTHOR: Song, JooSeok.
TITLE: Information security applications : 6th international workshop,
WISA 2005, Jeju Island, Korea, August 22-24, 2005 : revised selected
papers / Jooseok Song, Taekyoung Kwon, Moti Yung (eds.).
IMPRINT: Berlin ; New York : Springer, c2006.
CALL: QA76.9 .A73 A28 2005
AUTHOR: Srikanthan, Thambipillai.
TITLE: Advances in computer systems architecture : 10th Asia-Pacific
conference, ACSAC 2005, Singapore, October 24-26, 2005 : proceedings
/ Thambipillai Srikanthan, Jingling Xue, Chip-Hong Chang (eds.).
IMPRINT: Berlin ; New York : Springer, 2005.
CALL: QA76.9 .C58 G33 2005
AUTHOR: Zhuge, Hai.
TITLE: Grid and cooperative computing : GCC 2005 : 4th international
conference, Beijing, China, November 30-December 3, 2005 : proceedings
/ Hai Zhuge, Geoffrey C. Fox (eds.).
IMPRINT: Berlin ; New York : Springer, c2005.
CALL: QA76.9 .C65 F64 2006
AUTHOR: Fogel, David B.
TITLE: Evolutionary computation : toward a new philosophy of machine
intelligence.
IMPRINT: Hoboken, NJ : IEEE Press : Wiley-Interscience, c2006.
CALL: QA76.9 .C65 F676 2005
AUTHOR: Pettersson, Paul.
TITLE: Formal modeling and analysis of timed systems : third international
conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005
: proceedings / Paul Pettersson, Wang Yi (eds.).
IMPRINT: Berlin ; New York : Springer, c2005.
CALL: QA76.9 .C65 S5 2005
AUTHOR: Silva, Luciano Afonso da, 1973-
TITLE: Robust range image registration : using genetic algorithms
and the surface interpenetration measure / Luciano Silva and Olga
R.P. Bellon, Kim L. Boyer.
IMPRINT: Hackensack, N.J. : World Scientific, c2005.
CALL: QA76.9 .D3 I55844 2006
AUTHOR: Ioannidis, Yannis.
TITLE: Advances in database technology - EDBT 2006 : 10th International
Conference on Extending Database Technology, Munich, Germany, March
26-31, 2006 ; proceedings / Yannis Ioannidis ... [et al.].
IMPRINT: Berlin : Springer, 2006.
CALL: QA76.9 .D3 P528 2005
AUTHOR: Jorge, Alípio.
TITLE: Knowledge discovery in databases -- PKDD 2005 : 9th European
Conference on Principles and Practice of Knowledge Discovery in
Databases, Porto, Portugal, October 3-7, 2005 : proceedings / Alípio
Jorge ... [et al.] (eds.).
IMPRINT: Berlin ; New York : Springer, 2005.
CALL: QA76.9 .D343 D3838 2006
AUTHOR: Williams, Graham J.
TITLE: Data mining : theory, methodology, techniques, and applications
/ Graham J. Williams, Simeon J. Simoff (eds.).
IMPRINT: Berlin ; New York : Springer, c2006.
CALL: QA76.9 .D343 E87 2004
AUTHOR: Boulicaut, Jean-François.
TITLE: Constraint-based mining and inductive databases : European
Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten,
Germany, March 11-13, 2004 : revised selected papers / Jean-Francois
Boulicaut, Luc De Raedt, Heikki Mannila (eds.).
IMPRINT: Berlin ; New York : Springer, 2005.
CALL: QA76.9 .D5 D485 2005
AUTHOR: Fraigniaud, Pierre.
TITLE: Distributed computing : 19th international conference, DISC
2005, Cracow, Poland, September 26-29, 2005 : proceedings / Pierre
Fraigniaud (ed.).
IMPRINT: Berlin ; New York : Springer, 2005.
CALL: QA76.9 .D5 I65 2005
AUTHOR: Chakraborty, Goutam.
TITLE: Distributed computing and internet technology second International
Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005
: proceedings / Goutam Chakraborty (ed.).
IMPRINT: Berlin ; [Great Britain] : Springer, 2005.
CALL: QA76.9 .F67 I58 2005
AUTHOR: Romijn, Judi.
TITLE: Integrated formal methods : 5th international conference,
IFM 2005, Eindhoven, The Netherlands, November 29--December 2,
2005 : proceedings / Judi Romijn, Graeme Smith, Jaco van de Pol
(eds.).
IMPRINT: Berlin ; New York : Springer, c2005.
CALL: QA76.9 .F67 I582 2005
AUTHOR: Margaria-Steffen, Tiziana, 1964-
TITLE: FMICS '05 : proceedings of the Tenth International Workshop
on Formal Methods for Industrial Critical Systems, September 5-6,
2005, Lisbon, Portugal, co-located with ESEC/FSE'05 / editors Tiziana
Margaria & Mieke Massink, sponsored by ACM SIGSOFT.
IMPRINT: New York, Association for Comuting Machinery, c2005.
CALL: QA76.9 .O35 O27 2005
AUTHOR: Black, Andrew P.
TITLE: ECOOP 2005 -- object-oriented programming : 19th European
conference, Glasgow, UK, July 25-29, 2005 : proceedings / Andrew
P. Black (ed.).
IMPRINT: Berlin ; New York : Springer, 2005.
CALL: QA76.9 .S54 S77 2005
AUTHOR: Herman, Ted, 1952-
TITLE: Self-stabilizing systems : 7th international symposium,
SSS 2005, Barcelona, Spain, October 26-27, 2005 : proceedings /
Ted Herman, Sébastien Tixeuil (eds.).
IMPRINT: Berlin : Springer, c2005.
CALL: QA76.9 .S88 I143 2005
AUTHOR: IEEE/ACM/IFIP International Conference on Hardware/Software
Codesign & System Synthesis (3rd : 2005 : Jersey City, N.J.)
TITLE: CODES+ISSS 2005 : International Conference on Hardware/Software
Codesign and System Synthesis : September 18-21, 2005, Jersey City,
New Jersey, USA.
IMPRINT: New York, N.Y. : Association for Computing Machinery,
c2005.
CALL: QA76.9 .S88 T33 2006
AUTHOR: Hermanns, Holger.
TITLE: Tools and algorithms for the construction and analysis of
systems : 12th international conference, TACAS 2006, held as part
of the Joint European Conferences on Theory and Practice of Software,
ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 ; proceedings
/ Holger Hermanns, Jens Palsberg (eds.).
IMPRINT: Berlin : Springer, 2006.
CALL: QA76.9 .W65 W66 2006
AUTHOR: Cohoon, J. McGrath.
TITLE: Women and information technology : research on underrepresentation
/ edited by J. McGrath Cohoon and William Aspray.
IMPRINT: Cambridge, Mass. : MIT Press, c2006.
CALL: QA76.95 .I565 2005
AUTHOR: Kohlhase, Michael, 1964-
TITLE: Mathematical knowledge management : 4th international conference,
MKM 2005, Bremen, Germany, July 15-17, 2005 : revised selected
papers / Michael Kohlhase (ed.).
IMPRINT: Berlin ; New York : Springer, c2006.
CALL: QA166 .G717 2005
AUTHOR: Kratsch, D. (Dieter)
TITLE: Graph-theoretic concepts in computer science : 31st international
workshop, WG 2005, Metz, France, June 23-25, 2005 : revised selected
papers / Dieter Kratsch (ed.).
IMPRINT: Berlin ; New York : Springer, c2005.
CALL: QA174 .A675 2004
AUTHOR: Grigorchuk, R. I.
TITLE: Topological and asymptotic aspects of group theory : AMS
Special Session, Probabilitistic and Asymptotic aspects of Group
Theory, March 26-27, 2004, Athens, Ohio : AMS Special Session,
Topological Aspects of Group Theory, October 16-17, 2004, Nashville,
Tennessee / Rostislav Grigorchuk ... [et al.], editors.
IMPRINT: Providence, R.I. : American Mathematical Society, c2006.
CALL: QA182.5 .M54 2004
AUTHOR: Mikhalev, Alexander A., 1965-
TITLE: Combinatorial methods : free groups, polynomials and free
algebras / Alexander A. Mikhalev, Vladimir Shpilrain, Jie-Tai Yu.
IMPRINT: New York : Springer, c2004.
CALL: QA241 .C6895 2000
AUTHOR: Théra, M. A. (Michel A.), 1946-
TITLE: Constructive, experimental, and nonlinear analysis / Michel
Théra, editor.
IMPRINT: Providence, R.I. : Published by the American Mathematical
Society for the Canadian Mathematical Society, c2000.
CALL: QA246 .C65 2006
AUTHOR: Cojocaru, Alina.
TITLE: An introduction to sieve methods and their applications.
IMPRINT: Cambridge, UK ; New York : Cambridge University Press,
2006.
CALL: QA247 .H69 2006
AUTHOR: Howie, John M.
TITLE: Fields and Galois theory.
IMPRINT: London : Springer, c2006.
CALL: QA251.5 .A767 2006
AUTHOR: Assem, Ibrahim.
TITLE: Elements of the representation theory of associative algebras
/ Ibrahim Assem, Daniel Simson, Andrzej Skowro*nski.
IMPRINT: Cambridge, UK ; New York : Cambridge University Press,
2006-
CALL: QA252 .S23 2006
AUTHOR: Sabinin, Lev V. (Lev Vasil’evitch)
TITLE: Non-associative algebra and its applications / edited by
Lev Sabinin, Larissa Sbitneva, Ivan Shestakov.
IMPRINT: Boca Raton : Chapman & Hall/CRC, 2006.
CALL: QA252.3 .S78 2006
AUTHOR: Bernstein, Joseph, 1945-
TITLE: Studies in Lie theory : dedicated to A. Joseph on his sixtieth
birthday.
IMPRINT: Boston : Birkhäuser, c2006.
CALL: QA267 .C524 2005
AUTHOR: Ferré, Jacques.
TITLE: Implementation and application of automata : 10th international
conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005
: revised selected papers / Jacques Farré, Igor Litovsky,
Sylvain Schmitz (eds.).
IMPRINT: Berlin ; New York : Springer, 2006.
CALL: QA267 .P76 2005
AUTHOR: Middeldorp, Aart, 1963-
TITLE: Processes, terms and cycles : steps on the road to infinity
: essays dedicated to Jan Willem Klop on the occasion of his 60th
birthday / Aart Middeldorp ... [et al.] (eds.).
IMPRINT: Berlin ; New York : Springer, c2005.
CALL: QA268 .C76 2005
AUTHOR: Smart, Nigel P. (Nigel Paul), 1967-
TITLE: Cryptography and coding : 10th IMA International Conference,
Cirencester, UK, December 19-21, 2005 : proceedings / Nigel P.
Smart (ed.).
IMPRINT: Berlin ; New York : Springer, c2005.
CALL: QA273.6 .N45 2006
AUTHOR: Nelsen, Roger B.
TITLE: An introduction to copulas.
IMPRINT: New York : Springer, c2006.
CALL: QA274 .B399 2006
AUTHOR: Beichelt, Frank, 1942-
TITLE: Stochastic processes in science, engineering, and finance
/ Frank Beichelt.
IMPRINT: Boca Raton : Chapman & Hall/CRC, 2006.
CALL: QA274.2 .N49 1998
AUTHOR: Jost, Jürgen, 1956-
TITLE: New directions in Dirichlet forms / Jürgen Jost ...
[et al.].
IMPRINT: Providence, R.I. : American Mathematical Society : International
Press, c1998.
CALL: QA276 .M79 2006
AUTHOR: Mukhopadhyay, Nitis, 1950-
TITLE: Introductory statistical inference / Nitis Mukhopadhyay.
IMPRINT: Boca Raton : Chapman & Hall/CRC, 2006.
CALL: QA300 .S18 2003
AUTHOR: Saff, E. B., 1944-
TITLE: Fundamentals of complex analysis with applications to engineering
and science / E.B. Saff, A.D. Snider ; with an appendix by Lloyd
N. Trefethen and Tobin Driscoll.
IMPRINT: Upper Saddle River, N.J. : Prentice Hall, c2003.
CALL: QA314 .K55 2006
AUTHOR: Kilbas, A. A. (Anatolii Aleksandrovich)
TITLE: Theory and applications of fractional differential equations
/ Anatoly A. Kilbas, Hari M. Srivastava, Juan J. Trujillo.
IMPRINT: Amsterdam ; Boston : Elsevier, 2006.
CALL: QA322.4 .O64 2006
AUTHOR: Langer, Matthias.
TITLE: Operator theory and indefinite inner product spaces : presented
on the occasion of the retirement of Heinz Langer in the Colloquium
on Operator Theory, Vienna, March 2004 / Matthias Langer, Annemarie
Luger, Harald Woracek, editors.
IMPRINT: Basel ; Boston : Birkhäuser, 2006.
CALL: QA329 .W673 2003
AUTHOR: Förster, Karl-Heinz, 1938-
TITLE: Operator theory in Krein spaces and nonlinear eigenvalue
problems / Karl-Heinz Förster, Peter Jonas, Heinz Langer,
editors.
IMPRINT: Boston : Birkhäuser Verlag, 2006.
CALL: QA353 .G44 W55 2006
AUTHOR: Wilf, Herbert S., 1931-
TITLE: Generatingfunctionology / Herbert S. Wilf.
IMPRINT: Wellesley, Mass. : A K Peters, c2006.
CALL: QA372 .Z54 1997
AUTHOR: Zill, Dennis G., 1940-
TITLE: A first course in differential equations with modeling applications
/ Dennis G. Zill.
IMPRINT: Pacific Grove, CA : Brooks/Cole, c1997.
CALL: QA402 .L44 2006
AUTHOR: Leemis, Lawrence M.
TITLE: Discrete-event simulation : a first course / Lawrence M.
Leemis, Steve K. Park.
IMPRINT: Upper Saddle River, N.J. : Pearson Prentice Hall, c2006.
CALL: QA402.5 .E26 2006
AUTHOR: Bampis, Evripidis.
TITLE: Efficient approximation and online algorithms : recent progress
on classical combinatorial optimization problems and new applications
/ Evripidis Bampis, Klaus Jansen, Claire Kenyon (eds.).
IMPRINT: Berlin ; New York : Springer, c2006.
CALL: QA402.5 .R87 2006
AUTHOR: Ruszczy*nski, Andrzej P.
TITLE: Nonlinear optimization / Andrzej Ruszczy*nski.
IMPRINT: Princeton : Princeton University Press, c2006.
CALL: QA448 .D38 I577 2004
AUTHOR: Hong, Hoon.
TITLE: Automated deduction in geometry : 5th international workshop,
ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised
papers / Hoon Hong, Dongming Wang (eds.).
IMPRINT: Berlin ; New York : Springer, c2006.
CALL: QA571 .M385 2000
AUTHOR: Cipolla, Roberto.
TITLE: The mathematics of surfaces IX : proceedings of the Ninth
IMA Conference on the Mathematics of Surfaces / Roberto Cipolla
and Ralph Martin (eds.).
IMPRINT: London ; New York : Springer, 2000.
CALL: QA612.32 .K57 2006
AUTHOR: Kirwan, Frances Clare, 1959-
TITLE: An introduction to intersection homology theory.
IMPRINT: Boca Raton : Chapman & Hall/CRC, 2006.
CALL: QA612.7 .M68 2006
AUTHOR: Moubachir, Marwan.
TITLE: Moving shape analysis and control : applications to fluid
structure interactions / Marwan Moubachir, Jean-Paul Zolésio.
IMPRINT: Boca Raton, FL : Chapman & Hall/CRC, 2006.
CALL: QA641 .S675 1989
AUTHOR: Stoker, J. J. (James Johnston), 1905-
TITLE: Differential geometry / J.J. Stoker.
IMPRINT: New York : Wiley-Interscience, 1989, c1969.
CALL: QH447 .R34 2005
AUTHOR: McLysaght, Aoife.
TITLE: Comparative genomics : RECOMB 2005 International Workshop,
RCG 2005, Dublin, Ireland, September 18-20, 2005 ; proceedings
/ Aoife McLysaght, Daniel H. Huson (eds.).
IMPRINT: Berlin ; New York : Springer, 2005.
CALL: T57.6 .A5 V.141
AUTHOR: Artalejo, Jesus R.
TITLE: Algorithmic methods in retrial queues.
IMPRINT: Norwell, Mass. ; [Great Britain] : Springer, 2006.
CALL: TA174 .I54 2004 V.1
AUTHOR: Shen, Weiming.
TITLE: Computer supported cooperative work in design : 8th international
conference, CSCWD 2004, Xiamen, China, May 26-28, 2004 : revised
selected papers / Weiming Shen ... [et al.] (eds.).
IMPRINT: Berlin ; New York : Springer, 2005-.
CALL: TA1650 .D37 2006
AUTHOR: Bunke, Horst.
TITLE: Document analysis systems VII : 7th international workshop,
DAS 2006, Nelson, New Zealand, February 13-15, 2006 : proceedings
/ Horst Bunke, A. Lawrence Spitz (Eds.).
IMPRINT: Berlin ; New York : Springer, 2006.
CALL: TK5102.9 .I32 2006
AUTHOR: Rosca, Justinian P., 1959-
TITLE: Independent component analysis and blind signal separation
: 6th international conference, ICA 2006, Charleston, SC, USA,
March 5-8, 2006 : proceedings / Justinian Rosca ... [et al.] (eds.).
IMPRINT: Berlin ; New York : Springer, c2006.
CALL: TK7882 .P3 H35 2005
AUTHOR: Chen, C. H. (Chi-hau), 1937-
TITLE: Handbook of pattern recognition and computer vision / editors,
C.H. Chen, P.S.P. Wang.
IMPRINT: Singapore ; Hackensack, NJ : World Scientific, c2005.
CALL: TK7895 .E42 E55 2005
AUTHOR: Enokido, Tomoya.
TITLE: Embedded and ubiquitous computing--EUC 2005 workshops :
EUC 2005 workshops : UISW, NCUS, SecUbiq, USN and TAUES, Nagasaki,
Japan, December 6-9, 2005 : proceedings / editors, Tomoya Enokido
... [et al.].
IMPRINT: Berlin ; New York : Springer, 2005.
CALL: TK7895 .E42 E962 2005
AUTHOR: Yang, Laurence Tianruo.
TITLE: Embedded and ubiquitous computing--EUC 2005 : international
conference, EUC 2005, Nagasaki, Japan, December 6-9, 2005 : proceedings
/ editors, Laurence T Yang ... [et al.].
IMPRINT: Berlin ; New York : Springer, 2005.
New Books List Archive
Linda Yamamoto
Last modified:
May 5, 2006
|