Search Results

1

Conceptual structures : knowledge representation as interlingua : 4th International Conference on Conceptual Structures, ICCS '96, Sydney, Australia, August 19-22, 1996 : proceedin...

Berlin ; New York : Springer, 1996

Conference Proceeding Book

2

Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2-5, 1996 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

3

Masses of fundamental particles : Cargèse 1996 /

New York : Plenum Press, 1997

Conference Proceeding Book

4

A molecular view of heterogeneous catalysis : proceedings of the First Francqui Colloquium, 19-20 February 1996, Brussels /

Paris : De Boeck Université, 1998

Conference Proceeding Book

5

Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

6

Automata, languages and programming : 23rd international colloquium, ICALP '96, Paderborn, Germany, July 8-12, 1996 : proceedings /

Berlin ; New York : Springer-Verlag, 1996

Conference Proceeding Book

7

KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

8

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

9

Algebraic methodology and software technology : 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings /

Berlin ; New York : Springer-Verlag, 1996

Conference Proceeding Book

10

Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

11

Programming languages : implementations, logics, and programs : 8th international symposium, PLILP '96, Aachen, Germany, September 24-27, 1996 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

12

Applied computational geometry : towards geometric engineering : FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27-28, 1996 : selected papers /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

13

Grammatical inference : learning syntax from sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25-27, 1996 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

14

International dispute resolution : the regulation of forum selection /

Irvington, N.Y. : Transnational Publishers, 1997

Conference Proceeding Book

15

Distributed algorithms : 10th international workshop, WDAG '96, Bologna, Italy, October 9-11, 1996 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

16

Advances in cryptology, EUROCRYPT '96 : International Conference on the Theory and Application of Cryptographic Techniques, Saragossa, Spain, May 12-16, 1996 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

17

Combinatorial pattern matching : 7th Annual Symposium, CPM 96, Laguna Beach, California, June 10-12, 1996 : proceedings /

Berlin ; New York : Springer-Verlag, 1996

Conference Proceeding Book

18

Advances in knowledge acquisition : 9th European Knowledge Acquisition Workshop, EKAW '96, Nottingham, United Kingdom, May 14-17, 1996 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

19

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

20

Algorithms and computation : 7th International Symposium, ISAAC '96, Osaka, Japan, December 16-18, 1996 : proceedings /

Berlin ; New York : Springer, 1996

Conference Proceeding Book

Narrow Search