Your search returned 76 results.

Not what you expected? Check for suggestions

Results
	61.	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)
	62.	Advances in Dynamic Games [electronic resource] : Theory, Applications, and Numerical Methods / edited by Vlastimil Křivan, Georges Zaccour. by Křivan, Vlastimil [editor.] Zaccour, Georges [editor.] SpringerLink (Online service) Series: Annals of the International Society of Dynamic Games ; 13 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Birkhäuser, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	63.	Decentralized Spatial Computing [electronic resource] : Foundations of Geosensor Networks / by Matt Duckham. by Duckham, Matt [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)
	64.	Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang. by Grossi, Davide [editor.] Roy, Olivier [editor.] Huang, Huaxin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8196 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)
	65.	Cryptography and Coding [electronic resource] : 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings / edited by Martijn Stam. by Stam, Martijn [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8308 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)
	66.	The Courant–Friedrichs–Lewy (CFL) Condition [electronic resource] : 80 Years After Its Discovery / edited by Carlos A. de Moura, Carlos S. Kubrusly. by de Moura, Carlos A [editor.] Kubrusly, Carlos S [editor.] SpringerLink (Online service) Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Boston : Birkhäuser Boston : Imprint: Birkhäuser, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	67.	Theory and Applications of Satisfiability Testing – SAT 2013 [electronic resource] : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / edited by Matti Järvisalo, Allen Van Gelder. by Järvisalo, Matti [editor.] Van Gelder, Allen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7962 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)
	68.	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)
	69.	Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode. by Artemov, Sergei [editor.] Nerode, Anil [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7734 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)
	70.	Markov Chains [electronic resource] : Models, Algorithms and Applications / by Wai-Ki Ching, Ximin Huang, Michael K. Ng, Tak-Kuen Siu. by Ching, Wai-Ki [author.] Huang, Ximin [author.] Ng, Michael K [author.] Siu, Tak-Kuen [author.] SpringerLink (Online service) Series: International Series in Operations Research & Management Science ; 189 Edition: 2nd ed. 2013. Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	71.	Cellular Automata and Discrete Complex Systems [electronic resource] : 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 17-19, 2013. Proceedings / edited by Jarkko Kari, Martin Kutrib, Andreas Malcher. by Kari, Jarkko [editor.] Kutrib, Martin [editor.] Malcher, Andreas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8155 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)
	72.	Distributed Computing [electronic resource] : 27th International Symposium, DISC 2013, Jerusalem, Israel, October 14-18, 2013. Proceedings / edited by Yehuda Afek. by Afek, Yehuda [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8205 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)
	73.	Public-Key Cryptography – PKC 2013 [electronic resource] : 16th International Conference on Practice and Theory in Public-Key Cryptography, Nara, Japan, February 26 – March 1, 2013. Proceedings / edited by Kaoru Kurosawa, Goichiro Hanaoka. by Kurosawa, Kaoru [editor.] Hanaoka, Goichiro [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7778 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)
	74.	mODa 10 – Advances in Model-Oriented Design and Analysis [electronic resource] : Proceedings of the 10th International Workshop in Model-Oriented Design and Analysis Held in Łagów Lubuski, Poland, June 10–14, 2013 / edited by Dariusz Ucinski, Anthony C. Atkinson, Maciej Patan. by Ucinski, Dariusz [editor.] Atkinson, Anthony C [editor.] Patan, Maciej [editor.] SpringerLink (Online service) Series: Contributions to Statistics Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Heidelberg : Springer International Publishing : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	75.	Computational and Analytical Mathematics [electronic resource] : In Honor of Jonathan Borwein's 60th Birthday / edited by David H. Bailey, Heinz H. Bauschke, Peter Borwein, Frank Garvan, Michel Théra, Jon D. Vanderwerff, Henry Wolkowicz. by Bailey, David H [editor.] Bauschke, Heinz H [editor.] Borwein, Peter [editor.] Garvan, Frank [editor.] Théra, Michel [editor.] Vanderwerff, Jon D [editor.] Wolkowicz, Henry [editor.] SpringerLink (Online service) Series: Springer Proceedings in Mathematics & Statistics ; 50 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	76.	IUTAM Symposium on Nonlinear Dynamics for Advanced Technologies and Engineering Design [electronic resource] : Proceedings of the IUTAM Symposium on Nonlinear Dynamics for Advanced Technologies and Engineering Design, held Aberdeen, UK, 27-30 July 2010 / edited by Marian Wiercigroch, Giuseppe Rega. by Wiercigroch, Marian [editor.] Rega, Giuseppe [editor.] SpringerLink (Online service) Series: IUTAM Bookseries (closed) ; 32 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)