Your search returned 7886 results.

Results
	2101.	Static Analysis [electronic resource] : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings / by Drăgoi, Cezara [editor.] Mukherjee, Suvam [editor.] Namjoshi, Kedar [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 12913 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)
	2102.	Monte Carlo Search [electronic resource] : First Workshop, MCS 2020, Held in Conjunction with IJCAI 2020, Virtual Event, January 7, 2021, Proceedings / by Cazenave, Tristan [editor.] Teytaud, Olivier [editor.] Winands, Mark H. M [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1379 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)
	2103.	Practical Optimization [electronic resource] : Algorithms and Engineering Applications / by Antoniou, Andreas [author.] Lu, Wu-Sheng [author.] SpringerLink (Online service) Series: Texts in Computer Science Edition: 2nd ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer US : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2104.	Relational and Algebraic Methods in Computer Science [electronic resource] : 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings / by Fahrenberg, Uli [editor.] Gehrke, Mai [editor.] Santocanale, Luigi [editor.] Winter, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13027 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)
	2105.	Recent Advances in Sustainable Energy and Intelligent Systems [electronic resource] : 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, Hangzhou, China, October 30 – November 1, 2021, Proceedings, Part II / by Li, Kang [editor.] Coombs, Tim [editor.] He, Jinghan [editor.] Tian, Yuchu [editor.] Niu, Qun [editor.] Yang, Zhile [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1468 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)
	2106.	Thinking Programs [electronic resource] : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions / by Schreiner, Wolfgang [author.] SpringerLink (Online service) Series: Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria 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)
	2107.	Financial Cryptography and Data Security [electronic resource] : 25th International Conference, FC 2021, Virtual Event, March 1–5, 2021, Revised Selected Papers, Part II / by Borisov, Nikita [editor.] Diaz, Claudia [editor.] SpringerLink (Online service) Series: Security and Cryptology ; 12675 Edition: 1st ed. 2021. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2021 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2108.	Making Knowledge Management Clickable [electronic resource] : Knowledge Management Systems Strategy, Design, and Implementation / by Hilger, Joseph [author.] Wahl, Zachary [author.] SpringerLink (Online service) 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)
	2109.	New Trends in Database and Information Systems [electronic resource] : ADBIS 2022 Short Papers, Doctoral Consortium and Workshops: DOING, K-GALS, MADEISD, MegaData, SWODCH, Turin, Italy, September 5–8, 2022, Proceedings / by Chiusano, Silvia [editor.] Cerquitelli, Tania [editor.] Wrembel, Robert [editor.] Nørvåg, Kjetil [editor.] Catania, Barbara [editor.] Vargas-Solar, Genoveva [editor.] Zumpano, Ester [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1652 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)
	2110.	Speeding-Up Radio-Frequency Integrated Circuit Sizing with Neural Networks [electronic resource] / by Domingues, João L. C. P [author.] Vaz, Pedro J. C. D. C [author.] Gusmão, António P. L [author.] Horta, Nuno C. G [author.] Lourenço, Nuno C. C [author.] Martins, Ricardo M. F [author.] SpringerLink (Online service) Series: SpringerBriefs in Computational Intelligence Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2111.	R-Calculus, IV: Propositional Logic [electronic resource] / by Li, Wei [author.] Sui, Yuefei [author.] SpringerLink (Online service) Series: Perspectives in Formal Induction, Revision and Evolution Edition: 1st ed. 2023. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2112.	Genetic Programming [electronic resource] : 26th European Conference, EuroGP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023, Proceedings / by Pappa, Gisele [editor.] Giacobini, Mario [editor.] Vasicek, Zdenek [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13986 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)
	2113.	Code-Based Cryptography [electronic resource] : 10th International Workshop, CBCrypto 2022, Trondheim, Norway, May 29–30, 2022, Revised Selected Papers / by Deneuville, Jean-Christophe [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13839 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)
	2114.	SDL 2015: Model-Driven Engineering for Smart Cities [electronic resource] : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings / by Fischer, Joachim [editor.] Scheidgen, Markus [editor.] Schieferdecker, Ina [editor.] Reed, Rick [editor.] SpringerLink (Online service) Series: Computer Communication Networks and Telecommunications ; 9369 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2115.	Risks and Security of Internet and Systems [electronic resource] : 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers / by Cuppens, Nora [editor.] Cuppens, Frédéric [editor.] Lanet, Jean-Louis [editor.] Legay, Axel [editor.] Garcia-Alfaro, Joaquin [editor.] SpringerLink (Online service) Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10694 Edition: 1st ed. 2018. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2116.	Artificial Intelligence in Health [electronic resource] : First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers / by Koch, Fernando [editor.] Koster, Andrew [editor.] Riaño, David [editor.] Montagna, Sara [editor.] Schumacher, Michael [editor.] ten Teije, Annette [editor.] Guttmann, Christian [editor.] Reichert, Manfred [editor.] Bichindaritz, Isabelle [editor.] Herrero, Pau [editor.] Lenz, Richard [editor.] López, Beatriz [editor.] Marling, Cindy [editor.] Martin, Clare [editor.] Montani, Stefania [editor.] Wiratunga, Nirmalie [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 11326 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)
	2117.	Applied Computer Sciences in Engineering [electronic resource] : 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings / by Figueroa-García, Juan Carlos [editor.] Duarte-González, Mario [editor.] Jaramillo-Isaza, Sebastián [editor.] Orjuela-Cañon, Alvaro David [editor.] Díaz-Gutierrez, Yesid [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1052 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)
	2118.	Smart Grid and Internet of Things [electronic resource] : Third EAI International Conference, SGIoT 2019, TaiChung, Taiwan, December 5-6, 2019, Proceedings / by Deng, Der-Jiunn [editor.] Pang, Ai-Chun [editor.] Lin, Chun-Cheng [editor.] SpringerLink (Online service) Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 324 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)
	2119.	Computational Science – ICCS 2020 [electronic resource] : 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VII / 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 ; 12143 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)
	2120.	Software Foundations for Data Interoperability and Large Scale Graph Data Analytics [electronic resource] : 4th International Workshop, SFDI 2020, and 2nd International Workshop, LSGDA 2020, held in Conjunction with VLDB 2020, Tokyo, Japan, September 4, 2020, Proceedings / by Qin, Lu [editor.] Zhang, Wenjie [editor.] Zhang, Ying [editor.] Peng, You [editor.] Kato, Hiroyuki [editor.] Wang, Wei [editor.] Xiao, Chuan [editor.] SpringerLink (Online service) Series: Communications in Computer and Information Science ; 1281 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)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 7886 results.