Search Results - "Lecture notes"

Language and automata theory and applications 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Middleware 2011 ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Model and data engineering First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Model checking and artificial intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Model checking software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Model driven engineering languages and systems 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Model-based engineering of embedded real-time systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Languages and compilers for parallel computing 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Languages, methodologies, and development tools for multi-agent systems Third International Workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010, Revised Selected Paper...

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Learning and intelligent optimization 5th International Conference, LION 5, Rome, Italy, January 17-21, 2011. Selected Papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access