1
0
0
(1 - 20 von 25
)
Axel Dold | University of Ulm | 12 Publications | 128 Citations ...Typeset
typeset.io
› authors › axel-...
Ergebniscenter - Zentraler Schriftennachweisbgr.de
zsn.bgr.de
Treffer von 320 — Korehi, Hananeh ; Kock, Dagmar ; Schippers, Axel ; Dold, B. Titel: Detection and quantification of microorganisms in high saline mine ... › mapapps4 › resources › apps › zsn
Formalisierung schematischer Algorithmen - Axel Dold - Google Books
books.google.de
Axel Dold. Univ. Ulm, pages. 0 Reviewshttp://books.google.com/books/about/Formalisierung_schematischer_Algorithmen.html?id=SSP3HAAACAAJ ...
Abstract State Machines - Theory and Applications: International...
books.google.de
Technical Report, Magdeburg University, Axel Dold. A formal representation of abstract state machines using pvs. Technical Report Verifix Report Ulm/6.2, ...
Visual Library .NET - Die Suchmaschine für wissenschaftliche...
www.visuallibrary.net
Visual Library .NET bietet Ihnen einen einfachen Online-Zugang zu über 20 Bibliotheken, Buchhandlungen, Fachdatenbanken, Enzyklopädien und Archiven im...
Automated Deduction - CADE-17: 17th International Conference on...
books.google.de
Axel Dold. Representing, verifying and applying software development steps using the PVS system. In V.S. Alagar and Maurice Nivat, editors, Proceedings of the ...
Algebraic Methodology and Software Technology: 4th ...google.com
books.google.com
Representing , Verifying and Applying Software Development Steps using the PVS System * Axel Dold Abt . Künstliche Intelligenz , Universität Ulm , D
FST TCS 2001: Foundations of Software Technology and Theoretical...
books.google.de
A Mechanically Verified Compiling Specification for a Lisp Compiler⋆ Axel Dold and Vincent Vialard Fakultät für Informatik Universität Ulm D Ulm, ...
Neuronale Netze: Optimierung durch Lernen und Evolution - Heinrich...
books.google.de
In diesem Buch findet der Leser effiziente Methoden zur Optimierung Neuronaler Netze. Insbesondere durch die ausführliche Behandlung des Reinforcement Learning...
Perspectives of System Informatics: Third International Andrei Ershov...
books.google.de
This book constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ershov Memorial Conference, PSI'99, held in Akademgorodok,...
Tool Support for System Specification, Development and Verification -...
books.google.de
Thanks to Axel Dold, Vincent Vialard and F.W. von Henke for their suggestions, and for trying reflexive functions, in particular a linear graph example, in PVS.
ZB 2002: Formal Specification and Development in Z and B: 2nd...
books.google.de
... GemPlus, France Axel Dold, University of Ulm, Germany Benoit Fraikin, University of Sherbrooke, Canada Lindsay Groves, Victoria University, New Zealand ...
Tool Support for System Specification, Development and ...google.com
books.google.com
Thanks to Axel Dold, Vincent Vialard and F.W. von Henke for their suggestions, and for trying reflexive functions, in particular a linear graph example, ...
Abstract State Machines Advances in Theory and Practice: 11th...
books.google.de
DV01. Axel Dold and Vincent Vialard. A Mechanically Verified Compiling Specification for a Lisp Compiler. In Proceedings of the 21st Conference on Software ...
Algebraic Methodology and Software Technology: 4th International...
books.google.de
This volume constitutes the proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, held in Montreal, Canada in July...
Applied Formal Methods - FM-Trends 98: International Workshop on...
books.google.de
Holger Pfeifer, Axel Dold, F.W. von Henke, and Harald Ruefi. Mechanized Semantics of Simple Imperative Programming Constructs. Ulmer Informatik-Berichte ...
Collaboration Between Human and Artificial Societies: Coordination...
books.google.de
Holger Pfeifer, Axel Dold, F.W. von Henke, and Harald Rueß. Mechanized Semantics of Simple Imperative Programming Constructs. Ulmer Informatik-Berichte ...
Software Process and Product Measurement: International Conferences...
books.google.de
This book constitutes the refereed proceedings of two joint events - the International Workshop on Software Measurement, IWSM and the International...
sortiert nach Relevanz / Datum