Your search returned 2182 results.

Results
	1881.	Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13703 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)
	1882.	The Future of Heritage Science and Technologies: ICT and Digital Heritage [electronic resource] : Third International Conference, Florence Heri-Tech 2022, Florence, Italy, May 16–18, 2022, Proceedings / by Furferi, Rocco [editor.] Governi, Lapo [editor.] Volpe, Yary [editor.] Seymour, Kate [editor.] Pelagotti, Anna [editor.] Gherardini, Francesco [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1645 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)
	1883.	Information, Communication and Computing Technology [electronic resource] : 7th International Conference, ICICCT 2022, New Delhi, India, July 16, 2022, Revised Selected Papers / by Badica, Costin [editor.] Paprzycki, Marcin [editor.] Kharb, Latika [editor.] Chahal, Deepak [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1670 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)
	1884.	Business Data Analytics [electronic resource] : First International Conference, ICBDA 2022, Dehradun, India, October 7–8, 2022, Proceedings / by Singh, Rajesh [editor.] Balas, Valentina Emilia [editor.] Kar, Arpan Kumar [editor.] Gehlot, Anita [editor.] Shamshirband, Shahab [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1742 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)
	1885.	Machine Learning for Cyber Security [electronic resource] : 4th International Conference, ML4CS 2022, Guangzhou, China, December 2–4, 2022, Proceedings, Part II / by Xu, Yuan [editor.] Yan, Hongyang [editor.] Teng, Huang [editor.] Cai, Jun [editor.] Li, Jin [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13656 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)
	1886.	Euro-Par 2022: Parallel Processing Workshops [electronic resource] : Euro-Par 2022 International Workshops, Glasgow, UK, August 22–26, 2022, Revised Selected Papers / by Singer, Jeremy [editor.] Elkhatib, Yehia [editor.] Blanco Heras, Dora [editor.] Diehl, Patrick [editor.] Brown, Nick [editor.] Ilic, Aleksandar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13835 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)
	1887.	Artificial General Intelligence [electronic resource] : 16th International Conference, AGI 2023, Stockholm, Sweden, June 16–19, 2023, Proceedings / by Hammer, Patrick [editor.] Alirezaie, Marjan [editor.] Strannegård, Claes [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13921 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)
	1888.	Knowledge Science, Engineering and Management [electronic resource] : 16th International Conference, KSEM 2023, Guangzhou, China, August 16–18, 2023, Proceedings, Part IV / by Jin, Zhi [editor.] Jiang, Yuncheng [editor.] Buchmann, Robert Andrei [editor.] Bi, Yaxin [editor.] Ghiran, Ana-Maria [editor.] Ma, Wenjun [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14120 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)
	1889.	Document Analysis and Recognition - ICDAR 2023 [electronic resource] : 17th International Conference, San José, CA, USA, August 21–26, 2023, Proceedings, Part IV / by Fink, Gernot A [editor.] Jain, Rajiv [editor.] Kise, Koichi [editor.] Zanibbi, Richard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14190 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)
	1890.	Advanced Engineering, Technology and Applications [electronic resource] : Second International Conference, ICAETA 2023, Istanbul, Turkey, March 10–11, 2023, Revised Selected Papers / by Ortis, Alessandro [editor.] Hameed, Alaa Ali [editor.] Jamil, Akhtar [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1983 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)
	1891.	Middleware 2004 [electronic resource] : ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-20, 2004, Proceedings / by Jacobsen, Hans-Arno [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3231 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1892.	Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment [electronic resource] : First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers / by Bruel, Jean-Michel [editor.] Mazzara, Manuel [editor.] Meyer, Bertrand [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11350 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)
	1893.	Computational Science – ICCS 2019 [electronic resource] : 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I / by Rodrigues, João M. F [editor.] Cardoso, Pedro J. S [editor.] Monteiro, Jânio [editor.] Lam, Roberto [editor.] Krzhizhanovskaya, Valeria V [editor.] Lees, Michael H [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11536 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)
	1894.	Network and Parallel Computing [electronic resource] : 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23–24, 2019, Proceedings / by Tang, Xiaoxin [editor.] Chen, Quan [editor.] Bose, Pradip [editor.] Zheng, Weiming [editor.] Gaudiot, Jean-Luc [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11783 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)
	1895.	Genetic Programming [electronic resource] : 23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / by Hu, Ting [editor.] Lourenço, Nuno [editor.] Medvet, Eric [editor.] Divina, Federico [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12101 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)
	1896.	High Performance Computing [electronic resource] : 35th International Conference, ISC High Performance 2020, Frankfurt/Main, Germany, June 22–25, 2020, Proceedings / by Sadayappan, Ponnuswamy [editor.] Chamberlain, Bradford L [editor.] Juckeland, Guido [editor.] Ltaief, Hatem [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12151 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)
	1897.	Computational Science – ICCS 2020 [electronic resource] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part IV / by Krzhizhanovskaya, Valeria V [editor.] Závodszky, Gábor [editor.] Lees, Michael H [editor.] Dongarra, Jack J [editor.] Sloot, Peter M. A [editor.] Brissos, Sérgio [editor.] Teixeira, João [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12140 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)
	1898.	Communications and Networking [electronic resource] : 15th EAI International Conference, ChinaCom 2020, Shanghai, China, November 20-21, 2020, Proceedings / by Gao, Honghao [editor.] Fan, Pingyi [editor.] Wun, Jun [editor.] Xiaoping, Xue [editor.] Yu, Jun [editor.] Wang, Yi [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 352 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)
	1899.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II / by Groote, Jan Friso [editor.] Larsen, Kim Guldstrand [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12652 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)
	1900.	Matrix and Analytical Methods for Performance Analysis of Telecommunication Systems [electronic resource] / by Naumov, Valeriy [author.] Gaidamaka, Yuliya [author.] Yarkina, Natalia [author.] Samouylov, Konstantin [author.] SpringerLink (Online service) 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)