Your search returned 1832 results.

Results
	1761.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / by Jobstmann, Barbara [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9583 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1762.	Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [electronic resource] : 8th European Conference, EvoBIO 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings / by Pizzuti, Clara [editor.] Ritchie, Marylyn D [editor.] Giacobini, Mario [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6023 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)
	1763.	Combinatorial Geometry and Graph Theory [electronic resource] : Indonesia-Japan Joint Conference, IJCCGGT 2003, Bandung, Indonesia, September 13-16, 2003, Revised Selected Papers / by Akiyama, Jin [editor.] Baskoro, Edy Tri [editor.] Kano, Mikio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3330 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)
	1764.	Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011, Proceedings / by Koch, Andreas [editor.] Krishnamurthy, Ram [editor.] McAllister, John [editor.] Woods, Roger [editor.] El-Ghazawi, Tarek [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6578 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)
	1765.	Artificial Neural Networks: Formal Models and Their Applications – ICANN 2005 [electronic resource] : 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part II / by Duch, Wlodzislaw [editor.] Oja, Erkki [editor.] Zadrozny, Slawomir [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3697 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)
	1766.	Applications of Evolutionary Computation [electronic resource] : EvoApplications 2011: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Torino, Italy, April 27-29, 2011, Proceedings, Part I / by Di Chio, Cecilia [editor.] Cagnoni, Stefano [editor.] Cotta, Carlos [editor.] Ebner, Marc [editor.] Ekart, Aniko [editor.] Esparcia-Alcázar, Anna I [editor.] Merelo, Juan J [editor.] Neri, Ferrante [editor.] Preuss, Mike [editor.] Richter, Hendrik [editor.] Togelius, Julian [editor.] Yannakakis, Georgios N [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6624 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)
	1767.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings / by Ouaknine, Joel [editor.] Vaandrager, Frits W [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5813 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1768.	Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I / by Margaria, Tiziana [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8802 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1769.	Web and Internet Economics [electronic resource] : 12th International Conference, WINE 2016, Montreal, Canada, December 11-14, 2016, Proceedings / by Cai, Yang [editor.] Vetta, Adrian [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10123 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1770.	Parallel Processing and Applied Mathematics [electronic resource] : 10th International Conference, PPAM 2013, Warsaw, Poland, September 8-11, 2013, Revised Selected Papers, Part II / by Wyrzykowski, Roman [editor.] Dongarra, Jack [editor.] Karczewski, Konrad [editor.] Waśniewski, Jerzy [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 8385 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1771.	Relations and Kleene Algebra in Computer Science [electronic resource] : 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings / by Berghammer, Rudolf [editor.] Jaoua, Ali [editor.] Möller, Bernhard [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 5827 Edition: 1st ed. 2009. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1772.	Applications of Evolutionary Computation [electronic resource] : EvoApplications 2010: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I / by Di Chio, Cecilia [editor.] Cagnoni, Stefano [editor.] Cotta, Carlos [editor.] Ebner, Marc [editor.] Ekart, Aniko [editor.] Esparcia-Alcázar, Anna I [editor.] Goh, Chi-Keong [editor.] Merelo, Juan J [editor.] Neri, Ferrante [editor.] Preuss, Mike [editor.] Togelius, Julian [editor.] Yannakakis, Georgios N [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 6024 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)
	1773.	LATIN 2018: Theoretical Informatics [electronic resource] : 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings / by Bender, Michael A [editor.] Farach-Colton, Martín [editor.] Mosteiro, Miguel A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10807 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)
	1774.	Computer Science – Theory and Applications [electronic resource] : 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings / by Fomin, Fedor V [editor.] Podolskii, Vladimir V [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10846 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)
	1775.	Computational Science – ICCS 2018 [electronic resource] : 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I / by Shi, Yong [editor.] Fu, Haohuan [editor.] Tian, Yingjie [editor.] Krzhizhanovskaya, Valeria V [editor.] Lees, Michael Harold [editor.] Dongarra, Jack [editor.] Sloot, Peter M. A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10860 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)
	1776.	Computational Science – ICCS 2018 [electronic resource] : 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II / by Shi, Yong [editor.] Fu, Haohuan [editor.] Tian, Yingjie [editor.] Krzhizhanovskaya, Valeria V [editor.] Lees, Michael Harold [editor.] Dongarra, Jack [editor.] Sloot, Peter M. A [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10861 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)
	1777.	Combinatorial Algorithms [electronic resource] : 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings / by Iliopoulos, Costas [editor.] Leong, Hon Wai [editor.] Sung, Wing-Kin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10979 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)
	1778.	Parallel Problem Solving from Nature – PPSN XV [electronic resource] : 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I / by Auger, Anne [editor.] Fonseca, Carlos M [editor.] Lourenço, Nuno [editor.] Machado, Penousal [editor.] Paquete, Luís [editor.] Whitley, Darrell [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11101 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)
	1779.	Hybrid Metaheuristics [electronic resource] : 11th International Workshop, HM 2019, Concepción, Chile, January 16–18, 2019, Proceedings / by Blesa Aguilera, Maria J [editor.] Blum, Christian [editor.] Gambini Santos, Haroldo [editor.] Pinacho-Davidson, Pedro [editor.] Godoy del Campo, Julio [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11299 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)
	1780.	Language, Logic, and Computation [electronic resource] : 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers / by Silva, Alexandra [editor.] Staton, Sam [editor.] Sutton, Peter [editor.] Umbach, Carla [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 11456 Edition: 1st ed. 2019. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2019 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

First
Previous
80
81
82
83
84
85
86
87
88
89
90
91
92
Next
Last

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 1832 results.