Results of search for 'su:{Computer programming.}' › National Library of India catalog

Results
	2221.	Coordination, Organizations, Institutions, and Norms in Agent Systems VIII [electronic resource] : 14th International Workshop, COIN 2012, Held Co-located with AAMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers / edited by Huib Aldewereld, Jaime Simão Sichman. by Aldewereld, Huib [edt] Sichman, Jaime Simão [edt] Series: Lecture Notes in Computer Science ; 7756 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
	2222.	The Logic of Software. A Tasting Menu of Formal Methods [electronic resource] : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen. by Ahrendt, Wolfgang [editor.] Beckert, Bernhard [editor.] Bubel, Richard [editor.] Johnsen, Einar Broch [editor.] Series: Lecture Notes in Computer Science ; 13360 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.1. Place hold Save to lists
	2223.	Principles of Systems Design [electronic resource] : Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday / edited by Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Rupak Majumdar. by Raskin, Jean-François [editor.] Chatterjee, Krishnendu [editor.] Doyen, Laurent [editor.] Majumdar, Rupak [editor.] Series: Lecture Notes in Computer Science ; 13660 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: 004.0151. Place hold Save to lists
	2224.	Algebra and Coalgebra in Computer Science [electronic resource] : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings / edited by Reiko Heckel, Stefan Milius. by Heckel, Reiko [edt] Milius, Stefan [edt] Series: Lecture Notes in Computer Science ; 8089 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
	2225.	Logic-Based Program Synthesis and Transformation [electronic resource] : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / edited by Maurizio Proietti, Hirohisa Seki. by Proietti, Maurizio [edt] Seki, Hirohisa [edt] Series: Lecture Notes in Computer Science ; 8981 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
	2226.	Experimental Algorithms [electronic resource] : 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings / edited by Vincenzo Bonifaci, Camil Demetrescu, Alberto Marchetti-Spaccamela. by Bonifaci, Vincenzo [edt] Demetrescu, Camil [edt] Marchetti-Spaccamela, Alberto [edt] Series: Lecture Notes in Computer Science ; 7933 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
	2227.	Transactions on Computational Collective Intelligence XI [electronic resource] / edited by Ngoc Thanh Nguyen. by Nguyen, Ngoc Thanh [edt] Series: Lecture Notes in Computer Science ; 8065 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
	2228.	Integrated Formal Methods [electronic resource] : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings / edited by Maurice H. ter Beek, Rosemary Monahan. by ter Beek, Maurice H [editor.] Monahan, Rosemary [editor.] Series: Lecture Notes in Computer Science ; 13274 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.1. Place hold Save to lists
	2229.	Cognitive Computing - ICCC 2022 [electronic resource] : 6th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14, 2022, Proceedings / edited by Yujiu Yang, Xiaohui Wang, Liang-Jie Zhang. by Yang, Yujiu [editor.] Wang, Xiaohui [editor.] Zhang, Liang-Jie [editor.] Series: Lecture Notes in Computer Science ; 13734 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: 621.39 \| 004.6. Place hold Save to lists
	2230.	Risk Assessment and Risk-Driven Testing [electronic resource] : First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers / edited by Thomas Bauer, Jürgen Großmann, Fredrik Seehusen, Ketil Stølen, Marc-Florian Wendland. by Bauer, Thomas [edt] Großmann, Jürgen [edt] Seehusen, Fredrik [edt] Stølen, Ketil [edt] Wendland, Marc-Florian [edt] Series: Lecture Notes in Computer Science ; 8418 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
	2231.	Software Verification and Formal Methods for ML-Enabled Autonomous Systems [electronic resource] : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings / edited by Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi. by Isac, Omri [editor.] Ivanov, Radoslav [editor.] Katz, Guy [editor.] Narodytska, Nina [editor.] Nenzi, Laura [editor.] Series: Lecture Notes in Computer Science ; 13466 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
	2232.	Understanding Search Engines [electronic resource] / by Dirk Lewandowski. by Lewandowski, Dirk [author.] 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: 025.04. Place hold Save to lists
	2233.	Next Generation Arithmetic [electronic resource] : 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings / edited by John Gustafson, Siew Hoon Leong, Marek Michalewicz. by Gustafson, John [editor.] Leong, Siew Hoon [editor.] Michalewicz, Marek [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.01513. Place hold Save to lists
	2234.	Simple Type Theory [electronic resource] : A Practical Logic for Expressing and Reasoning About Mathematical Ideas / by William M. Farmer. by Farmer, William M [author.] Series: Edition: 1st ed. 2023. Material type: Text; Format: electronic ; Literary form: Not fiction Language: English Publication details: Cham : Springer International Publishing : Imprint: Birkhäuser, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 004.0151. Place hold Save to lists
	2235.	No cover image available Lab manual / School of Social Sciences, Indira Gandhi National Open University by Indira Gandhi National Open University. School of Social Sciences Series: PGDLAN ; Paper- lab manual Material type: Text; Format: print ; Literary form: Not fiction ; Audience: General; Language: English Publication details: New Delhi : The Author, 2005 Availability: Items available for loan: National Library of India (1)Call number: GP 025.00285 In2 lab manual. Place hold Request article Save to lists
	2236.	Advances in Enterprise Engineering XV [electronic resource] : 11th Enterprise Engineering Working Conference, EEWC 2021, Virtual Event, November 12, 2021, and December 16-17, 2021, Revised Selected Papers / edited by David Aveiro, Henderik A. Proper, Sérgio Guerreiro, Marne de Vries. by Aveiro, David [editor.] Proper, Henderik A [editor.] Guerreiro, Sérgio [editor.] de Vries, Marne [editor.] Series: Lecture Notes in Business Information Processing ; 441 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.3. Place hold Save to lists
	2237.	Model-Based Safety and Assessment [electronic resource] : 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings / edited by Christel Seguin, Marc Zeller, Tatiana Prosvirnova. by Seguin, Christel [editor.] Zeller, Marc [editor.] Prosvirnova, Tatiana [editor.] Series: Lecture Notes in Computer Science ; 13525 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
	2238.	Live digital theatre : interdisciplinary performative pedagogies / Aleksandar Sasha Dunđerović. by Dunđerović, Aleksandar Sasha [author.] Series: Routledge advances in theatre and performance studies Material type: Text; Literary form: Not fiction Language: English Publication details: Abingdon, Oxon ; New York : Routledge, 2023 Online resources: Click Here Availability: Items available for loan: National Library of India (1)Call number: 792.02/33. Place hold Save to lists
	2239.	Controlled Natural Language [electronic resource] : Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012. Proceedings / edited by Tobias Kuhn, Norbert E. Fuchs. by Kuhn, Tobias [edt] Fuchs, Norbert E [edt] Series: Lecture Notes in Computer Science ; 7427 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
	2240.	Reasoning Web. Web Logic Rules [electronic resource] : 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. / edited by Wolfgang Faber, Adrian Paschke. by Faber, Wolfgang [edt] Paschke, Adrian [edt] Series: Lecture Notes in Computer Science ; 9203 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 2465 results.