Sciweavers

12052 search results - page 21 / 2411
» computing 2010
Sort
View
ENTCS
2002
58views more  ENTCS 2002»
15 years 2 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 1 months ago
Proof theory and computational analysis
Ulrich Kohlenbach
65
Voted
ENTCS
2010
113views more  ENTCS 2010»
15 years 24 days ago
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems
Pavlína Vareková, I. Vareková...