MPG.eBooks - Search Results

1

Programs as Data Objects : Proceedings of a Workshop Copenhagen, Denmark, October 17–19, 1985

by Ganzinger, Harald
Published 1986

Springer

Read Now

2

Abstract Software Specifications : 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings

by Bjøorner, Dines
Published 1980

Springer

Read Now

3

ESOP '90 : 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings

by Jones, Neil
Published 1990

Springer

Read Now

4

CAAP '90 : 15th Colloquium on Trees in Algebra and Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings

by Arnold, A.
Published 1990

Springer

Read Now

5

Teleservices and Multimedia Communications : Second International COST 237 Workshop Copenhagen, Denmark, November 20–22 1995 Proceedings

by Christiansen, Henning
Published 1996

Springer

Read Now

6

Ada in Europe : First International Eurospace-Ada-Europe Symposium Copenhagen, Denmark, September 26–30, 1994 Proceedings

by Toussaint, Marcel
Published 1994

Springer

Read Now

7

Integer Programming and Combinatorial Optimization : 4th International IPCO Conference Copenhagen, Denmark, May 29–31, 1995 Proceedings

by Balas, Egon
Published 1995

Springer

Read Now

8

Programs as Data Objects : Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985

Published 1986

Springer Berlin Heidelberg

Read Now

9

ECSCW ’99 : Proceedings of the Sixth European Conference on Computer Supported Cooperative Work 12–16 September 1999, Copenhagen, Denmark

Published 1999

Springer Netherlands

Read Now

10

Rewriting Techniques and Applications : 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings

by Tison, Sophie
Published 2002

Springer-Verlag Berlin Heidelberg

Read Now

11

Logic Programming : 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

“... Programming, ICLP 2002, held in Copenhagen, Denmark, in July/August 2002. The 29 revised full papers presented...”

Read Now

12

Logic Programming : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings

by Stuckey, Peter J
Published 2002

Springer-Verlag Berlin Heidelberg

Read Now

13

Automated Deduction—CADE-18 : 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002 Proceedings

by Voronkov, Andrei
Published 2002

Springer-Verlag Berlin Heidelberg

Read Now

14

Integer Programming and Combinatorial Optimization : 4th International IPCO Conference, Copenhagen, Denmark, May 29 - 31, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

“... Programming and Combinatorial Optimization, IPCO '95, held in Copenhagen in May 1995 under the sponsorship...”

Read Now

15

Advances in Quantitative Ethnography : 4th International Conference, ICQE 2022, Copenhagen, Denmark, October 15–19, 2022, Proceedings

Published 2023

Springer Nature Switzerland

“... in Quantitative Ethnography, ICQE 2022, held in Copenhagen, Denmark, during October 15–19, 2022. The 29 full...”

Read Now

16

Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings

by Brinksma, Ed
Published 2002

Springer-Verlag Berlin Heidelberg

Read Now

17

Partial Evaluation. Practice and Theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29 - July 10, 1998

by Hatcliff, John
Published 1999

Springer Berlin Heidelberg

Read Now

18

Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

“...), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences...”

Read Now

19

Lectures on Logic and Computation : ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

Published 2012

Springer Berlin Heidelberg

Read Now

20

ECSCW ’99 : Proceedings of the Sixth European Conference on Computer Supported Cooperative Work 12–16 September 1999, Copenhagen, Denmark

Published 2002

Springer Netherlands

Narrow Search