Search Sciweavers | Sciweavers

62 search results - page 1 / 13

» Advanced SPIN Tutorial

Voted

SPIN
2004
Springer

109views Theoretical Computer Science» more SPIN 2004»

Advanced SPIN Tutorial

15 years 8 months ago

Download spinroot.com

Theo C. Ruys, Gerard J. Holzmann

claim paper

Read More »

Voted

SPIN
2004
Springer

124views Theoretical Computer Science» more SPIN 2004»

IF Validation Environment Tutorial

15 years 8 months ago

Download spinroot.com

Marius Bozga, Susanne Graf, Laurent Mounier, Iulia...

claim paper

Read More »

209

click to vote

Publication

1436views

Foundations of Mechanism Design: A Tutorial - Part 2: Advanced Concepts and Results

17 years 1 months ago

Download www.ias.ac.in

Foundations of Mechanism Design: A Tutorial - Part 2: Advanced Concepts and Results

posted by sujit

Read More »

117

Voted

WSC
1998

252views Modeling And Simulation» more WSC 1998»

MODSIM III - a Tutorial with Advances in Database Access and HLA Support

15 years 4 months ago

Download www.informs-sim.org

MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...

John Goble, Brian Wood

claim paper

Read More »

Voted

GECCO
2007
Springer

180views Optimization» more GECCO 2007»

Advanced tutorial on coevolution

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers