1
0
0
(1 - 24 von 24
)
Search results for "Friederike Nickl" – FacetedDBLP
dblp.l3s.uni-hannover.de
Found 14 publication records. Showing 13 according to the selection in the facets . Hits ? Authors Title Venue Year Link Author keywords; 1: Ralf Fahney, Thomas ...
Computer-Aided Program Development - JAVA-RAP
www.informatik.uni-kiel.de
Computer-Aided Program Development,
Institute of Computer Science Kiel,
JAVA-RAP
Papers by the group of Prof. C. Lengauer, PhD
www.infosun.fim.uni-passau.de
The publications by the group of Prof. Lengauer are listed below , Christian Lengauer, Friederike Nickl, Martin Wirsing) Concurrent Object
JAVA-RAP main page - Uni Kiel
www.informatik.uni-kiel.de
... Ulrich Fraus, and Friederike Nickl. This webpage describes how to get JAVA-RAP and provides documentation for JAVA-RAP and the native RAP system. › ...
Papers by the group of Prof. C. Lengauer, PhD - Infosun
www.infosun.fim.uni-passau.de
( Ulrike Lechner, Christian Lengauer, Friederike Nickl, Martin Wirsing ); Concurrent Object-Oriented Design Specification in SPECTRUM › ...
Search results for "Formal Methods in Programming and Their...
dblp.l3s.de
Hits ?△, Authors, Title, Venue, Year, Link, Author keywords.
Authors
Title
Wolfgang Reif
An Approach to Parameterized First-Order Friederike Nickl, Martin Wirsing
A Formal Approach to Requirements ...
The PROSPECTRA Consortium
www.informatik.uni-bremen.de
Manfred Broy, Thomas Grünler, Dr. Friederike Nickl, Michael Breu, Frank Dederichs, Rainer Weber. Universität des Saarlandes. Prof. › consortium_e
Friedrich L. Bauer - DBLP
dblp.uni-trier.de
— ... Thomas Matzner, Bernhard Möller, Friederike Nickl, Helmuth Partsch, Peter Pepper, Klaus Samelson, Martin Wirsing, Hans Wössner: › Persons › Friedrich L. Bauer
[fg-arc] Modellierungskonferenz an der Universität Wien
lists.uni-paderborn.de
... Bundeswehr München - Mirjam Minor, Goethe-Universität-Frankfurt - Günther Müller-Luschnat, iteratec GmbH, München - Friederike Nickl, ...
Gesellschaft für Informatik - Uni Bamberg
www.uni-bamberg.de
— Moderation: Dr. Friederike Nickl https://www.xing.com/profile/Friederike_Nickl. KI - vertrauenswürdig, erklärbar, fair? › uni › wiai › Flyer
dblp: Markus Garschhammer
dblp.uni-trier.de
List of computer science publications by Markus Garschhammer
Mitglieder des MNM-Teams
www.nm.informatik.uni-muenchen.de
... Nicht-funktionale Anforderungen und Quality of Service (with Markus Garschhammer and Friederike Nickl), GI Regionalgruppe München ...
Verwandte Suchanfragen zu Friederike Nickl
Helmuth Partsch Ulrike Lechner Bernhard Möller | Peter Pepper Ruth Breu Alfred Laut | Michael Breu Manfred Broy Ralf Fahney |
Person "Nickl" (3) Vorname "Friederike" (7753) Name "Nickl" (420) |
sortiert nach Relevanz / Datum