1
0
0
(1 - 22 von 26
)
Natürliche Semantik für imperative und objektorientierte Programmiersprachen
von Sabine Glesner, Shaker Verlag GmbHTaschenbuch
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 ...
Előszó | Mesterséges Intelligencia Elektronikus Almanach
project.mit.bme.hu
... Bob Futrelle, Marek Galecki, Stefan Gerberding, Stuart Gill, Sabine Glesner, Seth Golub, Gosta Grahne, Russ Greiner, Eric Grimson, Barbara Grosz, Larry Hall, ...
A Framework for Automated HW/SW Co-Verification of SystemC Designs...
books.google.ca
[HFG08] Paula Herber, Joachim Fellmuth, and Sabine Glesner. Model Checking SystemC Designs Using Timed Automata. In International Conference on ...
Abstract State Machines 2003: Advances in Theory and Practice: ...books.google.ca › books
books.google.ca
ASMs versus Natural Semantics: A Comparison with New Insights Sabine Glesner Institut für Programmstrukturen und Datenorganisation, Universität Karlsruhe ...
Abstract State Machines Advances in Theory and Practice: 11th...
books.google.de
An ASM Semantics for SSA Intermediate Representations Sabine Glesner Institut für Programmstrukturen und Datenorganisation Universität Karlsruhe,
it - Information Technology Volume 46 Issue 5 - De Gruyterwww.degruyter.com › journal › key › ITIT › html
www.degruyter.com
... Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers). Sabine Glesner, Gerhard Goos, Wolf Zimmermann.
Embedded Systems: Design, Analysis and Verification: 4th IFIP TC
books.google.de
This book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June...
C Compilers for ASIPs: Automatic Compiler Generation with LISA -...
books.google.de
Also I would like to thank Professor Sabine Glesner for her interest in my work and for her commitment as a secondary advisor. There are a number of people in ...
Formal Methods for Industrial Critical Systems: 12th International...
books.google.de
Scheduler Lars Gesellensetter, Sabine Glesner, and Elke Salecker Institute for ...
Compiler Construction: 20th International Conference, CC 2011, Held...
books.google.de
This book constitutes the refereed proceedings of the 20th International Conference on Compiler Construction, CC 2011, held in Saarbrücken, Germany, March...
Informatik’99: Informatik überwindet Grenzen - Google Books
books.google.de
29.Jahrestagung der Gesellschaft für Informatik Paderborn, Oktober 1999
Perspectives of Systems Informatics: 8th International Andrei Ershov...
books.google.de
This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics,...
Automatisierte Testplanerstellung für Betriebsstrategien von
books.google.de
Poser. Literaturverzeichnis [Gle07] Prof. Dr. Sabine Glesner, editor. Software ...
Software Engineering and Formal Methods: 12th International...
books.google.de
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble,...
Cyber Physical Systems. Design, Modeling, and Evaluation: 6th...
books.google.de
This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2016, held in...
Computer Safety, Reliability, and Security: 39th International...
books.google.de
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon,...
Formal Methods and Software Engineering: 20th International...
books.google.de
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD,...
Objects, Models, Components, Patterns: 48th International Conference,...
books.google.de
Hundt, Daniel St ̈ohr, and Sabine Glesner Berlin Institute of Technology (TU ...
Computer Safety, Reliability, and Security: 39th International ...books.google.com › books
books.google.de
... Julian Hartmer, Hanno Skowronek, and Sabine Glesner Software and Embedded Systems Engineering, Technische Universität Berlin, Berlin, ...
Vorlesungen über Informatik: Band 2: Objektorientiertes Programmieren...
books.google.de
Dieses Lehrbuch bietet eine fundierte Einführung in die grundlegenden Begriffe und Methoden der Informatik. Die Autoren stellen dabei die Prinzipien der...
Verwandte Suchanfragen zu Sabine Glesner
Holger Giese Thomas Göthel Paula Herber | Christine Hundt Jürgen Ebert Manfred Broy | Sebastian Schlesinger Manfred Nagl Elke Salecker |
Personen Vorname "Sabine" (69754) Name "Glesner" (16) |
sortiert nach Relevanz / Datum