Results of search for 'ccl=au:"SpringerLink (Online service)" and su-to:Theory of Computation and su-to:Artificial intelligence' › Indraprastha Institute of Information Technology, Delhi catalog

Results
	981.	Advances in Intelligent Computing [electronic resource] : International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II / by Huang, De-Shuang [editor.] Zhang, Xiao-Ping [editor.] Huang, Guang-Bin [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3645 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)
	982.	Swarm Intelligence [electronic resource] : 13th International Conference, ANTS 2022, Málaga, Spain, November 2–4, 2022, Proceedings / by Dorigo, Marco [editor.] Hamann, Heiko [editor.] López-Ibáñez, Manuel [editor.] García-Nieto, José [editor.] Engelbrecht, Andries [editor.] Pinciroli, Carlo [editor.] Strobel, Volker [editor.] Camacho-Villalón, Christian [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 13491 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)
	983.	Implementation and Application of Automata [electronic resource] : 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023, Proceedings / by Nagy, Benedek [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14151 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)
	984.	Theorem Proving in Higher Order Logics [electronic resource] : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings / by Slind, Konrad [editor.] Bunker, Annette [editor.] Gopalakrishnan, Ganesh C [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3223 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	985.	Databases, Information Systems, and Peer-to-Peer Computing [electronic resource] : First International Workshop, DBISP2P, Berlin Germany, September 7-8, 2003, Revised Papers / by Aberer, Karl [editor.] Kalogeraki, Vana [editor.] Koubarakis, Manolis [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2944 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	986.	Intelligent Information Integration for the Semantic Web [electronic resource] / by Visser, Ubbo [author.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3159 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	987.	Transactions on Rough Sets I [electronic resource] / by Peters, James F [editor.] Grzymala-Busse, Jerzy W [editor.] Kostek, Bozena [editor.] Swiniarski, Roman W [editor.] Szczuka, Marcin S [editor.] SpringerLink (Online service) Series: Transactions on Rough Sets ; 3100 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	988.	Formal Methods for Industrial Critical Systems [electronic resource] : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings / by Cimatti, Alessandro [editor.] Titolo, Laura [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 14290 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)
	989.	Advances in Artificial Intelligence, Computation, and Data Science [electronic resource] : For Medicine and Life Science / by Pham, Tuan D [editor.] Yan, Hong [editor.] Ashraf, Muhammad W [editor.] Sjöberg, Folke [editor.] SpringerLink (Online service) Series: Computational Biology ; 31 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)
	990.	Knowledge Exploration in Life Science Informatics [electronic resource] : International Symposium KELSI 2004, Milan, Italy, November 25-26, 2004, Proceedings / by López, Jesús A [editor.] Benfenati, Emilio [editor.] Dubitzky, Werner [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3303 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	991.	Intelligent Computing [electronic resource] : International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part I / by Huang, De-Shuang [editor.] Irwin, George William [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 4113 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)
	992.	Computational Science — ICCS 2004 [electronic resource] : 4th International Conference, Kraków, Poland, June 6–9, 2004, Proceedings, Part III / by Bubak, Marian [editor.] Albada, Geert Dick van [editor.] Sloot, Peter M.A [editor.] Dongarra, Jack [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3038 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	993.	STACS 2004 [electronic resource] : 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings / by Diekert, Volker [editor.] Habib, Michel [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2996 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	994.	Deontic Logic in Computer Science [electronic resource] : 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Portugal, May 26-28, 2004. Proceedings / by Lomuscio, Alessio [editor.] Nute, Donald [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 3065 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	995.	Engineering Self-Organising Systems [electronic resource] : Nature-Inspired Approaches to Software Engineering / by Di Marzo Serugendo, Giovanna [editor.] Karageorgos, Anthony [editor.] Rana, Omer F [editor.] Zambonelli, Franco [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 2977 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	996.	Models, Algorithms, Logics and Tools [electronic resource] : Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday / by Aceto, Luca [editor.] Bacci, Giorgio [editor.] Bacci, Giovanni [editor.] Ingólfsdóttir, Anna [editor.] Legay, Axel [editor.] Mardare, Radu [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10460 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)
	997.	Text Analysis Pipelines [electronic resource] : Towards Ad-hoc Large-Scale Text Mining / by Wachsmuth, Henning [author.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 9383 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)
	998.	Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation [electronic resource] : Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday / by Eiter, Thomas [editor.] Strass, Hannes [editor.] Truszczyński, Mirosław [editor.] Woltran, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Artificial Intelligence ; 9060 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)
	999.	Genetic and Evolutionary Computation — GECCO 2004 [electronic resource] : Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26–30, 2004 Proceedings, Part II / by Deb, Kalyanmoy [editor.] Poli, Riccardo [editor.] Banzhaf, Wolfgang [editor.] Beyer, Hans-Georg [editor.] Burke, Edmund [editor.] Darwen, Paul [editor.] Dasgupta, Dipankar [editor.] Floreano, Dario [editor.] Foster, James A [editor.] Harman, Mark [editor.] Holland, Owen [editor.] Lanzi, Pier Luca [editor.] Spector, Lee [editor.] Tettamanzi, Andrea [editor.] Thierens, Dirk [editor.] Tyrrell, Andy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3103 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	1000.	Genetic and Evolutionary Computation — GECCO 2004 [electronic resource] : Genetic and Evolutionary Computation Conference Seattle, WA, USA, June 26–30, 2004, Proceedings, Part I / by Deb, Kalyanmoy [editor.] Poli, Riccardo [editor.] Banzhaf, Wolfgang [editor.] Beyer, Hans-Georg [editor.] Burke, Edmund [editor.] Darwen, Paul [editor.] Dasgupta, Dipankar [editor.] Floreano, Dario [editor.] Foster, James A [editor.] Harman, Mark [editor.] Holland, Owen [editor.] Lanzi, Pier Luca [editor.] Spector, Lee [editor.] Tettamanzi, Andrea [editor.] Thierens, Dirk [editor.] Tyrrell, Andy [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3102 Edition: 1st ed. 2004. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004 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 1393 results.