Results of search for 'su:{Programming Language.}' › National Library of India catalog

Results
	561.	Concurrent Objects and Beyond [electronic resource] : Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday / edited by Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura. by Agha, Gul [edt] Igarashi, Atsushi [edt] Kobayashi, Naoki [edt] Masuhara, Hidehiko [edt] Matsuoka, Satoshi [edt] Shibayama, Etsuya [edt] Taura, Kenjiro [edt] Series: Lecture Notes in Computer Science ; 8665 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 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
	562.	Logic Programming and Nonmonotonic Reasoning [electronic resource] : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski. by Calimeri, Francesco [edt] Ianni, Giovambattista [edt] Truszczynski, Miroslaw [edt] Series: Lecture Notes in Computer Science ; 9345 Edition: 1st ed. 2015. Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 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
	563.	Programming Multi-Agent Systems [electronic resource] : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers / edited by Louise Dennis, Olivier Boissier, Rafael H. Bordini. by Dennis, Louise [edt] Boissier, Olivier [edt] Bordini, Rafael H [edt] Series: Lecture Notes in Computer Science ; 7217 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
	564.	Software Technologies [electronic resource] : 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022, Revised Selected Papers / edited by Hans-Georg Fill, Marten van Sinderen, Leszek A. Maciaszek. by Fill, Hans-Georg [editor.] van Sinderen, Marten [editor.] Maciaszek, Leszek A [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
	565.	Coordination Models and Languages [electronic resource] : 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / edited by Tom Holvoet, Mirko Viroli. by Holvoet, Tom [edt] Viroli, Mirko [edt] Series: Lecture Notes in Computer Science ; 9037 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 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
	566.	Genetic Programming [electronic resource] : 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings / edited by Eric Medvet, Gisele Pappa, Bing Xue. by Medvet, Eric [editor.] Pappa, Gisele [editor.] Xue, Bing [editor.] Series: Lecture Notes in Computer Science ; 13223 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: 005.13. Place hold Save to lists
	567.	Biomedical digital signal processing : C-language examples and laboratory experiments for the IBM PC / edited by Willis J. Tompkins by Tompkins, Willis J [edt] Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Language: English Publication details: New Delhi : Prentice-Hall of India, c1995 Availability: Items available for loan: National Library of India (1)Call number: E 610.28 B 521 w. Place hold Save to lists
	568.	Rewriting Logic and Its Applications [electronic resource] : 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers / edited by Kyungmin Bae. by Bae, Kyungmin [editor.] Series: Lecture Notes in Computer Science ; 13252 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.0151. Place hold Save to lists
	569.	Model-Driven Engineering and Software Development [electronic resource] : 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers / edited by Luís Ferreira Pires, Slimane Hammoudi, Edwin Seidewitz. by Pires, Luís Ferreira [editor.] Hammoudi, Slimane [editor.] Seidewitz, Edwin [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
	570.	Functional and Logic Programming [electronic resource] : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings / edited by Michael Hanus, Atsushi Igarashi. by Hanus, Michael [editor.] Igarashi, Atsushi [editor.] Series: Lecture Notes in Computer Science ; 13215 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: (1)Call number: 005.1. Place hold Save to lists
	571.	Application and Theory of Petri Nets and Concurrency [electronic resource] : 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings / edited by Gianfranco Ciardo, Ekkart Kindler. by Ciardo, Gianfranco [edt] Kindler, Ekkart [edt] Series: Lecture Notes in Computer Science ; 8489 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
	572.	Vue. JS Framework [electronic resource] : Design and Implementation / by HcySun Yang. by Yang, HcySun [author.] Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Singapore : Springer Nature Singapore : Imprint: Springer, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 006.76. Place hold Save to lists
	573.	Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers / edited by Farhad Arbab, Peter Csaba Ölveczky. by Arbab, Farhad [edt] Ölveczky, Peter Csaba [edt] Series: Lecture Notes in Computer Science ; 7253 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
	574.	Computer Safety, Reliability, and Security [electronic resource] : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022, Proceedings / edited by Mario Trapp, Francesca Saglietti, Marc Spisländer, Friedemann Bitsch. by Trapp, Mario [editor.] Saglietti, Francesca [editor.] Spisländer, Marc [editor.] Bitsch, Friedemann [editor.] Series: Lecture Notes in Computer Science ; 13414 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: 621.39 \| 004.6. Place hold Save to lists
	575.	Formal Methods for Components and Objects [electronic resource] : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / edited by Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue. by Beckert, Bernhard [edt] Damiani, Ferruccio [edt] Boer, Frank S. de [edt] Bonsangue, Marcello M [edt] Series: Lecture Notes in Computer Science ; 7542 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
	576.	Software Architecture [electronic resource] : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings / edited by Khalil Drira. by Drira, Khalil [edt] Series: Lecture Notes in Computer Science ; 7957 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
	577.	Economics of Grids, Clouds, Systems, and Services [electronic resource] : 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings / edited by José Ángel Bañares, Jörn Altmann, Orna Agmon Ben-Yehuda, Karim Djemame, Vlado Stankovski, Bruno Tuffin. by Bañares, José Ángel [editor.] Altmann, Jörn [editor.] Agmon Ben-Yehuda, Orna [editor.] Djemame, Karim [editor.] Stankovski, Vlado [editor.] Tuffin, Bruno [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
	578.	Foundations of Information and Knowledge Systems [electronic resource] : 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20-23, 2022, Proceedings / edited by Ivan Varzinczak. by Varzinczak, Ivan [editor.] Series: Lecture Notes in Computer Science 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: 005.131. Place hold Save to lists
	579.	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 / edited by Tiziana Margaria, Bernhard Steffen. by Margaria, Tiziana [edt] Steffen, Bernhard [edt] Series: Lecture Notes in Computer Science ; 8802 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 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
	580.	Formal Aspects of Component Software [electronic resource] : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / edited by Ivan Lanese, Eric Madelaine. by Lanese, Ivan [edt] Madelaine, Eric [edt] Series: Lecture Notes in Computer Science ; 8997 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing, 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

Refine your search

Availability

Authors

Item types

Locations

Places

Series

Topics

Collections

Holding libraries

Languages

Your search returned 612 results.