First Level Navigation

LeibnizOpen

Publikationen aus der Leibniz-Gemeinschaft

Refine search results

Filters

Use filters to refine the search results.

Current Filters:


New Filters:

Showing 2 out of a total of 921 results. (0.0 seconds)

Now showing items 1-2 of 921

1
2
3
4
. . .
93
Next Page

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

Symbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar 12462) [Report / Forschungsbericht / Arbeitspapier]

Boulier, Francois; Shiu, Anne J.; Strum, Thomas; Weber, Andreas; Francois Boulier and Anne J. Shiu and Thomas Sturm and Andreas Weber [Ed.] - (2013)

Source: Dagstuhl Reports, Volume 2, Issue 11; ISSN 2192-5283

Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik

http://dx.doi.org/10.4230/DagRep.2.11.66
Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011) [Report / Forschungsbericht / Arbeitspapier]

Boehm, Hans J.; Goltz, Ursula; Hermanns, Holger; Sewell, Peter; Hans J. Boehm and Ursula Goltz and Holger Hermanns and Peter Sewell [Ed.] - (2011)

Source: Dagstuhl Reports, Volume 1, Issue 1; ISSN 2192-5283

Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik

http://dx.doi.org/10.4230/DagRep.1.1.1

Now showing items 1-2 of 921

1
2
3
4
. . .
93
Next Page

Sort Options:
Results Per Page:
- 5
- 10
- 20
- 40
- 60
- 80
- 100

 