( en | de | ru )

 

Disambiguierung von "Percebois, Christian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Parallélisme-OU et assertions Prolog.

, , und . SPLT, Seite 455-470. (1988)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Christian Christian

Christian Winter

Gold-katalysierte Cycloisomerisierung funktionalisierter Allene und Anwendung in der Naturstoffsynthese. TU Dortmund, (2009)

Christian Helbig

Synthese und Charakterisierung von metallorganischen Bronzen. Uni Augsburg, (2009)

Christian Schüller

Automatisierte Feedbackgenerierung in der benutzerzentrierten Softwareentwicklung am Beispiel mobiler Anwendungen. TU München, (2009)

Christian Döring

Die Expression der E3 Ligasen Murf - 1 und MafBx nach Induktion einer Herzinsuffizienz, Einfluss von körperlichem Training. Uni Leipzig, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Abstract machine construction through operational semantics refinements., , und . Future Gener. Comput. Syst., 16 (7): 753-769 (2000)Synchrostate: A SPEM-based solution for synchronizing activities and products through state transitions., , , , und . Int. Arab J. Inf. Technol., 15 (6): 951-961 (2018)Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations., , , und . TAP, Volume 9762 von Lecture Notes in Computer Science, Seite 183-190. Springer, (2016)Towards Interoperability in Component Based Development with a Family of DSLs., , , und . ECSA, Volume 5292 von Lecture Notes in Computer Science, Seite 148-163. Springer, (2008)Quelques résultats sur la récupération de la mémoire pour un émulateur LISP-PROLOG., und . SPLT, (1984)A Lisp-machine to Implement Prolog., und . ICLP, Seite 45-51. ADDP-GIA, (1982)A Compiler for a Distributed Inference Model., , und . EDMCC, Volume 487 von Lecture Notes in Computer Science, Seite 412-421. Springer, (1991)Integrating verifiable Assume/Guarantee contracts in UML/SysML., , und . ACES-MB@MoDELS, Volume 1084 von CEUR Workshop Proceedings, CEUR-WS.org, (2013)COALA: un réseau d'acteurs pour une architecture multiprocesseur Prolog., , und . SPLT, (1985)Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations., und . ICST, Seite 946-953. IEEE Computer Society, (2012)