Collection Lecture notes in computer science
Documents disponibles dans la collection (4)
Affiner la recherche
document électronique
Huang, De-Shuang, Auteur ; Heutte, Laurent, Auteur ; Loog, Marco, Auteur | Berlin ; London ; New York : Springer | Lecture notes in computer science | 2007This volume, in conjunction with the two volumes CICS 0002 and LNAI 4682, constitutes the refereed proceedings of the Third International Conference on Intelligent Computing held in Qingdao, China, in August 2007. The conference attracted leadin[...]
document électronique
Huang, De-Shuang, Auteur ; Huang, Guang-Bin, Auteur | Berlin ; London ; New York : Springer | Lecture notes in computer science | 2005Intelligent Computing, ICIC 2005, held in Hefei, China, in August 2005. The program committee selected 215 carefully revised full papers for presentation in two volumes from over 2000 submissions, based on rigorous peer reviews. The first volum[...]
document électronique
Derong Liu, Éditeur scientifique ; Shumin Fei, Éditeur scientifique ; Zeng-Guang Hou, Éditeur scientifique | Berlin ; London ; New York : Springer | Lecture notes in computer science | 2007This book is part of a three volume set that constitutes the refereed proceedings of the 4th International Symposium on Neural Networks, ISNN 2007, held in Nanjing, China in June 2007. The 262 revised long papers and 192 revised short papers [...]
texte imprimé
Roland Backhouse, Auteur ; Roy Crole, Auteur ; Jeremy Gibbons, Éditeur scientifique | Berlin ; London ; New York : Springer | Lecture notes in computer science | 2002Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoi[...]
