Your search returned 1614 results.

Results
	481.	Logic-Based Program Synthesis and Transformation [electronic resource] : 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers / by Mesnard, Fred [editor.] Stuckey, Peter J [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11408 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)
	482.	Pattern Recognition [electronic resource] : 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26–29, 2019, Proceedings / by Carrasco-Ochoa, Jesús Ariel [editor.] Martínez-Trinidad, José Francisco [editor.] Olvera-López, José Arturo [editor.] Salas, Joaquín [editor.] SpringerLink (Online service) Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11524 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)
	483.	Perception, Representations, Image, Sound, Music [electronic resource] : 14th International Symposium, CMMR 2019, Marseille, France, October 14–18, 2019, Revised Selected Papers / by Kronland-Martinet, Richard [editor.] Ystad, Sølvi [editor.] Aramaki, Mitsuko [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12631 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)
	484.	Artificial Intelligence in Education [electronic resource] : 22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14–18, 2021, Proceedings, Part I / by Roll, Ido [editor.] McNamara, Danielle [editor.] Sosnovsky, Sergey [editor.] Luckin, Rose [editor.] Dimitrova, Vania [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 12748 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)
	485.	Computational Science and Its Applications – ICCSA 2021 [electronic resource] : 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part IX / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Garau, Chiara [editor.] Blečić, Ivan [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Rocha, Ana Maria A. C [editor.] Tarantino, Eufemia [editor.] Torre, Carmelo Maria [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12957 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)
	486.	Artificial Intelligence and Soft Computing [electronic resource] : 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part II / 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 ; 12855 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)
	487.	Enterprise Information Systems [electronic resource] : 23rd International Conference, ICEIS 2021, Virtual Event, April 26–28, 2021, Revised Selected Papers / by Filipe, Joaquim [editor.] Śmiałek, Michał [editor.] Brodsky, Alexander [editor.] Hammoudi, Slimane [editor.] SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 455 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)
	488.	Computer Aided Verification [electronic resource] : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II / by Shoham, Sharon [editor.] Vizel, Yakir [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13372 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)
	489.	Computer Aided Verification [electronic resource] : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I / by Shoham, Sharon [editor.] Vizel, Yakir [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13371 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)
	490.	Machines, Computations, and Universality [electronic resource] : 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 – September 2, 2022, Proceedings / by Durand-Lose, Jérôme [editor.] Vaszil, György [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13419 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)
	491.	Machine Learning and Knowledge Extraction [electronic resource] : 6th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2022, Vienna, Austria, August 23–26, 2022, Proceedings / by Holzinger, Andreas [editor.] Kieseberg, Peter [editor.] Tjoa, A Min [editor.] Weippl, Edgar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13480 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)
	492.	Advanced Information Systems Engineering [electronic resource] : 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011, Proceedings / by Mouratidis, Haris [editor.] Rolland, Colette [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6741 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)
	493.	Algorithms and Architectures for Parallel Processing [electronic resource] : 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I / by Yeo, Sang-Soo [editor.] Park, Jong Hyuk [editor.] Yang, Laurence Tianruo [editor.] Hsu, Ching-Hsien [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6081 Edition: 1st ed. 2010. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	494.	Coordination Models and Languages [electronic resource] : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings / by Damiani, Ferruccio [editor.] Dardha, Ornela [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12717 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)
	495.	Formal Techniques for Distributed Objects, Components, and Systems [electronic resource] : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings / by Peters, Kirstin [editor.] Willemse, Tim A. C [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12719 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)
	496.	Integration of Constraint Programming, Artificial Intelligence, and Operations Research [electronic resource] : 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings / by Stuckey, Peter J [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12735 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)
	497.	Advances in Model and Data Engineering in the Digitalization Era [electronic resource] : MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings / by Bellatreche, Ladjel [editor.] Chernishev, George [editor.] Corral, Antonio [editor.] Ouchani, Samir [editor.] Vain, Jüri [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1481 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)
	498.	Requirements Engineering: Foundation for Software Quality [electronic resource] : 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21–24, 2022, Proceedings / by Gervasi, Vincenzo [editor.] Vogelsang, Andreas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13216 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)
	499.	Digital-for-Development: Enabling Transformation, Inclusion and Sustainability Through ICTs [electronic resource] : 12th International Development Informatics Association Conference, IDIA 2022, Mbombela, South Africa, November 22–25, 2022, Revised Selected Papers / by Ndayizigamiye, Patrick [editor.] Twinomurinzi, Hossana [editor.] Kalema, Billy [editor.] Bwalya, Kelvin [editor.] Bembe, Mncedisi [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1774 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)
	500.	Self-star Properties in Complex Information Systems [electronic resource] : Conceptual and Practical Foundations / by Babaoglu, Ozalp [editor.] Jelasity, Márk [editor.] Montresor, Alberto [editor.] Fetzer, Christof [editor.] Leonardi, Stefano [editor.] van Moorsel, Aad [editor.] van Steen, Maarten [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3460 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)

First
Previous
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
Next
Last

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1614 results.