Search Sciweavers | Sciweavers

11065 search results - page 367 / 2213

» Education

130

click to vote

CORR
2008
Springer

94views Education» more CORR 2008»

Complexity of Hybrid Logics over Transitive Frames

15 years 7 months ago

Download www.csc.liv.ac.uk

Martin Mundhenk, Thomas Schneider 0002, Thomas Sch...

claim paper

Read More »

130

click to vote

CORR
2008
Springer

103views Education» more CORR 2008»

Game Refinement Relations and Metrics

15 years 7 months ago

Download users.soe.ucsc.edu

Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, ...

claim paper

Read More »

click to vote

CORR
2008
Springer

61views Education» more CORR 2008»

GRID-Launcher v.1.0

15 years 7 months ago

Download sait.oat.ts.astro.it

N. Deniskina, Massimo Brescia, Stefano Cavuoti, Gi...

claim paper

Read More »

click to vote

CORR
2010
Springer

64views Education» more CORR 2010»

Satisfiability of Elastic Demand in the Smart Grid

15 years 7 months ago

Download infoscience.epfl.ch

Dan-Cristian Tomozei, Jean-Yves Le Boudec

claim paper

Read More »

click to vote

CORR
2010
Springer

68views Education» more CORR 2010»

A framework to experiment optimizations for real-time and embedded software

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers