Your search returned 1888 results.

Not what you expected? Check for suggestions

Results
	1481.	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)
	1482.	Internet and Distributed Computing Systems [electronic resource] : 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings / edited by Mukaddim Pathan, Guiyi Wei, Giancarlo Fortino. by Pathan, Mukaddim [editor.] Wei, Guiyi [editor.] Fortino, Giancarlo [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8223 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)
	1483.	Critical Information Infrastructure Security [electronic resource] : 6th International Workshop, CRITIS 2011, Lucerne, Switzerland, September 8-9, 2011, Revised Selected Papers / edited by Sandro Bologna, Bernhard Hämmerli, Dimitris Gritzalis, Stephen Wolthusen. by Bologna, Sandro [editor.] Hämmerli, Bernhard [editor.] Gritzalis, Dimitris [editor.] Wolthusen, Stephen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6983 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)
	1484.	Combinatorial Search: From Algorithms to Systems [electronic resource] / by Youssef Hamadi. by Hamadi, Youssef [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)
	1485.	Critical Information Infrastructures Security [electronic resource] : 7th International Workshop, CRITIS 2012, Lillehammer, Norway, September 17-18, 2012, Revised Selected Papers / edited by Bernhard M. Hämmerli, Nils Kalstad Svendsen, Javier Lopez. by Hämmerli, Bernhard M [editor.] Kalstad Svendsen, Nils [editor.] Lopez, Javier [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7722 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)
	1486.	Secure IT Systems [electronic resource] : 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings / edited by Hanne Riis Nielson, Dieter Gollmann. by Riis Nielson, Hanne [editor.] Gollmann, Dieter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8208 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)
	1487.	Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data [electronic resource] : 12th China National Conference, CCL 2013 and First International Symposium, NLP-NABD 2013, Suzhou, China, October 10-12, 2013. Proceedings / edited by Maosong Sun, Min Zhang, Dekang Lin, Haifeng Wang. by Sun, Maosong [editor.] Zhang, Min [editor.] Lin, Dekang [editor.] Wang, Haifeng [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8202 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)
	1488.	Product Lifecycle Management for Society [electronic resource] : 10th IFIP WG 5.1 International Conference, PLM 2013, Nantes, France, July 6-10, 2013, Proceedings / edited by Alain Bernard, Louis Rivest, Debasish Dutta. by Bernard, Alain [editor.] Rivest, Louis [editor.] Dutta, Debasish [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 409 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)
	1489.	Intelligent Multimedia Surveillance [electronic resource] : Current Trends and Research / edited by Pradeep K. Atrey, Mohan S. Kankanhalli, Andrea Cavallaro. by Atrey, Pradeep K [editor.] Kankanhalli, Mohan S [editor.] Cavallaro, Andrea [editor.] 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)
	1490.	Numerical Analysis and Its Applications [electronic resource] : 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers / edited by Ivan Dimov, István Faragó, Lubin Vulkov. by Dimov, Ivan [editor.] Faragó, István [editor.] Vulkov, Lubin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8236 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)
	1491.	Applications of Declarative Programming and Knowledge Management [electronic resource] : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers / edited by Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf. by Tompits, Hans [editor.] Abreu, Salvador [editor.] Oetsch, Johannes [editor.] Pührer, Jörg [editor.] Seipel, Dietmar [editor.] Umeda, Masanobu [editor.] Wolf, Armin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7773 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)
	1492.	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)
	1493.	Model-Driven Engineering Languages and Systems [electronic resource] : 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings / edited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke. by Moreira, Ana [editor.] Schätz, Bernhard [editor.] Gray, Jeff [editor.] Vallecillo, Antonio [editor.] Clarke, Peter [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8107 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)
	1494.	Multimodal Communication in Political Speech. Shaping Minds and Social Action [electronic resource] : International Workshop, Political Speech 2010, Rome, Italy, November 10-12, 2010, Revised Selected Papers / edited by Isabella Poggi, Francesca D’Errico, Laura Vincze, Alessandro Vinciarelli. by Poggi, Isabella [editor.] D’Errico, Francesca [editor.] Vincze, Laura [editor.] Vinciarelli, Alessandro [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7688 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)
	1495.	Modeling Decisions for Artificial Intelligence [electronic resource] : 10th International Conference, MDAI 2013, Barcelona, Spain, November 20-22, 2013. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Guillermo Navarro-Arribas, David Megías. by Torra, Vicenç [editor.] Narukawa, Yasuo [editor.] Navarro-Arribas, Guillermo [editor.] Megías, David [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8234 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)
	1496.	Evolution of Telecommunication Services [electronic resource] : The Convergence of Telecom and Internet: Technologies and Ecosystems / edited by Emmanuel Bertin, Noel Crespi, Thomas Magedanz. by Bertin, Emmanuel [editor.] Crespi, Noel [editor.] Magedanz, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7768 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)
	1497.	Algorithmic Decision Theory [electronic resource] : Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings / edited by Patrice Perny, Marc Pirlot, Alexis Tsoukiàs. by Perny, Patrice [editor.] Pirlot, Marc [editor.] Tsoukiàs, Alexis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8176 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)
	1498.	Constraint Solving and Language Processing [electronic resource] : 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers / edited by Denys Duchier, Yannick Parmentier. by Duchier, Denys [editor.] Parmentier, Yannick [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8114 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)
	1499.	Implementation and Application of Functional Languages [electronic resource] : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers / edited by Ralf Hinze. by Hinze, Ralf [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8241 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)
	1500.	High Performance Computing [electronic resource] : 8th CCF Conference, HPC 2012, Zhangjiajie, China, October 29-31, 2012, Revised Selected Papers / edited by Yunquan Zhang, Kenli Li, Zheng Xiao. by Zhang, Yunquan [editor.] Li, Kenli [editor.] Xiao, Zheng [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 207 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)