( en | de | ru )

 

Disambiguierung von "Taha, Walid"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ML-Like Inference for Classifiers.

, , und . ESOP, Volume 2986 von Lecture Notes in Computer Science, Seite 79-93. Springer, (2004)

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.

Khalil Tahai

Saoud Asaad Taha

Wael Ahmed Attia Taha

Ali Taha

Mamdouh Mohamed Taha El-Faki

 

Weitere Publikationen von Autoren mit dem selben Namen

Semantics, Applications, and Implementation of Program Generation.. J. Funct. Program., 13 (3): 453-454 (2003)Implicitly Heterogeneous Multi-Stage Programming., , , , und . New Generation Comput., 25 (3): 305-336 (2007)Developing a first course on cyber-physical systems., , , , , , , und . SIGBED Review, 14 (1): 44-52 (2016)A methodology for generating verified combinatorial circuits., , und . EMSOFT, Seite 249-258. ACM, (2004)Preface., und . Sci. Comput. Program., 62 (1): 1-2 (2006)Exploring the Design Space of Higher-Order Casts., , und . ESOP, Volume 5502 von Lecture Notes in Computer Science, Seite 17-31. Springer, (2009)Gradual Typing for Objects., und . ECOOP, Volume 4609 von Lecture Notes in Computer Science, Seite 2-27. Springer, (2007)Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming., , und . ICALP, Volume 1853 von Lecture Notes in Computer Science, Seite 25-36. Springer, (2000)Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML., , und . ICFP, Seite 74-85. ACM, (2001)SIGPLAN Notices 36(10), October 2001.Developing A First Course on Cyber-Physical Systems., , , und . WESE, Seite 6:1-6:8. ACM, (2014)