Search Sciweavers | Sciweavers

17920 search results - page 80 / 3584

» Recentering computer science

click to vote

GI
2005
Springer

100views Theoretical Computer Science» more GI 2005»

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

14 years 4 months ago

Download subs.emis.de

Steven B. Lipner

claim paper

Read More »

click to vote

TLCA
2005
Springer

98views Theoretical Computer Science» more TLCA 2005»

Reducibility and TT-Lifting for Computation Types

14 years 4 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

14 years 4 months ago

Download www.teco.edu

Kurt Rothermel

claim paper

Read More »

click to vote

ERSHOV
2001
Springer

70views Theoretical Computer Science» more ERSHOV 2001»

Abstract Computability of Non-deterministic Programs over Various Data Structures

14 years 3 months ago

Download www.nbuv.gov.ua

Nikolaj S. Nikitchenko

claim paper

Read More »

click to vote

MFCS
2001
Springer

90views Theoretical Computer Science» more MFCS 2001»

Hierarchy of Monotonically Computable Real Numbers

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers