search result

Cover von Bounded incremental computation
Author: Ramalingam, Ganesan Search for this author
Year: 1996
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 1089
Media group: MONOGRAPHIE
Cover von Programming languages and systems
6th Asian symposium, Bangalore, India, December 9 - 11, 2008, proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5356
Media group: MONOGRAPHIE
Cover von Safe Transferable Regions

Safe Transferable Regions

Year: 2018
Media group: LIPIcs
Cover von LIPIcs, Volume 45, FSTTCS'15, Complete Volume

LIPIcs, Volume 45, FSTTCS'15, Complete Volume

Year: 2015
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2015
Media group: LIPIcs
Cover von 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
FSTTCS 2015, December 16 - 18, 2015, Bangalore, India
Search for this author
Year: 2015
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 45
Media group: LIPIcs
Cover von Dagstuhl Seminar Review: Consistency in Distributed Systems; 1
article : pp. 67-89
Search for this author
Year: 2014
Publisher: New York, ACM
SIGACT news
Count: 1
Media group: ARTICLE
Cover von Consistency in Distributed Systems; 2
pp. 92-126
Search for this author
Year: 2013
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 2
Media group: DAGSTUHL REPORT
Cover von Aspects for legacy applications
Search for this author
Year: 2006
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl Seminar Proceedings; 06302
Media group: DAGSTUHL-SEMINAR-PRO
OPEN V 11.1.0.0