Your search returned 882 results.

Results
	241.	Computational Science and Its Applications - ICCSA 2016 [electronic resource] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Rocha, Ana Maria A.C [editor.] Torre, Carmelo M [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Stankova, Elena [editor.] Wang, Shangguang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9789 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)
	242.	Compiler Construction [electronic resource] : 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings / by Hendren, Laurie [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4959 Edition: 1st ed. 2008. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	243.	Network and Parallel Computing [electronic resource] : 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28–30, 2020, Revised Selected Papers / by He, Xin [editor.] Shao, En [editor.] Tan, Guangming [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12639 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)
	244.	Leveraging Applications of Formal Methods, Verification and Validation [electronic resource] : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13036 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)
	245.	Algorithms and Architectures for Parallel Processing [electronic resource] : ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings / by Wang, Guojin [editor.] Zomaya, Albert [editor.] Martinez, Gregorio [editor.] Li, Kenli [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9532 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)
	246.	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)
	247.	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)
	248.	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)
	249.	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)
	250.	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)
	251.	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)
	252.	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)
	253.	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)
	254.	Computational Science and Its Applications – ICCSA 2016 [electronic resource] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II / by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Misra, Sanjay [editor.] Rocha, Ana Maria A.C [editor.] Torre, Carmelo M [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Stankova, Elena [editor.] Wang, Shangguang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9787 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)
	255.	Computational Science and Its Applications – ICCSA 2019 [electronic resource] : 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III / by Misra, Sanjay [editor.] Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Stankova, Elena [editor.] Korkhov, Vladimir [editor.] Torre, Carmelo [editor.] Rocha, Ana Maria A.C [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Tarantino, Eufemia [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11621 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)
	256.	High Performance Computing [electronic resource] : ISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21–25, 2020, Revised Selected Papers / by Jagode, Heike [editor.] Anzt, Hartwig [editor.] Juckeland, Guido [editor.] Ltaief, Hatem [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12321 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)
	257.	Computational Science and Its Applications -- ICCSA 2012 [electronic resource] : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II / by Murgante, Beniamino [editor.] Gervasi, Osvaldo [editor.] Misra, Sanjay [editor.] Nedjah, Nadia [editor.] Rocha, Ana Maria Alves Coutinho [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7334 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)
	258.	Reversible Computation: Extending Horizons of Computing [electronic resource] : Selected Results of the COST Action IC1405 / by Ulidowski, Irek [editor.] Lanese, Ivan [editor.] Schultz, Ulrik Pagh [editor.] Ferreira, Carla [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 12070 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)
	259.	Reachability Problems [electronic resource] : 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings / by Bell, Paul C [editor.] Totzke, Patrick [editor.] Potapov, Igor [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13035 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)
	260.	Model Checking, Synthesis, and Learning [electronic resource] : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday / by Olderog, Ernst-Rüdiger [editor.] Steffen, Bernhard [editor.] Yi, Wang [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 13030 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
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
Next
Last

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 882 results.