Your search returned 4435 results.

Results
	3701.	Reliable Software Technologies – Ada-Europe 2016 [electronic resource] : 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / by Bertogna, Marko [editor.] Pinho, Luís Miguel [editor.] Quiñones, Eduardo [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 9695 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)
	3702.	ZB 2005: Formal Specification and Development in Z and B [electronic resource] : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings / by Treharne, Helen [editor.] King, Steve [editor.] Henson, Martin [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 3455 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)
	3703.	Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection [electronic resource] : 13th International Conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2015, Proceedings / by Demazeau, Yves [editor.] Decker, Keith S [editor.] Bajo Pérez, Javier [editor.] de la Prieta, Fernando [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9086 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)
	3704.	High-Performance Computing Applications in Numerical Simulation and Edge Computing [electronic resource] : ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers / by Hu, Changjun [editor.] Yang, Wen [editor.] Jiang, Congfeng [editor.] Dai, Dong [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 913 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)
	3705.	The Science of Quantitative Information Flow [electronic resource] / by Alvim, Mário S [author.] Chatzikokolakis, Konstantinos [author.] McIver, Annabelle [author.] Morgan, Carroll [author.] Palamidessi, Catuscia [author.] Smith, Geoffrey [author.] SpringerLink (Online service) Series: Information Security and Cryptography 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)
	3706.	Artificial Intelligence and Soft Computing [electronic resource] : 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part I / by Rutkowski, Leszek [editor.] Scherer, Rafał [editor.] Korytkowski, Marcin [editor.] Pedrycz, Witold [editor.] Tadeusiewicz, Ryszard [editor.] Zurada, Jacek M [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12854 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 access: Click here to access online Availability: No items available. Add to cart (remove)
	3707.	Edge Computing – EDGE 2023 [electronic resource] : 7th International Conference, Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023, Proceedings / by Feng, Jun [editor.] Jiang, Frank [editor.] Luo, Min [editor.] Zhang, Liang-Jie [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14205 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3708.	Internet of Things – ICIOT 2023 [electronic resource] : 8th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17–18, 2023, Proceedings / by Ye, Kejiang [editor.] Zhang, Liang-Jie [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14208 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3709.	Advances in Computational Intelligence. MICAI 2023 International Workshops [electronic resource] : WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13–18, 2023, Proceedings / by Calvo, Hiram [editor.] Martínez-Villaseñor, Lourdes [editor.] Ponce, Hiram [editor.] Zatarain Cabada, Ramón [editor.] Montes Rivera, Martín [editor.] Mezura-Montes, Efrén [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14502 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3710.	Big Data Technologies and Applications [electronic resource] : 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings / by Tan, Zhiyuan [editor.] Wu, Yulei [editor.] Xu, Min [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 555 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3711.	Smart Cities [electronic resource] : 6th Ibero-American Congress, ICSC-Cities 2023, Mexico City and Cuernavaca, Mexico, November 13–17, 2023, Revised Selected Papers / by Nesmachnow, Sergio [editor.] Hernández Callejo, Luis [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1938 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3712.	Innovations and Interdisciplinary Solutions for Underserved Areas [electronic resource] : 6th EAI International Conference, InterSol 2023, Flic en Flac, Mauritius, September 16-17, 2023, Proceedings / by Seeam, Amar [editor.] Ramsurrun, Visham [editor.] Juddoo, Suraj [editor.] Phokeer, Amreesh [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 541 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3713.	Optimization, Learning Algorithms and Applications [electronic resource] : Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27–29, 2023, Revised Selected Papers, Part II / by Pereira, Ana I [editor.] Mendes, Armando [editor.] Fernandes, Florbela P [editor.] Pacheco, Maria F [editor.] Coelho, João P [editor.] Lima, José [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1982 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3714.	Distributed Ledger Technology [electronic resource] : 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 – December 1, 2023, Revised Selected Papers / by Dong, Naipeng [editor.] Pillai, Babu [editor.] Bai, Guangdong [editor.] Utting, Mark [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1975 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3715.	Collaborative Computing: Networking, Applications and Worksharing [electronic resource] : 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part I / by Gao, Honghao [editor.] Wang, Xinheng [editor.] Voros, Nikolaos [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 561 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3716.	Collaborative Computing: Networking, Applications and Worksharing [electronic resource] : 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part II / by Gao, Honghao [editor.] Wang, Xinheng [editor.] Voros, Nikolaos [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 562 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3717.	Collaborative Computing: Networking, Applications and Worksharing [electronic resource] : 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part III / by Gao, Honghao [editor.] Wang, Xinheng [editor.] Voros, Nikolaos [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 563 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3718.	Machine Learning and Data Mining for Sports Analytics [electronic resource] : 10th International Workshop, MLSA 2023, Turin, Italy, September 18, 2023, Revised Selected Papers / by Brefeld, Ulf [editor.] Davis, Jesse [editor.] Van Haaren, Jan [editor.] Zimmermann, Albrecht [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 2035 Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3719.	Structures of Computing [electronic resource] : A Guide to Practice-Oriented Theory / by Börger, Egon [author.] Gervasi, Vincenzo [author.] SpringerLink (Online service) Edition: 1st ed. 2024. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2024 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3720.	Advances in New Technologies, Interactive Interfaces, and Communicability [electronic resource] : First International Conference, ADNTIIC 2010, Huerta Grande, Argentina, October 20-22, 2010, Revised Selected Papers / by Cipolla Ficarra, Francisco V [editor.] de Castro Lozano, Carlos [editor.] Pérez Jiménez, Mauricio [editor.] Nicol, Emma [editor.] Kratky, Andreas [editor.] Cipolla-Ficarra, Miguel [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6616 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 access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4435 results.