Aanwinsten van UA-CMI
Periode 2009/09
Congresverslagen
TAU 2008: proceedings of the 10th International Workshop on Tau Lepton Physics, Novosibirsk, Russia, 22-25 September 2008 / [edit.] A. Bondar ; [edit.] S. Eidelman. - Amsterdam : Elsevier, 2009. - 387 p. - (Nuclear physics: B: proceedings supplements ; 189)
UA-CMI: V-CLZ-V
Filosofie
Sets, logic and maths for computing / David Makinson. - London : Springer, 2008. - 302 p. - (Undergraduate topics in computer science ; 2008: 1). - ISBN-13 978-1-84628-844-9 ; ISBN-13 978-1-84628-845-6
UA-CMI: WIS 164 G-MAKI 2008
Introduction to mathematical logic / Elliott Mendelson. - 5 ed. - London : Chapman & Hall, 2010. - 469 p. - (Discrete mathematics and its applications ; 2010: 1). - ISBN-13 978-1-58488-876-5
UA-CMI: WIS 164 G-MEND 2010
Logica
Sets, logic and maths for computing / David Makinson. - London : Springer, 2008. - 302 p. - (Undergraduate topics in computer science ; 2008: 1). - ISBN-13 978-1-84628-844-9 ; ISBN-13 978-1-84628-845-6
UA-CMI: WIS 164 G-MAKI 2008
Introduction to mathematical logic / Elliott Mendelson. - 5 ed. - London : Chapman & Hall, 2010. - 469 p. - (Discrete mathematics and its applications ; 2010: 1). - ISBN-13 978-1-58488-876-5
UA-CMI: WIS 164 G-MEND 2010
Opvoeding. Onderwijs
Reflections on the teaching of programming: methods and implementations / [edit.] Jens Bennedsen ; [edit.] Michael E. Caspersen ; [edit.] Michael Kölling. - Berlin : Springer, 2008. - 259p. - (Lecture notes in computer science ; 4821). - ISBN-13 978-3-540-77934-6
http://dx.doi.org/10.1007/978-3-540-77934-6
UA-CMI: WIS 681.33 G-BENN 2008
Didactiek
Reflections on the teaching of programming: methods and implementations / [edit.] Jens Bennedsen ; [edit.] Michael E. Caspersen ; [edit.] Michael Kölling. - Berlin : Springer, 2008. - 259p. - (Lecture notes in computer science ; 4821). - ISBN-13 978-3-540-77934-6
http://dx.doi.org/10.1007/978-3-540-77934-6
UA-CMI: WIS 681.33 G-BENN 2008
Wiskunde
Algorithmic aspects of bioinformatics / Hans-Joachim Böckenhauer ; Dirk Bongartz. - Berlin : Springer, 2007. - 396 p. - (Natural computing series ; 2007: 1). - ISBN-13 978-3-540-71913-7 ; ISBN-13 978-3-540-71912-0
http://dx.doi.org/10.1007/978-3-540-71913-7
UA-CMI: WIS 517.5 G-BOCL 2007
Dissemination of information in communication networks : broadcasting, gossiping, leader election, and fault-tolerance / Juraj Hromkovič ; Ralf Klasing ; Andrzej Pelc ; e.a. - Berlin : Springer, 2005. - 361 p. - (Texts in theoretical computer science: an EATCS series ; 2005: 3). - ISBN-13 978-3-540-26663-1 ; ISBN-10 3-540-00846-2
http://dx.doi.org/10.1007/b137871
UA-CMI: WIS 517.5 G-HROM 2005
Sets, logic and maths for computing / David Makinson. - London : Springer, 2008. - 302 p. - (Undergraduate topics in computer science ; 2008: 1). - ISBN-13 978-1-84628-844-9 ; ISBN-13 978-1-84628-845-6
UA-CMI: WIS 164 G-MAKI 2008
Introduction to mathematical logic / Elliott Mendelson. - 5 ed. - London : Chapman & Hall, 2010. - 469 p. - (Discrete mathematics and its applications ; 2010: 1). - ISBN-13 978-1-58488-876-5
UA-CMI: WIS 164 G-MEND 2010
Natuurkunde
TAU 2008: proceedings of the 10th International Workshop on Tau Lepton Physics, Novosibirsk, Russia, 22-25 September 2008 / [edit.] A. Bondar ; [edit.] S. Eidelman. - Amsterdam : Elsevier, 2009. - 387 p. - (Nuclear physics: B: proceedings supplements ; 189)
UA-CMI: V-CLZ-V
Biologie. Biochemie. Biofysica
Bioinformatics / [edit.] Jonathan M. Keith. - Totowa, N.J. : Humana, 2008. - 562 p. - (Methods in molecular biology ; 452). - ISBN-13 978-1-58829-707-5
UA-CMI: HB-WSIF-LAUKK
1
Algorithmic aspects of bioinformatics / Hans-Joachim Böckenhauer ; Dirk Bongartz. - Berlin : Springer, 2007. - 396 p. - (Natural computing series ; 2007: 1). - ISBN-13 978-3-540-71913-7 ; ISBN-13 978-3-540-71912-0
http://dx.doi.org/10.1007/978-3-540-71913-7
UA-CMI: WIS 517.5 G-BOCL 2007
Bedrijfsorganisatie, incl. ambachten
Model-driven design using business patterns / Pavel Hruby ; [medew.] Jesper Kiehn ; e.a. - Berlin : Springer, 2006. - 368 p., ill. - ISBN-10 3-540-30154-2 ; ISBN-13 978-3-540-30154-7
UA-CMI: WIS 681.33 G-HRUB 2006
Bedrijfseconomie
Model-driven design using business patterns / Pavel Hruby ; [medew.] Jesper Kiehn ; e.a. - Berlin : Springer, 2006. - 368 p., ill. - ISBN-10 3-540-30154-2 ; ISBN-13 978-3-540-30154-7
UA-CMI: WIS 681.33 G-HRUB 2006
Computer. Informatica
Bioinformatics / [edit.] Jonathan M. Keith. - Totowa, N.J. : Humana, 2008. - 562 p. - (Methods in molecular biology ; 452). - ISBN-13 978-1-58829-707-5
UA-CMI: HB-WSIF-LAUKK
1
Algorithmic aspects of bioinformatics / Hans-Joachim Böckenhauer ; Dirk Bongartz. - Berlin : Springer, 2007. - 396 p. - (Natural computing series ; 2007: 1). - ISBN-13 978-3-540-71913-7 ; ISBN-13 978-3-540-71912-0
http://dx.doi.org/10.1007/978-3-540-71913-7
UA-CMI: WIS 517.5 G-BOCL 2007
Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems / Howard Bowman ; Rodolfo Gomez. - London : Springer, 2006. - 435 p. - ISBN-13 978-1-84628-336-9 ; ISBN-13 978-1-85233-895-4
http://dx.doi.org/10.1007/1-84628-336-1
UA-CMI: WIS 681.31 G-BOWM 2006
Behavioral modeling for embedded systems and technologies: applications for design and implementation / Luís Gomes ; João M. Fernandes. - Hershey, N.Y. : Information Science Reference, 2010. - 466 p. - ISBN-13 978-1-60566-750-8 ; ISBN-13 978-1-60566-751-5
UA-CMI: WIS 681.33 G-GOME 2010
Finite model theory and its applications / Erich Grädel ; Phokion G. Kolaitis ; Leonid Libkin ; e.a. - Berlin : Springer, 2007. - 437 p. - (Texts in theoretical computer science: an EATCS series ; 2007: 1). - ISBN-13 978-3-540-00428-8
UA-CMI: WIS 681.31 G-GRAD 2007
Design and analysis of randomized algorithms: introduction to design paradigms / Juraj Hromkovic. - Berlin : Springer, 2005. - 274 p. - (Texts in theoretical computer science: an EATCS series ; 2005: 1). - ISBN-10 3-540-23949-9 ; ISBN-13 978-3-540-23949-9
UA-CMI: WIS 681.31 G-HROM 2005
Dissemination of information in communication networks : broadcasting, gossiping, leader election, and fault-tolerance / Juraj Hromkovič ; Ralf Klasing ; Andrzej Pelc ; e.a. - Berlin : Springer, 2005. - 361 p. - (Texts in theoretical computer science: an EATCS series ; 2005: 3). - ISBN-13 978-3-540-26663-1 ; ISBN-10 3-540-00846-2
http://dx.doi.org/10.1007/b137871
UA-CMI: WIS 517.5 G-HROM 2005
Model-driven design using business patterns / Pavel Hruby ; [medew.] Jesper Kiehn ; e.a. - Berlin : Springer, 2006. - 368 p., ill. - ISBN-10 3-540-30154-2 ; ISBN-13 978-3-540-30154-7
UA-CMI: WIS 681.33 G-HRUB 2006
Semantics with applications: an appetizer / Hanne Riis Nielson ; Flemming Nielson. - London : Springer, 2007. - 274 p. - (Undergraduate topics in computer science ; 2007: 2). - ISBN-13 978-1-84628-692-6 ; ISBN-13 978-1-84628-691-9
http://dx.doi.org/10.1007/978-1-84628-692-6
UA-CMI: WIS 681.31 G-NIEL 2007
Reflections on the teaching of programming: methods and implementations / [edit.] Jens Bennedsen ; [edit.] Michael E. Caspersen ; [edit.] Michael Kölling. - Berlin : Springer, 2008. - 259p. - (Lecture notes in computer science ; 4821). - ISBN-13 978-3-540-77934-6
http://dx.doi.org/10.1007/978-3-540-77934-6
UA-CMI: WIS 681.33 G-BENN 2008