1
0
0
(1 - 19 von 21
)
[PDF] biblio.cerist.dz › hrbdonf5214 › ouvrages
biblio.cerist.dz
VIKTOR SABELFELD (Universitiit-Gesamthochschule Siegen) and ANDREl. SABELFELD (Chalmers University of Technology). Distributed progmmming, a purely ...
Krzysztof Kuchcinski | Citations | Related Authors - Typeset.iotypeset.io › Author Directory
typeset.io
187 Christian Blumenröhr, Viktor Sabelfeld Xs Are for Trajectory Evaluation, Booleans Are for Theorem Proving Mark Aagaard, Thomas Melham, ...
Perspectives of Systems Informatics: 5th International Andrei ...books.google.com.hk › books
books.google.com.hk
Numeric Types in Formal Synthesis⋆ Viktor Sabelfeld and Kai Kapp Institute for Computer Design and Fault Tolerance (Prof. Dr.-Ing. D. Schmid) University of ...
Rückblick auf die Anfänge der Münchner Informatik: Dokumente, ...books.google.com.hk › books
books.google.com.hk
Viktor Sabelfeld war zeitweise auch am Institut angestellt Beide Bände zusammen in kyrillischer Schrift; übersetzt und redigiert von Ershov.
Formale Verifikation eingebetteter Systeme - De Gruyterwww.degruyter.com › document › doi › itit › pdf
www.degruyter.com
und Viktor Sabelfeld, Institut für Rechnerentwurf und Fehlertoleranz (IRF),. Universität Karlsruhe von links nach rechts: Dr. rer. nat.
Formale Verifikation eingebetteter Systeme
www.degruyter.com
und Viktor Sabelfeld, Institut für Rechnerentwurf und Fehlertoleranz (IRF),. Universität Karlsruhe von links nach rechts: Dr. rer. nat. Viktor Sabelfeld studierte von ...
it - Information Technology Volume 41 Issue 2 - De Gruyterwww.degruyter.com › journal › key › itit › html
www.degruyter.com
Detlef Schmid, Klaus Schneider, Michaela Huhn, George Logothetis, Viktor Sabelfeld. Page range: Cite this. Download PDF. Unable to retrieve citations ...
Matching of authors and publications in multilingual bibliographic ...www.academia.edu › Matching_of_authors_and_pu...
www.academia.edu
... the A.P. Ershov Institute of Informatics Systems, as well as Viktor Sabelfeld from the Karlsruhe Institute of Technology, are in fact the same person.
Perspectives of System Informatics: 4th International Andrei Ershov...
books.google.de
This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok,...
Perspectives of System Informatics: Third International Andrei Ershov...
books.google.nl
This book constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ershov Memorial Conference, PSI'99, held in Akademgorodok,...
Perspectives of Systems Informatics: 5th International Andrei Ershov...
books.google.co.in
This book constitutes the thoroughly refereed postconference proceedings of the 5th International Andrei Ershov Memorial Conference, PSI 2003, held in...
Prakash Narain | IBM | 1 Publications | 95 Citations - Typeset
typeset.io
187 Christian Blumenröhr, Viktor Sabelfeld Xs Are for Trajectory Evaluation, Booleans Are for Theorem Proving Mark Aagaard, Thomas Melham, ... › authors
Rechaerarchitektur: Grundlagen und Verfahren Google Books
books.google.de
Figure 4 Andrey Erchov with his disciples (from left to right): Viktor Sabelfeld, Igor Pottosin, Vadim Kotov, and Victor Kasyanov In 1964, the Department was transferred to the newly organized Computer Center headed by Academician Gury Marchuk, former (and the last) President of the USSR Academy of Sciences.
Perspectives of System Informatics: 4th International Andrei ...
books.google.co.uk
149 Viktor Sabelfeld, Christian Blumenröhr, Kai Kapp Automated Program Synthesis for Java Programming Language Mait Harf, Kristiina Kindel, ...
Computer Science -- Theory and Applications: First International...
books.google.de
This book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR The 35 revised full theory papers...
Perspectives of System Informatics: Third International Andrei ...books.google.co.uk › books
books.google.co.uk
Introducing Mutual Exclusion in Esterel” Klaus Schneider and Viktor Sabelfeld University of Karlsruhe, Department of Computer Science Institute for Computer ...
Static Analysis: Third International Symposium, SAS '96, Aachen,...
books.google.de
Radhia Cousot, Elena Emelianova, Tomas Jensen, Viktor Sabelfeld and
Stanislav ...
Perspectives of System Informatics: Third International Andrei ...books.google.co.in › books
books.google.co.in
Schneider, Viktor. Sabelfeld) Qinformatik. uni-karlsruhe. de http://goethe. ira.. uka. de/ Abstract. We show how the synchronous programming language ...
Proceedings of the ACM SIGPLAN International Conference ...
books.google.com
Simple semantic analysis problems for functional programs Viktor Sabelfeld ...
Verwandte Suchanfragen zu Viktor Sabelfeld
Bruno Heinrich Klaus Schneider Christian Blumenröhr | Felicitas Adobatti Simon Ditter |
Personen Vorname "Viktor" (8483) Name "Sabelfeld" (50) |
sortiert nach Relevanz / Datum