Your search returned 12 results.

Not what you expected? Check for suggestions

Results
	1.	Principles of Distributed Systems [electronic resource] : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings / edited by Roberto Baldoni, Nicolas Nisse, Maarten van Steen. by Baldoni, Roberto [editor.] Nisse, Nicolas [editor.] Steen, Maarten van [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8304 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	SOFSEM 2013: Theory and Practice of Computer Science [electronic resource] : 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings / edited by Peter van Emde Boas, Frans C. A. Groen, Giuseppe F. Italiano, Jerzy Nawrocki, Harald Sack. by Emde Boas, Peter van [editor.] Groen, Frans C. A [editor.] Italiano, Giuseppe F [editor.] Nawrocki, Jerzy [editor.] Sack, Harald [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7741 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.	Engineering Secure Software and Systems [electronic resource] : 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings / edited by Jan Jürjens, Benjamin Livshits, Riccardo Scandariato. by Jürjens, Jan [editor.] Livshits, Benjamin [editor.] Scandariato, Riccardo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7781 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.	Logic-Based Program Synthesis and Transformation [electronic resource] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers / edited by Elvira Albert. by Albert, Elvira [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7844 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.	Algebra and Coalgebra in Computer Science [electronic resource] : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings / edited by Reiko Heckel, Stefan Milius. by Heckel, Reiko [editor.] Milius, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8089 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)
	6.	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)
	7.	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)
	8.	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)
	9.	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)
	10.	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)
	11.	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)
	12.	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)