141
Numerical Software with Result Verification [E-Book] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers /

Full text 
Favorites
Saved in:
142
Parallel Computing Technologies [E-Book] : 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings /

Full text 
Favorites
Saved in:
143
Parallel Computing Technologies [E-Book] : 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings /

Full text 
Favorites
Saved in:
144
Practice and Theory of Automated Timetabling II [E-Book] : Second International Conference, PATAT'97, Toronto, Canada, August 20 - 22, 1997, Selected Papers /

Full text 
Favorites
Saved in:
145
Practice and Theory of Automated Timetabling IV [E-Book] : 4th International Conference, PATAT 2002, Gent, Belgium, August 21-23, 2002, Selected Revised Papers /

Full text 
Favorites
Saved in:
146
Practice and Theory of Automated Timetabling V [E-Book] / 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers

Full text 
Favorites
Saved in:
147
Practice and Theory of Automated Timetabling VI [E-Book] : 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30–September 1, 2006 Revised Selected Papers /

Full text 
Favorites
Saved in:
148
Quantum Interaction [E-Book] : 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers /

Full text 
Favorites
Saved in:
149
Quantum Interaction [E-Book] : Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings /

Full text 
Favorites
Saved in:
150
Randomization and Approximation Techniques in Computer Science [E-Book] : 6th International Workshop, RANDOM 2002 Cambridge, MA, USA, September 13–15, 2002 Proceedings /

Full text 
Favorites
Saved in:
151
Recent Advances in AI Planning [E-Book] : 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings /

Full text 
Favorites
Saved in:
152
Recent Advances in Constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers [E-Book] /

Full text 
Favorites
Saved in:
153
Recent Advances in Constraints (vol. # 3419) [E-Book] / Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and

Full text 
Favorites
Saved in:
154
Recent Advances in Constraints (vol. # 3978) [E-Book] / Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invite

Full text 
Favorites
Saved in:
155
Theory and Applications of Models of Computation [E-Book] / Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings

Full text 
Favorites
Saved in:
156
Theory and Applications of Satisfiability Testing - SAT 2006 [E-Book] / 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

Full text 
Favorites
Saved in:
157
Theory and Applications of Satisfiability Testing - SAT 2007 [E-Book] / 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings

Full text 
Favorites
Saved in:
158
Theory and Applications of Satisfiability Testing (vol. # 3542) [E-Book] / 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Full text 
Favorites
Saved in:
159
Theory and Applications of Satisfiability Testing (vol. # 3569) / 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings [E-Book] /

Full text 
Favorites
Saved in:
160
Scale Space and Variational Methods in Computer Vision [E-Book] : First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results