Your search returned 2382 results.

Results
	701.	High Performance Computing in Science and Engineering [electronic resource] : 4th International Conference, HPCSE 2019, Karolinka, Czech Republic, May 20–23, 2019, Revised Selected Papers / by Kozubek, Tomáš [editor.] Arbenz, Peter [editor.] Jaroš, Jiří [editor.] Říha, Lubomír [editor.] Šístek, Jakub [editor.] Tichý, Petr [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12456 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)
	702.	Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends [electronic resource] : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12479 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)
	703.	Computing and Combinatorics [electronic resource] : 27th International Conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021, Proceedings / by Chen, Chi-Yeh [editor.] Hon, Wing-Kai [editor.] Hung, Ling-Ju [editor.] Lee, Chia-Wei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13025 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)
	704.	Applications of Evolutionary Computation [electronic resource] : 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I / by Squillero, Giovanni [editor.] Burelli, Paolo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9597 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	705.	Brain-Inspired Computing [electronic resource] : International Workshop, BrainComp 2013, Cetraro, Italy, July 8-11, 2013, Revised Selected Papers / by Grandinetti, Lucio [editor.] Lippert, Thomas [editor.] Petkov, Nicolai [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8603 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	706.	Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings / by Felber, Pascal [editor.] Garg, Vijay [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8756 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	707.	Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedings / by Rothlauf, Franz [editor.] Branke, Jürgen [editor.] Cagnoni, Stefano [editor.] Costa, Ernesto [editor.] Cotta, Carlos [editor.] Drechsler, Rolf [editor.] Lutton, Evelyne [editor.] Machado, Penousal [editor.] Moore, Jason H [editor.] Romero, Juan [editor.] Smith, George D [editor.] Squillero, Giovanni [editor.] Takagi, Hideyuki [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3907 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)
	708.	Information Retrieval [electronic resource] : 23rd China conference, CCIR 2017, Shanghai, China, July 13–14, 2017, Proceedings / by Wen, Jirong [editor.] Nie, Jianyun [editor.] Ruan, Tong [editor.] Liu, Yiqun [editor.] Qian, Tieyun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10390 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	709.	Cellular Automata [electronic resource] : 14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, Lodz, Poland, December 2–4, 2020, Proceedings / by Gwizdałła, Tomasz M [editor.] Manzoni, Luca [editor.] Sirakoulis, Georgios Ch [editor.] Bandini, Stefania [editor.] Podlaski, Krzysztof [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12599 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)
	710.	Parallel and Distributed Computing, Applications and Technologies [electronic resource] : 21st International Conference, PDCAT 2020, Shenzhen, China, December 28–30, 2020, Proceedings / by Zhang, Yong [editor.] Xu, Yicheng [editor.] Tian, Hui [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12606 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)
	711.	Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings / by Higashino, Teruo [editor.] Katayama, Yoshiaki [editor.] Masuzawa, Toshimitsu [editor.] Potop-Butucaru, Maria [editor.] Yamashita, Masafumi [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8255 Edition: 1st ed. 2013. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	712.	Computational Science and Its Applications - ICCSA 2014 [electronic resource] : 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part VI / by Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Rocha, Ana Maria Alves Coutinho [editor.] Torre, Carmelo [editor.] Rocha, Jorge Gustavo [editor.] Falcão, Maria Irene [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Gervasi, Osvaldo [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8584 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	713.	Informatics in Schools: Focus on Learning Programming [electronic resource] : 10th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2017, Helsinki, Finland, November 13-15, 2017, Proceedings / by Dagienė, Valentina [editor.] Hellas, Arto [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10696 Edition: 1st ed. 2017. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	714.	Applied Reconfigurable Computing. Architectures, Tools, and Applications [electronic resource] : 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings / by Voros, Nikolaos [editor.] Huebner, Michael [editor.] Keramidas, Georgios [editor.] Goehringer, Diana [editor.] Antonopoulos, Christos [editor.] Diniz, Pedro C [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10824 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)
	715.	Computational Linguistics and Intelligent Text Processing [electronic resource] : 18th International Conference, CICLing 2017, Budapest, Hungary, April 17–23, 2017, Revised Selected Papers, Part II / by Gelbukh, Alexander [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10762 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)
	716.	Fundamental Approaches to Software Engineering [electronic resource] : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / by Hähnle, Reiner [editor.] van der Aalst, Wil [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11424 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)
	717.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings / by Donatelli, Susanna [editor.] Haar, Stefan [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11522 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)
	718.	Description Logic, Theory Combination, and All That [electronic resource] : Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday / by Lutz, Carsten [editor.] Sattler, Uli [editor.] Tinelli, Cesare [editor.] Turhan, Anni-Yasmin [editor.] Wolter, Frank [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11560 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)
	719.	Mathematical Aspects of Computer and Information Sciences [electronic resource] : 8th International Conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019, Revised Selected Papers / by Slamanig, Daniel [editor.] Tsigaridas, Elias [editor.] Zafeirakopoulos, Zafeirakis [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11989 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)
	720.	Rigorous State-Based Methods [electronic resource] : 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings / by Raschke, Alexander [editor.] Méry, Dominique [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12709 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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
Next
Last

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 2382 results.