Search Sciweavers | Sciweavers

4029 search results - page 43 / 806

» Reconfigurable Systems in Education

click to vote

CORR
2009
Springer

63views Education» more CORR 2009»

An Intuitive Automated Modelling Interface for Systems Biology

15 years 3 months ago

Download lucacardelli.name

Ozan Kahramanogullari, Luca Cardelli, Emmanuelle C...

claim paper

Read More »

122

click to vote

CORR
2009
Springer

70views Education» more CORR 2009»

A Type System for Tom

15 years 3 months ago

Download www.loria.fr

Claude Kirchner, Pierre-Etienne Moreau, Clá...

claim paper

Read More »

119

click to vote

CORR
2009
Springer

85views Education» more CORR 2009»

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

15 years 3 months ago

Download www.irisa.fr

Benoît Boyer, Thomas Genet

claim paper

Read More »

click to vote

CORR
2010
Springer

44views Education» more CORR 2010»

Structural Analysis of Boolean Equation Systems

15 years 3 months ago

Download tocl.acm.org

Jeroen Keiren, Michel A. Reniers, Tim A. C. Willem...

claim paper

Read More »

click to vote

CORR
2010
Springer

43views Education» more CORR 2010»

Watching Systems in graphs: an extension of Identifying Codes

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers