Your search returned 156 results.

Results
	41.	High Performance Computing in Science and Engineering [electronic resource] : Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers / by Kozubek, Tomáš [editor.] Blaheta, Radim [editor.] Šístek, Jakub [editor.] Rozložník, Miroslav [editor.] Čermák, Martin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9611 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)
	42.	Software Technologies: Applications and Foundations [electronic resource] : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / by Milazzo, Paolo [editor.] Varró, Dániel [editor.] Wimmer, Manuel [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9946 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)
	43.	Conceptual Modeling [electronic resource] : 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings / by Comyn-Wattiau, Isabelle [editor.] Tanaka, Katsumi [editor.] Song, Il-Yeol [editor.] Yamamoto, Shuichiro [editor.] Saeki, Motoshi [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9974 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)
	44.	Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems [electronic resource] : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures / by Bernardo, Marco [editor.] De Nicola, Rocco [editor.] Hillston, Jane [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9700 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)
	45.	Formal Methods: Foundations and Applications [electronic resource] : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / by Ribeiro, Leila [editor.] Lecomte, Thierry [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10090 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)
	46.	Model and Data Engineering [electronic resource] : 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings / by Bellatreche, Ladjel [editor.] Pastor, Óscar [editor.] Almendros Jiménez, Jesús M [editor.] Aït-Ameur, Yamine [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9893 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)
	47.	Computational Science and Its Applications – ICCSA 2016 [electronic resource] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Rocha, Ana Maria A. C [editor.] Torre, Carmelo M [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Stankova, Elena [editor.] Wang, Shangguang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9786 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)
	48.	OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments [electronic resource] : Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers / by Gorentla Venkata, Manjunath [editor.] Imam, Neena [editor.] Pophale, Swaroop [editor.] Mintz, Tiffany M [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10007 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)
	49.	Research in Attacks, Intrusions, and Defenses [electronic resource] : 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings / by Monrose, Fabian [editor.] Dacier, Marc [editor.] Blanc, Gregory [editor.] Garcia-Alfaro, Joaquin [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 9854 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)
	50.	Usability- and Accessibility-Focused Requirements Engineering [electronic resource] : First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers / by Ebert, Achim [editor.] Humayoun, Shah Rukh [editor.] Seyff, Norbert [editor.] Perini, Anna [editor.] Barbosa, Simone D.J [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9312 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)
	51.	Principles and Practice of Multi-Agent Systems [electronic resource] : International Workshops: IWEC 2014, Gold Coast, QLD, Australia, December 1-5, 2014, and CMNA XV and IWEC 2015, Bertinoro, Italy, October 26, 2015, Revised Selected Papers / by Baldoni, Matteo [editor.] Baroglio, Cristina [editor.] Bex, Floris [editor.] Grasso, Floriana [editor.] Green, Nancy [editor.] Namazi-Rad, Mohammad-Reza [editor.] Numao, Masayuki [editor.] Suarez, Merlin Teodosia [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9935 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)
	52.	Theoretical Aspects of Computing – ICTAC 2016 [electronic resource] : 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings / by Sampaio, Augusto [editor.] Wang, Farn [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9965 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)
	53.	Architecture of Computing Systems -- ARCS 2016 [electronic resource] : 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings / by Hannig, Frank [editor.] Cardoso, João M.P [editor.] Pionteck, Thilo [editor.] Fey, Dietmar [editor.] Schröder-Preikschat, Wolfgang [editor.] Teich, Jürgen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9637 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)
	54.	Web Information Systems Engineering – WISE 2016 [electronic resource] : 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part I / by Cellary, Wojciech [editor.] Mokbel, Mohamed F [editor.] Wang, Jianmin [editor.] Wang, Hua [editor.] Zhou, Rui [editor.] Zhang, Yanchun [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10041 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)
	55.	Computational Science and Its Applications - ICCSA 2016 [electronic resource] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Rocha, Ana Maria A.C [editor.] Torre, Carmelo M [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Stankova, Elena [editor.] Wang, Shangguang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9789 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)
	56.	Computational Science and Its Applications – ICCSA 2016 [electronic resource] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Rocha, Ana Maria A.C [editor.] Torre, Carmelo M [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Stankova, Elena [editor.] Wang, Shangguang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9787 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)
	57.	Wired/Wireless Internet Communications [electronic resource] : 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings / by Mamatas, Lefteris [editor.] Matta, Ibrahim [editor.] Papadimitriou, Panagiotis [editor.] Koucheryavy, Yevgeni [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 9674 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)
	58.	Computational Science and Its Applications – ICCSA 2016 [electronic resource] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Rocha, Ana Maria A.C [editor.] Torre, Carmelo M [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Stankova, Elena [editor.] Wang, Shangguang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9790 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)
	59.	Programming Languages and Systems [electronic resource] : 25th European Symposium on Programming, ESOP 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 Thiemann, Peter [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9632 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)
	60.	Formal Aspects of Component Software [electronic resource] : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / by Braga, Christiano [editor.] Ölveczky, Peter Csaba [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9539 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)

First
Previous
1
2
3
4
5
6
7
8
Next
Last

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 156 results.