Showing
1 - 1
results of
1
for search '
"Samanta, Roopsha"
'
Skip to search
Skip to content
Skip to your selected search filter 'Misailovic, Sasa'
Toggle navigation
View Book Bag:
0
items
(Full)
My Account
Log Out
My Account
de
Deutsch
Books & more
Currently selected:
All
All Fields
Title
Author
Subject
UDK
ISBN / ISSN
Barcode / Call number
Tag
Find
Retain my Current Filters
author_facet:"Misailovic, Sasa"
Search: "Samanta, Roopsha"
Search Results
Refine Results
Showing
1 - 1
results of
1
for search '
"Samanta, Roopsha"
'
, Query Time: 0.13s
Results per Page
10
20
40
60
Sorted by
Relevance
Date Descending
Date Ascending
Person / Institution
Title
Total number: 1
1
online resource
Augmented example-based synthesis using relational perturbation properties
(2020)
An, Shengwei
,
Singh, Rishabh
,
Misailovic, Sasa
,
Samanta, Roopsha
Published in
Proceedings of the ACM on Programming Languages
(2020)
E-Article
Loading ...
Online
Get additional information online
Saved in:
Search Tools:
Get RSS Feed
—
E-Mail this Search
—
Save Search
Back
Refine my Results
Remove Filters
Please de-select one or all of the following filters to widen search results:
Clear Filter
Author:
Misailovic, Sasa
Access
Open Access
(Page will refresh when filter 'Open Access' is selected)
1
results
Electronic Resources
(Page will refresh when filter 'Electronic Resources' is selected)
1
results
Format
Article, E-Article
(Page will refresh when filter 'Article, E-Article' is selected)
1
results
Subject (RVK)
General
(Page will refresh when filter 'General' is selected)
1
results
Computer Science
(Page will refresh when filter 'Computer Science' is selected)
1
results
Year of Publication
From:
To:
Language
English
(Page will refresh when filter 'English' is selected)
1
results
Geographical Reference
not assigned
(Page will refresh when filter 'not assigned' is selected)
1
results
Collection
Association for Computing Machinery (ACM) (CrossRef)
(Page will refresh when filter 'Association for Computing Machinery (ACM) (CrossRef)' is selected)
1
results
Author
An, Shengwei
(Page will refresh when filter 'An, Shengwei' is selected)
1
results
Misailovic, Sasa
(Applied Filter - Page will refresh when filter 'Misailovic, Sasa' is deselected)
Samanta, Roopsha
(Page will refresh when filter 'Samanta, Roopsha' is selected)
1
results
Singh, Rishabh
(Page will refresh when filter 'Singh, Rishabh' is selected)
1
results
Hits in field databases
1
Business Source Complete
This is a dialog window which overlays the main content of the page. Pressing the Escape key or the Close Dialog Window button will close the modal and bring you back to where you were on the page.
Loading ...
