Search Results

1
2
3
4
Next »
[4]

1

Cover Image

Security protocols : international workshop, Cambridge, United Kingdom, April 10-12, 1996 : proceedings

Published: cop. 1997

Book

2

Cover Image

Ada 95 rationale : the language, the standard libraries / ed.

Published: cop. 1995

Book

3

Cover Image

Parallel and distributed computing : theory and practice : First Canada-France Conference, Montréal, Canada, May 19-21, 1994 : proceedings

Published: cop. 1994

Book

4

Cover Image

Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers

Published: cop. 1995

Book

5

Cover Image

Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 2001 : Proceedings

by FLOPS 2001
Published: cop. 2001

Book

6

Cover Image

Implementation of functional languages : 12th International Workshop, IFL 2000 Aachen, Germany, September 2000 : selected papers

by IFL 2000
Published: cop. 2001

Book

7

Cover Image

Software Engineering Education : SEI Conference 1988 Fairfax, Virginia, USA, April 1988 : Proceedings

by SEI 1988
Published: cop. 1988

Book

8

Cover Image

Implementation of functional languages : 14th International Workshop, IFL 2002 Madrid, Spain, September 2002 : Revised selected papers

by IFL 2002
Published: cop. 2003

Book

9

Cover Image

VDM - the way ahead : 2nd VDM-Europe Symposium Dublin, Ireland, September 1988 : Proceedings

by VDM 1988
Published: cop. 1988

Book

10

Cover Image

Object-based concurrent computing : ECOOP '91 Workshop, Geneva, Switzerland, July 1991 : proceedings

by ECOOP 1991
Published: cop. 1992

Book

11

Cover Image

Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings

by TACAS '97
Published: cop. 1997

Book

12

Cover Image

ECOOP'97--object-oriented programming : 11th European Conference, Jyväskylä, Finland, June 9-13, 1997 : proceedings

by ECOOP 97
Published: cop. 1997

Book

13

Cover Image

Software configuration management : ICSE '97 SCM-7 Workshop, Boston, MA, USA, May 18-19, 1997 : proceedings

by ICSE'97
Published: cop. 1997

Book

14

Cover Image

Mathematical foundations of computer science 1993: : 18th International Symposium, MFCS '93, Gdańsk, Poland, August/September 1993 : proceedings

by MFCS 1993
Published: cop. 1993

Book

15

Cover Image

Logic based program synthesis and transformation : 13th International symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, revised selected papers

by Symposium on Logic-based Program Synthesis and Transformation 13. 2003 Uppsala
Published: cop. 2004

Book

16

Cover Image

Functional and logic programming : 7th International Symposium, FLOPS 2004, Nara, Japan, April 2004 : Proceedings

by FLOPS 2004
Published: cop. 2004

Book

17

Cover Image

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP'01) : Florence, Italy, Sptember 3-5, 2001

by Association for Computing Machinery (New York)
Published: cop. 2001

Book

18

Cover Image

Functional and logic programming : 6th International Symposium, FLOPS 2002 Aizu, Japan, September 2002 : Proceedings

by FLOPS 2002
Published: cop. 2002

Book

19

Cover Image

Functional logic programming : 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 1999 : Proceedings

by FLOPS 1999
Published: cop. 1999

Book

20

Cover Image

Implementation of functional languages : 13th International Workshop, IFL 2001 Stockholm, Sweden, September 2001 : Selected papers

by IFL 2001
Published: cop. 2002

Book

1
2
3
4
Next »
[4]