MPG.eBooks - Search Results

1

Advanced Database Systems : 10th British National Conference on Databases, BNCOD 10 Aberdeen, Scotland, July 6–8, 1992 Proceedings

by Gray, Peter
Published 1992

Springer

Read Now

2

Databases in Telecommunications : International Workshop, Co-located with VLDB-99 Edinburgh, Scotland, UK, September 6th, 1999, Proceedings

by Jonker, Willem
Published 2000

Springer Berlin Heidelberg

Read Now

3

Recent Trends in Data Type Specification : 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1–4, 1987 Selected Papers

by Sannella, D.
Published 1988

Springer

Read Now

4

Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September

Published 2002

Springer Berlin Heidelberg

Read Now

5

Mathematics of Program Construction : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings

by Kozen, Dexter
Published 2004

Springer Berlin Heidelberg

Read Now

6

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

by Dyckhoff, Roy
Published 2000

Springer Berlin Heidelberg

Read Now

7

Algebraic Methodology and Software Technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings

by Rattray, Charles
Published 2004

Springer Berlin Heidelberg

Read Now

8

Genetic Programming : European Conference, EuroGP 2000 Edinburgh, Scotland, UK, April 15-16, 2000 Proceedings

by Poli, Riccardo
Published 2000

Springer Berlin Heidelberg

Read Now

9

Theory and Application of Diagrams : First International Conference, Diagrams 2000 Edinburgh, Scotland, UK, September 1–3, 2000 Proceedings

by Anderson, Michael
Published 2000

Springer-Verlag Berlin Heidelberg

Read Now

10

Interactive Systems: Design, Specification, and Verification : 8th International Workshop, DSV-IS 2001 Glasgow, Scotland, UK, June 13–15, 2001 Revised Papers

by Johnson, Chris
Published 2001

Springer-Verlag Berlin Heidelberg

Read Now

11

Music and Artificial Intelligence : Second International Conference, ICMAI 2002 Edinburgh, Scotland, UK, September 12–14, 2002 Proceedings

by Anagnostopoulou, Christina
Published 2002

Springer-Verlag Berlin Heidelberg

Read Now

12

Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

“... (CAV), held in Edinburgh, Scotland, July 6–10, 2005. CAV 2005 was the seventeenth in a series...”

Read Now

13

Interactive Systems: Design, Specification, and Verification : 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers

Published 2001

Springer Berlin Heidelberg

“... on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001, held in Glasgow, Scotland...”

Read Now

14

Spatio-Temporal Database Management : International Workshop STDBM’99 Edinburgh, Scotland, September 10–11, 1999 Proceedings

by Böhlen, Michael H
Published 1999

Springer-Verlag Berlin Heidelberg

Read Now

15

User Modeling 2005 : 10th International Conference, UM 2005, Edinburgh, Scotland, UK, July 24-29, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Read Now

16

Abstraction, Reformulation and Approximation : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Read Now

17

Implementation of Functional Languages : 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers

by Clack, Chris
Published 1998

Springer Berlin Heidelberg

Read Now

18

Theorem Proving in Higher Order Logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings

by Boulton, Richard J
Published 2001

Springer Berlin Heidelberg

Read Now

19

Computer Science Logic : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings

by Bradfield, Julian
Published 2002

Springer-Verlag Berlin Heidelberg

Read Now

20

Job Scheduling Strategies for Parallel Processing : 8th International Workshop, JSSPP 2002, Edinburgh, Scotland, UK, July 24, 2002, Revised Papers

Published 2002

Springer Berlin Heidelberg

Narrow Search