Ergebnis der Suche in der DIPF Publikationendatenbank


Ihre Abfrage:

(Personen: ROELKE, HEIKO* )


Treffer pro Seite

 

1-12 von 12
Upsing, Britta; Gissler, Gabriele; Goldhammer, Frank; Rölke, Heiko; Ferrari, Andrea:
Localisation in international large-scale assessments of competencies
In: Localisation Focus, 10 (2011) 1 , 44-57
Upsing, Britta; Rölke, Heiko; Andrea, Ferrari; Steve, Dept:
Case study: XLIFF in a large-scale international OECD-study
In: Anastasiou, Dimitria; Vázquez, Lucia Morado (Hrsg.): First International XLIFF Symposium Limerick : Univ. Limerick (2010) , 17-19
Rölke, Heiko:
Automata and Petri Net models for visualizing and analyzing complex questionnaires
In: Duvigneau, Michael; Moldt, Daniel (Hrsg.): Proceedings of the International Workshop on Petri Nets and Software Engineering PNSE'10; [in Braga, Portugal on June 22, 2010] Hamburg : Univers. (2010) , 111-124
Rölke, Heiko:
Modeling with net references and synchronous channels.
In: Moldt, Daniel (Hrsg.): International Workshop on Petri Nets and Software Engineering. PNSE'2009 June 22-23, 2009. A satellite event of Petri Nets' 2009. 30th International Conference on Application and Theory of Petri Nets and O ther Models of Concurrency. June 22-26, 2009 Paris, France Paris : Université Paris (2009) , S. 157-172
Sidorova, Natalia (Hrsg.); Moldt, Daniel (Hrsg.); Rölke, Heiko (Hrsg.):
Petri Nets and distributed systems.
Xian : Univ. (2008) , 166 S.
Farwer, Berndt; Jantzen, Matthias; Kudlek, Manfred; Rölke, Heiko; Zetsche, Georg:
Petri net controlled finite automata.
In: Fundamenta Informaticae, 85 (2008) , S. 111-121
Cabac, Lawrence; Dörges, Till; Rölke, Heiko:
A monitoring toolset for PAOSE
In: Hee, Kees Max van & Rüdiger, Valk (Hrsg.): Applications and theory of Petri nets. 29th international conference, PETRI NETS 2008, Xian, China, June 23 - 27, 2008. Proceedings Berlin [u.a.] : Spinger (2008) , S. 399-408
Martens, Thomas; Goldhammer, Frank; Rölke, Heiko; Scharaf, Alexander; Upsing, Britta:
Technology Based Assessment - ein Gemeinschaftsprojekt der Arbeitseinheiten "Informationszentrum Bildung" und "Bildungsqualiät und Evaluation".
In: DIPF informiert, (2008) 12 , S. 2-6
Martens, Thomas; Rölke, Heiko:
Neues DIPF-Projekt entwickelt computerbasierte Testverfahren für den Bildungsbereich.
In: Pädagogische Rundschau, 61 (2007) 6 , S. 743-744
Köhler, Michael; Rölke, Heiko:
Dynamic Transition Refinement.
In: Electronic Notes in Theoretical Computer Science, 175 (2007) 2 , S. 119-134
Köhler, Michael; Rölke, Heiko:
Web Service Orchestration with Super-Dual Object Nets.
In: Kleijn, Jetty et al. (Eds.): Petri Nets and Other Models of Concurrency - ICATPN 2007 Berlin u.a. : Springer (2007) , S. 263-280
Farwer, Berndt; Kudlek, Manfred; Rölke, Heiko:
Concurrent Turing Machines.
In: Fundamenta Informaticae, 79 (2007) 3-4 , S. 303-317
 

Achtung!
Es werden immer nur die markierten Treffer der aktuellen Seite angezeigt oder exportiert

Markierte Treffer dieser Seite exportieren

Zu exportierende Felder:
 
zu exportierendes Format:
 

alphabetisch nach Autor/Titel sortieren

 

Publikationendatenbank