121
Certified Programs and Proofs [E-Book] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /

Full text 
Favorites
Saved in:
122
Communicating Sequential Processes. The First 25 Years [E-Book] / Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Full text 
Favorites
Saved in:
123
Communication in Multiagent Systems [E-Book] : Agent Communication Languages and Conversation Policies /

Full text 
Favorites
Saved in:
124
Compiler Construction [E-Book] : 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings /

Full text 
Favorites
Saved in:
125
Compiler Construction [E-Book] : 11th International Conference, CC 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings /

Full text 
Favorites
Saved in:
126
Compiler Construction [E-Book] : 12th International Conference, CC 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings /

Full text 
Favorites
Saved in:
127
Compiler Construction [E-Book] : 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings /

Full text 
Favorites
Saved in:
128
Compiler Construction [E-Book] : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings.

Full text 
Favorites
Saved in:
129
Compiler Construction [E-Book] : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /

Full text 
Favorites
Saved in:
130
Compiler Construction [E-Book] : 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings /

Full text 
Favorites
Saved in:
131
Compiler Construction [E-Book] : 8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /

Full text 
Favorites
Saved in:
132
Compiler Construction [E-Book] : 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings /

Full text 
Favorites
Saved in:
133
Compiler Construction (vol. # 3443) [E-Book] / 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005

Full text 
Favorites
Saved in:
134
Compiler Construction (vol. # 3923) [E-Book] / 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings

Full text 
Favorites
Saved in:
135
Compiler Optimizations for Scalable Parallel Systems [E-Book] : Languages, Compilation Techniques, and Run Time Systems /

Full text 
Favorites
Saved in:
136
Compiling Natural Semantics [E-Book] /

Full text 
Favorites
Saved in:
137
Complexity Theory [E-Book] : Exploring the Limits of Efficient Algorithms /

Full text 
Favorites
Saved in:
138
Component-Based Software Engineering [E-Book] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings /

Full text 
Favorites
Saved in:
139
Component-Based Software Engineering [E-Book] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /

Full text 
Favorites
Saved in:
140
Component-Based Software Engineering [E-Book] : 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results