Your search returned 311 results.

Results
	1.	Transactions on Computational Collective Intelligence XXIII [electronic resource] / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Jacek Mercik. by Nguyen, Ngoc Thanh [editor.] Kowalczyk, Ryszard [editor.] Mercik, Jacek [editor.] SpringerLink (Online service) Series: Transactions on Computational Collective Intelligence ; 9760 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Engineering Applications of Neural Networks [electronic resource] : 11th International Conference, EANN 2009, London, UK, August 27-29, 2009, Proceedings / edited by Dominic Palmer-Brown, Chrisina Draganova, Elias Pimenidis, Haris Mouratidis. by Palmer-Brown, Dominic [editor.] Draganova, Chrisina [editor.] Pimenidis, Elias [editor.] Mouratidis, Haris [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 43 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	3.	Simulated Evolution and Learning [electronic resource] : 9th International Conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012, Proceedings / edited by Lam Thu Bui, Yew Soon Ong, Nguyen Xuan Hoai, Hisao Ishibuchi, Ponnuthurai Nagaratnam Suganthan. by Bui, Lam Thu [editor.] Ong, Yew Soon [editor.] Hoai, Nguyen Xuan [editor.] Ishibuchi, Hisao [editor.] Suganthan, Ponnuthurai Nagaratnam [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7673 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	4.	Transactions on Petri Nets and Other Models of Concurrency IV [electronic resource]. by SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 6550 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	5.	Artificial Intelligence and Computational Intelligence [electronic resource] : International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I / edited by Fu Lee Wang, Hepu Deng, Jingsheng Lei. by Wang, Fu Lee [editor.] Deng, Hepu [editor.] Lei, Jingsheng [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 6319 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	6.	Simulated Evolution and Learning [electronic resource] : 11th International Conference, SEAL 2017, Shenzhen, China, November 10–13, 2017, Proceedings / edited by Yuhui Shi, Kay Chen Tan, Mengjie Zhang, Ke Tang, Xiaodong Li, Qingfu Zhang, Ying Tan, Martin Middendorf, Yaochu Jin. by Shi, Yuhui [editor.] Tan, Kay Chen [editor.] Zhang, Mengjie [editor.] Tang, Ke [editor.] Li, Xiaodong [editor.] Zhang, Qingfu [editor.] Tan, Ying [editor.] Middendorf, Martin [editor.] Jin, Yaochu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10593 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	7.	Structured Object-Oriented Formal Language and Method [electronic resource] : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers / edited by Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya. by Duan, Zhenhua [editor.] Liu, Shaoying [editor.] Tian, Cong [editor.] Nagoya, Fumiko [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11392 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	8.	Integrated Formal Methods [electronic resource] : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / edited by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa. by Ahrendt, Wolfgang [editor.] Tapia Tarifa, Silvia Lizeth [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11918 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	9.	Quantitative Evaluation of Systems [electronic resource] : 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings / edited by Erika Ábrahám, Marco Paolieri. by Ábrahám, Erika [editor.] Paolieri, Marco [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13479 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	10.	Uncertainty Quantification in Scientific Computing [electronic resource] : 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers / edited by Andrew Dienstfrey, Ronald Boisvert. by Dienstfrey, Andrew [editor.] Boisvert, Ronald [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 377 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	11.	Neural Information Processing [electronic resource] : 18th International Conference, ICONIP 2ß11, Shanghai, China, November 13-17, 2011, Proceedings, Part II / edited by Bao-Liang Lu, Liqing Zhang, James Kwok. by Lu, Bao-Liang [editor.] Zhang, Liqing [editor.] Kwok, James [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7063 Edition: 1st ed. 2011. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	12.	Formal Methods [electronic resource] : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink. by Havelund, Klaus [editor.] Peleska, Jan [editor.] Roscoe, Bill [editor.] de Vink, Erik [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 10951 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	13.	Queueing Theory for Telecommunications [electronic resource] : Discrete Time Modelling of a Single Node System / by Attahiru Sule Alfa. by Alfa, Attahiru Sule [author.] SpringerLink (Online service) Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer US : Imprint: Springer, 2010 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	14.	Autonomy Oriented Computing [electronic resource] : From Problem Solving to Complex Systems Modeling / by Jiming Liu, XiaoLong Jin, Kwok Ching Tsui. by Liu, Jiming [author.] Jin, XiaoLong [author.] Tsui, Kwok Ching [author.] SpringerLink (Online service) Series: Multiagent Systems, Artificial Societies, and Simulated Organizations ; 12 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer US : Imprint: Springer, 2005 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	15.	Formal Methods for Industrial Critical Systems [electronic resource] : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings / edited by Kim Guldstrand Larsen, Tim Willemse. by Larsen, Kim Guldstrand [editor.] Willemse, Tim [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11687 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	16.	Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / edited by Isil Dillig, Serdar Tasiran. by Dillig, Isil [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11561 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	17.	Architecture Description Languages [electronic resource] : IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France / edited by Pierre Dissaux, Mamoun Filali Amine, Pierre Michel, Francois Vernadat. by Dissaux, Pierre [editor.] Filali Amine, Mamoun [editor.] Michel, Pierre [editor.] Vernadat, Francois [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 176 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer US : Imprint: Springer, 2005 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	18.	Software Engineering and Formal Methods [electronic resource] : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings / edited by Peter Csaba Ölveczky, Gwen Salaün. by Ölveczky, Peter Csaba [editor.] Salaün, Gwen [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11724 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 resources: Click here to access online Availability: No items available. Add to cart (remove)
	19.	Computer and Computing Technologies in Agriculture, Volume II [electronic resource] : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007 / edited by Daoliang Li. by Li, Daoliang [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 259 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer US : Imprint: Springer, 2008 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	20.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings / edited by Catalin Dima, Mahsa Shirmohammadi. by Dima, Catalin [editor.] Shirmohammadi, Mahsa [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12860 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)