IST Austria Library catalog › Results of search for 'ccl=su:"Symbolic and Algebraic Manipulation." and su-to:Artificial intelligence and su-to:Computer software'

Your search returned 2 results.

Not what you expected? Check for suggestions

	1.	Principles of distributed systems : 15th international conference, OPODIS 2011, Toulouse, France, December 13-16, 2011 : proceedings / Antonio Fernández Anta, Giuseppe Lipari, Matthieu Roy (eds.). by OPODIS (Conference) (15th : 2011 : Toulouse, France) \| Anta, Antonio Fernández \| Lipari, Giuseppe, 1971- \| Roy, Matthieu. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2011Other title: OPODIS 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags
	2.	Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings / Chris Hawblitzel, Dale Miller (eds.). by CPP 2012 (2012 : Kyoto, Japan) \| Hawblitzel, Chris \| Miller, Dale (Dale A.). Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: CPP 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook . Place hold Log in to add tags

IST Austria Library