Your search returned 53 results.

Not what you expected? Check for suggestions

Results
	41.	Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings / edited by Didier Galmiche, Dominique Larchey-Wendling. by Galmiche, Didier [editor.] Larchey-Wendling, Dominique [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8123 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)
	42.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings / edited by Pedro Cabalar, Tran Cao Son. by Cabalar, Pedro [editor.] Son, Tran Cao [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8148 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)
	43.	Algebraic Informatics [electronic resource] : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / edited by Traian Muntean, Dimitrios Poulakis, Robert Rolland. by Muntean, Traian [editor.] Poulakis, Dimitrios [editor.] Rolland, Robert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8080 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)
	44.	Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / edited by Tetsuo Ida, Jacques Fleuriot. by Ida, Tetsuo [editor.] Fleuriot, Jacques [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7993 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)
	45.	Computational Methods in Systems Biology [electronic resource] : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings / edited by Ashutosh Gupta, Thomas A. Henzinger. by Gupta, Ashutosh [editor.] Henzinger, Thomas A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8130 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)
	46.	Advances in Cryptology - ASIACRYPT 2013 [electronic resource] : 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part I / edited by Kazue Sako, Palash Sarkar. by Sako, Kazue [editor.] Sarkar, Palash [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8269 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)
	47.	Advances in Cryptology - ASIACRYPT 2013 [electronic resource] : 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II / edited by Kazue Sako, Palash Sarkar. by Sako, Kazue [editor.] Sarkar, Palash [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8270 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)
	48.	Graph Theory with Algorithms and its Applications [electronic resource] : In Applied Science and Technology / by Santanu Saha Ray. by Saha Ray, Santanu [author.] SpringerLink (Online service) Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: India : Springer India : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	49.	Teoria degli Automi Finiti [electronic resource] / by Aldo de Luca, Flavio D’Alessandro. by Luca, Aldo de [author.] D’Alessandro, Flavio [author.] SpringerLink (Online service) Series: UNITEXT ; 68 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Milano : Springer Milan : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	50.	Design, Analysis and Test of Logic Circuits Under Uncertainty [electronic resource] / by Smita Krishnaswamy, Igor L. Markov, John P. Hayes. by Krishnaswamy, Smita [author.] Markov, Igor L [author.] Hayes, John P [author.] SpringerLink (Online service) Series: Lecture Notes in Electrical Engineering ; 115 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	51.	Computational Methods in Stochastic Dynamics [electronic resource] : Volume 2 / edited by Manolis Papadrakakis, George Stefanou, Vissarion Papadopoulos. by Papadrakakis, Manolis [editor.] Stefanou, George [editor.] Papadopoulos, Vissarion [editor.] SpringerLink (Online service) Series: Computational Methods in Applied Sciences ; 26 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	52.	The 3rd International Workshop on Intelligent Data Analysis and Management [electronic resource] / edited by Lorna Uden, Leon S.L. Wang, Tzung-Pei Hong, Hsin-Chang Yang, I-Hsien Ting. by Uden, Lorna [editor.] Wang, Leon S.L [editor.] Hong, Tzung-Pei [editor.] Yang, Hsin-Chang [editor.] Ting, I-Hsien [editor.] SpringerLink (Online service) Series: Springer Proceedings in Complexity Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	53.	Understanding Markov Chains [electronic resource] : Examples and Applications / by Nicolas Privault. by Privault, Nicolas [author.] SpringerLink (Online service) Series: Springer Undergraduate Mathematics Series Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Singapore : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)