Autor der Publikation

Combining Top-Down and Bottom-Up Techniques in Program Derivation.

, und . LOPSTR, Volume 9527 von Lecture Notes in Computer Science, Seite 244-258. Springer, (2015)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Hindi generation from interlingua., , , , und . MTSummit, (2007)Optimistic Recovery in Multi-threaded Distributed Systems., , und . SRDS, Seite 234-243. IEEE Computer Society, (1999)Automated Theorem Prover Assisted Program Calculations., und . IFM, Volume 8739 von Lecture Notes in Computer Science, Seite 205-220. Springer, (2014)ONE-IP: Techniques for Hosting a Service on a Cluster of Machines., , , , und . Comput. Networks, 29 (8-13): 1019-1027 (1997)Aiding Irrigation Census in Developing Countries by Detecting Minor Irrigation Structures from Satellite Imagery., , und . GISTAM, Seite 208-215. SCITEPRESS, (2020)Noun Group and Verb Group Identification for Hindi., , und . COLING, Seite 2491-2506. Indian Institute of Technology Bombay, (2012)Distributed Recovery with K-Optimistic Logging., , und . ICDCS, Seite 60-67. IEEE Computer Society, (1997)Hindi to English and Marathi to English Cross Language Information Retrieval Evaluation., , , und . CLEF, Volume 5152 von Lecture Notes in Computer Science, Seite 111-118. Springer, (2007)Hindi and Marathi to English Cross Language Information Retrieval., , , und . IJCNLP, Seite 64. The Association for Computer Linguistics, (2008)Well Detection in Satellite Images using Convolutional Neural Networks., , und . GISTAM, Seite 117-125. SciTePress, (2019)