Your search returned 3843 results.

Results
	3081.	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)
	3082.	Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles [electronic resource] : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13701 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)
	3083.	Advances in Model and Data Engineering in the Digitalization Era [electronic resource] : MEDI 2022 Short Papers and DETECT 2022 Workshop Papers, Cairo, Egypt, November 21–24, 2022, Proceedings / by Fournier-Viger, Philippe [editor.] Hassan, Ahmed [editor.] Bellatreche, Ladjel [editor.] Awad, Ahmed [editor.] Ait Wakrime, Abderrahim [editor.] Ouhammou, Yassine [editor.] Ait Sadoune, Idir [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1751 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)
	3084.	Linking Theory and Practice of Digital Libraries [electronic resource] : 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26–29, 2023, Proceedings / by Alonso, Omar [editor.] Cousijn, Helena [editor.] Silvello, Gianmaria [editor.] Marrero, Mónica [editor.] Teixeira Lopes, Carla [editor.] Marchesin, Stefano [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14241 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)
	3085.	Advances in Computer Graphics [electronic resource] : 40th Computer Graphics International Conference, CGI 2023, Shanghai, China, August 28–September 1, 2023, Proceedings, Part II / by Sheng, Bin [editor.] Bi, Lei [editor.] Kim, Jinman [editor.] Magnenat-Thalmann, Nadia [editor.] Thalmann, Daniel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14496 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)
	3086.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II / by Dimitrova, Rayna [editor.] Lahav, Ori [editor.] Wolff, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14500 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)
	3087.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I / by Dimitrova, Rayna [editor.] Lahav, Ori [editor.] Wolff, Sebastian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14499 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)
	3088.	Automata, Languages and Programming [electronic resource] : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings / by Caires, Luis [editor.] Italiano, Guiseppe F [editor.] Monteiro, Luis [editor.] Palamidessi, Catuscia [editor.] Yung, Moti [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3580 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)
	3089.	Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010, Proceedings / by Sirisuk, Phaophak [editor.] Morgan, Fearghal [editor.] El-Ghazawi, Tarek [editor.] Amano, Hideharu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5992 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)
	3090.	Logic-Based Program Synthesis and Transformation [electronic resource] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers / by Albert, Elvira [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7844 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3091.	Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30, 2006, Proceedings / by Diaz, Josep [editor.] Jansen, Klaus [editor.] Rolim, José D.P [editor.] Zwick, Uri [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4110 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3092.	Advances in Self-Organizing Maps [electronic resource] : 8th International Workshop, WSOM 2011, Espoo, Finland, June 13-15, 2011. Proceedings / by Laaksonen, Jorma [editor.] Honkela, Timo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6731 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)
	3093.	Parallel Problem Solving from Nature - PPSN IX [electronic resource] : 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings / by Runarsson, Thomas Philip [editor.] Beyer, Hans-Georg [editor.] Burke, Edmund [editor.] Merelo-Guervós, Juan J [editor.] Whitley, L. Darrell [editor.] Yao, Xin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4193 Edition: 1st ed. 2006. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3094.	Computational Science – ICCS 2021 [electronic resource] : 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part V / by Paszynski, Maciej [editor.] Kranzlmüller, Dieter [editor.] Krzhizhanovskaya, Valeria V [editor.] Dongarra, Jack J [editor.] Sloot, Peter M.A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12746 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)
	3095.	Mathematical Modeling and Supercomputer Technologies [electronic resource] : 22nd International Conference, MMST 2022, Nizhny Novgorod, Russia, November 14–17, 2022, Revised Selected Papers / by Balandin, Dmitry [editor.] Barkalov, Konstantin [editor.] Meyerov, Iosif [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1750 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)
	3096.	Statistical Atlases and Computational Models of the Heart. Regular and CMRxMotion Challenge Papers [electronic resource] : 13th International Workshop, STACOM 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Revised Selected Papers / by Camara, Oscar [editor.] Puyol-Antón, Esther [editor.] Qin, Chen [editor.] Sermesant, Maxime [editor.] Suinesiaputra, Avan [editor.] Wang, Shuo [editor.] Young, Alistair [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13593 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)
	3097.	Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection [electronic resource] : 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12–14, 2023, Proceedings / by Mathieu, Philippe [editor.] Dignum, Frank [editor.] Novais, Paulo [editor.] De la Prieta, Fernando [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 13955 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)
	3098.	Artificial Intelligence Research [electronic resource] : 4th Southern African Conference, SACAIR 2023, Muldersdrift, South Africa, December 4–8, 2023, Proceedings / by Pillay, Anban [editor.] Jembere, Edgar [editor.] J. Gerber, Aurona [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1976 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)
	3099.	Computational Intelligence in Communications and Business Analytics [electronic resource] : 5th International Conference, CICBA 2023, Kalyani, India, January 27–28, 2023, Revised Selected Papers, Part I / by Dasgupta, Kousik [editor.] Mukhopadhyay, Somnath [editor.] Mandal, Jyotsna K [editor.] Dutta, Paramartha [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1955 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)
	3100.	Computational Intelligence in Communications and Business Analytics [electronic resource] : 5th International Conference, CICBA 2023, Kalyani, India, January 27–28, 2023, Revised Selected Papers, Part II / by Dasgupta, Kousik [editor.] Mukhopadhyay, Somnath [editor.] Mandal, Jyotsna K [editor.] Dutta, Paramartha [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1956 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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Titles

Your search returned 3843 results.