Sciweavers

12052 search results - page 21 / 2411
» compute 2010
Sort
View
ENTCS
2002
58views more  ENTCS 2002»
15 years 5 months ago
Computability of Partial Delaunay Triangulation and Voronoi Diagram
Ali Asghar Khanban, Abbas Edalat, André Lie...
ENTCS
1998
63views more  ENTCS 1998»
15 years 5 months ago
Proof theory and computational analysis
Ulrich Kohlenbach
94
Voted
ENTCS
2010
113views more  ENTCS 2010»
15 years 4 months ago
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems
Pavlína Vareková, I. Vareková...