Your search returned 8235 results.

Results
	2181.	The Logic of Software. A Tasting Menu of Formal Methods [electronic resource] : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday / by Ahrendt, Wolfgang [editor.] Beckert, Bernhard [editor.] Bubel, Richard [editor.] Johnsen, Einar Broch [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13360 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)
	2182.	Information Processing and Management of Uncertainty in Knowledge-Based Systems [electronic resource] : 19th International Conference, IPMU 2022, Milan, Italy, July 11–15, 2022, Proceedings, Part I / by Ciucci, Davide [editor.] Couso, Inés [editor.] Medina, Jesús [editor.] Ślęzak, Dominik [editor.] Petturiti, Davide [editor.] Bouchon-Meunier, Bernadette [editor.] Yager, Ronald R [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1601 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)
	2183.	Building on Smart Cities Skills and Competences [electronic resource] : Human factors affecting smart cities development / by Fitsilis, Panos [editor.] SpringerLink (Online service) Series: Internet of Things, Technology, Communications and Computing 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)
	2184.	Advances in Artificial Intelligence and Security [electronic resource] : 8th International Conference on Artificial Intelligence and Security, ICAIS 2022, Qinghai, China, July 15–20, 2022, Proceedings, Part III / by Sun, Xingming [editor.] Zhang, Xiaorui [editor.] Xia, Zhihua [editor.] Bertino, Elisa [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1588 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)
	2185.	Collaborative Computing: Networking, Applications and Worksharing [electronic resource] : 18th EAI International Conference, CollaborateCom 2022, Hangzhou, China, October 15-16, 2022, Proceedings, Part I / by Gao, Honghao [editor.] Wang, Xinheng [editor.] Wei, Wei [editor.] Dagiuklas, Tasos [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 460 Edition: 1st ed. 2022. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2186.	Computer Performance Engineering [electronic resource] : 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21–23, 2022, Proceedings / by Gilly, Katja [editor.] Thomas, Nigel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13659 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2187.	Ubiquitous Networking [electronic resource] : 8th International Symposium, UNet 2022, Montreal, QC, Canada, October 25–27, 2022, Revised Selected Papers / by Sabir, Essaid [editor.] Elbiaze, Halima [editor.] Falcone, Francisco [editor.] Ajib, Wessam [editor.] Sadik, Mohamed [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13853 Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2188.	Advances in Bioinformatics and Computational Biology [electronic resource] : 16th Brazilian Symposium on Bioinformatics, BSB 2023, Curitiba, Brazil, June 13–16, 2023, Proceedings / by Reis, Marcelo S [editor.] de Melo-Minardi, Raquel C [editor.] SpringerLink (Online service) Series: Lecture Notes in Bioinformatics ; 13954 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)
	2189.	Databases in Networked Information Systems [electronic resource] : 6th International Workshop, DNIS 2010, Aizu-Wakamatsu, Japan, March 29-31, 2010, Proceedings / by Kikuchi, Shinji [editor.] Sachdeva, Shelly [editor.] Bhalla, Subhash [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5999 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 access: Click here to access online Availability: No items available. Add to cart (remove)
	2190.	Geographic Information Science [electronic resource] : 6th International Conference, GIScience 2010, Zurich, Switzerland, September 14-17, 2010. Proceedings / by Fabrikant, Sara Irina [editor.] Reichenbacher, Tumasch [editor.] van Kreveld, Marc [editor.] Schlieder, Christoph [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6292 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 access: Click here to access online Availability: No items available. Add to cart (remove)
	2191.	Neural Information Processing [electronic resource] : 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part IV / by Huang, Tingwen [editor.] Zeng, Zhigang [editor.] Li, Chuandong [editor.] Leung, Chi Sing [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7666 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)
	2192.	Foundations of Security Analysis and Design III [electronic resource] : FOSAD 2004/2005 Tutorial Lectures / by Aldini, Alessandro [editor.] Gorrieri, Roberto [editor.] Martinelli, Fabio [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 3655 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2193.	Advances in Swarm and Computational Intelligence [electronic resource] : 6th International Conference, ICSI 2015, held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part I / by Tan, Ying [editor.] Shi, Yuhui [editor.] Buarque, Fernando [editor.] Gelbukh, Alexander [editor.] Das, Swagatam [editor.] Engelbrecht, Andries [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9140 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2194.	Electronic Government [electronic resource] : 8th International Conference, EGOV 2009, Linz, Austria, August 31 - September 3, 2009, Proceedings / by Wimmer, Maria A [editor.] Scholl, Hans Jochen [editor.] Janssen, Marijn [editor.] Traunmüller, Roland [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 5693 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 access: Click here to access online Availability: No items available. Add to cart (remove)
	2195.	Security in Computing and Communications [electronic resource] : 6th International Symposium, SSCC 2018, Bangalore, India, September 19–22, 2018, Revised Selected Papers / by Thampi, Sabu M [editor.] Madria, Sanjay [editor.] Wang, Guojun [editor.] Rawat, Danda B [editor.] Alcaraz Calero, Jose M [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 969 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 access: Click here to access online Availability: No items available. Add to cart (remove)
	2196.	Dependability in Sensor, Cloud, and Big Data Systems and Applications [electronic resource] : 5th International Conference, DependSys 2019, Guangzhou, China, November 12–15, 2019, Proceedings / by Wang, Guojun [editor.] Bhuiyan, Md Zakirul Alam [editor.] De Capitani di Vimercati, Sabrina [editor.] Ren, Yizhi [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1123 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 access: Click here to access online Availability: No items available. Add to cart (remove)
	2197.	Intelligent Data Engineering and Automated Learning – IDEAL 2019 [electronic resource] : 20th International Conference, Manchester, UK, November 14–16, 2019, Proceedings, Part I / by Yin, Hujun [editor.] Camacho, David [editor.] Tino, Peter [editor.] Tallón-Ballesteros, Antonio J [editor.] Menezes, Ronaldo [editor.] Allmendinger, Richard [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 11871 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)
	2198.	Data Mining [electronic resource] : 17th Australasian Conference, AusDM 2019, Adelaide, SA, Australia, December 2–5, 2019, Proceedings / by Le, Thuc D [editor.] Ong, Kok-Leong [editor.] Zhao, Yanchang [editor.] Jin, Warren H [editor.] Wong, Sebastien [editor.] Liu, Lin [editor.] Williams, Graham [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1127 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 access: Click here to access online Availability: No items available. Add to cart (remove)
	2199.	Security and Privacy in Communication Networks [electronic resource] : 15th EAI International Conference, SecureComm 2019, Orlando, FL, USA, October 23-25, 2019, Proceedings, Part I / by Chen, Songqing [editor.] Choo, Kim-Kwang Raymond [editor.] Fu, Xinwen [editor.] Lou, Wenjing [editor.] Mohaisen, Aziz [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 304 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)
	2200.	Applied Technologies [electronic resource] : First International Conference, ICAT 2019, Quito, Ecuador, December 3–5, 2019, Proceedings, Part II / by Botto-Tobar, Miguel [editor.] Zambrano Vizuete, Marcelo [editor.] Torres-Carrión, Pablo [editor.] Montes León, Sergio [editor.] Pizarro Vásquez, Guillermo [editor.] Durakovic, Benjamin [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1194 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 access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 8235 results.