1
Logic-Based Program Synthesis and Transformation [E-Book] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /

Full text 
Favorites
Saved in:
2
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [E-Book] : 18th International Symposium, AAECC-18 2009, Tarragona, Spain, June 8-12, 2009. Proceedings /

Full text 
Favorites
Saved in:
3
Arithmetic of Finite Fields [E-Book] : First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007. Proceedings /

Full text 
Favorites
Saved in:
4
Approximation and Online Algorithms (vol. # 3879) [E-Book] / Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Selected Papers

Full text 
Favorites
Saved in:
5
Experimental Algorithms [E-Book] / 5th International Workshop, WEA 2006, Cala Galdana, Menorca, Spain, May 24-27, 2006, Proceedings

Full text 
Favorites
Saved in:
6
Mathematical Software - ICMS 2006 [E-Book] / Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings

Full text 
Favorites
Saved in:
7
Artificial Intelligence and Symbolic Computation [E-Book] : International Conference AISC 2000 Madrid, Spain, July 17–19,2000 Revised Papers /

Full text 
Favorites
Saved in:

Narrow Search Results