Books and Journals

Books

Journals

Advanced Search

Title

Exact Title Match Include Uniform Titles

Author

Include Alias Names

Author ID

Uniform Title ID

Publisher

ISBN

ISSN

NCID

Subject

Classification

Note

Format

Language

Year

from to

Library ID

Organization ID

Area

Remember Lib. ID / Org. ID / Area

Close

De Alfaro, Luca

ID:DA13246772

Alias Name: Alfaro, Luca de

Search authors sharing the same name

Search Results1-3 of 3

1

Foundations of software science and computational structures : 12th International Conference, FOSSACS 2009, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22 - 29, 2009 proceedings

Luca de Alfaro (ed.)

Springer, c2009 Lecture notes in computer science 5504

Available at 1 libraries
2

CONCUR 2005 - concurrency theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings

Martín Abadi, Luca de Alfaro (eds.)

Springer c2005 Lecture notes in computer science 3653

Available at 13 libraries
3

Process algebra and probabilistic methods : performance modelling and verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings

Luca de Alfaro, Stephen Gilmore (eds.)

Springer c2001 Lecture notes in computer science 2165

Available at 25 libraries

Search this author

Related Authors