Search Sciweavers | Sciweavers

10304 search results - page 106 / 2061

» Computer science with the sciences: an emphasis in computati...

click to vote

SPIN
1999
Springer

95views Theoretical Computer Science» more SPIN 1999»

Analyzing Mode Confusion via Model Checking

15 years 5 months ago

Download shemesh.larc.nasa.gov

Gerald Lüttgen, Victor Carreño

claim paper

Read More »

107

click to vote

STACS
1999
Springer

79views Theoretical Computer Science» more STACS 1999»

Some Undecidability Results Related to the Star Problem in Trace Monoids

15 years 5 months ago

Download www2.informatik.hu-berlin.de

Daniel Kirsten

claim paper

Read More »

click to vote

TLCA
1999
Springer

72views Theoretical Computer Science» more TLCA 1999»

A Curry-Howard Isomorphism for Compilation and Program Execution

15 years 5 months ago

Download www.pllab.riec.tohoku.ac.jp

Atsushi Ohori

claim paper

Read More »

click to vote

ITICSE
1998
ACM

101views Theoretical Computer Science» more ITICSE 1998»

Strategies for using technology in the teaching of ethics

15 years 5 months ago

Download www-cs-faculty.stanford.edu

Eric Roberts

claim paper

Read More »

221

Voted

SOFSEM
1998
Springer

259views Theoretical Computer Science» more SOFSEM 1998»

An Introduction to Cryptology

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers