Treffer
1 - 5
von
5
für Suche '
Ratzer, Anne
'
Weiter zum Inhalt
VuFind
Zwischenablage:
0
in der Auswahl
(Voll)
Anmeldung über Ihre Einrichtung
Bootstrap
Reg_test
TUM
GatewayBayern
Rvk
reg_uni
Standard Theme
Mobile Theme
thws
Layout
Englisch
Deutsch
Sprache
OPAC
OPACplus
Stichwort
Titel
Verfasser
Schlagwort
Suchen
Erweitert
Suchergebnisse - Ratzer, Anne
Treffer
1 - 5
von
5
für Suche '
Ratzer, Anne
'
, Suchdauer: 0,95s
Treffer weiter einschränken
Sortieren
Relevanz
Nach Datum, absteigend
Verfasser
Titel
1
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets
von
Ratzer, Anne Vinter
,
Wells, Lisa
,
Lassen, Henry Michael
,
Laursen, Mads
,
Qvortrup, Jacob Frank
,
Stissing, Martin Stig
,
Westergaard, Michael
,
Christensen, Søren
,
Jensen, Kurt
Volltext
Buchkapitel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
2
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS
von
Beaudouin-Lafon, Michel
,
Mackay, Wendy E.
,
Jensen, Mads
,
Andersen, Peter
,
Janecek, Paul
,
Lassen, Michael
,
Lund, Kasper
,
Mortensen, Kjeld
,
Munck, Stephanie
,
Ratzer, Anne
,
Ravn, Katrine
,
Christensen, Søren
,
Jensen, Kurt
Volltext
Buchkapitel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
3
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets
von
Beaudouin-Lafon, Michel
,
Mackay, Wendy E.
,
Andersen, Peter
,
Janecek, Paul
,
Jensen, Mads
,
Lassen, Michael
,
Lund, Kasper
,
Mortensen, Kjeld
,
Munck, Stephanie
,
Ratzer, Anne
,
Ravn, Katrine
,
Christensen, Søren
,
Jensen, Kurt
Volltext
Buchkapitel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
4
Tool support for collaborative teaching and learning of object-oriented modeling
von
Hansen, Klaus Marius
,
Ratzer, Anne Vinter
Veröffentlicht in
SIGCSE bulletin
Volltext
Artikel
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
5
CPN/tools : A tool for editing and simulating Coloured petri nets. ETPAS Tool Demonstration related to TACAS
von
BEAUDOUIN-LAFON, Michel
,
MACKAY, Wendy E
,
RAVN, Katrine
,
CHRISTENSEN, Søren
,
JENSEN, Kurt
,
JENSEN, Mads
,
ANDERSEN, Peter
,
JANECEK, Paul
,
LASSEN, Michael
,
LUND, Kasper
,
MORTENSEN, Kjeld
,
MUNCK, Stephanie
,
RATZER, Anne
Volltext
Tagungsbericht
In die Zwischenablage
Aus der Zwischenablage entfernen
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge:
RSS-Feed abonnieren
Diese Suche als E-Mail versenden
Suche speichern
Zurück
Treffer weiter einschränken
Seite wird neu geladen, wenn Filter aktiviert oder ausgeschlossen wird.
Eingrenzen
Peer Reviewed
4 Treffer
4
Online Resources
5 Treffer
5
Format
Book Chapters
3 Treffer
3
Articles
1 Treffer
1
Conference Proceedings
1 Treffer
1
Zeitschriftentitel
Proceedings Of The 7Th Annual Conference On Innovation And Technology In Computer Science Education
1 Treffer
1
Proceedings Of The Annual Sigcse Conference On Innovation And Technology In Computer Science Education
1 Treffer
1
Sigcse Bulletin
1 Treffer
1
Schlagworte
Applied Sciences
3 Treffer
3
Computer Science; Control Theory; Systems
3 Treffer
3
Exact Sciences And Technology
3 Treffer
3
Computer Systems And Distributed Systems. User Interface
2 Treffer
2
Interaction Technique
2 Treffer
2
Software
2 Treffer
2
State Space Analysis
2 Treffer
2
Theoretical Computing
2 Treffer
2
Agic Enses
1 Treffer
1
Collaborative Learning
1 Treffer
1
Computer Science
1 Treffer
1
Computer Science, Software Engineering
1 Treffer
1
Computer Science, Theory & Methods
1 Treffer
1
Electronic Whiteboards
1 Treffer
1
Gestures
1 Treffer
1
Graphic Accelerator
1 Treffer
1
Graphical Feedback
1 Treffer
1
Information Retrieval. Graph
1 Treffer
1
Liveness Property
1 Treffer
1
Major Redesign
1 Treffer
1
Erscheinungsjahr
Von:
Bis:
Quelle
Ingenta
4 Treffer
4
Ebook Central Perpetual And Dda
3 Treffer
3
Ebooks On Ebscohost
3 Treffer
3
Springer Books
3 Treffer
3
Acm Digital Library (Association For Computing Machinery)
1 Treffer
1
Ingentaconnect Journals
1 Treffer
1