Your search returned 2162 results.

Results
	1861.	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)
	1862.	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)
	1863.	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)
	1864.	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)
	1865.	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)
	1866.	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)
	1867.	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)
	1868.	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)
	1869.	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)
	1870.	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)
	1871.	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)
	1872.	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)
	1873.	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)
	1874.	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)
	1875.	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)
	1876.	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)
	1877.	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)
	1878.	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)
	1879.	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)
	1880.	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)

First
Previous
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
Next
Last

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 2162 results.