Computational Linguistics and Intelligent Text Processing
This book cover all current issues in computational linguistics research and present intelligent text processing applications. ...
Weiterlesen
Computational Linguistics and Intelligent Text Processing
This book cover all current issues in computational linguistics research and present intelligent text processing applications. ...
Weiterlesen
Computational Logic in Multi-Agent Systems
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
Weiterlesen
Computational Logic in Multi-Agent Systems
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
Weiterlesen
Computational Methods in Systems Biology : 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings
This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, ...
Weiterlesen
Computational Methods in Systems Biology : 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Computational Methods in Systems Biology, ...
Weiterlesen
Computational Probability
Computational probability encompasses data structures and algorithms that have emerged over the past decade that allow researchers ...
Weiterlesen
Computational Science -- ICCS 2005 (vol. # 3514)
This book constitutes the refereed proceedings of the Fifth International Conference on Computational Science (ICCS 2005) ...
Weiterlesen
Computational studies of RNA and DNA
Computational Studies of RNA and DNA includes, in an integrated way, modern computational studies of nucleic acids, ranging ...
Weiterlesen
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Weiterlesen
Computer Aided Verification
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Weiterlesen
Computer Aided Verification (vol. # 3576)
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...
Weiterlesen
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...
Weiterlesen
Computer Algebra in Scientific Computing
The book covers not only various expanding applications of computer algebra to scientific computing but also the computer ...
Weiterlesen
Computer Algebra in Scientific Computing
The book covers not only various expanding applications of computer algebra to scientific computing but also the computer ...
Weiterlesen
Computer Algebra in Scientific Computing (vol. # 4194)
This volume contains revised versions of the papers submitted to the workshop by the participants and accepted by the program ...
Weiterlesen
Computer And Computing Technologies In Agriculture, Volume I : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Weiterlesen
Computer And Computing Technologies In Agriculture, Volume II : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Weiterlesen
Computer Mathematics : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ...
Weiterlesen
Computer Music Modeling and Retrieval (vol. # 3310)
This volume contains the final proceedings for the 2004 Computer Music Model-ing and Retrieval Symposium (CMMR 2004). CMMR ...
Weiterlesen
