Search Sciweavers | Sciweavers

10304 search results - page 38 / 2061

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

170

click to vote

AB
2008
Springer

384views Computational Biology» more AB 2008»

Tutorial on Model Checking: Modelling and Verification in Computer Science

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

14 years 10 months ago

Download research.microsoft.com

Leslie Lamport

claim paper

Read More »

Voted

BIRTHDAY
2010
Springer

109views Applied Computing» more BIRTHDAY 2010»

Yuri, Logic, and Computer Science

14 years 7 months ago

Download www.cs.tau.ac.il

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig

claim paper

Read More »

Voted

IPPS
2000
IEEE

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

Workshop on Optics and Computer Science (WOCS 2000)

15 years 2 months 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

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers