Your search returned 1236 results.

Results
	661.	Principles of Security and Trust [electronic resource] : 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / by Piessens, Frank [editor.] Viganò, Luca [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9635 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	662.	Graph Drawing and Network Visualization [electronic resource] : 24th International Symposium, GD 2016, Athens, Greece, September 19-21, 2016, Revised Selected Papers / by Hu, Yifan [editor.] Nöllenburg, Martin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9801 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	663.	Biomimetic and Biohybrid Systems [electronic resource] : 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedings / by Lepora, Nathan F [editor.] Mura, Anna [editor.] Mangan, Michael [editor.] Verschure, Paul F.M.J [editor.] Desmulliez, Marc [editor.] Prescott, Tony J [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9793 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	664.	Discrete Geometry for Computer Imagery [electronic resource] : 19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016. Proceedings / by Normand, Nicolas [editor.] Guédon, Jeanpierre [editor.] Autrusseau, Florent [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9647 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	665.	Genetic Programming [electronic resource] : 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings / by Heywood, Malcolm I [editor.] McDermott, James [editor.] Castelli, Mauro [editor.] Costa, Ernesto [editor.] Sim, Kevin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9594 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	666.	Web Services, Formal Methods, and Behavioral Types [electronic resource] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / by Hildebrandt, Thomas [editor.] Ravara, António [editor.] van der Werf, Jan Martijn [editor.] Weidlich, Matthias [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9421 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	667.	Geographic Information Science [electronic resource] : 9th International Conference, GIScience 2016, Montreal, QC, Canada, September 27-30, 2016, Proceedings / by Miller, Jennifer A [editor.] O'Sullivan, David [editor.] Wiegand, Nancy [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9927 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	668.	Software Engineering and Formal Methods [electronic resource] : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / by De Nicola, Rocco [editor.] Kühn, Eva [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9763 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	669.	Parallel Processing and Applied Mathematics [electronic resource] : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I / by Wyrzykowski, Roman [editor.] Deelman, Ewa [editor.] Dongarra, Jack [editor.] Karczewski, Konrad [editor.] Kitowski, Jacek [editor.] Wiatr, Kazimierz [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9573 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	670.	High Performance Computing and Applications [electronic resource] : Third International Conference, HPCA 2015, Shanghai, China, July 26-30, 2015, Revised Selected Papers / by Xie, Jiang [editor.] Chen, Zhangxin [editor.] Douglas, Craig C [editor.] Zhang, Wu [editor.] Chen, Yan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9576 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	671.	Advances in Databases and Information Systems [electronic resource] : 20th East European Conference, ADBIS 2016, Prague, Czech Republic, August 28-31, 2016, Proceedings / by Pokorný, Jaroslav [editor.] Ivanović, Mirjana [editor.] Thalheim, Bernhard [editor.] Šaloun, Petr [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9809 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	672.	Machine Learning and Interpretation in Neuroimaging [electronic resource] : 4th International Workshop, MLINI 2014, Held at NIPS 2014, Montreal, QC, Canada, December 13, 2014, Revised Selected Papers / by Rish, Irina [editor.] Langs, Georg [editor.] Wehbe, Leila [editor.] Cecchi, Guillermo [editor.] Chang, Kai-min Kevin [editor.] Murphy, Brian [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9444 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	673.	Trends in Functional Programming [electronic resource] : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers / by Serrano, Manuel [editor.] Hage, Jurriaan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9547 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	674.	Topics in Theoretical Computer Science [electronic resource] : The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers / by Hajiaghayi, Mohammed Taghi [editor.] Mousavi, Mohammad Reza [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9541 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	675.	Computational Methods and Clinical Applications for Spine Imaging [electronic resource] : Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings / by Vrtovec, Tomaž [editor.] Yao, Jianhua [editor.] Glocker, Ben [editor.] Klinder, Tobias [editor.] Frangi, Alejandro [editor.] Zheng, Guoyan [editor.] Li, Shuo [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9402 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	676.	Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / by Albert, Elvira [editor.] Lanese, Ivan [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9688 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	677.	Patch-Based Techniques in Medical Imaging [electronic resource] : Second International Workshop, Patch-MI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Proceedings / by Wu, Guorong [editor.] Coupé, Pierrick [editor.] Zhan, Yiqiang [editor.] Munsell, Brent C [editor.] Rueckert, Daniel [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 9993 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	678.	Combinatorial Optimization and Applications [electronic resource] : 10th International Conference, COCOA 2016, Hong Kong, China, December 16–18, 2016, Proceedings / by Chan, T-H. Hubert [editor.] Li, Minming [editor.] Wang, Lusheng [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10043 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	679.	A List of Successes That Can Change the World [electronic resource] : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday / by Lindley, Sam [editor.] McBride, Conor [editor.] Trinder, Phil [editor.] Sannella, Don [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9600 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	680.	Model Checking Software [electronic resource] : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings / by Bošnački, Dragan [editor.] Wijs, Anton [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9641 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)