Search Sciweavers | Sciweavers

17920 search results - page 80 / 3584

» Recentering computer science

158

click to vote

GI
2005
Springer

100views Theoretical Computer Science» more GI 2005»

Building More Secure Commercial Software: The Trustworthy Computing Security Development Lifecycle

16 years 28 days ago

Download subs.emis.de

Steven B. Lipner

claim paper

Read More »

160

Voted

TLCA
2005
Springer

98views Theoretical Computer Science» more TLCA 2005»

Reducibility and TT-Lifting for Computation Types

16 years 27 days ago

Download homepages.inf.ed.ac.uk

Sam Lindley, Ian Stark

claim paper

Read More »

146

click to vote

GI
2004
Springer

130views Theoretical Computer Science» more GI 2004»

Ubiquitous Computing - Von der Vision zur Anwendung

16 years 24 days ago

Download www.teco.edu

Kurt Rothermel

claim paper

Read More »

136

click to vote

ERSHOV
2001
Springer

70views Theoretical Computer Science» more ERSHOV 2001»

Abstract Computability of Non-deterministic Programs over Various Data Structures

15 years 12 months ago

Download www.nbuv.gov.ua

Nikolaj S. Nikitchenko

claim paper

Read More »

166

Voted

MFCS
2001
Springer

90views Theoretical Computer Science» more MFCS 2001»

Hierarchy of Monotonically Computable Real Numbers

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers