1
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [E-Book] : 12th International Workshop, APPROX 2009, and 13th International Workshop, RANDOM 2009, Berkeley, CA, USA, August 21-23, 2009. Proceedings /

Full text 
Favorites
Saved in:
2
Artificial Intelligence and Symbolic Computation [E-Book] / 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings

Full text 
Favorites
Saved in:
3
Artificial Intelligence, Automated Reasoning, and Symbolic Computation [E-Book] : Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings /

Full text 
Favorites
Saved in:
4
Computer Algebra in Scientific Computing [E-Book] : 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings /

Full text 
Favorites
Saved in:
5
Continuous System Simulation [E-Book] /

Full text 
Favorites
Saved in:
6
Global Optimization and Constraint Satisfaction [E-Book] / Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers

Full text 
Favorites
Saved in:
7
High Performance Computational Science and Engineering [E-Book] : IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22–27, 2004, Toulouse, France /

Full text 
Favorites
Saved in:
8
Implicit Curves and Surfaces: Mathematics, Data Structures and Algorithms [E-Book] /

Full text 
Favorites
Saved in:
9
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:
10
Sequences and Their Applications - SETA 2004 [E-Book] / Third International Conference, Seoul, Korea, October 24-28, 2004, Revised Selected Papers

Full text 
Favorites
Saved in:
11
Sequences and Their Applications - SETA 2006 [E-Book] / 4th International Conference, Beijing, China, September 24-28, 2006, Proceedings

Full text 
Favorites
Saved in:
12
Typed Lambda Calculi and Applications [E-Book] : 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings /
Ong, Luke.
2011

Full text 
Favorites
Saved in:
13
Typed Lambda Calculi and Applications [E-Book] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings /

Full text 
Favorites
Saved in:

Narrow Search Results