Your search returned 5 results.

Not what you expected? Check for suggestions

Results
	1.	Recent Trends in Algebraic Development Techniques [electronic resource] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers / edited by Narciso Martí-Oliet, Miguel Palomino. by Martí-Oliet, Narciso [editor.] Palomino, Miguel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7841 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Theory and Applications of Models of Computation [electronic resource] : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings / edited by T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan. by Chan, T-H. Hubert [editor.] Lau, Lap Chi [editor.] Trevisan, Luca [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7876 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Frontiers in Algorithmics and Algorithmic Aspects in Information and Management [electronic resource] : Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings / edited by Michael Fellows, Xuehou Tan, Binhai Zhu. by Fellows, Michael [editor.] Tan, Xuehou [editor.] Zhu, Binhai [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7924 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Typed Lambda Calculi and Applications [electronic resource] : 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings / edited by Masahito Hasegawa. by Hasegawa, Masahito [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7941 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	5.	People, Problems, and Proofs [electronic resource] : Essays from Gödel's Lost Letter: 2010 / by Richard J. Lipton, Kenneth W. Regan. by Lipton, Richard J [author.] Regan, Kenneth W [author.] SpringerLink (Online service) Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)