1
0
0
(1 - 30 von 51
)
H@LL Spielesuche
www.hall9000.de
H@LL9000 Euer Magazin zum Thema Brettspiele und Kartenspiele. Regelmässig Rezensionen/Spielekritik, Kurzspielregeln sowie News und Reportagen aus der...
Harald Fecher – BoardGameBliss Inc.www.boardgamebliss.com › collections › harald-...
www.boardgamebliss.com
Home; Harald Fecher. Filters. Availability. Out of Stock. Category. Children. Discount. On Sale. Number of Players. 2 Players. 3 Players. 4 Players. Product Type.
Harald Fecher - researchr alias
researchr.org
Local abstraction-refinement for the ::::μ::::-calculusHarald Fecher, Sharon Shoham. STTT, 13(4): , [doi] ...
Buchjournal (inoffiziell): "Harald Fecher, Thomas Liesching ...literatur.social › ...
literatur.social
Harald Fecher, Thomas Liesching: PURZELBAUM: Durchs Eichhörnchenjahr https://www.buchjournal.de
Spiele von Harald Fecher – Brettspiele: Angebote und ...www.brettspiel-angebote.de › spiele
www.brettspiel-angebote.de
... Hal Eccles, Hanno Girke, Hanno von Contzen, Hans Führer, Hans-Peter Stoll, Harald Fecher, Harry Wu, Hartmut Kommerell, Hartwig Jakubik, Hassan Lopez ...
Harald Fecher
www.infona.pl
Search results for: Harald Fecher ... Harald Fecher · Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems ...
mediaTUM - Medien- und Publikationsserver
mediatum.ub.tum.de
This work extends the abstraction-refinement paradigm based on 3-valued logics to the setting of probabilistic systems. Firstly, We define a notion of abstraction ...
Purzelbaum - Thomas Liesching - Harald Fecher - Zoch Verlag -www.spiele-check.de › Purzelbaum
www.spiele-check.de
Anleitung: Link zur Homepage Zur Anleitung Beschreibung: Im Sommer gereift, purzeln die Nüsse im Herbst von den Bäumen. Schlaue ...
Action Refinement for Probabilistic Processes with True Concurrency...
www.semanticscholar.org
In this paper, we develop techniques of action refinement for probabilistic processes within the context of a probabilistic process algebra. A semantic...
Characteristic μ-Calculus Formulas for Underspecified Transition ...cyberleninka.org › article
cyberleninka.org
Abstract of research paper on Computer and information sciences, author of scientific article — Harald Fecher, Martin Steffen. Abstract Underspecification, which ...
Der österreichische Spielepreis Spiel der Spiele: Die Spiele in ...www.superfred.de › SdS
www.superfred.de
Purzelbaum (Harald Fecher, Thomas Liesching, Zoch) Spiele Hit für Experten: Carpe Diem (Stefan Feld, alea) Lift Off (Jeroen Vandersteen, Hans im Glück)
Department of Computer Science, University of Oxford: Hintikka Games...
www.cs.ox.ac.uk
Hintikka Games for PCTL on Labeled Markov Chains
EXPRESS'04 - ACCPwww.win.tue.nl › express04 › accp
www.win.tue.nl
Harald Fecher, Martin Steffen Characteristic mu-Calculus Formula for an Underspecified Transition System Reynald Affeldt, Naoki Kobayashi Partial Order ...
Formalizing UML Models and OCL Constraints in PVS
www.cs.ru.nl
Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, and Hillel Kugler. To appear in: Proceedings ...
Compositional Operational Semantics of a UML-Kernel-Model Language |...
www.sciweavers.org
... machines, run-to-completion steps, deterministic passing of control. Harald Fecher, Marcel Kyas, Willem P. de Roever, F. Display Traffic Map ...
Electronic Notes in Theoretical Computer Science, Volume 250vldbarc.org › dblp › journals › entcs › entcs250
vldbarc.org
Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn: Refinement Sensitive Formal Semantics of State Machines With Persistent Choice
Purzelbaum - New - Games - www.zoch-verlag.com
www.zoch-verlag.com
Author: Harald Fecher, Thomas Liesching. Warning! Not suitable for children under 3 years due to small parts. Choking hazard! Contents: 1 Board; 20 Memory ...
Media and Publication Server - mediaTUMmediatum.ub.tum.de › node
mediatum.ub.tum.de
Harald Fecher, Martin Leucker, Verena Wolf. Title: Don't know in Probabilistic Systems. Abstract: This work extends the abstraction-refinement paradigm based ...
Refinement Sensitive Formal Semantics of State Machines ...
cyberleninka.org
Abstract of research paper on Computer and information sciences, author of scientific article — Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn.
Mit Eichhörnchen durchs Jahr - Purzelbaum von Zoch ...www.jungundaltspielt.de › 05 Kinderspiele
www.jungundaltspielt.de
Purzelbaum | Kinderspiel | ab 4 Jahren | 2 bis 4 Spieler*innen | Harald Fecher, Thomas Liesching | Zoch | pädagogisch wertvoll Wenn Spiele ...
Purzelbaum - BDKJ Kinderspieletestwww.kinderspieletest.de › purzelbaum-1152
www.kinderspieletest.de
Purzelbaum. Ein Spiel von Harald Fecher & Thomas Liesching. Nominiert in der Testsaison Im Sommer gereift, purzeln die Nüsse im Herbst von den ...
Alle Infos zum Namen "Harald Fecher"
sortiert nach Relevanz / Datum