Wird aktualisiert...
Unten findet man Ihre Wettbewerber – zeigen auch Sie sich zu formal!
Hier klicken für Ihr Exposé |
Helmut Melcher @ Karlsdorf-Neuthard
Klaus Winkelmann, Controller, Amiga, Software, Champ, TheLegacy, CAS, Wolfgang Trumler, CRM Products, Formal
Michael Leuschel
Formale Spezifikationen kein Konzept (nur) für Theoretiker Prof. Dr. Michael Leuschel Lehrstuhl Softwaretechnik und Programmiersprachen formalmind, Formal
Cyrille Artho
Formal Techniques for Safety-Critical Systems, Cyrille Artho FOR SALE • EUR 62,06 • See Photos! Money Back Guarantee. Über Uns Impressum FAQ Formal ...
Markus Lumpe
@MISC(Lumpe00aformal, author = (Markus Lumpe and Franz Achermann and Oscar Nierstrasz), title = (A Formal Language for Composition), year = (2000) ) ...
Burkhart Wolff
Cancel·la. Burkhart Wolff. Professor für Informatik, Universität Paris-Sud · Formal Methods, Formal Verification, Formal Testing, Software-Engineering, …
Gerhild Zybatow
SorBib : Formale Slavistik / Hrsg. Uwe Junghanns; Gerhild Zybatow - 3 Treffer für Formale Slavistik / Hrsg. Uwe Junghanns; Gerhild Zybatow in SorBib, Formal
Daniel Kröning
Formal Verification Conferences and Journals. Name Deadline Objectives ... Please send updates to Daniel Kroening, kroening@kroening.com ...
Gerwin Klein
In Gerwin Klein, Tobias Nipkow, and Lawrence Paulson, editors, The Archive of Formal Proofs. http://afp.sf.net/entries/CoreC++.shtml, September 2006. Formal ...
Roswitha Mennecke
Formal
Lars Hedrich
He· ICCAD’14 ⋅ 1 Evaluation of a Benchmark Suite for Formal Verification of Analog Circuits Felix . Salfelder, Lars Hedrich . University of Frankfurt, …
Markus Kees
Müller-Lerwe, Rainer, Busch, ProSTEP, Armin, Thomas, Wevelinghoven, Christen, Inventors, Formal
Stefanie Tieste, Doktorandin @ Karlsruher Institut für Technologie, Karlsruhe / Heilbronn
Filmwissenschaft, Filmrestaurierung, Filmvorführer, Literaturwissenschaft Heinrich von Kleist, Werke, Heilbronn, Sembdner, Kleist-Archiv Sembdner, 2009, Karlsruhe, Schule, ISBN, Formal
Walter Kuhn, Professor, Dipl. Inf., MBA @ HWZ Hochschule für Wirtschaft Zürich
HWZ, Hochschule, Center, Germany, Wirtschaft Zürich, Business Engineering, Formal
Rainer Knauf, Professor @ TU Ilmenau, Erfurt
Ilmenau, University, Avelino, Gonzalez, Jantke, Germany, Erfurt, Validation, DBLP, Formal
Elke Walter, Moddesign @ ELKE WALTER MODEDESIGN, Hamburg
Design, Hamburg, Modedesign, Luminaire, Hilde Leiss, Puppies, Ronan Bouroullec, Erwan, Fashion, Formal
Nach Beruf: ABCDEFGHIJKLMNOPQRSTUVWXYZ Nach Firma: ABCDEFGHIJKLMNOPQRSTUVWXYZ