Search Sciweavers | Sciweavers

2623 search results - page 5 / 525

» tools 2010

117

click to vote

WRLA
2010

109views Logical Reasoning» more WRLA 2010»

A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications

15 years 2 months ago

Download maude.lcc.uma.es

Francisco Durán, José Meseguer

claim paper

Read More »

135

click to vote

BIOINFORMATICS
2010

100views more BIOINFORMATICS 2010»

iMAT: an integrative metabolic analysis tool

15 years 1 months ago

Download www.cs.tau.ac.il

Hadas Zur, Eytan Ruppin, Tomer Shlomi

claim paper

Read More »

114

click to vote

CE
2010

113views more CE 2010»

Effects of attitudes and behaviours on learning mathematics with computer tools

15 years 1 months ago

Download www.fi.uu.nl

Helen C. Reed, Paul Drijvers, Paul A. Kirschner

claim paper

Read More »

102

click to vote

IMCSIT
2010

110views Information Technology» more IMCSIT 2010»

Support of the E-business by business intelligence tools and data quality improvement

15 years 1 months ago

Download proceedings2010.imcsit.org

Milena Tvrdikova, Ondrej Koubek

claim paper

Read More »

105

click to vote

IJBC
2010

63views more IJBC 2010»

Harmonic Analysis of oscillators through Standard Numerical Continuation Tools

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers