Your search returned 425 results.

Results
	81.	Multivariate Public Key Cryptosystems [electronic resource] / by Ding, Jintai [author.] Petzoldt, Albrecht [author.] Schmidt, Dieter S [author.] SpringerLink (Online service) Series: Advances in Information Security ; 80 Edition: 2nd ed. 2020. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer US : Imprint: Springer, 2020 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	82.	Applied Computer Sciences in Engineering [electronic resource] : 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7–9, 2020, Proceedings / by Figueroa-García, Juan Carlos [editor.] Garay-Rairán, Fabián Steven [editor.] Hernández-Pérez, Germán Jairo [editor.] Díaz-Gutierrez, Yesid [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1274 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)
	83.	Intelligent Computing Theories and Application [electronic resource] : 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part I / by Huang, De-Shuang [editor.] Bevilacqua, Vitoantonio [editor.] Hussain, Abir [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12463 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)
	84.	Intelligent Systems [electronic resource] : 9th Brazilian Conference, BRACIS 2020, Rio Grande, Brazil, October 20–23, 2020, Proceedings, Part II / by Cerri, Ricardo [editor.] Prati, Ronaldo C [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12320 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)
	85.	Intelligent Data Engineering and Automated Learning – IDEAL 2019 [electronic resource] : 20th International Conference, Manchester, UK, November 14–16, 2019, Proceedings, Part II / 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 ; 11872 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)
	86.	Understand Mathematics, Understand Computing [electronic resource] : Discrete Mathematics That All Computing Students Should Know / by Rosenberg, Arnold L [author.] Trystram, Denis [author.] SpringerLink (Online service) 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)
	87.	Software Verification [electronic resource] : 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers / by Christakis, Maria [editor.] Polikarpova, Nadia [editor.] Duggirala, Parasara Sridhar [editor.] Schrammel, Peter [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12549 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)
	88.	Advances in Information Retrieval [electronic resource] : 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 – April 1, 2021, Proceedings, Part II / by Hiemstra, Djoerd [editor.] Moens, Marie-Francine [editor.] Mothe, Josiane [editor.] Perego, Raffaele [editor.] Potthast, Martin [editor.] Sebastiani, Fabrizio [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12657 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)
	89.	Artificial Intelligence in Music, Sound, Art and Design [electronic resource] : 10th International Conference, EvoMUSART 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by Romero, Juan [editor.] Martins, Tiago [editor.] Rodríguez-Fernández, Nereida [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12693 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)
	90.	Computational Sciences - Modelling, Computing and Soft Computing [electronic resource] : First International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020, Revised Selected Papers / by Awasthi, Ashish [editor.] John, Sunil Jacob [editor.] Panda, Satyananda [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1345 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	91.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings / by Henglein, Fritz [editor.] Shoham, Sharon [editor.] Vizel, Yakir [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12597 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)
	92.	Euro-Par 2011 Parallel Processing [electronic resource] : 17th International Euro-ParConference, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part I / by Jeannot, Emmanuel [editor.] Namyst, Raymond [editor.] Roman, Jean [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6852 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)
	93.	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)
	94.	Explainable and Transparent AI and Multi-Agent Systems [electronic resource] : 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers / by Calvaresi, Davide [editor.] Najjar, Amro [editor.] Omicini, Andrea [editor.] Aydogan, Reyhan [editor.] Carli, Rachele [editor.] Ciatto, Giovanni [editor.] Mualla, Yazan [editor.] Främling, Kary [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 14127 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)
	95.	Modelling and Development of Intelligent Systems [electronic resource] : 7th International Conference, MDIS 2020, Sibiu, Romania, October 22–24, 2020, Revised Selected Papers / by Simian, Dana [editor.] Stoica, Laura Florentina [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1341 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)
	96.	Computer Safety, Reliability, and Security [electronic resource] : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings / by Trapp, Mario [editor.] Saglietti, Francesca [editor.] Spisländer, Marc [editor.] Bitsch, Friedemann [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13414 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)
	97.	Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7609 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)
	98.	Transactions on Petri Nets and Other Models of Concurrency XIII [electronic resource] / by Koutny, Maciej [editor.] Kristensen, Lars Michael [editor.] Penczek, Wojciech [editor.] SpringerLink (Online service) Series: Transactions on Petri Nets and Other Models of Concurrency ; 11090 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	99.	Formal Methods. FM 2019 International Workshops [electronic resource] : Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / by Sekerinski, Emil [editor.] Moreira, Nelma [editor.] Oliveira, José N [editor.] Ratiu, Daniel [editor.] Guidotti, Riccardo [editor.] Farrell, Marie [editor.] Luckcuck, Matt [editor.] Marmsoler, Diego [editor.] Campos, José [editor.] Astarte, Troy [editor.] Gonnord, Laure [editor.] Cerone, Antonio [editor.] Couto, Luis [editor.] Dongol, Brijesh [editor.] Kutrib, Martin [editor.] Monteiro, Pedro [editor.] Delmas, David [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12233 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)
	100.	Artificial Intelligence and Machine Learning [electronic resource] : 32nd Benelux Conference, BNAIC/Benelearn 2020, Leiden, The Netherlands, November 19–20, 2020, Revised Selected Papers / by Baratchi, Mitra [editor.] Cao, Lu [editor.] Kosters, Walter A [editor.] Lijffijt, Jefrey [editor.] van Rijn, Jan N [editor.] Takes, Frank W [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1398 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
1
2
3
4
5
6
7
8
9
10
Next
Last

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 425 results.