Your search returned 1469 results.

Results
	41.	Artificial Intelligence Applications and Innovations [electronic resource] : Proceedings of the 5th IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI'2009), April 23-25, 2009, Thessaloniki, Greece / edited by Lazaros Iliadis, Ilias Maglogiannis, Grigorios Tsoumakas, Ioannis Vlahavas, Max Bramer. by Iliadis, Lazaros [editor.] Maglogiannis, Ilias [editor.] Tsoumakas, Grigorios [editor.] Vlahavas, Ioannis [editor.] Bramer, Max [editor.] SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 296 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer US : Imprint: Springer, 2009 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	42.	Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / edited by Alexandra Silva, K. Rustan M. Leino. by Silva, Alexandra [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12760 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)
	43.	Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / edited by Alexandra Silva, K. Rustan M. Leino. by Silva, Alexandra [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12759 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)
	44.	Logic-Based Program Synthesis and Transformation [electronic resource] : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers / edited by Maurizio Gabbrielli. by Gabbrielli, Maurizio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12042 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	45.	Simulation Science [electronic resource] : Second International Workshop, SimScience 2019, Clausthal-Zellerfeld, May 8-10, 2019, Revised Selected Papers / edited by Nina Gunkelmann, Marcus Baum. by Gunkelmann, Nina [editor.] Baum, Marcus [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1199 Edition: 1st ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	46.	Wireless Algorithms, Systems, and Applications [electronic resource] : 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings / edited by Edoardo S. Biagioni, Yao Zheng, Siyao Cheng. by Biagioni, Edoardo S [editor.] Zheng, Yao [editor.] Cheng, Siyao [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11604 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)
	47.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III / edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen. by Beyer, Dirk [editor.] Huisman, Marieke [editor.] Kordon, Fabrice [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11429 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)
	48.	Improving Disaster Resilience and Mitigation - IT Means and Tools [electronic resource] / edited by Horia-Nicolai Teodorescu, Alan Kirschenbaum, Svetlana Cojocaru, Claude Bruderlein. by Teodorescu, Horia-Nicolai [editor.] Kirschenbaum, Alan [editor.] Cojocaru, Svetlana [editor.] Bruderlein, Claude [editor.] SpringerLink (Online service) Series: NATO Science for Peace and Security Series C: Environmental Security Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2014 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	49.	Space Information Networks [electronic resource] : Third International Conference, SINC 2018, Changchun, China, August 9–10, 2018, Revised Selected Papers / edited by Quan Yu. by Yu, Quan [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 972 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2019 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	50.	Transactions on Large-Scale Data- and Knowledge-Centered Systems VII [electronic resource] / edited by Abdelkader Hameurlain, Josef Küng, Roland Wagner. by Hameurlain, Abdelkader [editor.] Küng, Josef [editor.] Wagner, Roland [editor.] SpringerLink (Online service) Series: Transactions on Large-Scale Data- and Knowledge-Centered Systems ; 7720 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)
	51.	Algorithmic Game Theory [electronic resource] : 15th International Symposium, SAGT 2022, Colchester, UK, September 12–15, 2022, Proceedings / edited by Panagiotis Kanellopoulos, Maria Kyropoulou, Alexandros Voudouris. by Kanellopoulos, Panagiotis [editor.] Kyropoulou, Maria [editor.] Voudouris, Alexandros [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13584 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)
	52.	Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / edited by Nan Guan, Joost-Pieter Katoen, Jun Sun. by Guan, Nan [editor.] Katoen, Joost-Pieter [editor.] Sun, Jun [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11951 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)
	53.	Machine Learning and Intelligent Communications [electronic resource] : 4th International Conference, MLICOM 2019, Nanjing, China, August 24–25, 2019, Proceedings / edited by Xiangping Bryce Zhai, Bing Chen, Kun Zhu. by Zhai, Xiangping Bryce [editor.] Chen, Bing [editor.] Zhu, Kun [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 294 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)
	54.	Emotion, Personality and Cultural Aspects in Crowds [electronic resource] : Towards a Geometrical Mind / by Rodolfo Migon Favaretto, Soraia Raupp Musse, Angelo Brandelli Costa. by Migon Favaretto, Rodolfo [author.] Raupp Musse, Soraia [author.] Brandelli Costa, Angelo [author.] SpringerLink (Online service) 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)
	55.	Reliability Aspect of Cloud Computing Environment [electronic resource] / by Vikas Kumar, R. Vidhyalakshmi. by Kumar, Vikas [author.] Vidhyalakshmi, R [author.] SpringerLink (Online service) Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2018 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	56.	Methods and Applications for Modeling and Simulation of Complex Systems [electronic resource] : 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27–29, 2018, Proceedings / edited by Liang Li, Kyoko Hasegawa, Satoshi Tanaka. by Li, Liang [editor.] Hasegawa, Kyoko [editor.] Tanaka, Satoshi [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 946 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2018 In: Springer Nature eBook Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	57.	Research and Education in Robotics - EUROBOT 2010 [electronic resource] : International Conference, Rapperswil-Jona, Switzerland, May 27-30, 2010, Revised Selected Papers / edited by David Obdrzalek, Achim Gottscheber. by Obdrzalek, David [editor.] Gottscheber, Achim [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 156 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)
	58.	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)
	59.	Artificial Intelligence for Communications and Networks [electronic resource] : First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I / edited by Shuai Han, Liang Ye, Weixiao Meng. by Han, Shuai [editor.] Ye, Liang [editor.] Meng, Weixiao [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 286 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)
	60.	Wireless and Satellite Systems [electronic resource] : 10th EAI International Conference, WiSATS 2019, Harbin, China, January 12–13, 2019, Proceedings, Part I / edited by Min Jia, Qing Guo, Weixiao Meng. by Jia, Min [editor.] Guo, Qing [editor.] Meng, Weixiao [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 280 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)