1
0
0
News
齐发娱乐手机版a2.shengchuntech.com › news
a2.shengchuntech.com
· ... 采购工作，并于2003年被任命为新车项目的项目经理。2005年，Ralf Plato made his debut in the BTCC with the works Renault squad in and, ...
Netzwerk-Profile
Ralf - Jürgen Plato - Luckenwalde (Hermann-Matern-Oberschule)
www.stayfriends.de
Ralf - Jürgen Plato ist Mitglied bei StayFriends und hat bis diese Schule besucht: Hermann-Matern-Oberschule.
Private Homepages
Toralf Plato Namen Analyse
toralf-plato.deunamen.com
DeuNamen.com - Toralf Plato Namen Analyse und statistische für Deutschland und Österreich
Bücher
SCEAS
sceas.csd.auth.gr
Scientific Colection Evaluator with Advanced Scoring (SCEAS) is an automated system that uses DBLP data and produces rank table by various evaluation ...
PARES - a Portable Parallel Estelle Compiler - Ralf Plato, Thomas...
books.google.com.ua
PARES - a Portable Parallel Estelle Compiler. Front Cover. Ralf Plato, Thomas Held, Hartmut König. Techn. Univ., Fak. für Mathematik, Naturwiss. und Informatik ...
Protocol Specification, Testing and Verification XV - Google Books
books.google.de
This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete...
Protocol Specification, Testing and Verification XV
books.google.com
25 PARES - A Portable Parallel Estelle Compiler Ralf Plato, Thomas Held Hartmut Koenig “Otto von Guericke” University of Magdeburg Brandenburg University of ...
Dokumente zum Namen
Institut für Informatik - Opus4
opus4.kobv.de
von C Lewerentz · — Zusammenarbeit: Gemeinsames Projekt mit den Universitäten Hamburg,. Mannheim und Magdeburg. Ralf Henke und Ralf Plato (Universität Magdeburg) ... › file › inf_bericht1997
Wissenschaftliche Veröffentlichungen
dblp: Protocol Specification, Testing and Verification 1995
dblp.uni-trier.de
Bibliographic content of Protocol Specification, Testing and Verification 1995
Veröffentlichungen allgemein
PARES - A Portable Parallel Estelle Compiler | SpringerLink
link.springer.com
von R Plato · · Zitiert von: 6 — Ralf Plato,; Thomas Held &; Hartmut Koenig. Chapter. 83 Accesses. 1 Citations. Part of the IFIP Advances in Information and Communication Technology book ... › chapter
Computergestützte Erfassung von Operationsleistungen - researchr...
researchr.org
Computergestützte Erfassung von Operationsleistungen. F. Kretzschmar, Ralf Plato. Computergestützte Erfassung von Operationsleistungen. In Hildebrand ...
PARES - A Portable Parallel Estelle Compiler | SpringerLinklink.springer.com › chapter
link.springer.com
Ralf Plato; Thomas Held; Hartmut Koenig. Ralf Plato. 1. Thomas Held. 1. Hartmut Koenig Institut of Computer Sciences“Otto von Guericke” University of ...
Medizin und Information, 39. Jahrestagung der GMDS, Dresden,...
researchr.org
; Computergestützte Erfassung von OperationsleistungenF. Kretzschmar, Ralf Plato ; 30-Tage Follow-Up-Herzchirurgie - Entwicklung und ...
Artikel & Meinungen
PARES - a portable parallel Estelle compiler - researchr publication...
researchr.org
Ralf Plato, Thomas Held, Hartmut König. PARES - a portable parallel Estelle compiler. In Piotr Dembinski, Marek Sredniawa, editors, Protocol Specification, ...
Sonstiges
Ohne Titel
www.cse.iitb.ac.in
[cites]. The table does not contain any record satisfying the given value. [writes]. name, paperid, banks_node_id. Ralf Plato · conf/pstv/PlatoHK95, › Banks
Protocol Specification, Testing and Verification XV ...www.springerprofessional.de › protocol-specificatio...
www.springerprofessional.de
... the main implementation issues, and its application. Finally, we present first results of its optimization. Ralf Plato, Thomas Held, Hartmut Koenig.
Künstler der Galerie
www.arke-galerie.de
"Künstler der Galerie" Zum Ende des Jahres zeigen wir u.a. Arbeiten von Ralf Bohnenkamp Plato E. Papastamo Andreas Scholz
PARES - a portable parallel Estelle compiler | Semantic Scholar
www.semanticscholar.org
A portable Estelle compiler, called PARES, is presented, for semiautomatically deriving parallel protocol implementations from formal descriptions in Estelle,...
DBLP: Hartmut König
vldbarc.org
Ralf Plato, Thomas Held, Hartmut König: PARES - a portable parallel Estelle compiler. PSTV 1995: , no EE pubzone.org · CiteSeerX · Google ...
PSTV - researchr conference series publications
researchr.org
PARES - a portable parallel Estelle compilerRalf Plato, Thomas Held, Hartmut König. pstv 1996: A method to build symbolic representations of LOTOS ...
Protocol Specification, Testing and Verification 1995
www.sigmod.org
Bibliographic content of Protocol Specification, Testing and Verification 1995
Vanderleia Muller @vanderleia_muller Instagram videos and photos •...
imgtaram.com
Instagram: Vanderleia Muller @vanderleia_muller • • Imgtaram
Robuste Schätzung quantitativer Dosis docis.info
docis.info
... Biometrie O. Gefeller Computergestützte Erfassung von Operationsleistungen F. Kretzschmar Ralf Plato JERKPERT: ein wissensbasiertes System ...
Computer Science Bibliography Collection: Search Results for query:...
liinwww.ira.uka.de
liinwww.ira.uka.de/csbib?query=au:(Ralf+Plato)[PS] Jahresbericht der Fakult at f ur Informatik der Otto-von ...Dateiformat: Adobe PostScript21. Sept Inf. Ralf Plato (bis: ). Dipl.-Inf. Olaf Spinczyk. Dipl.-Inf. Ute Spincyzk. Dipl.-Ing. Andreas Ulrich (bis: ) ...
Verwandte Suchanfragen zu Ralf Plato
| Hartmut König Thomas Held Jens Thomas Held | Silke Moser |
Personen Vorname "Ralf" (44375) Name "Plato" (139) |
sortiert nach Relevanz / Datum