Abstraction, Reformulation, and Approximation : 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings /

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Ian Miguel, Wheeler Ruml (edición)
Materyal Türü:	Kitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Berlín, Alemania : Springer, 2007, c2007
Seri Bilgileri:	(Lecture Notes in Computer Science)
Online Erişim:	Ver documento en línea
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller: Abstraction, Reformulation, and Approximation :

Hızlı Bakış
Abstraction, Reformulation, and Approximation : 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings /
Hızlı Bakış
Abstraction, Reformulation, and Approximation : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings /
Hızlı Bakış
Abstraction, Reformulation and Approximation : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings /
Hızlı Bakış
Approximation and Online Algorithms : 5th International Workshop, WAOA 2007, Eilat, Israel, October 11-12, 2007, Revised Papers /
Hızlı Bakış
Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings /
Hızlı Bakış
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques : 10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007, Proceedings /
Hızlı Bakış
Approximation Algorithms for Combinatorial Optimization : International Workshop APPROX'98, Aalborg, Denmark, July 18-19, 1998, Proceedings /
Hızlı Bakış
Approximation Algorithms for Combinatorial Optimization : 5th International Workshop, APPROX 2002, Rome, Italy, September 17-21, 2002. Proceedings /
Hızlı Bakış
Approximation and Online Algorithms : 6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 18-19, 2008, Revised Papers /
Hızlı Bakış
Approximation and Online Algorithms : 7th International Workshop, WAOA 2009, Copenhagen, Denmark, September 10-11, 2009 Revised Papers /
Hızlı Bakış
Approximation and Online Algorithms : First International Workshop, WAOA 2003, Budapest, Hungary, September 16-18, 2003, Revised Papers /
Hızlı Bakış
Combinatorial Pattern Matching : 18th Annual Symposium, CPM 2007, London, Canada, July 9-11, 2007, Proceedings /
Hızlı Bakış
Approximations : quatrième serie /
Hızlı Bakış
Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques : 4th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2001 and 5th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2001 Berkeley, CA,USA, August 18-20, 2001 /
Hızlı Bakış
Randomization and Approximation Techniques in Computer Science : International Workshop RANDOM'97, Bologna, Italy, July 11-12, 1997 Proceedings /
Hızlı Bakış
Verification, Model Checking, and Abstract Interpretation : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /
Hızlı Bakış
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques : 6th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2003 and 7th International Workshop on Randomization and Approximation Techniques in Computer Science, RANDOM 2003, Princeto, NY, USA, August 24-26,2003 /
Hızlı Bakış
Approximation and Online Algorithms : Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Selected Papers /
Hızlı Bakış
Verification, Model Checking, and Abstract Interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : Proceedings /
Hızlı Bakış
Approximation and Online Algorithms : 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006, Revised Papers /
Hızlı Bakış
Approximation and Online Algorithms : 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010, Revised Papers /
Hızlı Bakış
Logic versus Approximation : Essays Dedicated to Michael M. Richter on the Occasion of His 65th Birthday /
Hızlı Bakış
Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /
Hızlı Bakış
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings /