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

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

9

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

10

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

11

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

12

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

13

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

14

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

15

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

16

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

17

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

Published 2002

Springer Netherlands

Read Now

18

Performance Evaluation and Benchmarking : 13th TPC Technology Conference, TPCTC 2021, Copenhagen, Denmark, August 20, 2021, Revised Selected Papers

Published 2022

Springer International Publishing

Read Now

19

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

Published 1996

Springer Berlin Heidelberg

“... in Copenhagen, Denmark in November 1995 in the framework of the CEC COST 237 Multimedia Telecommunications...”

Read Now

20

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

by Egly, Uwe
Published 2002

Springer-Verlag Berlin Heidelberg

Narrow Search