This book cover all current issues in computational linguistics research and present intelligent text processing applications. ...
Lee mas
This book cover all current issues in computational linguistics research and present intelligent text processing applications. ...
Lee mas
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
Lee mas
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Computational Logic for ...
Lee mas
This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, ...
Lee mas
This book constitutes the refereed proceedings of the 6th International Conference on Computational Methods in Systems Biology, ...
Lee mas
Computational probability encompasses data structures and algorithms that have emerged over the past decade that allow researchers ...
Lee mas
This book constitutes the refereed proceedings of the Fifth International Conference on Computational Science (ICCS 2005) ...
Lee mas
Computational Studies of RNA and DNA includes, in an integrated way, modern computational studies of nucleic acids, ranging ...
Lee mas
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Lee mas
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...
Lee mas
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...
Lee mas
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, ...
Lee mas
The book covers not only various expanding applications of computer algebra to scientific computing but also the computer ...
Lee mas
The book covers not only various expanding applications of computer algebra to scientific computing but also the computer ...
Lee mas
This volume contains revised versions of the papers submitted to the workshop by the participants and accepted by the program ...
Lee mas
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee mas
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lee mas
This book constitutes thoroughly refereed post-conference proceedings of the 8th Asian Symposium on Computer Mathematics, ...
Lee mas
This volume contains the final proceedings for the 2004 Computer Music Model-ing and Retrieval Symposium (CMMR 2004). CMMR ...
Lee mas