Search Sciweavers | Sciweavers

10848 search results - page 124 / 2170

» Programming in Biomolecular Computation

click to vote

TCS
2010

94views Theoretical Computer Science» more TCS 2010»

Verifying parallel programs with dynamic communication structures

14 years 8 months ago

Download www.liafa.jussieu.fr

Tayssir Touili, Mohamed Faouzi Atig

claim paper

Read More »

click to vote

ACMSE
2010
ACM

131views Theoretical Computer Science» more ACMSE 2010»

An introduction to programming microcontrollers

14 years 7 months ago

Download www.cs.olemiss.edu

Benjamin Pharr

claim paper

Read More »

click to vote

HCI
2009

158views Human Computer Interaction» more HCI 2009»

Further Steps towards Driver Modeling According to the Bayesian Programming Approach

14 years 7 months ago

Download www.lks.uni-oldenburg.de

Claus Möbus, Mark Eilers

claim paper

Read More »

click to vote

COMJ
2010

262views Applied Computing» more COMJ 2010»

Constraint Application with Higher-Order Programming for Modeling Music Theories

14 years 7 months ago

Download cmr.soc.plymouth.ac.uk

Torsten Anders, Eduardo Reck Miranda

claim paper

Read More »

click to vote

ICTAC
2010
Springer

203views Applied Computing» more ICTAC 2010»

Invariants and Well-Foundedness in Program Algebra

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers