Search

Your search keyword '"Brandt, Jens"' showing total 2 results

Search Constraints

Start Over You searched for: "Brandt, Jens" Remove constraint "Brandt, Jens" Category computers / computer architecture Remove constraint Category: computers / computer architecture
2 results on '"Brandt, Jens"'

Search Results

1. Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings

2. Embedded and Ubiquitous Computing - EUC 2005 : International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings

Catalog

Books, media, physical & digital resources