Your search returned 867 results.

Results
	221.	Software Language Engineering [electronic resource] : 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings / by Erwig, Martin [editor.] Paige, Richard F [editor.] Van Wyk, Eric [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8225 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	222.	Advanced Hybrid Information Processing [electronic resource] : Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II / by Gui, Guan [editor.] Yun, Lin [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 302 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	223.	Brain-Inspired Computing [electronic resource] : International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers / by Grandinetti, Lucio [editor.] Lippert, Thomas [editor.] Petkov, Nicolai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8603 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	224.	Model-Based Methodologies for Pervasive and Embedded Software [electronic resource] : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers / by Machado, Ricardo J [editor.] Maciel, Rita Suzana [editor.] Rubin, Julia [editor.] Botterweck, Goetz [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 7706 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	225.	Computer Information Systems and Industrial Management [electronic resource] : 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings / by Saeed, Khalid [editor.] Homenda, Władysław [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9842 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)
	226.	From Animals to Animats 15 [electronic resource] : 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings / by Manoonpong, Poramate [editor.] Larsen, Jørgen Christian [editor.] Xiong, Xiaofeng [editor.] Hallam, John [editor.] Triesch, Jochen [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 10994 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	227.	Symbols [electronic resource] : An Evolutionary History from the Stone Age to the Future / by Sproat, Richard [author.] SpringerLink (Online service) Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	228.	Computational Science and Its Applications - ICCSA 2014 [electronic resource] : 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part VI / by Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Rocha, Ana Maria Alves Coutinho [editor.] Torre, Carmelo [editor.] Rocha, Jorge Gustavo [editor.] Falcão, Maria Irene [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Gervasi, Osvaldo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8584 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	229.	NASA Formal Methods [electronic resource] : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / by Dutle, Aaron [editor.] Muñoz, César [editor.] Narkawicz, Anthony [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10811 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	230.	Fundamental Approaches to Software Engineering [electronic resource] : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / by Hähnle, Reiner [editor.] van der Aalst, Wil [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11424 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	231.	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)
	232.	Product-Focused Software Process Improvement [electronic resource] : 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings / by Jedlitschka, Andreas [editor.] Kuvaja, Pasi [editor.] Kuhrmann, Marco [editor.] Männistö, Tomi [editor.] Münch, Jürgen [editor.] Raatikainen, Mikko [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8892 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	233.	Intelligent Life System Modelling, Image Processing and Analysis [electronic resource] : 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, Hangzhou, China, October 30 – November 1, 2021, Proceedings, Part I / by Fei, Minrui [editor.] Chen, Luonan [editor.] Ma, Shiwei [editor.] Li, Xin [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1467 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	234.	Recent Advances in Sustainable Energy and Intelligent Systems [electronic resource] : 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, Hangzhou, China, October 30 – November 1, 2021, Proceedings, Part II / by Li, Kang [editor.] Coombs, Tim [editor.] He, Jinghan [editor.] Tian, Yuchu [editor.] Niu, Qun [editor.] Yang, Zhile [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1468 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	235.	3D Mesh Processing and Character Animation [electronic resource] : With Examples Using OpenGL, OpenMesh and Assimp / by Mukundan, Ramakrishnan [author.] SpringerLink (Online service) Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	236.	Computational Science and Its Applications -- ICCSA 2012 [electronic resource] : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II / by Murgante, Beniamino [editor.] Gervasi, Osvaldo [editor.] Misra, Sanjay [editor.] Nedjah, Nadia [editor.] Rocha, Ana Maria Alves Coutinho [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7334 Edition: 1st ed. 2012. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	237.	Formal Methods: Foundations and Applications [electronic resource] : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings / by Cavalheiro, Simone [editor.] Fiadeiro, José [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10623 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	238.	Intelligent Equipment, Robots, and Vehicles [electronic resource] : 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, Hangzhou, China, October 30 – November 1, 2021, Proceedings, Part III / by Han, Qinglong [editor.] McLoone, Sean [editor.] Peng, Chen [editor.] Zhang, Baolin [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1469 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	239.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I / by Fisman, Dana [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13243 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	240.	Simulation Tools and Techniques [electronic resource] : 13th EAI International Conference, SIMUtools 2021, Virtual Event, November 5-6, 2021, Proceedings / by Jiang, Dingde [editor.] Song, Houbing [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 424 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

First
Previous
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
Next
Last

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 867 results.