MPG.eBooks - Search Results

1

Types in Compilation : Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers

Published 2001

Springer Berlin Heidelberg

Read Now

2

Model Checking Software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings

Published 2001

Springer Berlin Heidelberg

“... in Toronto, Canada, in May 2001. The SPIN model checker is one of the most powerful and popular systems...”

Read Now

3

Semantics, Applications, and Implementation of Program Generation : International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

“... Applications, and Implementation of Program Generation, SAIG 2000, held in Montreal, Canada in September 2000...”

Read Now

4

Middleware 2004 : ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-20, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

“...), and in Rio de Janeiro, Brazil (2003), the 5th International Middleware Conference in Toronto, Canada aimed...”

Read Now

5

Information Theoretic Security : Third International Conference, ICITS 2008, Calgary, Canada, August 10-13, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

“... Theoretic Security, held in Calgary, Canada, in August 2008. The 14 papers presented in this volume were...”

Read Now

6

Post-Quantum Cryptography : 6th International Workshop, PQCrypto 2014, Waterloo, ON, Canada, October 1-3, 2014. Proceedings

Published 2014

Springer International Publishing

“... Cryptography, PQCrypto 2014, held in Waterloo, ON, Canada, in October 2014. The 16 revised full papers...”

Read Now

7

Secure Data Management : VLDB 2004 Workshop, SDM 2004, Toronto, Canada, August 30, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Read Now

8

Graph Drawing : 6th International Symposium, GD '98 Montreal, Canada, August 13-15, 1998 Proceedings

Published 1998

Springer Berlin Heidelberg

Read Now

9

Rewriting Techniques and Applications : 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993. Proceedings

Published 1993

Springer Berlin Heidelberg

“... Techniques and Applications, held in Montreal, Canada, in June 1993. The volume includes three invited...”

Read Now

10

Information Hiding : 6th International Workshop, IH 2004, Toronto, Canada, May 23-25, 2004, Revised Selected Papers

Published 2005

Springer Berlin Heidelberg

Read Now

11

Information Theoretic Security : 6th International Conference, ICITS 2012, Montreal, QC, Canada, August 15-17, 2012, Proceedings

Published 2012

Springer Berlin Heidelberg

“... Security, ICITS 2012, held in Montreal, Canada, in August 2012. The 11 full papers presented in this volume...”

Read Now

12

Algorithms and Data Structures : Workshop WADS '89, Ottawa, Canada, August 17-19, 1989. Proceedings

Published 1989

Springer Berlin Heidelberg

Read Now

13

Conditional and Typed Rewriting Systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings

Published 1991

Springer Berlin Heidelberg

Read Now

14

Generative Programming and Component Engineering : Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings

Published 2004

Springer Berlin Heidelberg

Read Now

15

Runtime Verification : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers

Published 2007

Springer Berlin Heidelberg

“..., 2007 in Vancouver, British Columbia, Canada, co-located to the Conference on Aspect-Oriented Software...”

Read Now

16

Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Published 2014

Springer International Publishing

“... Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presented...”

Read Now

17

Early Aspects: Current Challenges and Future Directions : 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers

Published 2007

Springer Berlin Heidelberg

Read Now

18

IV Higher Order Workshop, Banff 1990 : Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990

Published 1991

Springer London

“... at a workshop held at Banff, Canada, September 10-14 1990 and organised by the Computer Science...”

Read Now

19

Agile Processes in Software Engineering and Extreme Programming – Workshops : XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings

Published 2019

Springer International Publishing

“..., Canada, in May 2019. XP is the premier agile software development conference combining research...”

Read Now

20

Languages, Compilers, and Tools for Embedded Systems : ACM SIGPLAN Workshop LCTES '98, Montreal, Canada, June 19-20, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

“... on Languages, Compilers, and Tools for Embedded Systems, LCTES '98, held in Montreal, Canada, in June 1998...”

Narrow Search