Search Results

1

New computational paradigms : changing conceptions of what is computable /

New computational paradigms : changing conceptions of what is computable /

New York : Springer, 2008

Book

2

Natural language processing and information systems : 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005 : proceedings /

Natural language processing and information systems : 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-...

Berlin ; New York : Springer, 2005

Conference Proceeding Book

3

Advances in information retrieval : 27th European Conference on IR Research, ECIR 2005, Santiago de Compostela, Spain, March 21-23, 2005 ; proceedings /

Advances in information retrieval : 27th European Conference on IR Research, ECIR 2005, Santiago de Compostela, Spain, March 21-23, 2005 ; proceedings /

Berlin : Springer, 2005

Conference Proceeding Book

4

Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings /

Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

5

Advances in knowledge discovery and data mining : 9th Pacific-Asia conference, PAKDD 2005, Hanoi, Vietnam, May 18-20, 2005 ; proceedings /

Advances in knowledge discovery and data mining : 9th Pacific-Asia conference, PAKDD 2005, Hanoi, Vietnam, May 18-20, 2005 ; proceedings /

Berlin : Springer, 2005

Conference Proceeding Book

6

Natural language processing and information systems : 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005 : proceedings /

Natural language processing and information systems : 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-...

Berlin ; New York : Springer, 2005

Conference Proceeding Book

7

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings /

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings /

Berlin ; New York : Springer, 2005

Conference Proceeding Book

8

Database programming languages : 10th International Sympsosium, DBPL 2005, Trondheim, Norway, August 28-29, 2005 : revised selected papers /

Database programming languages : 10th International Sympsosium, DBPL 2005, Trondheim, Norway, August 28-29, 2005 : revised selected papers /

Berlin ; New York : Springer-Verlag, 2005

Conference Proceeding Book