- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Proceedings / Kurz, Alexander; Lenisa, Marina; Tarlecki, Andrzej (Hrsg.). - Berlin : Springer, 2009. - (Lecture Notes in Computer Science ; 5728). - S. 433-442. - ISSN 0302-9743. - eISSN 1611-3349. - ISBN 978-3-642-03740-5
In: Third International Conference on Algebra and Coalgebra in Computer Science : CALCO 2009, 7. Sep 2009 - 10. Sep 2009, Udine, Italy
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
KOPS Universität Konstanz
- (wann)
-
2009
- Urheber
-
Lucanu, Dorel
Goriac, Eugen-Ioan
Caltais, Georgiana
Roşu, Grigore
- URN
-
urn:nbn:de:bsz:352-2-1iig5iec0udro7
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:46 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Lucanu, Dorel
- Goriac, Eugen-Ioan
- Caltais, Georgiana
- Roşu, Grigore
- KOPS Universität Konstanz
Entstanden
- 2009
Ähnliche Objekte (12)
Behavioral change for circular electronics
Circular RNA circZFPM2 regulates cardiomyocyte hypertrophy and survival
Functional characterization of circular RNAs and circRNA-protein complexes
Towards circular flow land use management : the CircUse compendium
Circular RNA circFCHO2(hsa_circ_0002490) promotes the proliferation of melanoma by directly binding to DND1
CircMarker: a fast and accurate algorithm for circular RNA detection
Characterization of circular RNA circZFPM2 as therapeutic target in hypertrophic cardiomyopathy
System verification tools based on monadic logics
System verification tools based on monadic logics
Automatic generation of specifications using verification tools
Circular RNA circSATB2 promotes progression of non-small cell lung cancer cells
Circular RNA circRHOT1 promotes hepatocellular carcinoma progression by initiation of NR2F6 expression
Behavioral change for circular electronics
Circular RNA circZFPM2 regulates cardiomyocyte hypertrophy and survival
Functional characterization of circular RNAs and circRNA-protein complexes
Towards circular flow land use management : the CircUse compendium
Circular RNA circFCHO2(hsa_circ_0002490) promotes the proliferation of melanoma by directly binding to DND1
CircMarker: a fast and accurate algorithm for circular RNA detection
Characterization of circular RNA circZFPM2 as therapeutic target in hypertrophic cardiomyopathy
System verification tools based on monadic logics
System verification tools based on monadic logics
Automatic generation of specifications using verification tools
Circular RNA circSATB2 promotes progression of non-small cell lung cancer cells
Circular RNA circRHOT1 promotes hepatocellular carcinoma progression by initiation of NR2F6 expression
Behavioral change for circular electronics
Circular RNA circZFPM2 regulates cardiomyocyte hypertrophy and survival
Functional characterization of circular RNAs and circRNA-protein complexes
Towards circular flow land use management : the CircUse compendium
Circular RNA circFCHO2(hsa_circ_0002490) promotes the proliferation of melanoma by directly binding to DND1
CircMarker: a fast and accurate algorithm for circular RNA detection
Characterization of circular RNA circZFPM2 as therapeutic target in hypertrophic cardiomyopathy
System verification tools based on monadic logics
System verification tools based on monadic logics
Automatic generation of specifications using verification tools
Circular RNA circSATB2 promotes progression of non-small cell lung cancer cells