Zum Inhalt springen

Jayaraman, Bharat [HerausgeberIn] ; PADL 6 2004 Dallas, Tex

Practical aspects of declarative languages : 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18 - 19, 2004; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2004

Erschienen in: Lecture notes in computer science ; 3057
Jayaraman, Bharat [VerfasserIn] ; Association for Computing Machinery-Digital Library

Proceedings of the 2014 International Conference on Interdisciplinary Advances in Applied Computing

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via ACM Digital Library)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York, NY: ACM, 2014

Erschienen in: ACM Other conferences- ACM Digital Library
Jayaraman, Bharat [VerfasserIn] ; PADL 6 2004 Dallas, Tex

Practical aspects of declarative languages : 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18 - 19, 2004; proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2004

Erschienen in: Lecture notes in computer science ; 3057
Jayaraman, Bharat [VerfasserIn]

Practical Aspects of Declarative Languages : 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004. Proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg: Springer, 2004

Erschienen in: Lecture notes in computer science ; 305700
Jain, Bharat A. [VerfasserIn] ; Jayaraman, Narayanan [Sonstige Person, Familie und Körperschaft]; Kini, Omesh [Sonstige Person, Familie und Körperschaft]

The Path-to-Profitability of Internet IPO Firms

Online ansehen
Schließen

Zugang

https://ssrn.com/abstract=998724

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[S.l.]: SSRN, [2015]
Jayaraman, Bharat

Research on sets, constraints, and preferences

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2000

Erschienen in: ACM SIGSOFT Software Engineering Notes
Jayaraman, Bharat

Implementation of subset-equational programs

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1992

Erschienen in: The Journal of Logic Programming
Poroor, Jayaraj; Jayaraman, Bharat

Modeling mobile stateful channels inπZ

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2013

Erschienen in: Science of Computer Programming
Poroor, Jayaraj; Jayaraman, Bharat

C2L:A Formal Policy Language for Secure Cloud Conﬁgurations

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2012

Erschienen in: Procedia Computer Science
Poroor, Jayaraj; Jayaraman, Bharat

Verifying security properties of internet protocol stacks: The split verification approach

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2011

Erschienen in: Journal of Systems Architecture
Jayaraman, Bharat; Tambay, Pallavi

Diagrammatic Representation and Inference: Compositional Semantics for Diagrams Using Constrained Objects

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2002

Erschienen in: Diagrammatic Representation and Inference
Jayaraman, Bharat; Tambay, Pallavi

Practical Aspects of Declarative Languages: Modeling Engineering Structures with Constrained Objects

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2002

Erschienen in: Practical Aspects of Declarative Languages
Osorio, Mauricio; Jayaraman, Bharat

Aggregation and negation-as-failure

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 1999

Erschienen in: New Generation Computing
Jayaraman, Bharat; Jana, Devashis

Set constructors, finite sets, and logical semantics

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1999

Erschienen in: The Journal of Logic Programming
Osorio, Mauricio; Jayaraman, Bharat

Lecture Notes in Computer Science: Integrating the Completion and the Well Founded Semantics

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1998

Erschienen in: Lecture Notes in Computer Science
Haas, Juergen; Jayaraman, Bharat

From context-free to definite-clause grammars: a type-theoretic approach

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1997

Erschienen in: The Journal of Logic Programming
Osorio, Mauricio; Jayaraman, Bharat

Non-Monotonic Extensions of Logic Programming: Aggregation and well-founded semantics+

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1997

Erschienen in: Non-Monotonic Extensions of Logic Programming
Osorio, Mauricio; Jayaraman, Bharat

Specification and computation of optimization problems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1997

Erschienen in: Computers & Industrial Engineering
Jayaraman, Bharat; Moon, Kyonghee

Algebraic Methodology and Software Technology: The SuRE programming framework

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1995

Erschienen in: Algebraic Methodology and Software Technology
Gupta, Gopal; Jayaraman, Bharat

Analysis of Or-parallel execution models

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 1993

Erschienen in: ACM Transactions on Programming Languages and Systems

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr