Search Sciweavers | Sciweavers

10447 search results - page 74 / 2090

» The Philosophy of Computer Science

click to vote

CSR
2009
Springer

98views Theoretical Computer Science» more CSR 2009»

Formal Verification of Gate-Level Computer Systems

15 years 9 months ago

Download www-wjp.cs.uni-saarland.de

Mark A. Hillebrand, Sergey Tverdyshev

claim paper

Read More »

click to vote

ITICSE
2009
ACM

120views Theoretical Computer Science» more ITICSE 2009»

Extending moodle to better support computing education

15 years 9 months ago

Download elara.tk.informatik.tu-darmstadt.de

Guido Rößling, Andreas Kothe

claim paper

Read More »

104

click to vote

ICTCS
2007
Springer

120views Theoretical Computer Science» more ICTCS 2007»

Session Centered Calculi for Service Oriented Computing

15 years 9 months ago

Download rap.dsi.unifi.it

Rocco De Nicola

claim paper

Read More »

146

click to vote

ICTCS
2007
Springer

236views Theoretical Computer Science» more ICTCS 2007»

Computing Minimum Directed Feedback Vertex Set in O(1.9977n)

15 years 9 months ago

Download www.cs.ucc.ie

Igor Razgon

claim paper

Read More »

click to vote

ACMSE
2005
ACM

100views Theoretical Computer Science» more ACMSE 2005»

Cross-layer path computation for dynamic traffic grooming: in mesh WDM optical networks

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers