Search Sciweavers | Sciweavers

17920 search results - page 80 / 3584

» Recentering computer science

Voted

GI
2005
Springer

100views Theoretical Computer Science» more GI 2005»

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

15 years 9 months ago

Download subs.emis.de

Steven B. Lipner

claim paper

Read More »

103

Voted

TLCA
2005
Springer

98views Theoretical Computer Science» more TLCA 2005»

Reducibility and TT-Lifting for Computation Types

15 years 9 months ago

Download homepages.inf.ed.ac.uk

Sam Lindley, Ian Stark

claim paper

Read More »

click to vote

GI
2004
Springer

130views Theoretical Computer Science» more GI 2004»

Ubiquitous Computing - Von der Vision zur Anwendung

15 years 9 months ago

Download www.teco.edu

Kurt Rothermel

claim paper

Read More »

Voted

ERSHOV
2001
Springer

70views Theoretical Computer Science» more ERSHOV 2001»

Abstract Computability of Non-deterministic Programs over Various Data Structures

15 years 8 months ago

Download www.nbuv.gov.ua

Nikolaj S. Nikitchenko

claim paper

Read More »

116

Voted

MFCS
2001
Springer

90views Theoretical Computer Science» more MFCS 2001»

Hierarchy of Monotonically Computable Real Numbers

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers