- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1471-2105
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
GeneFisher-P: variations of GeneFisher as processes in Bio-jETI ; volume:9 ; number:4 ; day:25 ; month:04 ; year:2008 ; pages:1-15 ; date:4.2008
BMC bioinformatics ; 9, Heft 4 (25.04.2008), 1-15, 4.2008
- Creator
- Contributor
-
Margaria, Tiziana
Steffen, Bernhard
Sczyrba, Alexander
Hartmeier, Sven
Giegerich, Robert
SpringerLink (Online service)
- DOI
-
10.1186/1471-2105-9-S4-S13
- URN
-
urn:nbn:de:1111-201602177811
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:23 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Lamprecht, Anna-Lena
- Margaria, Tiziana
- Steffen, Bernhard
- Sczyrba, Alexander
- Hartmeier, Sven
- Giegerich, Robert
- SpringerLink (Online service)
Other Objects (12)
GeneFisher-P : variations of GeneFisher as processes in Bio-jETI
Bio-jETI : a framework for semantics-based service composition
Bio-jETI: a framework for semantics-based service composition
Bio-jETI : a service integration, design, and provisioning platform for orchestrated bioinformatics processes
Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes
jETI: ein serviceorientiertes framework zur high level Ausführung von Remote-Komponenten
Grundlagen der höheren Informatik, Bd. 1.. Induktives Vorgehen
Das Dogma vom Kreuz : Beitrag zu einer staurozentrischen Theologie
Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten : e. Optimalitätskonzept u. seine Anwendung
Finite model checking and beyond
Composition, decomposition and model checking of pushdown processes
Pushdown processes : parallel composition and model checking
GeneFisher-P : variations of GeneFisher as processes in Bio-jETI
Bio-jETI : a framework for semantics-based service composition
Bio-jETI: a framework for semantics-based service composition
Bio-jETI : a service integration, design, and provisioning platform for orchestrated bioinformatics processes
Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes
jETI: ein serviceorientiertes framework zur high level Ausführung von Remote-Komponenten
Grundlagen der höheren Informatik, Bd. 1.. Induktives Vorgehen
Das Dogma vom Kreuz : Beitrag zu einer staurozentrischen Theologie
Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten : e. Optimalitätskonzept u. seine Anwendung
Finite model checking and beyond
Composition, decomposition and model checking of pushdown processes
Pushdown processes : parallel composition and model checking
GeneFisher-P : variations of GeneFisher as processes in Bio-jETI
Bio-jETI : a framework for semantics-based service composition
Bio-jETI: a framework for semantics-based service composition
Bio-jETI : a service integration, design, and provisioning platform for orchestrated bioinformatics processes
Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes
jETI: ein serviceorientiertes framework zur high level Ausführung von Remote-Komponenten
Grundlagen der höheren Informatik, Bd. 1.. Induktives Vorgehen
Das Dogma vom Kreuz : Beitrag zu einer staurozentrischen Theologie
Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten : e. Optimalitätskonzept u. seine Anwendung
Finite model checking and beyond
Composition, decomposition and model checking of pushdown processes