61
Algebraic Methodology and Software Technology [E-Book] / 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings

Full text 
Favorites
Saved in:
62
Algebraic Methodology and Software Technology [E-Book] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers /

Full text 
Favorites
Saved in:
63
Algebraic Methodology and Software Technology [E-Book] : 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings /

Full text 
Favorites
Saved in:
64
Algebraic Methodology and Software Technology [E-Book] : 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings /

Full text 
Favorites
Saved in:
65
Algebraic Methodology and Software Technology [E-Book] : 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings /

Full text 
Favorites
Saved in:
66
Algebraic Methodology and Software Technology [E-Book] : 9th International Conference, AMAST 2002 Saint-Gilles-les-Bains, Reunion Island, France September 9–13, 2002 Proceedings /

Full text 
Favorites
Saved in:
67
Algorithmic Learning Theory [E-Book] : 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings /

Full text 
Favorites
Saved in:
68
Algorithms and Computation [E-Book] : 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings /

Full text 
Favorites
Saved in:
69
Analysis and Verification of Multiple-Agent Languages [E-Book] : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers /
Dam, Mads
1997

Full text 
Favorites
Saved in:
70
Applications and Theory of Petri Nets 2003 [E-Book] : 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23–27, 2003 Proceedings /

Full text 
Favorites
Saved in:
71
Applications and Theory of Petri Nets [E-Book] : 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings /

Full text 
Favorites
Saved in:
72
Applications and Theory of Petri Nets [E-Book] : 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings /

Full text 
Favorites
Saved in:
73
Applications and Theory of Petri Nets [E-Book] : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings /

Full text  Full text 
Favorites
Saved in:
74
Applications of Graph Transformations with Industrial Relevance [E-Book] : International Workshop, AGTIVE’99 Kerkrade, The Netherlands, September 1–3, 1999 Proceedings /

Full text 
Favorites
Saved in:
75
Applications of Graph Transformations with Industrial Relevance [E-Book] : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers /

Full text 
Favorites
Saved in:
76
Applied Formal Methods - FM-Trends 98 [E-Book] : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings /

Full text 
Favorites
Saved in:
77
Applied Semantics [E-Book] : International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures /

Full text 
Favorites
Saved in:
78
Applying Formal Methods: Testing, Performance, and M/E-Commerce [E-Book] : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 /

Full text 
Favorites
Saved in:
79
Approaches and Applications of Inductive Programming [E-Book] : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers /

Full text 
Favorites
Saved in:
80
Architecting Dependable Systems VII [E-Book] /

Full text 
Favorites
Saved in:

Narrow Search Results