Results of search for 'su:{C Computer program language}' › National Library of India catalog

Results
	1881.	Computational Methods in Systems Biology [electronic resource] : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings / edited by Ashutosh Gupta, Thomas A. Henzinger. by Gupta, Ashutosh [edt] Henzinger, Thomas A [edt] Series: Lecture Notes in Computer Science ; 8130 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	1882.	Advances in Artificial Intelligence and Its Applications [electronic resource] : 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I / edited by Félix Castro, Alexander Gelbukh, Miguel González. by Castro, Félix [edt] Gelbukh, Alexander [edt] González, Miguel [edt] Series: Lecture Notes in Computer Science ; 8265 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	1883.	Computer Aided Verification [electronic resource] : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings / edited by Armin Biere, Roderick Bloem. by Biere, Armin [edt] Bloem, Roderick [edt] Series: Lecture Notes in Computer Science ; 8559 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 2014 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	1884.	Logics in Artificial Intelligence [electronic resource] : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings / edited by Eduardo Fermé, João Leite. by Fermé, Eduardo [edt] Leite, João [edt] Series: Lecture Notes in Computer Science ; 8761 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 2014 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	1885.	Human Aspects of Information Security and Assurance [electronic resource] : 17th IFIP WG 11.12 International Symposium, HAISA 2023, Kent, UK, July 4-6, 2023, Proceedings / edited by Steven Furnell, Nathan Clarke. by Furnell, Steven [editor.] Clarke, Nathan [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.3. Place hold Save to lists
	1886.	Social Informatics [electronic resource] : 4th International Conference, SocInfo 2012, Lausanne, Switzerland, December 5-7, 2012. Proceedings / edited by Karl Aberer, Andreas Flache, Wander Jager, Ling Liu, Jie Tang, Christophe Guéret. by Aberer, Karl [edt] Flache, Andreas [edt] Jager, Wander [edt] Liu, Ling [edt] Tang, Jie [edt] Guéret, Christophe [edt] Series: Lecture Notes in Computer Science ; 7710 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	1887.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Christel Baier, Cesare Tinelli. by Baier, Christel [edt] Tinelli, Cesare [edt] Series: Lecture Notes in Computer Science ; 9035 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2015 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	1888.	PRIMA 2022: Principles and Practice of Multi-Agent Systems [electronic resource] : 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings / edited by Reyhan Aydoğan, Natalia Criado, Jérôme Lang, Victor Sanchez-Anguix, Marc Serramia. by Aydoğan, Reyhan [editor.] Criado, Natalia [editor.] Lang, Jérôme [editor.] Sanchez-Anguix, Victor [editor.] Serramia, Marc [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 006.3. Place hold Save to lists
	1889.	Parallel Computing Technologies [electronic resource] : 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings / edited by Victor Malyshkin. by Malyshkin, Victor [edt] Series: Lecture Notes in Computer Science ; 7979 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	1890.	Applied Computer Sciences in Engineering [electronic resource] : 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023, Proceedings / edited by Juan Carlos Figueroa-García, German Hernández, Jose Luis Villa Ramirez, Elvis Eduardo Gaona García. by Figueroa-García, Juan Carlos [editor.] Hernández, German [editor.] Villa Ramirez, Jose Luis [editor.] Gaona García, Elvis Eduardo [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.1. Place hold Save to lists
	1891.	Human Interface and the Management of Information [electronic resource] : Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II / edited by Hirohiko Mori, Yumi Asahi. by Mori, Hirohiko [editor.] Asahi, Yumi [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.437 \| 004.019. Place hold Save to lists
	1892.	Supercomputing [electronic resource] : 8th Russian Supercomputing Days, RuSCDays 2022, Moscow, Russia, September 26-27, 2022, Revised Selected Papers / edited by Vladimir Voevodin, Sergey Sobolev, Mikhail Yakobovskiy, Rashit Shagaliev. by Voevodin, Vladimir [editor.] Sobolev, Sergey [editor.] Yakobovskiy, Mikhail [editor.] Shagaliev, Rashit [editor.] Series: Lecture Notes in Computer Science ; 13708 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004. Place hold Save to lists
	1893.	AI 2022: Advances in Artificial Intelligence [electronic resource] : 35th Australasian Joint Conference, AI 2022, Perth, WA, Australia, December 5-8, 2022, Proceedings / edited by Haris Aziz, Débora Corrêa, Tim French. by Aziz, Haris [editor.] Corrêa, Débora [editor.] French, Tim [editor.] Series: Lecture Notes in Artificial Intelligence ; 13728 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 006.3. Place hold Save to lists
	1894.	Computational Science and Its Applications - ICCSA 2023 [electronic resource] : 23rd International Conference, Athens, Greece, July 3-6, 2023, Proceedings, Part I / edited by Osvaldo Gervasi, Beniamino Murgante, David Taniar, Bernady O. Apduhan, Ana Cristina Braga, Chiara Garau, Anastasia Stratigea. by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Taniar, David [editor.] Apduhan, Bernady O [editor.] Braga, Ana Cristina [editor.] Garau, Chiara [editor.] Stratigea, Anastasia [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.6. Place hold Save to lists
	1895.	ArtsIT, Interactivity and Game Creation [electronic resource] : 11th EAI International Conference, ArtsIT 2022, Faro, Portugal, November 21-22, 2022, Proceedings / edited by Anthony L. Brooks. by Brooks, Anthony L [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 621.382. Place hold Save to lists
	1896.	Information Integration and Web Intelligence [electronic resource] : 24th International Conference, iiWAS 2022, Virtual Event, November 28-30, 2022, Proceedings / edited by Eric Pardede, Pari Delir Haghighi, Ismail Khalil, Gabriele Kotsis. by Pardede, Eric [editor.] Delir Haghighi, Pari [editor.] Khalil, Ismail [editor.] Kotsis, Gabriele [editor.] Series: Lecture Notes in Computer Science ; 13635 Edition: 1st ed. 2022. Material type: Text; Format: electronic ; Literary form: Not fiction Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2022 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 005.3. Place hold Save to lists
	1897.	Social Computing, Behavioral-Cultural Modeling and Prediction [electronic resource] : 7th International Conference, SBP 2014, Washington, DC, USA, April 1-4, 2014. Proceedings / edited by William G. Kennedy, Nitin Agarwal, Shanchieh Jay Yang. by Kennedy, William G [edt] Agarwal, Nitin [edt] Yang, Shanchieh Jay [edt] Series: Lecture Notes in Computer Science ; 8393 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 2014 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	1898.	Computational Science and Its Applications - ICCSA 2023 Workshops [electronic resource] : Athens, Greece, July 3-6, 2023, Proceedings, Part IV / edited by Osvaldo Gervasi, Beniamino Murgante, Ana Maria A. C. Rocha, Chiara Garau, Francesco Scorza, Yeliz Karaca, Carmelo M. Torre. by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Rocha, Ana Maria A. C [editor.] Garau, Chiara [editor.] Scorza, Francesco [editor.] Karaca, Yeliz [editor.] Torre, Carmelo M [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.6. Place hold Save to lists
	1899.	Applications of Evolutionary Computation [electronic resource] : 16th European Conference, EvoApplications 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Anna I. Esparcia-Alcázar. by Esparcia-Alcázar, Anna I [edt] Series: Lecture Notes in Computer Science ; 7835 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2013 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	1900.	Computational Science and Its Applications - ICCSA 2023 Workshops [electronic resource] : Athens, Greece, July 3-6, 2023, Proceedings, Part I / edited by Osvaldo Gervasi, Beniamino Murgante, Ana Maria A. C. Rocha, Chiara Garau, Francesco Scorza, Yeliz Karaca, Carmelo M. Torre. by Gervasi, Osvaldo [editor.] Murgante, Beniamino [editor.] Rocha, Ana Maria A. C [editor.] Garau, Chiara [editor.] Scorza, Francesco [editor.] Karaca, Yeliz [editor.] Torre, Carmelo M [editor.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer Nature Switzerland : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.6. Place hold Save to lists

Refine your search

Availability

Authors

Item types

Locations

Places

Series

Topics

Collections

Holding libraries

Languages

Your search returned 1913 results.