1
Language and Automata Theory and Applications [E-Book] : Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /
Other Personal Name(s): “...Mitchell, John C....”

Full text 
Favorites
Saved in:
2
Fundamental Approaches to Software Engineering [E-Book] : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
Other Personal Name(s): “...Mitchell, John C....”

Full text 
Favorites
Saved in:
3
Adapting Proofs-as-Programs [E-Book] : The Curry-Howard Protocol /
Other Personal Name(s): “...Crossley, John Newsome....”

Full text 
Favorites
Saved in:

Narrow Search Results