Zum Inhalt springen

Priami, Corrado [HerausgeberIn]; Quaglia, Paola [Sonstige Person, Familie und Körperschaft] ; GC 2 2004 Rovereto

Global computing : IST/FET international workshop, GC 2004, Rovereto, Italy, March 9 - 12, 2004 ; revised selected papers

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, 2005

Erschienen in: Lecture notes in computer science ; 3267
Quaglia, Paola [VerfasserIn] ; Paola Quaglia [MitwirkendeR]

Symbolic Lookaheads for Bottom-up Parsing

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.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Quaglia, Paola [VerfasserIn] ; Association for Computing Machinery

Proceedings of the 8th International Conference on Computational Methods in Systems Biology

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, 2010

Erschienen in: ACM Digital Library- ACM Other conferences
Priami, Corrado [Sonstige Person, Familie und Körperschaft]; Quaglia, Paola [Sonstige Person, Familie und Körperschaft]

Global Computing : IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers

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 Berlin Heidelberg, 2005

Erschienen in: Lecture notes in computer science ; 3267
Quaglia, Paola

Concurrency, Graphs and Models: On Beta-Binders Communications

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, 2008

Erschienen in: Concurrency, Graphs and Models
Quaglia, Paola

Explicit substitutions for pi-congruences

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, 2001

Erschienen in: Theoretical Computer Science
Quaglia, Paola

Algebraic Methodology and Software Technology: Pi-Congruences as CCS Equivalences

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: Algebraic Methodology and Software Technology
Merelli, Emanuela; Quaglia, Paola

Proceedings Third Workshop From Biology To Concurrency and back : Preface : Preface

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.

Open Publishing Association, 2010

Erschienen in: Electronic Proceedings in Theoretical Computer Science
Cappello, Igor; Quaglia, Paola

Trustworthly Global Computing: A Tool for Checking Probabilistic Properties of COWS Services

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, 2010

Erschienen in: Trustworthly Global Computing
Quaglia, Paola; Schivo, Stefano

Trustworthly Global Computing: Approximate Model Checking of Stochastic COWS

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, 2010

Erschienen in: Trustworthly Global Computing
Cappello, Igor; Quaglia, Paola

A Translation of Beta-binders in a Prioritized Pi-calculus

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, 2009

Erschienen in: Electronic Notes in Theoretical Computer Science
Prandi, Davide; Quaglia, Paola

Service-Oriented Computing – ICSOC 2007: Stochastic COWS

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, 2007

Erschienen in: Service-Oriented Computing – ICSOC 2007
Priami, Corrado; Quaglia, Paola

Computational Methods in Systems Biology: Beta Binders for Biological Interactions

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, 2005

Erschienen in: Computational Methods in Systems Biology
Priami, Corrado; Quaglia, Paola

Transactions on Computational Systems Biology I: Operational Patterns in Beta-Binders

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, 2005

Erschienen in: Transactions on Computational Systems Biology I
Quaglia, Paola; Walker, David

Types and full abstraction for polyadic π-calculus

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, 2005

Erschienen in: Information and Computation
Quaglia, Paola; Walker, David

Lecture Notes in Computer Science: On Synchronous and Asynchronous Mobile Processes

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, 2000

Erschienen in: Lecture Notes in Computer Science
Quaglia, Paola; Walker, David

Lecture Notes in Computer Science: On encoding pπ in mπ

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
Latella, Diego; Quaglia, Paola

Lecture Notes in Computer Science: A fully parallel calculus of synchronizing processes

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, 1993

Erschienen in: Lecture Notes in Computer Science
Priami, Corrado; Ballarini, Paolo; Quaglia, Paola

Computational Methods in Systems Biology: BlenX4Bio – BlenX for Biologists

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, 2009

Erschienen in: Computational Methods in Systems Biology
Priami, Corrado; Quaglia, Paola; Romanel, Alessandro

CONCUR 2009 - Concurrency Theory: BlenX Static and Dynamic 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, 2009

Erschienen in: CONCUR 2009 - Concurrency Theory

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