3540401172 : Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings / Thomas Ball, Sriram K. Rajamani (eds.)
2003
1
3540401202 : Konzeptionelle Modelle für die ergotherapeutische Praxis / von Christina Jerosch-Herold, Ulrike Marotzki, Birgit Maria Hack, Peter Weber.
3540401245 : Advances in Web intelligence : First International Atlantic Web Intelligence Conference, AWIC 2003, Madrid, Spain, May 5-6, 2003, proceedings / Ernestina Menasalvas, Javier Segovia, Piotr S. Szczepaniak, eds.
2003
1
3540401296 : Processes with long-range correlations : theory and applications / G. Rangarajan, M. Ding, eds.
2003
1
3540401318 : Heavy metal stress in plants : from biomolecules to ecosystems / M.N.V. Prasad, ed.
2004
1
3540401326 : Advanced functional programming : 4th international school, AFP 2002, Oxford, UK, August 19-24, 2002 : revised lectures / Johan Jeuring, Simon Peyton Jones (eds.)
2003
1
3540401369 : Reviews of physiology, biochemistry and pharmacology. 148 / editors, S.G. Amara, Portland [and eleven others].
2004
1
3540401377 : Third generation photovoltaics : advanced solar energy conversion / M.A. Green.
2006
1
3540401385 : Introductory operations research : theory and applications / Harvir Singh Kasana, Krishna Dev Kumar.
