Periode 2005/01

Zonder udc

Electrochemical microsystem technologies / [edit.] J. Walter Schultze ; [edit.] Tetsuya Osaka ; [edit.] Madhav Datta. - London : Taylor & Francis, 2002. - 569 p., ill. - (New trends in electrochemical technology ; 2). - ISBN 0-415-27355-2

RUCA: SCHK-NAGEL

The new encyclopedia of mammals / [edit.] David Macdonald ; [edit.] Sasha Norris. - 2 ed. - Oxford : Oxford University Press, 2002. - 930 p., ill. - ISBN 0-19-850823-9

RUCA: BIO

Epistemologie. Wetenschapstheorie

Hoe het leven de dingen regelt: de mens als noodzakelijke uitkomst van de evolutie / Simon Conway Morris. - Diemen : Veen, 2004. - 506 p., ill. - ISBN 90-76988-43-9

RUCA: CBG 575 M-B 45.800

Wiskunde

Adaptive mesh refinement: theory and applications: proceedings of the Chicago Workshop on Adaptive Mesh Refinement Methods, September 3-5, 2003 / [edit.] Tomasz Plewa ; [edit.] Timur Linde ; [edit.] V. Gregory Weirs. - Berlin : Springer, 2005. - 554 p., ill. - (Lecture notes in computational science and engineering ; 41). - ISBN 3-540-21147-0

RUCA: WIS 518 G-PLEW 2005

Handbook of scheduling: algorithms, models, and performance analysis / [edit.] Joseph Y.T. Leung. - Boca Raton, Fla : Chapman & Hall/CRC, 2004. - (Chapman & Hall /CRC computer and information science series ; 2004: 1). - ISBN 1-58488-397-9

RUCA: WIS 518.5 G-LEUN 2004

Algorithmics for hard problems: introduction to combinatorial optimization, randomization, approximation, and heuristics / Juraj Hromkovic. - 2 ed. - Berlin : Springer, 2004. - 536 p. - (Texts in theoretical computer science: an EATCS series ; 2004: 1). - ISBN 3-540-44134-4

RUCA: WIS 518 G-HROM 2004

Algorithms on trees and graphs / Gabriel Valiente. - Berlin : Springer, 2002. - 490 p. - ISBN 3-540-43550-6

RUCA: WIS 681.31 G-VALI 2002

Approximation algorithms / Vijay V. Vazirani. - 2 ed. - Berlin : Springer, 2003. - 380 p. - ISBN 3-540-65367-8

RUCA: WIS 518.1 G-VAZI 2003

Sterrenkunde

Manual of photogrammetry / [edit.] J. Chris McGlone ; [edit.] Edward M. Mikhail ; [edit.] James Bethel ; [edit.] a.o. - 5 ed. - Bethesda, Md. : American Society for Photogrammetry and Remote Sensing, 2004. - 1151 p. - ISBN 1-57083-071-1

RUCA: WIS 528 G-MCGL 2004

Biologie. Biochimie. Biofysica

Invasive species: vectors and management strategies / [edit.] Gregory M. Ruiz ; [edit.] James T. Carlton. - Washington, D.C. : Island Press, 2003. - 518 p. - ISBN 1-55963-903-2

RUCA: BIO

Hoe het leven de dingen regelt: de mens als noodzakelijke uitkomst van de evolutie / Simon Conway Morris. - Diemen : Veen, 2004. - 506 p., ill. - ISBN 90-76988-43-9

RUCA: CBG 575 M-B 45.800

Geneeskunde

The Netter presenter: human embryology collection version 1.0. - Teterboro, N.J. : Icon Learning Systems, 2002. - ISBN 1-929007-10-8

RUCA: DGK-WEYNS

Langman's essential medical embryology image bank / Thomas W. Sadler. - Philadelphia, Pa : Lippincott Williams & Wilkins, 2005. - ISBN 0-7817-5749-5

RUCA: DGK-WEYNS

Farmacie. Therapie

Molecular modeling: basic principles and applications / Hans-Dieter Höltje ; Wolfgang Sippl ; Didier Rognan ; a.o. ; [medew.] Robin Ghosh ; a.o. - 2 ed. - Weinheim : Wiley-VCH, 2003. - 228 p. - ISBN 3-527-30589-0

RUCA: SCHK-NAGEL

Pathologie

Neurogastroenterology / Mark Berner Hansen. - Copenhagen : H:S Bispebjerg University Hospital of Copenhagen, 2004. - 145 p. - ISBN 87-989118-1-3

RUCA: BMW-TIMME

Bedrijfseconomie

Corporate governance / John L Colley [jr.] ; Jacqueline L. Doyle ; George W. Logan ; a.o. - New York, N.Y. : McGraw-Hill, 2003. - 259 p. - (The McGraw-Hill executive MBA-series ; 2003: 1). - ISBN 0-07-142999-9

RUCA: TBW

Computer. Informatica

Systems and software verification: model-checking techniques and tools / Béatrice Bérard ; Michel Bidoit ; Alain Finkel ; a.o. - Berlin : Springer, 2001. - 190 p. - ISBN 3-540-41523-8

RUCA: WIS 681.33 G-BERA 2001

Software exorcism: a handbook for debugging and optimizing legacy code / Bill Blunden. - Berkeley, Calif : Apress, 2003. - 351 p. - ISBN 1-59059-234-4

RUCA: WIS 681.33 G-BLUN 2003

Boolean functions and computation models / Peter Clote ; Evangelos Kranakis. - Berlin : Springer, 2002. - 601 p. - (Texts in theoretical computer science: an EATCS series ; 2002: 2). - ISBN 3-540-59436-1

RUCA: WIS 681.31 G-CLOT 2002

Formal methods at the crossroads: from Panacea to foundational support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March, 18-20, 2002 / [edit.] Bernard K. Aichernig ; [edit.] Tom Maibaum. - Berlin : Springer, 2003. - 453 p. - (Lecture notes in computer science ; 2757). - ISBN 3-540-20527-6

RUCA: WIS 681.3 F-LNCS:2757

Eclipse in action: a guide for Java developers / David Gallardo ; Ed Burnette ; Robert McGovern. - Greenwich : Manning, 2003. - 383 p. - ISBN 1-930110-96-0

RUCA: WIS 681.33 G-GALL 2003

RUCA: WIS 518.5 G-LEUN 2004

RUCA: WIS 518 G-HROM 2004

Theoretical computer science: introduction to automata, computability, complexity, algorithmics, randomization, communication, and cryptography / Juraj Hromkovic. - Berlin : Springer, 2004. - 313 p. - (Texts in theoretical computer science: an EATCS series ; 2004: 2). - ISBN 3-540-14015-8

RUCA: WIS 681.31 G-HROM 2004

Parallel and distributed programming using C++ / Cameron Hughes ; Tracey Hughes. - London : Addison-Wesley, 2004. - 691 p. - ISBN 0-13-101376-9

RUCA: WIS 681.33 G-HUGH 2004

Use cases: requirements in context / Daryl Kulak ; Eamonn Guiney. - 2 ed. - Boston, Mass. : Addison-Wesley, 2004. - 243 p. - ISBN 0-321-15498-3

RUCA: WIS 681.33 G-KULA 2004

Agile and iterative development: a manager's guide / Craig Larman. - Boston, Mass. : Addison-Wesley, 2004. - 342 p. - (The Agile software development series ; 2004: 1). - ISBN 0-13-111155-8

RUCA: WIS 681.3 G-LARM 2004

Lectures on concurrency and Petri nets / [edit.] Jörg Desel ; [edit.] Wolfgang Reisig ; [edit.] Grzegorz Rozenberg. - Berlin : Springer, 2004. - 848 p. - (Lecture notes in computer science ; 3098). - ISBN 3-540-22261-8

RUCA: WIS 681.3 F-LNCS:3098

Elements of finite model theory / Leonid Libkin. - Berlin : Springer, 2004. - 315 p. - (Texts in theoretical computer science: an EATCS series ; 2004: 3). - ISBN 3-540-21202-7

RUCA: WIS 681.31 G-LIBK 2004

JUnit in action / Vincent Massol ; Ted Husted. - Greenwich : Manning, 2004. - 360 p. - ISBN 1-930110-99-5

RUCA: WIS 681.33 G-MASS 2004

Managing software for growth: without fear, control, and the manufacturing mindset / Roy Miller. - Boston, Mass. : Addison-Wesley, 2004. - 174 p. - ISBN 0-321-11743-3

RUCA: WIS 681.33 G-MILL 2004

Software reliability methods / Doron A. Peled. - New York, N.Y. : Springer, 2001. - 331 p. - (Texts in computer science ; 2001: 2). - ISBN 0-387-95106-7

RUCA: WIS 681.33 G-PELA 2001

Public-key cryptography / Arto Salomaa. - 2 ed. - Berlin : Springer, 1996. - 271 p. - (Texts in theoretical computer science: an EATCS series ; 1996: 1). - ISBN 3-540-61356-0

RUCA: WIS 681.33 G-SALO 96

Programming challenges: the programming contest training manual / Steven S. Skiena ; Miguel A. Revilla. - New York : Springer, 2003. - 359 p. - (Texts in computer science ; 2003: 1). - ISBN 0-387-00163-8

RUCA: WIS 681.33 G-SKIE 2003

Applied Java patterns / Stephen Stelting ; Olav Maassen. - Palo Alto, Calif. : Sun Microsystems Press, 2002. - 574 p. - ISBN 0-13-093538-7

RUCA: WIN

RUCA: WIS 681.33 G-STEL 2002

C++ coding standards: 101 rules, guidelines, and best practices / Herb Sutter ; Andrei Alexandrescu. - Boston, Mass. : Addison-Wesley, 2005. - 220 p. - (The C++ in-depth series ; 2005: 1). - ISBN 0-321-11358-6

RUCA: WIS 681.33 G-SUTT 2005