Your search returned 1397 results.

Results
	301.	Chatbot Research and Design [electronic resource] : 4th International Workshop, CONVERSATIONS 2020, Virtual Event, November 23–24, 2020, Revised Selected Papers / by Følstad, Asbjørn [editor.] Araujo, Theo [editor.] Papadopoulos, Symeon [editor.] Law, Effie L.-C [editor.] Luger, Ewa [editor.] Goodwin, Morten [editor.] Brandtzaeg, Petter Bae [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12604 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)
	302.	Electronic Voting [electronic resource] : 6th International Joint Conference, E-Vote-ID 2021, Virtual Event, October 5–8, 2021, Proceedings / by Krimmer, Robert [editor.] Volkamer, Melanie [editor.] Duenas-Cid, David [editor.] Kulyk, Oksana [editor.] Rønne, Peter [editor.] Solvak, Mihkel [editor.] Germann, Micha [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12900 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)
	303.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17–20, 2023, Proceedings / by Ferrari, Alessio [editor.] Penzenstadler, Birgit [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13975 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)
	304.	Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics [electronic resource] : International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007, Proceedings / by Stützle, Thomas [editor.] Birattari, Mauro [editor.] Hoos, Holger H [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4638 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	305.	Advances and Trends in Artificial Intelligence. From Theory to Practice [electronic resource] : 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings / by Wotawa, Franz [editor.] Friedrich, Gerhard [editor.] Pill, Ingo [editor.] Koitz-Hristov, Roxane [editor.] Ali, Moonis [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11606 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)
	306.	On the Move to Meaningful Internet Systems: OTM 2019 Conferences [electronic resource] : Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings / by Panetto, Hervé [editor.] Debruyne, Christophe [editor.] Hepp, Martin [editor.] Lewis, Dave [editor.] Ardagna, Claudio Agostino [editor.] Meersman, Robert [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 11877 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)
	307.	Risks and Security of Internet and Systems [electronic resource] : 15th International Conference, CRiSIS 2020, Paris, France, November 4–6, 2020, Revised Selected Papers / by Garcia-Alfaro, Joaquin [editor.] Leneutre, Jean [editor.] Cuppens, Nora [editor.] Yaich, Reda [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12528 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)
	308.	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)
	309.	Computational Collective Intelligence [electronic resource] : 13th International Conference, ICCCI 2021, Rhodes, Greece, September 29 – October 1, 2021, Proceedings / by Nguyen, Ngoc Thanh [editor.] Iliadis, Lazaros [editor.] Maglogiannis, Ilias [editor.] Trawiński, Bogdan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12876 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)
	310.	Computer Security – ESORICS 2021 [electronic resource] : 26th European Symposium on Research in Computer Security, Darmstadt, Germany, October 4–8, 2021, Proceedings, Part I / by Bertino, Elisa [editor.] Shulman, Haya [editor.] Waidner, Michael [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12972 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)
	311.	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)
	312.	Conceptual Modeling [electronic resource] : 41st International Conference, ER 2022, Hyderabad, India, October 17–20, 2022, Proceedings / by Ralyté, Jolita [editor.] Chakravarthy, Sharma [editor.] Mohania, Mukesh [editor.] Jeusfeld, Manfred A [editor.] Karlapalem, Kamalakar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13607 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)
	313.	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)
	314.	Parallel Processing and Applied Mathematics, Part II [electronic resource] : 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II / by Wyrzykowski, Roman [editor.] Dongarra, Jack [editor.] Karczewski, Konrad [editor.] Wasniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7204 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)
	315.	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)
	316.	Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops [electronic resource] : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers / by Cleophas, Loek [editor.] Massink, Mieke [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12524 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)
	317.	Public-Key Cryptography – PKC 2021 [electronic resource] : 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10–13, 2021, Proceedings, Part I / by Garay, Juan A [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12710 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)
	318.	Production Research [electronic resource] : 10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahía Blanca, Argentina, December 9-11, 2020, Revised Selected Papers, Part I / by Rossit, Daniel Alejandro [editor.] Tohmé, Fernando [editor.] Mejía Delgadillo, Gonzalo [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1407 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)
	319.	Frontiers of Digital Transformation [electronic resource] : Applications of the Real-World Data Circulation Paradigm / by Takeda, Kazuya [editor.] Ide, Ichiro [editor.] Muhandiki, Victor [editor.] SpringerLink (Online service) 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)
	320.	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
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
Next
Last

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1397 results.