Search Results

1

Artificial intelligence in medicine : 5th Conference on Artificial Intelligence in Medicine Europe, AIME '95, Pavia, Italy, June 25-28, 1995 : proceedings /

Berlin ; New York : Springer, 1995

Conference Proceeding Book

2

Algorithms and data structures : 4th International Workshop, WADS '95, Kingston, Canada, August 16-18, 1995 : proceedings /

Berlin ; New York : Springer, 1995

Conference Proceeding Book

3

Algebraic methodology and software technology : 4th international conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings /

Berlin ; New York : Springer, 1995

Conference Proceeding Book

4

Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedin...

Berlin ; New York : Springer-Verlag, 1995

Conference Proceeding Book

5

Computer vision, virtual reality, and robotics in medicine : first international conference, CVRMed '95, Nice, France, April 3-6, 1995 : proceedings /

Sophia-Antipolis, France : Paris : Berlin ; New York : INRIA ; INSERM ; Springer-Verlag, 1995

Conference Proceeding Book

6

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings /

Berlin ; New York : Springer, 1995

Conference Proceeding Book

7

Advances in databases : 13th British National Conference on Databases, BNCOD 13 Manchester, United Kingdom, July 12-14, 1995 : proceedings /

Berlin ; New York : Springer, 1995

Conference Proceeding Book

8

Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

9

Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME 9̕5, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings /

Berlin ; New York : Springer, 1995

Conference Proceeding Book

10

Evolutionary computing : AISB Workshop, Sheffield, U.K., April 3-4, 1995 : selected papers /

Berlin ; New York : Springer, 1995

Conference Proceeding Book

11

Image analysis and processing : 8th International Conference, ICIAP '95, San Remo, Italy, September 13-15, 1995 : proceedings /

Berlin ; New York : Springer-Verlag, 1995

Conference Proceeding Book

12

Memory management : international workshop, IWMM '95, Kinross, UK, September 27-29, 1995 : proceedings /

Berlin ; New York : Springer, 1995

Conference Proceeding Book

13

Information systems and data management : 6th international conference, CISMOD ʼ95, Bombay, India, November 15-17, 1995 : proceedings /

Berlin ; New York : Springer, 1995

Conference Proceeding Book

14

Gallium nitride and related materials : the First International Symposium on Gallium Nitride and Related Materials held November 27-December 1, 1995, Boston, Massachusetts, U.S.A....

Pittsburgh, Pa. : Materials Research Society, 1996

Conference Proceeding Book

15

Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

16

Distributed artificial intelligence : architecture and modelling : First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

17

Physics and chemistry of fullerenes and derivatives : proceedings of the International Winterschool on Electronic Properties of Novel Materials /

Singapore ; River Edge, NJ : World Scientific, 1995

Conference Proceeding Book

18

Ada in Europe : Second International Eurospace--Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

19

Parallel symbolic languages and systems : International Workshop PSLS'95, Beaune, France, October 2-4, 1995 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

20

Teleservices and multimedia communications : second International COST 237 Workshop, Copenhagen, Denmark, November 20-22, 1995 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

Narrow Search