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-2RUCA: 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-9RUCA: 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-9RUCA: 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-0RUCA: 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-9RUCA: 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-4RUCA: WIS 518 G-HROM 2004
Algorithms on trees and graphs / Gabriel Valiente. - Berlin : Springer, 2002. - 490 p. - ISBN 3-540-43550-6RUCA: WIS 681.31 G-VALI 2002
Approximation algorithms / Vijay V. Vazirani. - 2 ed. - Berlin : Springer, 2003. - 380 p. - ISBN 3-540-65367-8RUCA: 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-1RUCA: 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-2RUCA: 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-9RUCA: 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-8RUCA: DGK-WEYNS
Langman's essential medical embryology image bank / Thomas W. Sadler. - Philadelphia, Pa : Lippincott Williams & Wilkins, 2005. - ISBN 0-7817-5749-5RUCA: 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-0RUCA: SCHK-NAGEL
Pathologie
Neurogastroenterology / Mark Berner Hansen. - Copenhagen : H:S Bispebjerg University Hospital of Copenhagen, 2004. - 145 p. - ISBN 87-989118-1-3RUCA: 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-9RUCA: 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-8RUCA: 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-4RUCA: 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-1RUCA: 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-6RUCA: 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-0RUCA: WIS 681.33 G-GALL 2003
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-9RUCA: 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-4RUCA: 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-8RUCA: 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-9RUCA: 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-3RUCA: 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-8RUCA: 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-8RUCA: 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-7RUCA: WIS 681.31 G-LIBK 2004
JUnit in action / Vincent Massol ; Ted Husted. - Greenwich : Manning, 2004. - 360 p. - ISBN 1-930110-99-5RUCA: 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-3RUCA: 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-7RUCA: 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-0RUCA: 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-8RUCA: 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-7RUCA: 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-6RUCA: WIS 681.33 G-SUTT 2005
Exceptional C++ style: 40 new engineering puzzles, programming problems, and solutions / Herb Sutter. - Boston, Mass. : Addison-Wesley, 2005. - 325 p. - (The C++ in-depth series ; 2005: 2). - ISBN 0-201-76042-8RUCA: WIS 681.33 G-SUTT 2005
Algorithms on trees and graphs / Gabriel Valiente. - Berlin : Springer, 2002. - 490 p. - ISBN 3-540-43550-6RUCA: WIS 681.31 G-VALI 2002
Approximation algorithms / Vijay V. Vazirani. - 2 ed. - Berlin : Springer, 2003. - 380 p. - ISBN 3-540-65367-8RUCA: WIS 518.1 G-VAZI 2003
Aardrijkskunde
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-1RUCA: WIS 528 G-MCGL 2004