Zonder udc
Linux Shell scripting with Bash / Ken O. Burtch. - Indianapolis, Ind. : Sams, 2004. - 412 p. - ISBN-10 0-672-32642-6UA-CMI: WIS 681.35 G-BURT 2004
The mathematics of arbitrage / Freddy Delbaen ; Walter Schachermayer. - Berlin : Springer, 2006. - 373 p. - (Springer finance ; 2006: 3). - ISBN-13 978-3-540-21992-7UA-CMI: WIS 519.5 G-DELB 2006
Computing concepts / Stephen Haag ; Maeve Cummings ; Alan I. Rea [jr]. - New York, N.Y. : McGraw-Hill/Irwin, 2002. - ISBN-10 0-07-246401-1UA-CMI: WIS 681.33 G-HAAG 2002
Wiskunde 5: analyse 1 / E. Jennekens ; G. Deen. - 2 ed. - Oostmalle : De Sikkel, 1989. - 306 p. - (Studiepakket E. Jennekens - G. Deen ; 1989: 1). - ISBN-10 90-260-3213-7UA-CMI: HB-WSIF-LOWEB
XSLT cookbook / Sal Mangano. - 2 ed. - Beijing : O'Reilly, 2006. - 751 p. - ISBN-13 978-0-596-00974-8UA-CMI: WIS 681.33 G-MANG 2006
Congresverslagen
Proceedings / IEEE Symposium on Logic in Computer Science. - Washington, D.C.UA-CMI: WIS 681.31 G-IEEE 98
13(1998)
UA-CMI: HB-WSIF-JANSD
22(2007)
Filosofie
Logic in computer science: modelling and reasoning about systems / Michael Huth ; Mark Ryan. - Cambridge : Cambridge University Press, 2004. - 427 p. - ISBN-10 0-521-54310-XUA-CMI: WIS 681.31 G-HUTH 2004
The mathematics of Egypt, Mesopotamia, China, India, and Islam: a sourcebook / Victor Katz. - Princeton, N.J. : Prince University Press, 2007. - 685 p. - ISBN-13 978-0-691-11485-9UA-CMI: WIS 164 G-KATZ 2007
Proceedings / IEEE Symposium on Logic in Computer Science. - Washington, D.C.UA-CMI: WIS 681.31 G-IEEE 98
13(1998)
UA-CMI: HB-WSIF-JANSD
22(2007)
Logica
Logic in computer science: modelling and reasoning about systems / Michael Huth ; Mark Ryan. - Cambridge : Cambridge University Press, 2004. - 427 p. - ISBN-10 0-521-54310-XUA-CMI: WIS 681.31 G-HUTH 2004
The mathematics of Egypt, Mesopotamia, China, India, and Islam: a sourcebook / Victor Katz. - Princeton, N.J. : Prince University Press, 2007. - 685 p. - ISBN-13 978-0-691-11485-9UA-CMI: WIS 164 G-KATZ 2007
Proceedings / IEEE Symposium on Logic in Computer Science. - Washington, D.C.UA-CMI: WIS 681.31 G-IEEE 98
13(1998)
UA-CMI: HB-WSIF-JANSD
22(2007)
Wiskunde
Advances in deterministic and stochastic analysis / [edit.] N.M. Chuong ; [edit.] P.G. Ciarlet ; [edit.] P. Lax ; a.o. - Singapore : World Scientific, 2007. - 360 p. - ISBN-13 978-981-270-550-1UA-CMI: WIS 519.1 G-CHUO 2007
Logic in computer science: modelling and reasoning about systems / Michael Huth ; Mark Ryan. - Cambridge : Cambridge University Press, 2004. - 427 p. - ISBN-10 0-521-54310-XUA-CMI: WIS 681.31 G-HUTH 2004
The mathematics of Egypt, Mesopotamia, China, India, and Islam: a sourcebook / Victor Katz. - Princeton, N.J. : Prince University Press, 2007. - 685 p. - ISBN-13 978-0-691-11485-9UA-CMI: WIS 164 G-KATZ 2007
Proceedings / IEEE Symposium on Logic in Computer Science. - Washington, D.C.UA-CMI: WIS 681.31 G-IEEE 98
13(1998)
UA-CMI: HB-WSIF-JANSD
22(2007)
Invariant probabilities of Markov-Feller operators and their supports / Radu Zaharopol. - Basel : Birkhäuser, 2005. - 108 p. - (Frontiers in mathematics ; 2005: 1). - ISBN-13 978-3-7643-7134-0UA-CMI: WIS 518.5 G-ZAHA 2005
Computer. Informatica
Computers: tools for an information age / H. L. Capron ; J. A. Johnson. - 8 ed. - Upper Saddle River, N.J. : Pearson, 2004. - 600 p. - Met 2 CD-ROM's. - ISBN-10 0-13-140564-0UA-CMI: WIS 681.3 G-CAPR 2004
Data abstraction and problem solving Java: walls and mirors / Frank M. Carrano ; Janet J. Prichard. - Boston : Addison-Wesley, 2001. - 806 p. - ISBN-10 0-201-71330-6UA-CMI: WIS 681.31 G-CARR 2001
Grid technologies: emerging from distributed architectures to virtual organizations / [edit.] M.P. Bekakos ; [edit.] G.A. Gravvanis ; [edit.] H.R. Arabnia. - WIT Press : Southampton, 2006. - 475 p. - ISBN-13 978-1-84564-055-2UA-CMI: WIS 681.35 G-BEKA 2006
Logic in computer science: modelling and reasoning about systems / Michael Huth ; Mark Ryan. - Cambridge : Cambridge University Press, 2004. - 427 p. - ISBN-10 0-521-54310-XUA-CMI: WIS 681.31 G-HUTH 2004
Java: software structures: designing and using data structures / John Lewis ; Joseph Chase. - Boston : Pearson, 2004. - 666 p. - ISBN-10 0-321-22531-7UA-CMI: WIS 681.33 G-LEWI 2004
Computers: information technology in perspective / Larry Long ; Nancy Long. - 11 ed. - Upper Saddle River, N.J. : Pearson/Prentice Hall, 2004. - 481 p. - ISBN-10 0-13-121780-1UA-CMI: WIS 681.3 G-LONG 2004
Connection-oriented networks: SONET/SDH, ATM, MPLS and optical networks / Harry G. Perros. - Chichester : Wiley, 2005. - 332 p. - ISBN-10 0-470-02163-2UA-CMI: HB-WSIF-LAMBJ
Proceedings / IEEE Symposium on Logic in Computer Science. - Washington, D.C.UA-CMI: WIS 681.31 G-IEEE 98
13(1998)
UA-CMI: HB-WSIF-JANSD
22(2007)
Unix / Deborah S. Ray ; Eric J. Ray. - 3 ed. - Berkeley, Calif : Peachpit Press, 2007. - 430 p. - (Visual QuickStart Guide ; 2007: 1). - ISBN-10 0-321-44245-8UA-CMI: WIS 681.33 G-RAY 2007
Introduction to UNIX / David I. Schwartz. - 2 ed. - Upper Saddle River, N.J. : Pearson, 2006. - 248 p. - ISBN-10 0-13-061308-8UA-CMI: WIS 681.33 G-SCHW 2006
Distributed systems: principles and paradigms / Andrew S. Tanenbaum ; Maarten van Steen. - 2 ed. - Upper Saddle River, N.J. : Prentice Hall, 2007. - 803 p., ill. - ISBN-10 0-13-239227-5UA-CMI: WIS 681.35 G-TANE 2007
Programming languages: principles and paradigms / Allen Tucker ; Robert Noonan. - Boston : McGraw-Hill, 2002. - 411 p. - ISBN-10 0-07-238111-6UA-CMI: WIS 681.33 G-TUCK 2002