161
Numerical Analysis and Its Applications [E-Book] / Third International Conference, NAA 2004, Rousse, Bulgaria, June 29 - July 3, 2004, Revised Selected Papers
162
Numerical Methods and Applications [E-Book] : 5th International Conference, NMA 2002 Borovets, Bulgaria, August 20–24, 2002 Revised Papers /
163
Numerical Methods and Applications [E-Book] : 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers /
164
Numerical Methods and Applications [E-Book] : 7th International Conference, NMA 2010, Borovets, Bulgaria, August 20-24, 2010. Revised Papers /
165
Numerical Software with Result Verification [E-Book] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers /
166
Parallel Computing Technologies [E-Book] : 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings /
167
Parallel Computing Technologies [E-Book] : 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings /
168
Pillars of Computer Science : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday [E-Book]/
169
Practice and Theory of Automated Timetabling II [E-Book] : Second International Conference, PATAT'97, Toronto, Canada, August 20 - 22, 1997, Selected Papers /
170
Practice and Theory of Automated Timetabling IV [E-Book] : 4th International Conference, PATAT 2002, Gent, Belgium, August 21-23, 2002, Selected Revised Papers /
171
Practice and Theory of Automated Timetabling V [E-Book] / 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers
172
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 /
173
Quantum Interaction [E-Book] : 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers /
174
Quantum Interaction [E-Book] : Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings /
175
Randomization and Approximation Techniques in Computer Science [E-Book] : 6th International Workshop, RANDOM 2002 Cambridge, MA, USA, September 13–15, 2002 Proceedings /
176
Recent Advances in AI Planning [E-Book] : 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings /
177
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] /
178
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
179
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
180
Theoretical Computer Science (vol. # 3895) [E-Book] / Essays in Memory of Shimon Even