Your search returned 4479 results.

Results
	3681.	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)
	3682.	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)
	3683.	Algorithms and Architectures for Parallel Processing, Part I [electronic resource] : 11th International Conference, ICA3PP 2011, Melbourne, Australia,October 24-26, 2011, Proceedings, Part I / by Xiang, Yang [editor.] Cuzzocrea, Alfredo [editor.] Hobbs, Michael [editor.] Zhou, Wanlei [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7016 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)
	3684.	Computational Science and Its Applications -- ICCSA 2012 [electronic resource] : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I / 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 ; 7333 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)
	3685.	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)
	3686.	Computational Science and Its Applications -- ICCSA 2012 [electronic resource] : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III / 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 ; 7335 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)
	3687.	Distributed Computing and Networking [electronic resource] : 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings / by Frey, Davide [editor.] Raynal, Michel [editor.] Sarkar, Saswati [editor.] Shyamasundar, Rudrapatna K [editor.] Sinha, Prasun [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7730 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)
	3688.	Euro-Par 2012: Parallel Processing Workshops [electronic resource] : BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Island, Greece, August 27-31, 2012. Revised Selected Papers / by Caragiannis, Ioannis [editor.] Alexander, Michael [editor.] Badia, Rosa Maria [editor.] Cannataro, Mario [editor.] Costan, Alexandru [editor.] Danelutto, Marco [editor.] Desprez, Frédéric [editor.] Krammer, Bettina [editor.] Sahuquillo, Julio [editor.] Scott, Stephen L [editor.] Weidendorfer, Josef [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7640 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)
	3689.	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)
	3690.	Algorithms and Architectures for Parallel Processing [electronic resource] : 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I / by Wang, Guojun [editor.] Zomaya, Albert [editor.] Martinez, Gregorio [editor.] Li, Kenli [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9528 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)
	3691.	Computational Science and Its Applications - ICCSA 2014 [electronic resource] : 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part I / 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 ; 8579 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)
	3692.	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)
	3693.	Central European Functional Programming School [electronic resource] : First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures / by Horváth, Zoltán [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4164 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)
	3694.	Computational Logistics [electronic resource] : 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / by Corman, Francesco [editor.] Voß, Stefan [editor.] Negenborn, Rudy R [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9335 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)
	3695.	Parallel and Distributed Processing and Applications [electronic resource] : 5th International Symposium, ISPA 2007, Niagara Falls, Canada, August 29-31, 2007, Proceedings / by Stojmenovic, Ivan [editor.] Thulasiram, Ruppa K [editor.] Yang, Laurence T [editor.] Jia, Weijia [editor.] Guo, Minyi [editor.] de Mello, Rodrigo Fernandes [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4742 Edition: 1st ed. 2007. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	3696.	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)
	3697.	Euro-Par 2015: Parallel Processing Workshops [electronic resource] : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers / by Hunold, Sascha [editor.] Costan, Alexandru [editor.] Giménez, Domingo [editor.] Iosup, Alexandru [editor.] Ricci, Laura [editor.] Gómez Requena, María Engracia [editor.] Scarano, Vittorio [editor.] Varbanescu, Ana Lucia [editor.] Scott, Stephen L [editor.] Lankes, Stefan [editor.] Weidendorfer, Josef [editor.] Alexander, Michael [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9523 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)
	3698.	Computational Science and Its Applications - ICCSA 2016 [electronic resource] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III / 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 ; 9788 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)
	3699.	Algorithms and Architectures for Parallel Processing [electronic resource] : 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I / by Xiang, Yang [editor.] Stojmenovic, Ivan [editor.] Apduhan, Bernady O [editor.] Wang, Guojun [editor.] Nakano, Koji [editor.] Zomaya, Albert Y [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 7439 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)
	3700.	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)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 4479 results.