Search Sciweavers | Sciweavers

10304 search results - page 38 / 2061

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

click to vote

AB
2008
Springer

384views Computational Biology» more AB 2008»

Tutorial on Model Checking: Modelling and Verification in Computer Science

14 years 2 months ago

Download fmv.jku.at

Armin Biere

claim paper

Read More »

click to vote

BIRTHDAY
2010
Springer

136views Applied Computing» more BIRTHDAY 2010»

Computer Science and State Machines

13 years 9 months ago

Download research.microsoft.com

Leslie Lamport

claim paper

Read More »

click to vote

BIRTHDAY
2010
Springer

109views Applied Computing» more BIRTHDAY 2010»

Yuri, Logic, and Computer Science

13 years 6 months ago

Download www.cs.tau.ac.il

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig

claim paper

Read More »

click to vote

IPPS
2000
IEEE

95views Distributed And Parallel Com...» more IPPS 2000»

Workshop on Optics and Computer Science (WOCS 2000)

14 years 27 days ago

Download ipdps.cc.gatech.edu

Fouad E. Kiamilev, Jeremy Ekman, Afonso Ferreira, ...

claim paper

Read More »

click to vote

SBACPAD
2005
IEEE

87views Hardware» more SBACPAD 2005»

High Performance Computing in Science and Engineering

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers